Question

In the HCLHLock lock, for a given cluster master thread, in the interval between setting the global tail reference and raising the tailWhenSpliced flag of the last spliced node, the nodes spliced onto the global queue are in both its local queue and the global queue. Explain why the algorithm is still correct.

    In the HCLHLock lock, for a given cluster master thread,
in the interval between setting the global tail reference and raising
the tailWhenSpliced flag of the last spliced node, the nodes spliced
onto the global queue are in both its local queue and the global
queue. Explain why the algorithm is still correct.

The Art of Multiprocessor Programming

Nir Shavit, Maurice… 1st Edition

Chapter 7, Problem 88

Thanks for your feedback!

In the HCLHLock lock, for a given cluster master thread, in the interval between setting the global tail reference and raising the tailWhenSpliced flag of the last spliced node, the nodes spliced onto the global queue are in both its local queue and the global queue. Explain why the algorithm is still correct.

Play audio

Feedback

Ace is your personal tutor. It breaks down any question with clear steps so you can learn.

Start Using Ace

Continue solving this problem

Create a free account to:

View full step-by-step solution
Ask follow-up questions with Ace AI
Save progress and study later

Please give Ace some feedback