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

בגרסה הפגומה שני עובדים יכולים לקרוא 0, לבדוק ש־0 + 4 <= 5, ואז כל אחד לכתוב 4. המונה הסופי אינו חורג, אבל שתי בקשות של ארבע יחידות התקבלו בפועל. לכן בדיקת הערך הסופי בלבד אינה מזהה את אובדן העדכון ואת הפרת מדיניות הקבלה.

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

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