פתרון החקירה העצמאית

פתרון ראשון

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

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

פתרון שני

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

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

פתרון שלישי

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

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