2017-04-05 05:11:22 +02:00
|
|
|
sample:
|
2017-12-11 02:05:44 +01:00
|
|
|
name: Dining Philosophers
|
2017-12-29 02:22:54 +01:00
|
|
|
common:
|
2020-04-14 09:59:12 +02:00
|
|
|
extra_args: DEBUG_PRINTF=1
|
2018-10-15 21:28:35 +02:00
|
|
|
tags: introduction
|
2017-12-29 02:22:54 +01:00
|
|
|
harness: console
|
|
|
|
harness_config:
|
|
|
|
type: multi_line
|
|
|
|
ordered: false
|
|
|
|
regex:
|
|
|
|
- ".*STARVING.*"
|
|
|
|
- ".*DROPPED ONE FORK.*"
|
|
|
|
- ".*THINKING.*"
|
|
|
|
- ".*EATING.*"
|
2017-04-05 05:11:22 +02:00
|
|
|
tests:
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher:
|
2018-10-15 21:28:35 +02:00
|
|
|
tags: introduction
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.same_prio:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DSAME_PRIO=1"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.static:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DSTATIC_OBJS=1"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.semaphores:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DFORKS=SEMAPHORES"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.stacks:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DFORKS=STACKS"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.fifos:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DFORKS=FIFOS"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.lifos:
|
2018-01-18 22:22:27 +01:00
|
|
|
extra_args: "-DFORKS=LIFOS"
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.preempt_only:
|
2017-12-29 02:22:54 +01:00
|
|
|
extra_configs:
|
|
|
|
- CONFIG_NUM_PREEMPT_PRIORITIES=6
|
|
|
|
- CONFIG_NUM_COOP_PRIORITIES=0
|
|
|
|
- CONFIG_BT=n
|
2019-10-21 12:01:07 +02:00
|
|
|
- CONFIG_NETWORKING=n
|
2019-12-01 18:29:43 +01:00
|
|
|
sample.kernel.philosopher.coop_only:
|
2017-12-29 02:22:54 +01:00
|
|
|
extra_configs:
|
|
|
|
- CONFIG_NUM_PREEMPT_PRIORITIES=0
|
|
|
|
- CONFIG_NUM_COOP_PRIORITIES=6
|