|
|
עמוד:145
המתנה לאישור ושידורים חוזרים מאפשרים להתגבר על חלק מהשיבושים והאובדנים במנות הנשלחות , שהרי כל מנה תישלח שוב ושוב , עד שיתקבל בעבורה אישור תקינות . למרות זאת יש עדיין בעיות בפרוטוקול זה . אלגוריתם מבוזר הבעיות נובעות מכך שפרוטוקול הוא אלגוריתם מבוזר , כלומר , אלגוריתם שמתבצע על-ידי כמה מבצעים ( תהליכים ) המרוחקים זה מזה . כדי שהמבצעים השונים יוכלו לבצע את האלגוריתם , עליהם להעביר מידע זה לזה . הבעיה במערכות תקשורת היא שהעברת המידע אורכת זמן לא ידוע , ושהמידע המועבר יכול להשתבש או אף לא להגיע ליעדו . לפני שנתאר רצף אירועים המכשיל את הפרוטוקול שלנו , נתאר , באמצעות דוגמה , את המושג " אלגוריתם מבוזר" ואת הבעיה שיכולה להתעורר בהעברת מידע . אק / ? 9 $ / P / V j osj ' -j / d / k כאשר מפקד מתדרך את חייליו לפני יציאה למבצע צבאי , הוא נותן להם הוראות המהוות אלגוריתם שיביא לביצוע המשימה . זהו אלגוריתם מבוזר , משום שהוא צריך להתבצע בו-זמנית על-ידי כל החיילים . כדי שפעולות החיילים תהיינה מתואמות , הם צריכים להעביר ביניהם מידע . למשל ו חייל מסוים צופה על מוצב של האויב ומדווח על תנועות כלי רכב : כאשר הוא מבחין ברכב הנכנס למוצב הוא צריך לדווח על-כך למפקד , ולהמתין לאישור מהמפקד . אולם ההודעה של החייל עלולה להשתבש ברשת הקשר , לכן הורה לו המפקד להמתין חמש דקות לאישור ואז לחזור שוב על הדיווח . הוראה זו עלולה ליצור שיבוש כאשר המפקד קולט דיווח של החייל , מאשר אותו , אך האישור משתבש ולא מגיע לאוזני החייל . כאשר יחלפו חמש דקות , החייל יחזור על ההודעה והמפקד עלול לחשוב שהתקבלו שני דיווחים על כניסת כלי רכב , בשעה שלאמיתו של דבר נכנס רק כלי רכב אחד . באופן דומה , כאשר כמה תהליכים מבצעים פרוטוקול ( כלומר , אלגוריתם תקשורת מבוזר , ( הס צריכים להעביר הודעות זה לזה , כדי לתאם את פעולתם ולהגיב נכון על כל מהלך אירועים . מתכנן האלגוריתם צריך להבטיח כי גם במקרה של אובדן או שיבוש המידע המועבר בין התהליכים , ידע כל תהליך כיצד לפעול . מספיק שיהיה צירוף מקרים אחד שבו האלגוריתם אינו פועל נכון כדי לעורר בעיה . כדי שהאלגוריתם יהיה אמין יש לחשוב מראש על כל האפשרויות השונות . נעבור אפוא להצגת הבעיה הראשונה בפרוטוקול .
|
|