Cause Effect Rules
Rule2
Rule3
Rule4
Rule1
Start
-
-
-
-
0
-
T
F
-
Transitions
1->2
2->1
2->E
S->1
Method1 :
q->lock = (spinlock_t) { 1 };
-
-
begin
Method2 :
(&q->task_list)->next = (&q->task_list);
(&q->task_list)->prev = (&q->task_list);
1
-
-