תרגול עדכון אטומי של תקציב

כתבו גרסה פגומה שמבצעת load ואז store בלי CAS, והציגו סדר אירועים שבו שתי בקשות מתקבלות למרות חריגה מהגבול. אין צורך להכניס data race רגיל כדי להדגים את הכשל הלוגי.

הוסיפו ל־reserve בדיקות עבור סכום אפס, סכום גדול מהגבול וגלישת usize. נתחו מהו רגע ההצלחה הלוגי של פעולה שהתקבלה ומהו רגע הדחייה של פעולה שנכשלה.

הסבירו מדוע Relaxed מתאים למונה העצמאי בדוגמה, אבל אינו מספיק אם הצלחת ההזמנה אמורה לפרסם גם מצביע לבאפר שמולא קודם.