פרק תשיעי – מדיניות ניהול זיכרון וירטואלי

Slides:



Advertisements
Similar presentations
מבוא למדעי המחשב לתעשייה וניהול
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
1 מבוא למדעי המחשב הקצאה דינאמית. 2 הקצאת זיכרון דינאמית  כאשר אנו משתמשים במערכים, אנו מקצים אוטומטית את הזיכרון המקסימלי שנצטרך.  בפועל, אנו משתמשים.
Operating Systems, 112 Practical Session 10, Memory Management continues 1.
1 מערכות הפעלה הקדמה השקפים בהשראת 'מבוא למערכות הפעלה'/234119/טל כהן + איתן קוך.
1 חישוב של אופרטורים רלציוניים Evaluation of Relational Operators.
תמחיר תהליך. מערכת תמחיר תהליך מערכת זו נועדה לספק מידע, כמו מערכת תמחיר הזמנה, על עלות המוצרים שיוצרו בתקופה ועל עלות המוצרים שבתהליך הייצור בסוף התקופה.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
משטר דינמי המשך – © Dima Elenbogen :55 חידה שכדאי לעבור עליה: 2011/ho/WCFiles/%D7%97%D7%99%D7%93%D7%94%20%D7%A2%D7%9D%20%D7%91%D7%95%D7%A0%D7%95%D7%A1.doc.
Inverse kinematics (Craig ch.4) ב"ה. Pieper’s solution נתבונן ברובוט עם 6 מפרקי סיבוב כאשר שלושת הצירים של המפרקים האחרונים נחתכים. נקודת החיתוך נתונה.
חורף - תשס " ג DBMS, Design1 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
מערכות הפעלה תרגול 10 – זיכרון וירטואלי ב- Linux.
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
נובמבר ניהול תהליכים במערכת מרובת מעבדים Process Management in Multiprocessor Systems.
אוקטובר מבנה מערכות הפעלה אוקטובר אסף שוסטר שקפים ע"פ אלן אזגורי/חגית עטיה.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
חורף - תשס " ג DBMS, צורות נורמליות 1 צורה נורמלית שלישית - 3NF הגדרה : תהי R סכמה רלציונית ותהי F קבוצת תלויות פונקציונליות מעל R. R היא ב -3NF.
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
מערכות הפעלה חזרה. מערכות הפעלה - שאלות חזרה2 (c) רסקין לאוניד 2005 שאלה1.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מרץ 2002אלן אזאגורי ©1 זיכרון משותף מבוזר Distributed Shared Memory.
מערכות הפעלה תרגול 12 – ניהול זיכרון ב-Linux : המשך.
(C) Yohai Devir January מבנה מחשבים ספרתיים תרגול מס ' 12: זיכרון וירטואלי ב - VAX מבוסס על תרגולים מאת מורן גביש ואורן קצנגולד.
תרגול 10 – זיכרון וירטואלי ב-Linux
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מרץ 2002אלן אזאגורי ©1 מבנה מערכות הפעלה מרץ אלן אזאגורי (מרצה אחראי) ארז חדד.
מרץ 2002אלן אזאגורי ©1 זימון תהליכים Process Scheduling.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 זימון תהליכים  מדיניות בסיסיות : RR, FCFS, SJF  הערכת זמן ריצה ושימוש בעדיפויות  ריבוי תורים ודוגמאות.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
מערכות הפעלה תרגול 12 – ניהול זיכרון ב-Linux : המשך.
מערכות הפעלה תרגול 11 – ניהול זיכרון ב-Linux: המשך.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 זימון תהליכים  מדיניות בסיסיות : RR, FCFS, SJF  הערכת זמן ריצה ושימוש בעדיפויות  ריבוי תורים ודוגמאות.
Data Structures, CS, TAU, Perfect Hashing 1 Perfect Hashing בעיה : נתונה קבוצה S של n מפתחות מתחום U השוואה ל - Hash : * טבלה קבועה (Hash רגיל - דינאמי.
1 Data Structures, CS, TAU, Perfect Hashing בעיה: נתונה קבוצה S של n מפתחות מתחום U השוואה ל- Hash : * טבלה קבועה (Hash רגיל - דינאמי) * רוצים זמן קבוע.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
מערכת הקבצים : יסודות  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.  מימושים : בסיסיים וקצת על מימושים.
Markov Decision Processes (MDP) תומר באום Based on ch. 14 in “Probabilistic Robotics” By Thrun et al. ב"הב"ה.
אוקטובר זימון תהליכים Process Scheduling. אקטובר עמוד נושאים מבוא לזימון תהליכים –מצבי תהליך –בעיית זימון התהליכים –מדדים לאיכות זימון תהליכים.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
Silberschatz, Galvin and Gagne ©2009 Operating System Concepts – 8 th Edition, Chapter 9: Virtual Memory.
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
מערכות הפעלה תרגול 4 – תהליכים ב-Linux (2). מערכות הפעלה - תרגול 42 (c) ארז חדד 2003 תוכן התרגול אלגוריתם זימון התהליכים ב-Linux  איך בוחרים, בכל נקודת.
בקרה תומר באום ב"הב"ה. סוגי בקרה חוג פתוח Open-loop control : אנו מכוונים את הרובוט למצב הבא שהוא אמור להיות בו לפי מודל מסוים, כמו שעשינו בקינמטיקה הפוכה.
(C) Yohai Devir January מבנה מחשבים ספרתיים זכרון וירטואלי מבוסס על תרגול של מורן גביש.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
Operating Systems Practical Session 10, Memory Management continues.
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
Computer Architecture and Assembly Language
מערכות הפעלה ערן טרומר סמסטר א' תשע"ב
מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
SQL בסיסי – הגדרה אינדוקטיבית
ניהול איכות ותקינה הבטחת איכות תקנים תו תקן למוצר ניהול איכות
Practical Session 8, Memory Management 2
עבודה עם נתונים באמצעות ADO.NET
אוגרים ומונים – Registers & Counters
פרק רביעי – תקשורת בין תהליכים פנימיים
תרגול 12 – ניהול זיכרון ב-Linux: המשך
בחירת חומר גלם כתב: עמרי שרון.
תהליכים-דייאט: חוטים מוטיבציה חוטי משתמש וחוטי מערכת
Shell Scripts בסביבת UNIX
Practical Session 9, Memory Management continues
Computer Architecture and Assembly Language
פרק 3 - תהליכים.
Practical Session 8, Memory Management 2
Presentation transcript:

פרק תשיעי – מדיניות ניהול זיכרון וירטואלי מבוא למערכות הפעלה תהליכים תזמון תהליכים תקשורת בין תהליכים פנימיים נעילה (תקיעה) תהליכים קלי משקל ניהול זיכרון זיכרון וירטואלי מדיניות ניהול זיכרון וירטואלי מערכת הפעלה עם קוד פתוח Operating Systems - 2010 Shayke Bilu

מדיניות מערכות הפעלה בקשר לניהול הזיכרון הוירטואלי מדיניות הבאה/השגה - Fetch policy מדיניות הנחה - Placement policy מדיניות מיקום מחדש - Replacement policy ניהול תושב - Resident management מדיניות ניקוי - Cleaning policy בקרת טעינה - Load control Operating Systems - 2010 Shayke Bilu

מדיניות הבאה/השגה - Fetch Policy דפדוף לפי דרישה - Demand Paging: דפים מובאים לזיכרון על פי דרישה לפי הצורך של מע’ ההפעלה. תהליך מתחיל עם מספר דפים כברירת מחדל, לבסוף הדפדוף המקומי משתלט ודפים נדרשים נקראים. דפדוף מוקדם וצפוי מראש - Pre-paging: דפים שונים מאלה הנדרשים מובאים לזיכרון כשהם משתמשים במקום בדיסק. אם הדפים מאוחסנים כשהם סדורים, יהא קל יותר ויעיל יותר לשלוף אותם לשימוש מאוחר יותר. המדיניות אינה אפקטיבית אם הדפים הנותרים אינם ברי התייחסות. Operating Systems - 2010 Shayke Bilu

מדיניות הנחה - Placement Policy מדיניות ההנחה מתייחסת להחלטה היכן, בזיכרון האמיתי, חלקי התהליך ימוקמו. מערכת חד-מעבד - Uni-Processor systems: עם שום דבר למעט סגמנטציה טהורה, זה אינו דורש התייחסות כיוון שמערכת כזו עובדת בעדיפות הטוב המתאים, הראשון המתאים וכדומה ללא שיקולים עמוקים. Operating Systems - 2010 Shayke Bilu

מדיניות הנחה - Placement Policy מערכת רבת מעבדים - NUMA multiprocessors: ללא תבנית קבועה לבקרת הגישה למעבדים, כך שיש למעבדים זיכרון משותף ומבוזר. כל מסגרות הדפים באות לידי שימוש. כאשר מתרחשת שגיאה בדף מיד דף חדש מובא לתוך המסגרת. Operating Systems - 2010 Shayke Bilu

מטרות אלגוריתם מיקום מחדש Replacement Algorithm Objectives 1. הדף המוחלף חייב להיות הדף בעל הסיכוי הנמוך ביותר לקבלת התייחסות עתידית ע”י המערכת. 2. חייב להיות קישור בין העבר ההיסטורי והעתיד של הדפדוף בגלל מקומיות הדפים בתהליך. 3. מירב האלגוריתמים מבססים את החלטות לפעולה עתידית על פעילויות העבר שכבר נעשו. Operating Systems - 2010 Shayke Bilu

מדיניות מיקום מחדש Replacement Policy אופטימליות - Optimal שימוש שלא לאחרונה - Not-recently-used ראשון פנימה, ראשון החוצה - First-in, first-out שימוש לאחרונה - Least recently used שימוש לא נפוץ - Not frequently used שימוש לא נפוץ תחת שינוי - Modified Operating Systems - 2010 Shayke Bilu

אופטימליות - Optimal החלפת הדף בעל הסבירות הנמוכה ביותר להתייחסות בעתיד או כאשר הזמן המוקצב להתייחסות הבאה הוא הארוך ביותר. האלגוריתם בלתי אפשרי למימוש בגלל היות מערכת ההפעלה בעלת מידע מושלם על כלל התהליכים העתידיים. האלגוריתם בה לידי שימוש להשוואה בין אלגוריתמים אחרים. Operating Systems - 2010 Shayke Bilu

שימוש שלא לאחרונה Not-Recently-Used (NRU) החלף את הדף שאינו בשימוש לאחרונה. השתמש בתווי ההתייחסות (R) והשינוי (M) בטבלת הכניסות לדפים. תו ה- (R (referenced מכוון כאשר הדף תחת התייחסות בקריאה או בכתיבה. תו ה- (M (modified מכוון כאשר הדף תחת תהליך שינוי תוכן הדף שונה בכתיבה. Operating Systems - 2010 Shayke Bilu

ראשון פנימה, ראשון החוצה First-In, First-Out (FIFO) החלף דף ששהה בזיכרון במשך זמן ארוך ביותר. פשוט מאד למימוש, משתמשים בחציצה מעגלית. קיים תמיד סיכוי שהדף “העתיק” ביותר יכול לבוא לידי שימוש באופן כבד. יתכן שימוש לרעה בגלל תנועת הלוך וחזור של דפים מהזיכרון לדיסק וחזרה. מאפשר בדיקת התווים R ו- M לצורך דילוג מעל דפים בעלי שימוש יתר להקטנת השימוש לרעה. Operating Systems - 2010 Shayke Bilu

שימוש לאחרונה Least recently used (LRU) החלף הדף שלא היה בשימוש במשך הזמן הארוך ביותר. תהליך דומה עד לתאימות מלאה לאופטימלי. המימוש מאפשר תקורה. המימוש משתמש בחתימת זמן עבור כל דף, הזמן של ההתייחסות האחרונה לדף זה. Operating Systems - 2010 Shayke Bilu

שימוש לא נפוץ לעיתים קרובות Not Frequently Used (NFU) בשגיאת דף, הדף מוחלף תוך כדי מינימום ערך מונה. מאז שעדכון המונה מבוצע בכל פסיקת שעון, האלגוריתם מוערך בקירוב בלבד. Operating Systems - 2010 Shayke Bilu

שימוש לא נפוץ תחת שינוי Modified אלגוריתם: א. הזזה ימינה של ערך המונה, בטבלת הדפים, של מקום 1. ב. השמה של ערך בסיבית ה- R , (כ- 0- ללא התייחסות ו-1 התייחסות) כסיבית החדשה השמאלית ביותר בכל נקישת שעון. ג. בשגיאת דף מוחלף הדף בדף בעל ערך מונה נמוך ביותר, שזהו ערכו של הדף שהיה בשימוש לאחרונה. Operating Systems - 2010 Shayke Bilu

ניהול “תושב” Resident management אסופת תהליכי דפים שנמצאים בזיכרון האמיתי. מערכת ההפעלה חייבת מדיניות ניהול גודל ומיקום שמשפיעים על “תושבי” הזיכרון. מדיניות המיקום הקבוע- לכל תהליך יש מספר קבוע של דפים. מדיניות המיקום המשתנה- כמות הדפים לתהליך יכולה להשתנות. Operating Systems - 2010 Shayke Bilu

מדיניות ניקוי - Cleaning policy מדיניות הניקוי מחליטה מתי עמוד ששונה ישלח החוצה מהזיכרון המשני. מדיניות הדורשת ניקוי מוקדם: דף נכתב החוצה רק כאשר הוא נבחר להחלפה. טעות בדפדוף מרמזת כי שתי פעילויות קלט/פלט משפיעות באופן חמור ביותר על ביצוע התהליך. Operating Systems - 2010 Shayke Bilu

מדיניות ניקוי - Cleaning policy ניקוי מוקדם: דפים נכתבו לפני שנדרשו ע”י מסגרות, כך שהם יכולים להיכתב מחדש באצווה. אין טעם לכתיבת דפים באצווה ואחר כך למצוא כי תוכן הדפים שונה שוב. חציצת דפים הוא פשרה טובה למצבים אלה. Operating Systems - 2010 Shayke Bilu

בקרת טעינה - Load control בקרת טעינה: מבצעת בקרה על מספר התהליכים שבפועל נמצאים טעונים בזיכרון. מעט מידי תהליכים מאפשרים חוסר במצבי מוכנות לתהליכים, מאפשרים החלפות. יותר מידי תהליכים מאפשרים בחירה בעמוד גבוה בעל תדירות לקויה, תהליך שמביא להנעת דפים. Operating Systems - 2010 Shayke Bilu