תרגול טענות התקדמות

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

תכננו מכונת מצבים לחריץ SPSC שמכיל String. ציינו מי רשאי לכתוב, מי רשאי לקרוא ומתי צריך להפעיל destructor אם התור נסגר עם פריט שלא נצרך.

בחרו פעולה עם CAS וכתבו את נקודת הליניאריזציה שלה. הבדילו בין מספר retries אפשרי של משתתף אחד לבין התקדמות של המערכת כולה.