Download presentation
Presentation is loading. Please wait.
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 יוסי
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.