שאלת מבחן במערכות הפעלה - האוניברסיטה הפתוחה 2023 - קיפאון

במערכת בה יכולה להיות ליבה אחת או שתי ליבות, מה נכון לגבי אלגוריתם הבנקאי שמראה מצב לא בטוח? א. מערכת כבר נמצאת במצב קיפאון. ב. מערכת עלולה להיכנס בעתיד למצב קיפאון אם המשאבים המבוקשים יוקצו. ג. מערכת בוודאות תיכנס בעתיד למצב קיפאון אם המשאבים המבוקשים יוקצו. ד. אם במעבד יש ליבה CORE אחת, תשובה ב. נכונה, ואם יש 2 ליבות, תשובה ג. נכונה.

רמז: חשבו על ההבדל המהותי בין 'אפשרות' לבין 'ודאות'. האם מצב לא בטוח מבטיח בהכרח שיתרחש קיפאון, או רק מצביע על קיום הסיכון לכך?

פתרון: התשובה הנכונה היא ב'. **מצב לא בטוח (Unsafe State)**, כפי שמתגלה על ידי **אלגוריתם הבנקאי**, הוא מצב שבו מערכת ההפעלה אינה יכולה להבטיח שקיפאון לא יתרחש. כלומר, קיים לפחות רצף אחד של בקשות משאבים עתידיות מצד התהליכים שיוביל למצב **קיפאון (Deadlock)**. עם זאת, מצב לא בטוח אינו מבטיח קיפאון; ייתכן שהתהליכים יסיימו את עבודתם וישחררו משאבים בסדר כזה שלא יוביל לקיפאון. לכן, המערכת *עלולה* להיכנס לקיפאון, אך אין ודאות בכך. נבחן את שאר האפשרויות: * א. לא נכון. מצב לא בטוח אינו מצב קיפאון. במצב קיפאון, התהליכים כבר חסומים ומחכים זה לזה. במצב לא בטוח, התהליכים עדיין יכולים לרוץ. * ג. לא נכון. המילה "בוודאות" אינה מדויקת. מצב לא בטוח הוא תנאי הכרחי אך לא מספיק לקיומו של קיפאון. קיימת רק האפשרות לקיפאון. * ד. לא נכון. אלגוריתם הבנקאי עוסק בהקצאת משאבים כלליים, והלוגיקה של מצבים בטוחים ולא בטוחים אינה תלויה במספר **הליבות** במעבד. מספר הליבות משפיע על רמת המקביליות ועל **תזמון CPU**, אך לא על אלגוריתמי מניעת קיפאון ברמת המשאבים.