signaling_3.alg.c

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
main:
	shared a1_ready := semaphore(0)
	shared b1_ready := semaphore(0)
	create_thread(thread_a)
	create_thread(thread_b)
	create_thread(thread_c)

thread_a:
	statement a1
	signal(a1_ready)

thread_b:
	wait(a1_ready)
	statement b1
	signal(b1_ready)

thread_c:
	wait(b1_ready)
	statement c1