22 lines
851 B
Markdown
22 lines
851 B
Markdown
# FC09 card plan — Event Groups
|
||
|
||
## Thesis
|
||
|
||
An EventGroup is a bit protocol, not a counter. ALL/ANY, clear-on-exit and
|
||
barrier auto-clear are part of the protocol and must be visible in evidence.
|
||
|
||
```text
|
||
FC09 · Event Groups
|
||
└── Task01 · READY latch + three-party barrier
|
||
├── A2/A4 · disjoint masks and participants
|
||
├── A5 · E01–E11 deterministic flow
|
||
├── A6 · bit value and blocked-task states
|
||
├── A7 · handle, wait lists, three stacks and digest
|
||
├── A8 · ANY/ALL/clear/sync decisions
|
||
└── Exercise · compare ANY and ALL on the same trace
|
||
```
|
||
|
||
Acceptance requires a real EventGroup, finite timeouts, coordinator blocked on
|
||
the partial READY mask, worker A blocked at sync, all three `xEventGroupSync`
|
||
results containing `0x70`, final bits zero and deterministic E01–E11.
|