Nebenläufigkeit in Python

	Aktionen	(Änderung des) Zustand(s) des Buffers	Auf die Sperre (Lock) wartend	An der Bedingung wartend
1	c1:bb.get(), c2:bb.get(), p1:bb.put(), p2:bb.put()	empty	{c2,p1,p2}	{c1}
2	c2:bb.get()	empty	{p1,p2}	{c1,c2}
3	p1:bb.put(1)	empty → not empty	{p2,c1}	{c2}
4	p2:bb.put(2)	not empty	{c1}	{c2,p2}
5	c1:bb.get()	not empty → empty	{c2}	{p2}
6	c2:bb.get()	empty	∅	{c2,p2}

Nebenläufigkeit