מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא : שקיפות ושמירת מצב.  דוגמה : Network File System.

Slides:



Advertisements
Similar presentations
ממיבחניםC שאלות ++.
Advertisements

1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תיאום בין תהליכים : יסודות  דוגמאות לבעיות תיאום  הגדרות : קטע קריטי, מנעולים  אלגוריתם קופת - חולים.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא  מבנה כללי  דוגמה : Network file system  דוגמה : Google file system.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא : שקיפות ושמירת מצב.  דוגמה : Network File System.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 סיכום הקורס.
דוד שוורץ, עידן זק, נטע צור וחיה כהן. הפונקציונאליות : המשתמש יבחר קובץ שעליו הוא רוצה לבצע את האנליזה, וילחץ עליו עם כפתור ימני בעכבר. יפתח תפריט ובו.
מערכות הפעלה חומר נוסף לתרגולים – אדמיניסטרציה ושימוש מתקדם ב Linux.
ARD presentation Application for Clients in a Mobile-IP Environment Rinat, Guy, Oz and Vitaly.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 פסיקות  סוגי פסיקות  איך מערכת ההפעלה מטפלת בפסיקות  דוגמא : קלט בעזרת פסיקות.
מערכות הפעלה קורס מס ' מבוא  אדמיניסטרציה.  מהי מערכת הפעלה.  ארגון מערכות הפעלה.
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
יפעת קוליקנט, מכון ויצמן למדע1 פרק 7, אלגוריתם Ra לפתרון בעית הקטע הקריטי במערכות מבוזרות.
מה החומר למבחן ? כל החומר שנלמד בהרצאות ובתרגולים. לגבי backtracking: לא תידרשו לממש אלגוריתם, אך כן להבין או להשלים מימוש נתון. אחת משאלות המבחן מבוססת.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 אפליקציות שרת - לקוח  פרדיגמת שרת לקוח  מושג ה socket  מבנה שרת - לקוח  קצת יותר על רשתות.
אוקטובר מבנה מערכות הפעלה אוקטובר אסף שוסטר שקפים ע"פ אלן אזגורי/חגית עטיה.
הגנה במערכות מתוכנתות תרגול 1 – המחשב האישי הערה: שקפים אלה אינם מהווים תחליף לחומר התרגולים המפורסם באתר הקורס, ומשמשים כעזר הוראה בלבד.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
ינואר 2003אלן אזאגורי ©1 Object Storage אלן אזאגורי.
פרויקט מחקרי בנושא יחס הזהב ואסתטיקה של מנשקים ARD מנחה : פרופ ' נעם טרקטינסקי מנחה אקדמי : פרופ ' יובל אלוביץ ' מגישים : אפרת דוד ארסני קרופניק.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 מערכות הפעלה קורס מס '
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות ושימושים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 וירטואליזציה.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות הפעלה קורס מס '
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכות הפעלה קורס מס '
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
שאילת שאלות שאלת חקר המפתח למנעול 1. שאילת שאלות – שאלת חקר מה ניתן לשנות ? :  בתנאים : טמפ ' או לחץ או הכלים, או הציוד  בחומרים : איכות או כמות או.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
מערכות הפעלה ( אביב 2009) חגית עטיה © 1 וירטואליזציה.
מרץ 2002אלן אזאגורי ©1 מבנה מערכות הפעלה מרץ אלן אזאגורי (מרצה אחראי) ארז חדד.
ברוכים הבאים למת"ם! אדמיניסטרציה מטרת הקורס: לימוד תכנון וכתיבת תוכניות מורכבות תוך שמוש בכלי פתוח תוכנה מתקדמים. אתר הבית:
טיפול בקיפאון בעיית הקיפאון הימנעות מקיפאון
ספריה וירטואלית בטכנולוגית J2EE הטכניון – מכון טכנולוגי לישראל הפקולטה להנדסת חשמל המעבדה למערכות תוכנה עזרן אייל טרבלסי אורדן סמסטר חורף תשס " ד מנחה.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 טיפול בקיפאון  בעיית הקיפאון  הימנעות מקיפאון  זיהוי קיפאון באמצעות מציאת מעגלים  אלגוריתם להתחמקות מקיפאון.
מרץ מערכות קבצים File Systems. מרץ עמוד נושאים מבוא –מטרת מערכת קבצים מנשק למערכת קבצים –פעולות על קבצים –סמנטיקה –ארגון קבצים –הגנה מבנה.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. חלוקת זכרון קבועה מול דפדוף.
מערכות הפעלה תרגול 1 - מבוא. מערכות הפעלה - תרגול 12 (c) ארז חדד 2003 ברוכים הבאים לקורס מערכות הפעלה! אדמיניסטרציה סקירה בסיסית של ארכיטקטורת IA32 (80386+)
מערכות הפעלה חזרה. מערכות הפעלה - שאלות חזרה2 (c) רסקין לאוניד 2005 שאלה 1 int X = 1, p1 = 0, p2 = 0; int ProcessA() { printf("process A\n"); while(X);
מרץ 2002אלן אזאגורי ©1 חוטים Threads. מרץ 2002 אלן אזאגורי ©2עמוד נושאים הגדרות –חוטים –חוטים לעומת תהליכים תמיכת מערכת ההפעלה בחוטים דוגמאות –Mach –Windows.
אביב 2004 מערכות הפעלה מערכות הפעלה קורס מס '
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 טיפול בקיפאון  בעיית הקיפאון  הימנעות מקיפאון  זיהוי קיפאון באמצעות מציאת מעגלים  אלגוריתם להתחמקות מקיפאון.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 סיכום הקורס.
מערכת הקבצים : יסודות  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.  מימושים : בסיסיים וקצת על מימושים.
מימוש מערכת הקבצים  תכונות של דיסקים.  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
ניהול זיכרון  מבוא : מטרות ניהול הזיכרון.  מנגנונים : מרחב כתובות וירטואלי / פיזי. ניהול טבלת הדפים. מדיניות החלפת דפים.
מערכות הפעלה ( אביב 2007) חגית עטיה © 1 מימוש מערכת הקבצים  מימושים בסיסיים.  קצת על מימושים מתקדמים.  אמינות מערכת הקבצים.
מערכות הפעלה ( אביב 2008) חגית עטיה © 1 מערכת הקבצים  מבוא : מטרות מערכת קבצים  מנשק המשתמש : פעולות על קבצים, ארגון קבצים, הגנה  תכונות של דיסקים.
פיתוח מערכות מידע Class diagrams Aggregation, Composition and Generalization.
Operating Systems, 132 Practical Session 12 File Systems, part 2 1.
שיאון שחוריMilOSS-il מוטיבציה  python זה קל ו C זה מהיר. למה לא לשלב?  יש כבר קוד קיים ב C. אנחנו רוצים להשתמש בו, ולבסס מעליו קוד חדש ב python.
Practical Session 12 File Systems, part 2
מבוא ל ASP.NET שיעור 2 : מבוא ל ASP.NET מצגת מס' 2
עבודה עם נתונים באמצעות ADO.NET
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
פרק רביעי – תקשורת בין תהליכים פנימיים
מערכות קבצים מבוזרות Distributed File Systems
למה.
תהליכים-דייאט: חוטים מוטיבציה חוטי משתמש וחוטי מערכת
Presentation transcript:

מערכות הפעלה ( אביב 2004) חגית עטיה © 1 מערכות קבצים מבוזרות  מבוא : שקיפות ושמירת מצב.  דוגמה : Network File System

מערכות הפעלה ( אביב 2004) חגית עטיה ©2 מערכות קבצים מבוזרות  מטרה לאפשר למספר תהליכים אשר רצים במכונות שונות, גישה ושיתוף קבצים  פתרונות ftp hostname get remotefilename localfilename open( “ localfilename ” ) open( “ E:\d1\d2\d3\filename ” )

מערכות הפעלה ( אביב 2004) חגית עטיה ©3 שקיפות ואי - תלות  שקיפות לאפליקציה : אפליקציה שנכתבה לטיפול בקבצים מקומיים לא צריכה להשתנות.  בשימוש ב ftp – אין שקיפות לאפליקציה  שקיפות מקום : שם הקובץ לא מכיל מידע על מיקומו ( מקומי / מרוחק ).  ב -URL מציינים במפורש את המיקום ( אין שקיפות מקום )  אי - תלות במיקום : שינוי מיקום קובץ לא נראה למשתמש.  ב Andrew File System (AFS), ניתן להעביר volumes משרת לשרת בצורה שקופה לחלוטין.  מרחב שמות אחיד לקבצים ללא תלות במיקומם.

מערכות הפעלה ( אביב 2004) חגית עטיה ©4 התמונה הגדולה  תהליך רץ במחשב לקוח (client)  התהליך מבקש לגשת לקובץ הנמצא במחשב שרת (server)  מחשב הלקוח ומחשב השרת מחוברים באמצעי תקשורת כלשהו ( כבל תקשורת, רשת מקומית, אינטרנט )  בעקבות קריאות מערכת של תהליכים מהלקוח בעבודה עם קבצים מהשרת : הלקוח שולח לשרת בקשות  מערכת ההפעלה שולחת בקשות בהתאם לקריאות המערכת של התהליכים השרת מחזיר תשובות  תהליך מיוחד בשרת מאזין לבקשות, מבצע אותן, ומחזיר תשובות. סוגי ההודעות בין הלקוח והשרת מוגדרים בפרוטוקול תקשורת

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

מערכות הפעלה ( אביב 2004) חגית עטיה ©6 אין מצב ! קל יותר למימוש. קל להתאושש מנפילות.  השרת יכול ליפול ולהתאושש מבלי שלקוחות ירגישו ( חוץ מאשר האטת זמן התגובה בעת ההתאוששות ).  לא ניתן לבצע שיפורים ולחסוך בתקשורת  קשה לממש נעילות של קבצים השרת לא יכול לזכור שהקובץ נעול

מערכות הפעלה ( אביב 2004) חגית עטיה ©7 Network File System: NFS  פרוטוקול בין לקוח ושרת.  בעיקרון, בלי מצב (stateless).  פעולות Remote procedure call (RPC):  read ו -write על קובץ  גישה לתכונות של קובץ  חיפוש בתוך מדריך  פעולות על מדריכים, כמו חיפוש, הוספת / מחיקת כניסה וכד '  אין בפרוטוקול פעולות open ו -close  הלקוח מרכיב (mounts) תת - עץ של השרת במדריך שלו.

מערכות הפעלה ( אביב 2004) חגית עטיה ©8 הרכבת מדריכים : Mount / etc binusrmail john datatest file1file2file3 Client / etc binusrmail dan shared_data1 dir1dir2dir3 Server shared_data2 f1 f2 f3 exports /usr/dan/shared_data1host1 host2 /usr/dan/shared_data2 host1

מערכות הפעלה ( אביב 2004) חגית עטיה ©9 הרכבת מדריכים : Mount / etc binusrmail john datatest Client / etc binusrmail dan shared_data1 dir1dir2dir3 Server shared_data2 f1 f2 f3 exports dir1dir2dir3 f1 f2 f3

מערכות הפעלה ( אביב 2004) חגית עטיה ©10 שקיפות ואי - תלות ב NFS  שקוף לאפליקציה : גישה כמו לקובץ מקומי.  שקיפות מקום, המשתמש לא מבחין מהו מיקום הקובץ. אלא אם ה -mount points ידועים לו  יש תלות במיקום : הזזת קובץ מחייבת שינוי ה -mount

מערכות הפעלה ( אביב 2004) חגית עטיה ©11 מימוש NFS Applicatio n Server System-call Interface Logical File System Physical File System NFS Client Device Driver RPC Client Virtual File System Interface Physical File System NFS Server Device Driver RPC

מערכות הפעלה ( אביב 2004) חגית עטיה ©12 ביצוע פקודות  NFS מבוסס על שיגור הפונקציה לביצוע אל השרת אך כדי לקבל ביצועים, משתמשים במטמון (cache) אצל הלקוח שאליו קוראים חלקים מהקובץ שאיתו עובדים עדכונים לקובץ נאגרים במטמון ונשלחים לשרת מדי פרק זמן כתיבות לקובץ אינן משפיעות מיד אצל לקוחות אחרים !  כמעט כל קריאת מערכת ( לגישה לקובץ ) מתורגמת ישירות לפעולת RPC. היוצאים - מן - הכלל הם open ו -close, אשר מחייבות פעולות ניהול מקומיות בלקוח.

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

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

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

מערכות הפעלה ( אביב 2004) חגית עטיה ©16 אז מה היה לנו ? זיכרון  ניהול הזיכרון. swapping. זיכרון וירטואלי : טבלת הדפים וה TLB. אלגוריתמים לדפדוף : חמדן, FIFO, LRU, קירובים...  מערכת הקבצים : ממשק המשתמש. מימוש :  מיפוי קבצים לדיסק.  ניהול הבלוקים הפנויים.  אמינות והתאוששות.

מערכות הפעלה ( אביב 2004) חגית עטיה ©17 הבחינה  חומר פתוח.  בערך 3 שעות.  מסתמכת על ידע שהועבר בהרצאות או בתרגולים, או שנלמד במסגרת תרגילי הבית.

מערכות הפעלה ( אביב 2004) חגית עטיה © 18 בהצלחה !