פתרון טענות התקדמות

כאשר מחזיק spin lock נעצר, המתחרה אינו יכול לרכוש את המצב עד שהמחזיק ישחרר אותו. לכן המבנה blocking במובן של תלות ההתקדמות, גם אם הוא אינו מרדים תהליכון דרך הקרנל.

בחריץ SPSC, המפיק מחזיק תא פנוי ויוצר בו ערך. פרסום tail מעביר לצרכן הרשאה לקרוא את הערך, ופרסום head אחרי הוצאתו מחזיר למפיק הרשאה למחזר את האחסון. אם נשאר ערך בתור בזמן השמדה, בעל המבנה צריך להשמיד אותו בדיוק פעם אחת אחרי שהגישה של שני הצדדים הסתיימה.

בפעולת CAS מצליחה, ההחלפה יכולה לשמש נקודת ליניאריזציה של העדכון. כשל חוזר יכול להעיד שאחרים משנים את המצב ומתקדמים, אבל אינו מבטיח שהמשתתף המסוים יסיים תוך מספר צעדים חסום. זאת ההבחנה בין טענת lock-free לטענת wait-free.