מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות הפעלה קורס מס ' 234120.

Slides:



Advertisements
Similar presentations
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
Advertisements

מבוסס על הרצאות של יורם זינגר, האוניברסיטה העברית י"ם
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא  מבנה כללי  דוגמה : Network file system  דוגמה : Google file system.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא : שקיפות ושמירת מצב.  דוגמה : Network File System.
1 מערכות הפעלה הקדמה השקפים בהשראת 'מבוא למערכות הפעלה'/234119/טל כהן + איתן קוך.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 סיכום הקורס.
1 מבנה המחשב CPU זיכרון פנימי פלטקלט זיכרון חיצוני.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 פסיקות  סוגי פסיקות  איך מערכת ההפעלה מטפלת בפסיקות  דוגמא : קלט בעזרת פסיקות.
אתר הקורס: צוות הקורס: מרצה: אלדר פישר, טאוב
מכון ויצמן למדע - שמוליק מתוך 8 חישוב מקבילי ומבוזר מה זה יחידה חמישית במדעי המחשב... n ענף מתקדם במדעי המחשב העוסק במערכות ממוחשבות מרובות ישויות.
מערכות הפעלה קורס מס ' מבוא  אדמיניסטרציה.  מהי מערכת הפעלה.  ארגון מערכות הפעלה.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא : שקיפות ושמירת מצב.  דוגמה : Network File System.
מערכות הפעלה תרגול 10 – זיכרון וירטואלי ב- Linux.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 אפליקציות שרת - לקוח  פרדיגמת שרת לקוח  מושג ה socket  מבנה שרת - לקוח  קצת יותר על רשתות.
אוקטובר מבנה מערכות הפעלה אוקטובר אסף שוסטר שקפים ע"פ אלן אזגורי/חגית עטיה.
הגנה במערכות מתוכנתות תרגול 1 – המחשב האישי הערה: שקפים אלה אינם מהווים תחליף לחומר התרגולים המפורסם באתר הקורס, ומשמשים כעזר הוראה בלבד.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
מערכות הפעלה תרגול 6 – חוטים ב-Linux.
מערכות הפעלה תרגול 9 – פסיקות ב-Linux. מערכות הפעלה - תרגול 92 (c) ארז חדד 2003 תוכן התרגול מבוא לפסיקות ב-Linux פסיקות ב-IA32:  סוגי הפסיקות  טבלת.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכות הפעלה קורס מס '
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
Map-Reduce Input: a collection of scientific articles on different topics, each marked with a field of science –Mathematics, Computer Science, Biology,
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות ושימושים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 וירטואליזציה.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכות הפעלה קורס מס '
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 וירטואליזציה.
מרץ 2002אלן אזאגורי ©1 מבנה מערכות הפעלה מרץ אלן אזאגורי (מרצה אחראי) ארז חדד.
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
אתר הקורס: צוות הקורס: מרצה: אמיר שפילקה, טאוב
מערכות הפעלה תרגול 6 – חוטים ב-Linux. מערכות הפעלה - תרגול 62 (c) ארז חדד 2003 תוכן התרגול מבוא לחוטים ב-Linux כיצד גרעין Linux תומך בחוטים עבודה עם חוטים.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
יום עיון 23 יוני 2004 פדגוגיה – תוכניות לעתיד מיכל טיקוצי'נסקי אוניברסיטת בן-גוריון בנגב Highlearn - למידה מתוקשבת.
אתר הקורס: צוות הקורס: מרצה: אלדר פישר, טאוב
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
מרץ 2002אלן אזאגורי ©1 חוטים Threads. מרץ 2002 אלן אזאגורי ©2עמוד נושאים הגדרות –חוטים –חוטים לעומת תהליכים תמיכת מערכת ההפעלה בחוטים דוגמאות –Mach –Windows.
אביב 2004 מערכות הפעלה מערכות הפעלה קורס מס '
מערכות הפעלה תרגול 6 – חוטים ב-Linux. מערכות הפעלה - תרגול 62 (c) ארז חדד 2003 תוכן התרגול סינכרוניזציה בגרעין של Linux מבוא לחוטים ב-Linux כיצד גרעין.
מערכות הפעלה קורס מס' מערכות הפעלה (אביב 2009) חגית עטיה ©
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 סיכום הקורס.
מערכת הקבצים : יסודות  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.  מימושים : בסיסיים וקצת על מימושים.
מערכות הפעלה תרגול 1 - מבוא. מערכות הפעלה - תרגול 12 (c) ארז חדד 2003 ברוכים הבאים לקורס מערכות הפעלה! אדמיניסטרציה סקירה בסיסית של ארכיטקטורת IA32 (80386+)
© , ד"ר עמיר תומר שיטות בהנדסת תוכנה (234321) אודות הקורס - 1 שיטות בהנדסת תוכנה Introduction to Software Engineering מרצה : פרופ ’ שמואל.
מערכות הפעלה תרגול 1 - מבוא. מערכות הפעלה - תרגול 12 (c) ארז חדד 2003 ברוכים הבאים לקורס מערכות הפעלה! אדמיניסטרציה סקירה בסיסית של ארכיטקטורת IA32 (80386+)
אתר הקורס: צוות הקורס: פרופ' עודד שמואלי-
מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
תפקידים פונקציונליים עיקריים של WINDOWS ממשק גרפי : הפעלת תכניות ומתן פקודות בעזרת כלים גרפיים ותפריטים. הפעלה בו - זמנית של מספר תכניות : * חלוקת זיכרון.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
Virtual PC 2004 = סל פתרונות לעולם התוכנה עמית מרלוב, MCSE, MCT Windows Client & VPC Regional Director
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
1 ׃1998 Morgan Kaufmann Publishers פקודת ה- jump 4 bits 26 bits 2 bits 00 : כתובת קפיצה במילים : כתובת קפיצה בבתים … …
Yaron Doweck Yael Einziger Supervisor: Mike Sumszyk 1.
דוח אמצע סמסטר אביב תשס"ב 2002 שם הפרויקט :סביבת בדיקה ל PCIX PCIX environment מנחה : איתי אדר מגישים : שמיל ניסימוב גוילי יואב הטכניון.
מבוא לטכנולוגיות מחשב מבוא
Operating Systems, 2017, Danny Hendler & Amnon Meisels
מערכות הפעלה ערן טרומר סמסטר א' תשע"ב
עבודה עם נתונים באמצעות ADO.NET
פיתוח אפליקציות אסינכרוניות Windows 10
תהליכים-דייאט: חוטים מוטיבציה חוטי משתמש וחוטי מערכת
Shell Scripts בסביבת UNIX
מבוא למערכות מידע פרק 1.
Presentation transcript:

מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות הפעלה קורס מס '

מערכות הפעלה ( אביב 2004) חגית עטיה © 2 מבוא  אדמיניסטרציה.  מהי מערכת הפעלה.  ארגון מערכות הפעלה.

מערכות הפעלה ( אביב 2004) חגית עטיה ©3 אדמיניסטרטריוויה א  מרצה אסף שוסטר  מתרגל ראשילאוניד רסקין  אתר הקורס  מכיל הסילבוס ושקפים יפורסמו באתר הקורס מוקדם - ככל האפשר שקפי ההרצאות מאורגנים לפי נושאים – במידת האפשר

מערכות הפעלה ( אביב 2004) חגית עטיה ©4 אדמיניסטרטריוויה ב  ספר הקורס ( ראשי ) Silberschatz and Galvin, Operating Systems Concepts (5 th ed.) Wiley  ספר הקורס ( משני ) Bovet and Cesati, Understanding the Linux Kernel (2 nd ed.) O ’ Reilly

מערכות הפעלה ( אביב 2004) חגית עטיה ©5 אדמיניסטרטריוויה ג  ציונים סופיים מבוססים על : תרגילי בית ( רטובים + יבשים ) 35% בחינה סופית 65% ייתכן שינוי ביחסי המשקל 5±.  ציון התרגילים תקף ולא מגן.  כל תנאי - הקדם יאכפו, ולא תהינה הנחות !

מערכות הפעלה ( אביב 2004) חגית עטיה ©6 מטרות הקורס  הבנה של עקרונות התכנון והשימוש במערכות הפעלה.  יסודות של ניתוח ביצועים של מערכות הפעלה.  הבנה של מערכת הפעלה אחת : Linux.  יסודות של תכנות מערכת הפעלה.  עקרונות של תכנון מערכות תוכנה גדולות.

מערכות הפעלה ( אביב 2004) חגית עטיה ©7 מבנה הקורס  הרצאות : עקרונות בסיסיים מעט דוגמאות מ “ Unix ” ומערכות אחרות  תרגולים : קוד מערכת הפעלה Linux  תרגילי - בית : תכנות בעזרת קריאוֹת מערכת - הפעלה תכנות בתוך גרעין מערכת ההפעלה וכמובן, גם תרגילים יבשים...

מערכות הפעלה ( אביב 2004) חגית עטיה ©8 מהי מערכת הפעלה ?  שכבת תוכנה לניהול והסתרת פרטים של חומרת המחשב.  מספקת לאפליקציה אבסטרקציה של מכונה וירטואלית ייעוּדית וחזקה ( זיכרון עצום, מעבד ייעודי חזק מאוד...)  מנהלת את משאבי המערכת ומשתפת אותם בין תהליכים, תוכניות, ומשתמשים.

מערכות הפעלה ( אביב 2004) חגית עטיה ©9 תפקיד מערכת ההפעלה מאפשרת להריץ אפליקציות  מבטיחה נכונות. גבולות זיכרון עדיפויות מצב יציב  מספקת נוחיות. הסתרת פרטים תיאום קריאות מערכת - הפעלה מערכת קבצים מערכת הפעלה אפליקציות CPU memory device

מערכות הפעלה ( אביב 2004) חגית עטיה ©10 שיתוף משאבים אפליקציה רוצה את כל המשאבים : זמן מעבד זיכרון קבצים אמצעי קלט / פלט שעון מערכת ההפעלה נותנת לכל אפליקציה אשליה של מערכת שלמה משל עצמו.

מערכות הפעלה ( אביב 2004) חגית עטיה ©11 התפתחות מערכות הפעלה  חומרה יקרה ואיטית, כוח - אדם זול Batch jobs, ניצול החומרה 24x7: IBM S/360  חומרה יקרה ומהירה, כוח - אדם זול Interactive time-sharing: Unix  חומרה זולה ואיטית, כוח - אדם יקר מחשב אישי לכל משתמש : MS-DOS

מערכות הפעלה ( אביב 2004) חגית עטיה ©12 הווה ועתיד  חומרה זולה מאוד, כוח חישוב רב. ריבוי משימות : Windows NT, OS/2, שיתוף משאבים בסיסי : דיסקים, מדפסות,...  בחזרה לעבר...  רשתות מהירות. הרשת היא המחשב : Grid Computing הרשת היא אמצעי אחסון : SAN, Web storage

מערכות הפעלה ( אביב 2004) חגית עטיה ©13 מבנה המחשב התנהגות מערכת ההפעלה מוכתבת ( חלקית ) על - ידי החומרה שעליה היא רצה סט פקודות, רכיבים מיוחדים החומרה יכולה לפשט / לסבך משימות מערכת ההפעלה מחשבים ישנים לא סיפקו תמיכה לזיכרון וירטואלי

מערכות הפעלה ( אביב 2004) חגית עטיה ©14 מנגנוני חומרה לתמיכה במערכת ההפעלה  שעון חומרה  פעולות סנכרון אטומיות  פסיקות  קריאות מערכת - הפעלה  פעולות בקרת קלט / פלט  הגנת זיכרון  אופן עבודה מוּגן ( protected )  פעולות מוּגנות

מערכות הפעלה ( אביב 2004) חגית עטיה ©15 פקודות מוגנות  חלק מפקודות המכונה מותרות רק למערכת - ההפעלה גישה לרכיבי קלט / פלט ( דיסקים, כרטיסי תקשורת ). שינוי של מבני הנתונים לגישה לזיכרון ( טבלת דפים, TLB). עדכון של סיביות מוד ( מצב ) מיוחדות ( לקביעת עדיפות טיפול בפסיקות ). פקודת halt.

מערכות הפעלה ( אביב 2004) חגית עטיה ©16 עבודה במצב מוגן  הארכיטקטורה תומכת בשני מצבים לפחות : kernel mode user mode ( במעבדי IA32 יש ארבעה מצבים...)  המצב נשמר באמצעות status bit ברגיסטר מוגן. תכניות משתמש רצות ב -user mode. מערכת ההפעלה רצה ב -kernel mode.  המעבד מבצע פקודות מוגנות רק ב - kernel mode.

מערכות הפעלה ( אביב 2004) חגית עטיה ©17 אז איך משתמש ניגש לדיסק ? קריאה לפרוצדורת מערכת - הפעלה (system call)  גורמת לפסיקה  פרמטר מזהה את קריאת המערכת  שומרת את מצב התוכנית הקוראת  מוודאת את הפרמטרים ( למשל, מצביעי זבל )  דרך לחזור לתוכנית הקוראת כאשר מסיימים User mode Kernel mode Explorer: read() טיפול בפסיקה read() kernel routine חזרה

מערכות הפעלה ( אביב 2004) חגית עטיה ©18 דוגמא : Linux על מעבדי Intel  אתחול : טבלת מזהי פסיקה ( Interrupt Descriptor Table ) עם מטפלים לכל אחד מסוגי הפסיקות. ווקטור 128 (= 0x80) מתאים ל -system calls. לקוד גרעין יש עדיפות 0, לקוד משתמש עדיפות 3.  כניסה ב IDT, המתאימה לווקטור 128, מכילה : מצביע לקטע קוד גרעין המטפל ב -system calls אישורים עבור קוד עם עדיפות 3 ליזום קריאה לפסיקה זו.  בביצוע system call, תהליך המשתמש : מציב ברגיסטר eax את מספר ה -system call המבוקש. מכין פרמטרים נוספים לפי השרות המבוקש מבצע פקודת “ int 0x80 ” ( פסיקה יזומה ע " י תוכנה ).

מערכות הפעלה ( אביב 2004) חגית עטיה ©19 הגנה על הזיכרון  מערכת ההפעלה צריכה להגן על תוכניות המשתמשים, זו מפני זו ( עם או בלי כוונה רעה ).  מערכת ההפעלה צריכה להגן על עצמה מפני תוכניות המשתמשים. ועל תוכניות המשתמשים מפניה ?  שיטה פשוטה : base register, limit register לכל אחת מהתוכניות. מוגנים בעצמם.  זיכרון וירטואלי. Prog C Prog B Prog A Base register Limit register

מערכות הפעלה ( אביב 2004) חגית עטיה ©20 יום בחיים של מערכת ההפעלה  מלבד אתחול המערכת, נכנסים לגרעין רק בגלל מאורע.  הגרעין מגדיר אופן טיפול בכל מאורע. חלק נקבע על ידי ארכיטקטורת המעבד. מנגנון כפי שראינו.  פסיקות ו - exceptions: פסיקות נגרמות על - ידי רכיבי חומרה ( שעונים, סיום ק / פ ) Exceptions מגיעות מהתוכנה ( פקודה מפורשת, page fault )

מערכות הפעלה ( אביב 2004) חגית עטיה ©21 רכיבי מערכת ההפעלה זאת ועוד...  אתחול  גיבוי ...  דפדפן ?  תהליכים  זיכרון  קלט / פלט  זיכרון משני  מערכות קבצים  הגנה  ניהול חשבונות משתמשים  ממשק משתמש (shell)

מערכות הפעלה ( אביב 2004) חגית עטיה ©22 תפירה של הרכיבים ניהול זיכרון קלט / פלט ניהול זיכרון משני מערכת קבצים הגנה ממשק משתמש שירותי מידע טיפול בשגיאות ניהול תהליכים ניהול חשבונות

מערכות הפעלה ( אביב 2004) חגית עטיה ©23 תפירה של הרכיבים ב Windows NT גרסה פשוטה

מערכות הפעלה ( אביב 2004) חגית עטיה ©24 ארגון מערכת ההפעלה תקשורת זולה בין מודולים  קשה להבין  קשה לשנות או להוסיף רכיבים מה האלטרנטיבה ? בראשית... מונוליתית תוכניות משתמש חומרה גרעין מערכת ההפעלה

מערכות הפעלה ( אביב 2004) חגית עטיה ©25 ארגון מערכת ההפעלה היום... גרעין קטןבראשית... מונוליתית תוכניות משתמש חומרה גרעין מערכת ההפעלה Micro- kernel חומרה תוכניות משתמש System processes User mode file system scheduling networking הגנה ניהול המעבד זיכרון וירטואלי

מערכות הפעלה ( אביב 2004) חגית עטיה ©26 ארגון מערכת ההפעלה היום... גרעין קטן  שכבה דקה מספקת שירותי גרעין אמינות גבוהה יותר קל להרחיב ולשנות  ביצועים גרועים ( מעבר בין user-mode לבין kernel- mode ) דוגמאות : Mach, OS X, ~Windows NT Micro- kernel חומרה תוכניות משתמש System processes User mode file system scheduling networking הגנה ניהול המעבד זיכרון וירטואלי