Presentation is loading. Please wait.

Presentation is loading. Please wait.

Glenn Ricart and Ashok K. Agrawala. An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 1981, 9-17. המחלקה.

Similar presentations


Presentation on theme: "Glenn Ricart and Ashok K. Agrawala. An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 1981, 9-17. המחלקה."— Presentation transcript:

1 Glenn Ricart and Ashok K. Agrawala. An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 1981, 9-17. המחלקה להוראת המדעים, מכון ויצמן למדע © הכנת המצגת : מוטי בן ארי ומיכל סמואל

2 שריתיוסידפנה 4 44 6 6 6 9 9 9 דפנה, יוסי דפנה

3 בצע תמיד קטע לא קריטי קטע קריטי אלגוריתם RA - תהליך ראשי המחלקה להוראת המדעים, מכון ויצמן למדע © מספר שלי בחר מספר שלח בקשות לצמתים האחרים המתן לאישורים מהצמתים האחרים שלח אישורים לממתינים עבור כל צומת אחר Z בצע שלח בקשה ( צומת Z, מספר שלי, ת. ז שלי ) עבור מספר צמתים פחות אחד בצע קבל אישור עבור כל צומת מעוכב Z בצע שלח אישור ( צומת Z)

4 בצע תמיד קבל בקשה ( מספר בקשה, ת. ז. שולח ) אם מספר שלי > מספר בקשה אזי שלח אישור ( ת. ז. שולח ) אחרת הכנס ( ת. ז. שולח ) לרשימת מעוכבים אלגוריתם RA - תהליך לטיפול בבקשות המחלקה להוראת המדעים, מכון ויצמן למדע ©

5 דפנה 0 יוסי 0 שרית 0 1 11 שריתשרית

6 אלגוריתם RA - תהליך ראשי המחלקה להוראת המדעים, מכון ויצמן למדע © בצע תמיד קטע לא קריטי קטע קריטי מספר שלי בחר מספר שלח בקשות לצמתים האחרים המתן לאישורים מהצמתים האחרים שלח אישורים לממתינים עבור כל צומת אחר Z בצע שלח בקשה ( צומת Z, מספר שלי, ת. ז שלי ) עבור מספר צמתים פחות אחד בצע קבל אישור עבור כל צומת מעוכב Z בצע שלח אישור ( צומת Z) סמן : אני רוצה להכנס לק ” ק סמן : אינני רוצה להכנס לק ” ק

7 בצע תמיד קבל בקשה ( מספר בקשה, ת. ז. שולח ) אם מספר שלי > מספר בקשה אזי שלח אישור ( ת. ז. שולח ) אחרת הכנס ( ת. ז. שולח ) לרשימת מעוכבים אלגוריתם RA - תהליך לטיפול בבקשות המחלקה להוראת המדעים, מכון ויצמן למדע © אם אינני רוצה להכנס לק ” ק אזי שלח אישור ( ת. ז. שולח ) אחרת

8 שרית יוסידפנה 4 44 6 6 6 9 9 9 דפנה, יוסי דפנה 3 33

9 אלגוריתם RA - תהליך ראשי המחלקה להוראת המדעים, מכון ויצמן למדע © בצע תמיד קטע לא קריטי קטע קריטי מספר שלי בחר מספר שלח בקשות לצמתים האחרים המתן לאישורים מהצמתים האחרים שלח אישורים לממתינים עבור כל צומת אחר Z בצע שלח בקשה ( צומת Z, מספר שלי, ת. ז שלי ) עבור מספר צמתים פחות אחד בצע קבל אישור עבור כל צומת מעוכב Z בצע שלח אישור ( צומת Z) סמן : אני רוצה להכנס לק ” ק סמן : אינני רוצה להכנס לק ” ק מספר שלי מספר גדול ביותר + 1

10 אלגוריתם RA - תהליך לטיפול בבקשות המחלקה להוראת המדעים, מכון ויצמן למדע © בצע תמיד קבל בקשה ( מספר בקשה, ת. ז. שולח ) אם מספר שלי > מספר בקשה אזי שלח אישור ( ת. ז. שולח ) אחרת הכנס ( ת. ז. שולח ) לרשימת מעוכבים אם אינני רוצה להכנס לק ” ק אזי שלח אישור ( ת. ז. שולח ) אחרת מספר גדול ביותר ( מספר גדול ביותר, מספר בקשה )Max

11 דפנה 0 יוסי 0 שרית 0 1 11 1 שרית 1 1 יוסי

12 אחרת אם מספר שלי = מספר הבקשה ו - ת. ז. שלי > ת. ז. שולח אזי שלח אישור ( ת. ז. שולח ) אם אינני רוצה להכנס לק ” ק אזי שלח אישור ( ת. ז. שולח ) אחרת בצע תמיד קבל בקשה ( מספר בקשה, ת. ז. שולח ) אם מספר שלי > מספר בקשה אזי שלח אישור ( ת. ז. שולח ) אחרת הכנס ( ת. ז. שולח ) לרשימת מעוכבים מספר גדול ביותר ( מספר גדול ביותר, מספר בקשה )Max אלגוריתם RA - תהליך לטיפול בבקשות המחלקה להוראת המדעים, מכון ויצמן למדע ©

13 אלגוריתם RA - קבועים ומשתנים המחלקה להוראת המדעים, מכון ויצמן למדע © Const Me=…; { ת. ז. שלי } N=…; { מספר צמתים } var My_Request_Number: integer; { המספר שבחרתי } Highest_Req_Number: integer; { מספר הבקשה הגבוה ביותר } Requesting_Critical_Section: boolean; { אני רוצה להכנס לק ” ק } Reply_Deferred: array[1..N] of boolean; { רשימת מעוכבים }

14 HRN=0 MRN=0 RCS=F שרית HRN=0 MRN=0 RCS=F יוסי 1 T 1 שרית 1 T 2 2 יוסי


Download ppt "Glenn Ricart and Ashok K. Agrawala. An Optimal Algorithm for Mutual Exclusion in Computer Networks. Communications of the ACM 24(1), 1981, 9-17. המחלקה."

Similar presentations


Ads by Google