edu-freertos-c/lab-rv32i-freertos-c-notifications
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: preserve current FreeRTOS and C card updates

Browse Source
This commit is contained in:
M. Pabiszczak
2026-07-21 19:13:55 +02:00
parent 2e0fdfdc7e
commit f90f00c636
6 changed files with 140 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files
json/card_spec.json
+1 -1
View File
@@ -33,7 +33,7 @@
"task01.pass":{"event_id":"E12","stop":{"symbol":"fc10_checkpoint_committed","offset":0,"condition":"$a0 == 12"},"verify":{"expressions":[{"expr":"g_fc10_pass","equals":1},{"expr":"g_fc10_event_count","equals":12}]}}
},
"sections":[
{"id":"A2","label":"STRUCTURE","title":"Structure","order":20,"orientation":"landscape","description":"Notification state lives in the target task, not in an intermediary object.","content_tex":"TaskHandle_t selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.","assets":[{"stem":"a2-structure","title":"A2 · target-owned slot","caption":"A2 STRUCTURE — receiver TCB notification slot.","label":"fig:a2-structure","alt":"Struktura direct notification.","phases":[{"id":"structure","label":"SENDER / TARGET / MODES","steps":[
{"id":"A2","label":"STRUCTURE","title":"Structure","order":20,"orientation":"landscape","description":"Notification state lives in the target task, not in an intermediary object.","content_tex":"\\texttt{TaskHandle\\_t} selects one target TCB and index 0. Count, overwrite and bits are three actions on the same value/state pair.","assets":[{"stem":"a2-structure","title":"A2 · target-owned slot","caption":"A2 STRUCTURE — receiver TCB notification slot.","label":"fig:a2-structure","alt":"Struktura direct notification.","phases":[{"id":"structure","label":"SENDER / TARGET / MODES","steps":[
{"id":"sender","number":1,"label":"sender stores target handle","mode":"CODE","strategy_ref":"code.contract","svg_label":"01","code_ref":"include/task01_notifications.h:24","description":"No shared object handle is created.","evidence":"receiver_handle."},
{"id":"receiver","number":2,"label":"slot belongs to receiver TCB","mode":"RUN","event_id":"E03","strategy_ref":"run.blocked","svg_label":"02","code_ref":"src/tasks/task01_notifications.c:153","snapshot_ref":"task01.wait-count","description":"Only receiver consumes slot 0.","evidence":"receiver stack and phase."},
{"id":"count","number":3,"label":"counting accumulates occurrences","mode":"RUN","event_id":"E05","strategy_ref":"run.values","svg_label":"03","code_ref":"src/tasks/task01_notifications.c:164","snapshot_ref":"task01.receive-count","description":"pdTRUE returns and clears all three.","evidence":"3."},