|
|
עמוד:152
תיקון זה פותר את הבעיות של הפרוטוקול שהצגנו , ואפשר להראות ( אם כי לא נביא כאן הוכחה פורמלית ) שהפעם מתקבל פרוטוקול אמין , שיכול להתגבר על כל צירוף של שיבושים ואובדנים וביניהם גם זמן המתנה קצר מדי . מובן שאמינות הפרוטוקול תלויה ביכולת גילוי השגיאות ; אם שגיאה במנה לא תתגלה , עלולה להגיע לשכבת הרשת מנה משובשת . גילוי שגיאות הוא נושא נפרד שבו נעסוק בפרק . 5 כפי שנראה שם , קיימות שיטות גילוי שגיאות שבהן ההסתברות לאי-גילוי של שגיאה היא נמוכה מאוד . מימוש פרוטוקול עצור-והמתן כדי לממש את פרוטוקול עצור-והמתן מנה צריכה לכלול את השדות אלה ' . 1 שדה מידע . 2 שדה מספור . 3 שדה לגילוי שגיאות אישור צריך להכיל שני שדות : . 1 שדה מספור . 2 שדה לגילוי שגיאות השדה לגילוי שגיאות באישור דרוש כדי להבטיח שהמידע שבשדה המספור לא שובש . אם מתגלה שגיאה באישור , השולח יתעלם ממנו ויתנהג כאילו האישור לא הגיע . קביעת גודלו של שדה המספור בפרוטוקול יש עדיין בעיה קטנה : עם התמשכות השידור גדלים המספרים הסידוריים של המנות , ולבסוף לא יהיה בשדה המספור מקום לאחסנם . נשאלת השאלה : כמה סיביות יש להקצות בעבור שדות המספור ? מובן שגודל השדה ( בסיביות ) יקבע את המספר הסידורי המרבי האפשרי . כדי להקטין את התקורה , רצוי להגביל את תחום המספרים הסידוריים . בפרוטוקול עצור-והמתן יש להבחין בכל שלב רק בין המנה שמצפים לה ובין המנה הקודמת , שכבר התקבלה ( אך אולי שודרה שוב עקב אובדן האישור בעבורה . ( שהרי לא ייתכן שתגענה ליעד מנות קודמות יותר .
|
|