Long description

The figure consists of a horizontal block labeled pushlock. A one sided arrow is pointing toward the block from a circle which is placed above the block and labeled 12, T 3: Blocked and the arrow is labeled waiting on the push lock. Another one sided dotted arrow is pointing toward the block from a circle which is placed below the block and labeled 4 and T 1: ready and the arrow is labeled would like to release the push lock, but never get scheduled. A circle which is placed near the block and labeled 8 and T 2:running.