zephyr

History

Peter Mitsis 9d63adf3ea Renames supported platform configurations Renames supported platform configurations to conform to new platform configuration naming scheme. Example usage with PLATFORM_CONFIG: make PLATFORM_CONFIG=basic_cortex_m3 make PLATFORM_CONFIG=basic_atom make PLATFORM_CONFIG=basic_minuteia make PLATFORM_CONFIG=galileo xxx_ti_lm3s6965_defconfig -> xxx_basic_cortex_m3_defconfig xxx_generic_pc_atom_n28xx_defconfig -> xxx_basic_atom_defconfig xxx_generic_pc_minuteia_defconfig -> xxx_basic_minuteia_defconfig xxx_quark_defconfig -> xxx_galileo_defconfig Change-Id: I696eb8b9ad9a72d7a72efbe1341ce23500335764 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>		2016-02-05 20:14:39 -05:00
..
src	doxygen: add @brief and capitalize	2016-02-05 20:14:33 -05:00
Makefile	Renames supported platform configurations	2016-02-05 20:14:39 -05:00
prj_arm.conf	samples: remove explicit enabling of SW_ISR_TABLE/DYNAMIC	2016-02-05 20:13:45 -05:00
prj_x86.conf	First commit	2015-04-10 16:44:37 -07:00
prj.mdef	Rename VPF files to use MDEF file extension	2016-02-05 20:14:15 -05:00
README.txt	Fixed make target for running in qemu (microkernel)	2016-02-05 20:14:16 -05:00

README.txt

Title:  philosopher

Description:

An implementation of a solution to the Dining Philosophers problem
(a classic multi-thread synchronization problem).  This particular
implementation demonstrates the usage of microkernel task groups,
Mutex APIs and timer drivers from multiple (6) tasks.

The philosopher always tries to get the lowest fork first (f1 then f2).
When done, he will give back the forks in the reverse order (f2 then f1).
If he gets two forks, he is EATING.  Otherwise, he is THINKING.

Each philosopher will randomly alternate between the EATING and THINKING
states.

--------------------------------------------------------------------------------

Building and Running Project:

This microkernel project outputs to the console.  It can be built and executed
on QEMU as follows:

    make qemu

--------------------------------------------------------------------------------

Troubleshooting:

Problems caused by out-dated project information can be addressed by
issuing one of the following commands then rebuilding the project:

    make clean          # discard results of previous builds
                        # but keep existing configuration info
or
    make pristine       # discard results of previous builds
                        # and restore pre-defined configuration info

--------------------------------------------------------------------------------

Sample Output:

Philosopher 0 EATING
Philosopher 1 THINKING
Philosopher 2 THINKING
Philosopher 3 EATING
Philosopher 4 THINKING
Philosopher 5 THINKING








Demo Description
----------------
An implementation of a solution to the Dining Philosophers problem
(a classic multi-thread synchronization problem).  This particular
implementation demonstrates the usage of multiple (6) tasks
of differing priorities and the nanokernel semaphores and timers.