Quantum Leaps
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: dpp.h
- Revision:
- 0:efb9ac8d1a88
- Child:
- 4:6189d844a1a2
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/dpp.h Sat Feb 12 23:22:47 2011 +0000
@@ -0,0 +1,50 @@
+//////////////////////////////////////////////////////////////////////////////
+// Product: DPP example
+// Last Updated for Version: 4.0.00
+// Date of the Last Update: Apr 07, 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
+//////////////////////////////////////////////////////////////////////////////
+#ifndef dpp_h
+#define dpp_h
+
+enum DPPSignals {
+ EAT_SIG = Q_USER_SIG, // published by Table to let a philosopher eat
+ DONE_SIG, // published by Philosopher when done eating
+ TERMINATE_SIG, // published by BSP to terminate the application
+ MAX_PUB_SIG, // the last published signal
+
+ HUNGRY_SIG, // posted from hungry Philosopher to Table
+ MAX_SIG // the last signal
+};
+
+struct TableEvt : public QEvent {
+ uint8_t philoNum; // philosopher number
+};
+
+enum { N_PHILO = 5 }; // number of philosophers
+
+extern QActive * const AO_Philo[N_PHILO]; // "opaque" pointers to Philo AO
+extern QActive * const AO_Table; // "opaque" pointer to Table AO
+
+#endif // dpp_h