תרגול admission והרשאות

הרחיבו את Budget כך שיגביל גם מספר fd-ים, ודרשו רכישה אטומית של שלושת המשאבים. הוסיפו בדיקות overflow וניסיון לרכוש בקשה גדולה מן התקציב כולו. אין להשאיר אף מונה מוגדל אחרי כשל רכישה.

חברו permit לפעולה חוסמת והפילו את ה־future שממתין לה. בדקו שהתקציב אינו חוזר עד שהפעולה עצמה מסיימת. תעדו מתי בדיוק ה־Drop מתרחש.

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