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]].

Dependencies:   mbed qp

Committer:
QL
Date:
Wed Sep 05 13:50:21 2012 +0000
Revision:
5:15aad9bccbbd
Parent:
4:6189d844a1a2
enabled the QK_PREEMPTIVE option

Who changed what in which revision?

UserRevisionLine numberNew contents of line
QL 4:6189d844a1a2 1 //////////////////////////////////////////////////////////////////////////////
QL 4:6189d844a1a2 2 // Product: DPP example, Board Support Package
QL 4:6189d844a1a2 3 // Last Updated for Version: 4.5.02
QL 4:6189d844a1a2 4 // Date of the Last Update: Aug 09, 2012
QL 4:6189d844a1a2 5 //
QL 4:6189d844a1a2 6 // Q u a n t u m L e a P s
QL 4:6189d844a1a2 7 // ---------------------------
QL 4:6189d844a1a2 8 // innovating embedded systems
QL 4:6189d844a1a2 9 //
QL 4:6189d844a1a2 10 // Copyright (C) 2002-2012 Quantum Leaps, LLC. All rights reserved.
QL 4:6189d844a1a2 11 //
QL 4:6189d844a1a2 12 // This program is open source software: you can redistribute it and/or
QL 4:6189d844a1a2 13 // modify it under the terms of the GNU General Public License as published
QL 4:6189d844a1a2 14 // by the Free Software Foundation, either version 2 of the License, or
QL 4:6189d844a1a2 15 // (at your option) any later version.
QL 4:6189d844a1a2 16 //
QL 4:6189d844a1a2 17 // Alternatively, this program may be distributed and modified under the
QL 4:6189d844a1a2 18 // terms of Quantum Leaps commercial licenses, which expressly supersede
QL 4:6189d844a1a2 19 // the GNU General Public License and are specifically designed for
QL 4:6189d844a1a2 20 // licensees interested in retaining the proprietary status of their code.
QL 4:6189d844a1a2 21 //
QL 4:6189d844a1a2 22 // This program is distributed in the hope that it will be useful,
QL 4:6189d844a1a2 23 // but WITHOUT ANY WARRANTY; without even the implied warranty of
QL 4:6189d844a1a2 24 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
QL 4:6189d844a1a2 25 // GNU General Public License for more details.
QL 4:6189d844a1a2 26 //
QL 4:6189d844a1a2 27 // You should have received a copy of the GNU General Public License
QL 4:6189d844a1a2 28 // along with this program. If not, see <http://www.gnu.org/licenses/>.
QL 4:6189d844a1a2 29 //
QL 4:6189d844a1a2 30 // Contact information:
QL 4:6189d844a1a2 31 // Quantum Leaps Web sites: http://www.quantum-leaps.com
QL 4:6189d844a1a2 32 // http://www.state-machine.com
QL 4:6189d844a1a2 33 // e-mail: info@quantum-leaps.com
QL 4:6189d844a1a2 34 //////////////////////////////////////////////////////////////////////////////
QL 4:6189d844a1a2 35 #ifndef bsp_h
QL 4:6189d844a1a2 36 #define bsp_h
QL 4:6189d844a1a2 37 // System clock tick rate [Hz]
QL 4:6189d844a1a2 38 namespace DPP {
QL 4:6189d844a1a2 39
QL 4:6189d844a1a2 40 uint32_t const BSP_TICKS_PER_SEC = static_cast<uint32_t>(50);
QL 4:6189d844a1a2 41 uint32_t const BSP_SCREEN_WIDTH = static_cast<uint32_t>(96);
QL 4:6189d844a1a2 42 uint32_t const BSP_SCREEN_HEIGHT = static_cast<uint32_t>(16);
QL 4:6189d844a1a2 43
QL 4:6189d844a1a2 44 void BSP_init(void);
QL 4:6189d844a1a2 45 void BSP_displayPaused(uint8_t const paused);
QL 4:6189d844a1a2 46 void BSP_displayPhilStat(uint8_t const n, char_t const *stat);
QL 4:6189d844a1a2 47 void BSP_terminate(int16_t const result);
QL 4:6189d844a1a2 48
QL 4:6189d844a1a2 49 void BSP_randomSeed(uint32_t const seed); // random seed
QL 4:6189d844a1a2 50 uint32_t BSP_random(void); // pseudo-random generator
QL 4:6189d844a1a2 51
QL 4:6189d844a1a2 52 } // namespace DPP
QL 4:6189d844a1a2 53
QL 4:6189d844a1a2 54 #endif // bsp_h
QL 4:6189d844a1a2 55
QL 4:6189d844a1a2 56