פה מחלקים דיסקים ?. platter surface Reading head tracks sectors cylinder Magnetic Disk rotating מבנה הדיסק הדיסק מחולק לצלחות (platters) לכל צלחת יש ראש.

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness. תזכורת למערכת ההוכחה של לוגיקה מסדר ראשון : אקסיומות 1. ) ) (( 2. )) ) (( )) ( ) ((( 3. ))) F( F( ( 4. ) v) ( ) v ((
Advertisements

מבוא למדעי המחשב לתעשייה וניהול
1 Formal Specifications for Complex Systems (236368) Tutorial #4 Refinement in Z: data refinement; operations refinement; their combinations.
תרגילי חזרה. General Things to Remember Be careful to identify if we’re talking about gains or costs (because the search cost is always negative) Check.
A. Frank File Organization Hardware Time Parameters.
פונקציונל פונקציה מספר פונקציונל דוגמאות לא פונקציונל פונקציונל.
כתיבת עבודת גמר מבנה העבודה  מבחינה צורנית - יש להקפיד על אחידות בכתיבה  כותרות אחידות  רווחים זהים, פונט בגודל אחיד (12, רווח וחצי)  הצגת.
רקורסיות נושאי השיעור פתרון משוואות רקורסיביות שיטת ההצבה
משטר דינמי המשך – © 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 שימור תלויות אינטואיציה : כל תלות פונקציונלית שהתקיימה בסכמה המקורית מתקיימת גם בסכמה המפורקת. מטרה : כאשר מעדכנים.
Na+ P-. הפוטנציאל האלקטרוכימי אנרגיה חופשית ל - 1 mole חומר. מרכיב חשמלי מרכיב כימי מרכיבי הפוטנציאל האלקטרוכימי של חומר X: המרכיב הכימי : RTlnC x R –
שאלות חזרה לבחינה. שאלה דיסקים אופטיים מסוג WORM (write-once-read-many) משמשים חברות לצורך איחסון כמויות גדולות של מידע באופן קבוע ומבלי שניתן לשנותו.
The Solar Wind And its consequences. dx dA משוואות בסיסיות בהידרו דינמיקה הכח הפועל כתוצאה מגרדיאנט בלחץ על אלמנט מסה - dm.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
הכנת המצגת: מוטי בן ארי ומיכל סמואל המחלקה להוראת המדעים, מכון ויצמן למדע ©
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 תהליכים - דייאט : חוטים  מוטיבציה  חוטי משתמש וחוטי מערכת  תמיכת מערכת ההפעלה  דוגמאות ושימושים.
1 Formal Specifications for Complex Systems (236368) Tutorial #5 Refinement in Z: data refinement; operations refinement; their combinations.
בהסתברות לפחות למצא בעיה במודל PAC עבור בהסתברות ε הפונקציה f טועה מודל ONLINE 1. אחרי כל טעות הפונקציה משתפרת 2. מספר הטעיות קטן.
תרגול חזרה. מבנה האובייקט תאר את מבנה האובייקט כולל מבנה טבלאות הפונקציות הוירטואליות עבור התכנית הבאה struct A { int x; virtual void a() {}; }; struct.
מרץ 2002אלן אזאגורי ©1 ניהול דיסקים Disk Management.
עיבוד תמונות ואותות במחשב אלכסנדר ברנגולץ דואר אלקטרוני : שיטות קידוד שיטות קידוד אורך מלת קוד ואנטרופיה אורך מלת קוד ואנטרופיה קידוד.
Formal Specifications for Complex Systems (236368) Tutorial #6 appendix Statecharts vs. Raphsody 7 (theory vs. practice)
תורת הקבוצות חלק ב'. קבוצה בת מניה הגדרה: קבוצה אינסופית X היא ניתנת למניה אם יש התאמה חד-חד ערכית בין X לבין .
תכנות תרגול 6 שבוע : תרגיל שורש של מספר מחושב לפי הסדרה הבאה : root 0 = 1 root n = root n-1 + a / root n-1 2 כאשר האיבר ה n של הסדרה הוא קירוב.
תחשיב הפסוקים חלק ג'. צורות נורמליות א. DF – Disjunctive Form – סכום של מכפלות. דוגמא: (P  ~Q  R)  (R  P)  (R  ~Q  ~P) הגדרה: נוסחה השקולה לנוסחה.
מערכות הפעלה ( אביב 2009) חגית עטיה ©1 מערכת קבצים log-structured  ה log הוא העותק היחיד של הנתונים  כאשר משנים בלוק (data, header) פשוט כותבים את הבלוק.
השוואה בין מערכות למסדי נתונים בשקפים אלו נשווה בין מסד הנתונים של רכבת ישראל למסד של רכבת גרמניה. בהרבה מקרים, המסד של מערכת הרכבות הישראלית לא יכול למצוא.
Motion planning via potential fields תומר באום Based on ch. 4 in “Principles of robot motion” By Choset et al. ב"הב"ה.
תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
Tutorial #7 Preventing combinatorial loops – © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT.
הודעות ריענון מהיר חומרה והגדרות ערוצים המשך... תרגולים בדגימת ערוצים. Counters.
A. Frank File Organization Various Parameter Issues.
ערכים עצמיים בשיטות נומריות. משוואה אופינית X מציין וקטור עצמי מציינת ערך עצמי תואם לוקטור.
Queueing Theory (Delay Models). Introduction Total delay of the i-th customer in the system T i = W i + τ i N(t) : the number of customers in the system.
A. Frank File Organization Transfer Time/Rate Parameters.
The Cyclic Multi-peg Tower of Hanoi מעגלי חד-כווני סבוכיות הפתרון בגרסאות עם יותר מ-3 עמודים.
תחשיב הפסוקים חלק ד'. תורת ההיסק של תחשיב הפסוקים.
Remember Remember The 5 th of November. תרגול 2 קובץ סדרתי.
משטר דינמי – © Dima Elenbogen :14. הגדרת cd ו -pd cd - הזמן שעובר בין הרגע שראשון אותות הכניסה יוצא מתחום לוגי עד אשר אות המוצא יוצא מתחום.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א מודל הלמידה מדוגמאות Learning.
עקרון ההכלה וההדחה.
יחס סדר חלקי.
מערכות הפעלה ( אביב 2006) חגית עטיה © 1 סיכום הקורס.
– © Yohai Devir 2007 © Dima Elenbogen 2009 Technion - IIT Tutorial #7 Preventing combinatorial loops.
תחשיב היחסים (הפרדיקטים)
Data Structures, CS, TAU, RB-Tree 1 עץ אדום-שחור - עץ חיפוש בינארי - בכל צומת ביט אינפורמציה נוסף - צבע « עץ “ כמעט מאוזן ” « (O(log n במקרה גרוע ביותר.
מודל הלמידה מדוגמאות Learning from Examples קלט: אוסף של דוגמאות פלט: קונסיסטנטי עם פונקציה f ב- C ז"א קונסיסטנטי עם S ז"א.
מערכות הפעלה ( אביב 2004) חגית עטיה © 1 תהליכים  מהו תהליך ?  מבני הנתונים לניהול תהליכים.  החלפת הקשר.  ניהול תהליכים ע " י מערכת ההפעלה.
מתמטיקה בדידה תרגול 2.
A. Frank File Organization Hardware Size Parameters.
1 מבוא למדעי המחשב סיבוכיות. 2 סיבוכיות - מוטיבציה סידרת פיבונאצ'י: long fibonacci (int n) { if (n == 1 || n == 2) return 1; else return (fibonacci(n-1)
תרגול 3 RAID. 7/14/20152 עובדה : בעת שכלל החומרה מתקדם בצעדי ענק, התקדמות הדיסקים מבחינת זמן גישה ונפח איטית יותר. פיתרון : לעבוד עם מספר גדול של דיסקים,
11 Introduction to Programming in C - Fall 2010 – Erez Sharvit, Amir Menczel 1 Introduction to Programming in C תרגול
1 גילוי מידע וזיהוי תבניות תרגול מס. 3 התפלגות נורמלית רב - מימדית Kullback-Leibler Divergence - משפט קמירות - נגזרת שנייה משפט Log sum inequality משפט.
WEB OF SCIENCE. WEB OF SCIENCE  Science Citation Index ExpandedTM  Social Sciences Citation Index®  Art & Humanities Citation Index®
CCN CCN Central Control Network Part A presentation Winter & Spring 2002/03 Student : Kormas Tal Guide : Gerber Alex.
Structure. מה לומדים היום ? דרך לבנות מבנה נתונים בסיסי – Structure מייצר " טיפוס " חדש מתאים כאשר רוצים לאגד כמה משתנים יחד דוגמאות : עובד : שם, טלפון,
Data Structures Hanoch Levi and Uri Zwick March 2011 Lecture 3 Dynamic Sets / Dictionaries Binary Search Trees.
מבוא למדעי המחשב לתעשייה וניהול הרצאה 6. מפעל השעווה – לולאות  עד עכשיו  טיפלנו בייצור נרות מסוג אחד, במחיר אחיד  למדנו להתמודד עם טיפול במקרים שונים.
1 Formal Specifications for Complex Systems (236368) Tutorial #1 Course site:
מספרים אקראיים ניתן לייצר מספרים אקראיים ע"י הפונקציה int rand(void);
מבוא למדעי המחשב סיבוכיות.
פרוקטוז, C6H12O6 , חד-סוכר מיוחד
Marina Kogan Sadetsky –
מחסנית ותור Stacks and Queues.
NG Interpolation: Divided Differences
Computer Architecture and Assembly Language
Presentation transcript:

פה מחלקים דיסקים ?

platter surface Reading head tracks sectors cylinder Magnetic Disk rotating מבנה הדיסק הדיסק מחולק לצלחות (platters) לכל צלחת יש ראש קורא מכל צד כל צד מחולק למסלולים (tracks) כל מסלול מחולק לסקטורים צילינדר מתייחס למסלול באותו מיקום בכל הצלחות

איך זה עובד ? כל הצלחות מסתובבות יחד סביב אותו ציר. כל בקשת קריאה או כתיבה לדיסק מתייחסת לסקטור מסלול וצלחת. הזרוע מזיזה את הראשים למיקום המסלול המבוקש ואז הראש המתאים ממתין להגעת הסקטור ומבצע בו קריאה או כתיבה. ברוב המערכות כל זרוע מנוהלת באופן עצמאי, וישנו זיכרון (RAM) ששומר את המידע ומנוהל ע " י בקר אשר קובע מה להעביר לזיכרון הראשי ומתי. סקטור הנו יחידת הכתיבה / קריאה הבסיסית ( סדר גודל של 512 בתים ).

דוגמא ? כמה זמן בממוצע תיקח קריאת סקטור בן 512 בתים, אם זמן החיפוש ( הזזת הזרוע ) הממוצע הוא 5ms, קצב העברת הנתונים הוא 40MB/sec, קצב הסיבוב הוא 10,000 RPM (Revolutions Per Minute) ולבקר הדיסק יש תקורה של 0.1ms? avg_disk_access = avg_seek_time + avg_rotation_delay + transfer_time + controller_overhead

משפט little ראשית נגדיר מספר מושגים : Time observed – משך המעקב אחר המערכת Number task – סך המשימות שהושלמו בזמן המעקב Time accumulated – סכום הזמנים אותם המשימות העבירו במערכת נאמר אם כן שממוצע המשימות במערכת הוא : Time accumulated / Time observed וזמן הטיפול הממוצע הוא : Time accumulated / Number task וקצב הגעת משימות : Number task / Time observed

משפט little ממשחק אלגברי עם המשוואות הנ " ל ניתן לקבל את משפט little: ממוצע המשימות במערכת = קצב הגעת משימות זמן הטיפול הממוצע

עוד מושגים : Time server – זמן ממוצע לטיפול במשימה Time queue – זמן ממוצע למשימה בתור Time system – זמן ממוצע למשימה במערכת ( חיבור שני הקודמים ) Arrival rate – קצב הגעת משימות ( משימות / שנייה ), נהוג לסמן כ - Length server – מספר ממוצע של משימות בשירות Length queue – אורך ממוצע של התור Length system – מספר ממוצע של משימות במערכת ( סכום שני הקודמים )

M/M/1 הנחות : המערכת בשיווי משקל. הזמן בין הגעת בקשות מתפלג אקספוננציאלית. בקשות ממשיכות להגיע כל הזמן. השרת יכול לטפל בבקשה הבאה מיד עם סיום הטיפול בבקשה הקודמת. אין הגבלה על גודל התור והוא עובד ב -FIFO. יש שרת בודד.

ניצולת ניצולת השירות / טיפול, היא למעשה מספר המשימות בטיפול בממוצע חלקי קצב הטיפול. עבור שרת יחיד ( דיסק יחיד ) קצב בשירות הוא 1/Time server, מתקבל אפוא : Server utilization = Arrival rate Time server ערך הניצולת אמור להיות מספר בין 0 ל - 1, כי אחרת אנו מקבלים יותר משימות מאשר אנו יכולים להתמודד. נהוג לסמן את הניצולת כ - .

דוגמא נניח מערכת עם דיסק יחיד שמקבלת בממוצע 50 פניות I/O בשניה. נניח גם שממוצע זמן הטיפול של הדיסק בבקשת I/O הוא 10ms. מהי הניצולת ? ע " פ המשואה נחשב : Server utilization = Arrival rate Time server =

זמן המתנה משימה חדשה שנכנסת לתור צריכה להמתין שכל המשימות בתור לפניה יטופלו וכן יסתיים הטיפול במשימה שכרגע מטופלת : Time queue = Length queue Time server + Mean time to complete task being served עבור הגעת משימות בהתפלגות אקספוננציאלית ( ובפרט פואסונית ) ניתן להתייחס לזמן ההמתנה למשימה בטיפול כ : Server utilization Time server כאשר הניצולת מייצגת את הסיכוי שיש משימה בטיפול.

זמן המתנה - המשך Time queue = length queue Time server + server_utilization Time server = = (Arrival rate Time queue ) Time server + server_utilization Time server = = server_utilization Time queue + server_utilization Time server חוק little

Time queue - server_utilization Time queue = server_utilization Time server Time queue (1 - server_utilization) = server_utilization Time server Time queue = Time server server_utilization (1 - server_utilization) זמן המתנה - המשך

ע " פ חוק little מתקיים : length queue = Arrival rate Time queue ואם נציב, נקבל : length queue = Arrival rate Time server length queue = server_utilization length queue = server_utilization (1 - server_utilization) server_utilization (1 - server_utilization) server_utilization 2 (1 - server_utilization)

דוגמא עבור אותה דוגמא מקודם, כאשר לשרת ניצולת של 0.5, מהו ממוצע המשימות בתור ? length queue = == 0.25/0.5 = 0.5 server_utilization 2 (1 - server_utilization) (1 – 0.5)

M/M/m אותן הנחות כמו M/M/1, רק שמדובר ב -m שרתים. נתאים את הנוסחאות : Utilization = Length queue = Arrival rate Time queue Time queue = Time server Arrival rate Time server N servers Prob tasks  N servers N servers (1-Utilization)

כאשר :

תרגיל א- נניח שהמעבד שולח 40 בקשות I/O לדיסק לשניה. הבקשות מפולגות אקספוננציאלית, וזמן הטיפול הממוצע של הדיסק הוא 20ms. 1) מהי ניצולת הדיסק ? 2) מהו זמן ההמתנה הממוצע בתור ? 3) מהו זמן ההמתנה הממוצע של בקשת I/O ( כולל ההמתנה בתור וטיפול של הדיסק )?

פתרון 1.Server utilization = Arrival rate Time server = = Time queue = Time server = 20ms = 20 4 = 80ms 3. זמן המתנה = Time queue +Time server = = 100ms server_utilization (1 - server_utilization) 0.8 (1 – 0.8)

ב- החליפו את הדיסק בדיסק חדש עם זמן טיפול ממוצע של 10ms. ענה על אותן שאלות. 1.Server utilization = = Time queue = 10ms = 10 2/3 = = 6.7ms 3. זמן המתנה = = 16.7ms ( פי 6 יותר מהיר ) 0.4 (1 – 0.4)

ג - במקום דיסק מהיר יותר, הוסיפו דיסק עם מהירות זהה ( זמן טיפול ממוצע 20ms). ענה על השאלות. 1.Server utilization = = ( ) / 2 = Prob 0 tasks = Arrival rate Time server N servers

Time queue = Time server 3. זמן המתנה = = 23.8ms Prob tasks  N servers N servers (1-Utilization)

תרגיל נתונה מערכת בה ממוצע בקשות של 60 בקשות I/O לשנייה מפולגות אקספוננציאלית. למערכת דיסק יחיד אשר מעביר בכל בקשת קריאה / כתיבה, סקטור יחיד בן 512 בתים. זמן החיפוש הממוצע של הראש הקורא הוא 9ms, קצב העברת נתונים של 2MB/sec, קצב סיבוב של 6000RPM ולבקר הדיסק תקורה של 0.75ms.

הוצעו מספר אפשרויות לשיפור המערכת : 1. הגדלת הזיכרון ובכך לגרום שמספר הבקשות לשנייה יקטן פי להוסיף שני דיסקים זהים. 3. לשפר מהירות דיסק באופן הבא, ניתן להכפיל את המהירות של שניים מהבאים : זמן חיפוש / קצב העברת נתונים / מהירות סיבוב מה ייתן את השיפור הטוב ביותר ?

זמן הטיפול הממוצע של הדיסק avg_disk_access = avg_seek_time + avg_rotation_delay + transfer_time + controller_overhead =

1. הגדלת הזיכרון Server utilization = (60/10) = 0.09 Time queue = 15ms = 15 9/91= = 1.48ms זמן המתנה = = 16.48ms 0.09 (1 – 0.09)

2. הוספת שני דיסקים Server utilization = ( ) / 3 = 0.3

זמן המתנה = = 15.5ms

3. שיפור מהירות הדיסק קל לראות שעדיף לשפר זמן חיפוש ומהירות סיבוב. avg_disk_access =

Server utilization = = 0.48 Time queue = 8ms = 8 48/52 = = ms זמן המתנה = = ms 0.48 (1 – 0.48)