תרגול סדרים אטומיים וגבולותיהם

הריצו את ניסוי שני הדגלים בגרסת relaxed ובגרסת seq_cst. תעדו מהדר, אפשרויות בנייה, ארכיטקטורה ומספר סבבים. אם הצירוף אפס־אפס לא הופיע, כתבו זאת בלי להסיק שהוא אסור.

ציירו הוכחת סתירה לכך ששני האפסים אינם אפשריים כאשר ארבע הפעולות הן seq_cst. סמנו את סדר התוכנית של כל thread ואת הסדר שנדרש מכך שכל load קרא אפס.

החליפו את ניסוי הפרסום של שיעור 6.3 כך שהצרכן ישתמש ב־atomic::wait במקום yield. הוכיחו מדוע ההתראה אינה הולכת לאיבוד גם כאשר היצרן מפרסם לפני שהצרכן נכנס לפונקציית ההמתנה.

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