2018-01-09 18:34:07 +08:00
|
|
|
CONFIG_STDOUT_CONSOLE=n
|
Dining philosophers demo for unified kernel.
The demo can be configured to use different object types for its
synchronization: SEMAPHORES, MUTEXES, STACKS, FIFOS and LIFOS. To
configure a specific object, set the value of FORKS to one of these.
By default, the demo uses MUTEXES.
The demo can also be configured to work with static objects or dynamic
objects. The behaviour will change depending if STATIC_OBJS is set to 0
or 1.
By default, the demo uses dynamic objects.
The demo can be configured to work with threads of the same priority or
not. If using different priorities, two threads will be cooperative
threads, and the other four will be preemtible threads; if using one
priority, there will be six preemtible threads of priority 0. This is
changed via SAME_PRIO.
By default, the demo uses different priorities.
The number of threads is set via NUM_PHIL. The demo has only been tested
with six threads. In theory it should work with less than six threads,
but not with more without making changes to the forks[] array in the
phil_obj_abstract.h header file.
Change-Id: If7a0a34b216929a661245fd921a32ec413df8a4a
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
2016-09-15 00:28:27 +08:00
|
|
|
CONFIG_ASSERT=y
|
|
|
|
CONFIG_ASSERT_LEVEL=2
|
2016-11-19 05:29:21 +08:00
|
|
|
CONFIG_NUM_COOP_PRIORITIES=29
|
|
|
|
CONFIG_NUM_PREEMPT_PRIORITIES=40
|
2018-06-29 02:17:18 +08:00
|
|
|
CONFIG_SCHED_SCALABLE=y
|
2019-03-19 00:56:56 +08:00
|
|
|
CONFIG_SMP=n
|