main.c

量子编程源代码 量子编程源代码

/*****************************************************************************
* Product: QDPP example, 80x86, Win32, Visual C++ 6.0
* Last Updated for Version: 3.4.00
* Date of the Last Update:  Sep 03, 2007
*
*                    Q u a n t u m     L e a P s
*                    ---------------------------
*                    innovating embedded systems
*
* Copyright (C) 2002-2007 Quantum Leaps, LLC. All rights reserved.
*
* This software may be distributed and modified under the terms of the GNU
* General Public License version 2 (GPL) as published by the Free Software
* Foundation and appearing in the file GPL.TXT included in the packaging of
* this file. Please note that GPL Section 2[b] requires that all works based
* on this software must also be made publicly available under the terms of
* the GPL ("Copyleft").
*
* Alternatively, this software may be distributed and modified under the
* terms of Quantum Leaps commercial licenses, which expressly supersede
* the GPL and are specifically designed for licensees interested in
* retaining the proprietary status of their code.
*
* Contact information:
* Quantum Leaps Web site:  http://www.quantum-leaps.com
* e-mail:                  [e-mail]
*****************************************************************************/
#include "qf_port.h"
#include "qs_port.h"
#include "qassert.h"
#include "qdpp.h"
#include "bsp.h"

#include <stdlib.h>
#include <stdio.h>

/* Local-scope objects -----------------------------------------------------*/
static QEvent const *l_tableQueueSto[N];
static QEvent const *l_philQueueSto[N][N];
static void *l_regPoolSto[100/sizeof(void*)];/*100 bytes for the event pool */
static QSubscrList l_subscrSto[MAX_PUB_SIG];

/*..........................................................................*/
int main(int argc, char *argv[]) {
    uint8_t n;

    printf("Quantum DPP\nQEP %s\nQF  %s, QF/Linux port %s\n"
           "Press ESC to quit...\n",
           QEP_getVersion(),
           QF_getVersion(), QF_getPortVersion());

    QF_init();            /* initialize the framework and the underlying OS */
    BSP_init(argc, argv);                             /* initialize the BSP */

    QS_FILTER_ON(QS_ALL_RECORDS);
    /*
    QS_FILTER_OFF(QS_QF_INT_LOCK);
    QS_FILTER_OFF(QS_QF_INT_UNLOCK);
    QS_FILTER_OFF(QS_QF_ISR_ENTRY);
    QS_FILTER_OFF(QS_QF_ISR_EXIT);
    QS_FILTER_OFF(QS_QF_TICK);
    QS_FILTER_OFF(QS_QK_SCHEDULE);
    */
                                                  /* object dictionaries... */
    QS_OBJ_DICTIONARY(l_regPoolSto);
    QS_OBJ_DICTIONARY(l_tableQueueSto);
    QS_OBJ_DICTIONARY(l_philQueueSto[0]);
    QS_OBJ_DICTIONARY(l_philQueueSto[1]);
    QS_OBJ_DICTIONARY(l_philQueueSto[2]);
    QS_OBJ_DICTIONARY(l_philQueueSto[3]);
    QS_OBJ_DICTIONARY(l_philQueueSto[4]);
                                                /* function dictionaries... */
    QS_FUN_DICTIONARY(&QHsm_top);
                               /* globally published signal dictionaries... */
    QS_SIG_DICTIONARY(HUNGRY_SIG, 0);
    QS_SIG_DICTIONARY(DONE_SIG, 0);
    QS_SIG_DICTIONARY(EAT_SIG, 0);
    QS_SIG_DICTIONARY(TERMINATE_SIG, 0);

    QF_psInit(l_subscrSto, Q_DIM(l_subscrSto));   /* init publish-subscribe */

                                               /* initialize event pools... */
    QF_poolInit(l_regPoolSto, sizeof(l_regPoolSto), sizeof(TableEvt));

                                                 /* start active objects... */
    for (n = 0; n < N; ++n) {
        philosopherStart(n, (uint8_t)(n*10 + 1),
                         l_philQueueSto[n], Q_DIM(l_philQueueSto[n]),
                         (void *)0, 0);
    }

    tableStart((uint8_t)(N*10 + 1), l_tableQueueSto, Q_DIM(l_tableQueueSto),
               (void *)0, 0);

    QF_run();                                     /* run the QF application */

    QS_EXIT();                                            /* cleanup the QS */

    return 0;
}