A Blocking Bound for Nested FIFO Spin Locks