Dining Philosophers Problem (DPP) example for the QP active object framework. Demonstrates: event-driven programming, hierarchical state machines in C++, modeling and graphical state machine design, code generation, preemptive multitasking, software tracing, power saving mode, direct event posting, publish-subscribe. More information available in the [[/users/QL/notebook|Quantum Leaps Notebook pages]]. See also [[http://www.state-machine.com|state-machine.com]].
Diff: main.cpp
- Revision:
- 0:efb9ac8d1a88
- Child:
- 3:81ceb3127876
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/main.cpp Sat Feb 12 23:22:47 2011 +0000 @@ -0,0 +1,75 @@ +////////////////////////////////////////////////////////////////////////////// +// Product: DPP example +// Last Updated for Version: 4.0.00 +// Date of the Last Update: May 28, 2008 +// +// Q u a n t u m L e a P s +// --------------------------- +// innovating embedded systems +// +// Copyright (C) 2002-2008 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: info@quantum-leaps.com +////////////////////////////////////////////////////////////////////////////// +#include "qp_port.h" +#include "dpp.h" +#include "bsp.h" + +// Local-scope objects ------------------------------------------------------- +static QEvent const *l_tableQueueSto[N_PHILO]; +static QEvent const *l_philoQueueSto[N_PHILO][N_PHILO]; +static QSubscrList l_subscrSto[MAX_PUB_SIG]; + +static union SmallEvents { + void *min_size; + TableEvt te; + // other event types to go into this pool +} l_smlPoolSto[2*N_PHILO]; // storage for the small event pool + +//............................................................................ +int main(void) { + BSP_init(); // initialize the BSP + QF::init(); // initialize the framework and the underlying RT kernel + // object dictionaries... + QS_OBJ_DICTIONARY(l_smlPoolSto); + QS_OBJ_DICTIONARY(l_tableQueueSto); + QS_OBJ_DICTIONARY(l_philoQueueSto[0]); + QS_OBJ_DICTIONARY(l_philoQueueSto[1]); + QS_OBJ_DICTIONARY(l_philoQueueSto[2]); + QS_OBJ_DICTIONARY(l_philoQueueSto[3]); + QS_OBJ_DICTIONARY(l_philoQueueSto[4]); + + QF::psInit(l_subscrSto, Q_DIM(l_subscrSto)); // init publish-subscribe + // initialize event pools... + QF::poolInit(l_smlPoolSto, sizeof(l_smlPoolSto), sizeof(l_smlPoolSto[0])); + + // start the active objects... + uint8_t n; + for (n = 0; n < N_PHILO; ++n) { + AO_Philo[n]->start((uint8_t)(n + 1), + l_philoQueueSto[n], Q_DIM(l_philoQueueSto[n]), + (void *)0, 0, (QEvent *)0); + } + AO_Table->start((uint8_t)(N_PHILO + 1), + l_tableQueueSto, Q_DIM(l_tableQueueSto), + (void *)0, 0, (QEvent *)0); + + QF::run(); // run the QF application + + return 0; +} +