1. A. Frank File Organization Pile File Measures

2. 2 A. Frank Steps in analysis of file organization בהערכת מבנה קובץ, נתייחס ל - 6 שלבים / צעדים : 1. תאור / מבנה לוגי ( רעיון, פילוסופיה וכו '). 2. שימושים / יישומים אפשריים. 3. תאור / מבנה פיסי ( מימוש אחד או יותר ). 4. מעבר לא - פורמלי על הדינמיקה בקובץ והמדדים. 5. הערכה פורמלית של מבנה הקובץ. 6. סיכום, השוואה לאחור והסתכלות קדימה.

3. 3 A. Frank Measure R מדד R – מספר סימולים : – A אורך ממוצע של מאפיין ( בתים ). –V אורך ממוצע של ערך ( בתים ). –a מספר המאפיינים האפשריים בקובץ. –a' מספר ממוצע של שדות ברשומה. R = a'(A + V + 2) ( איך זה לעומת aV נטו נחוצים ?). שני תווי הפרדה דרושים לכל שדה ( בין המאפיין לערך ובין שתי שדות ). אפשר גם לקדד את המאפיין כדי לחסוך מקום. יש שיקולים לכאן ולכאן לגבי מדד R – מדד בינוני בטיבו.

4. 4 A. Frank Time to fetch any record - מדד הבאה של רשומה כלשהי. מגישים שאילתה לקובץ ומצפים לתשובה אחת - הנחנו הראשונה אבל בערמה אולי דווקא האחרונה ? בהנחה של הסתברות אחידה לכל רשומה להיות התשובה, מספר ממוצע של גושים נקראים עד לאיתור התשובה הוא חצי קובץ :

5. 5 A. Frank Batch Fetch חיפוש אצווה (Batch Fetch): קבוצת חיפושים (searches) המתבצעים יחד על כל רשומה ורשומה. נחשב את כאשר m הוא מספר התשובות המבוקש. אפשר להראות : לכן : בשביל m גדול, שזה פשוט קריאת ( כמעט ) כל הקובץ. מתי כדאי להשתמש ?

6. 6 A. Frank Time to fetch next logical record - מדד הבאה של הרשומה הלוגית הבאה. בקובץ ערמה אין סדר לוגי טבעי ( הסדר הכרונולוגי הוא הסדר הפיסי ). גם אם נשרה סדר לוגי מסוים, לפי איזשהו שדה המופיע בכל הרשומות, אין לזה כל ביטוי במבנה הקובץ. לכן :

7. 7 A. Frank Time to insert any record - מדד להוספה של רשומה כלשהי. אם מוסיפים רשומה רשומה, לסוף הקובץ, אזי קודם צריך לקרוא את הגוש האחרון ( המלא בממוצע בחציו ), כדי לגווש לתוכו את הרשומה המתווספת : מכיוון ש - - זה יקר ! אם מגוושים את הרשומות במכלא בזיכרון העיקרי וכותבים גוש גוש, מהמכלא, רק כאשר הוא מתמלא : השלכות להבאה ? כן !

8. 8 A. Frank Time to update/delete any record - מדד לעדכון של רשומה כלשהי. אם עדכון הרשומה לא מגדיל (In-place update) אותה, אזי : שאלה לדיון : מה פירוש עדכון ביומן ? אם עדכון הרשומה הגדיל (Out-place update) אותה, אזי צריך לבטל את הרשומה הקודמת במקומה ולהוסיף את הרשומה המעודכנת לסוף הערמה :

9. 9 A. Frank Time for exhaustive read of file - מדד לקריאה ממצה של הקובץ. כמו שטענו כבר - בקובץ ערמה אין סדר לוגי טבעי ( הסדר הכרונולוגי הוא הסדר הפיסי ). ולכן אין הרבה למה לצפות :

10. 10 A. Frank Time to reorganize file (1) - מדד לארגון מחדש של הקובץ. למה לארגן מחדש ? אולי היו הרבה ביטולים בערמה ! נניח n רשומות בקובץ, d בוטלו, אזי : אולם, אם הערמה הישנה והחדשה נמצאים בדיסקים שונים או אפילו באותו דיסק או אפילו באותו שטח, בכל מקרה, הקריאה של הערמה הישנה והכתיבה של הערמה החדשה נעשות במקביל ( כי הפרעות נלקחות בחשבון על ידי 't) ולכן בעצם :

11. 11 A. Frank Time to reorganize file (2) לגבי פרמטרי גודל / זמן, הנחנו שהם לבסוף תמיד מייצגים ממוצעים, אזי מה עם פירושים נוספים של n, מעבר למספר נוכחי של רשומות בקובץ ? n כממוצע רשומות במשך זמן מסוים – אבל ממתי ? מזמן יצירתו – לא סביר ! הגיוני יותר מזמן הארגון מחדש האחרון. אפשר גם להניח שהיו n רשומות בקובץ בארגון מחדש האחרון, (Overflow) רשומות התווספו מאז, ו - d בוטלו, אזי נקבל :

12. 12 A. Frank Steps in analysis of file organization בהערכת מבנה קובץ, נתייחס ל - 6 שלבים / צעדים : 1. תאור / מבנה לוגי ( רעיון, פילוסופיה וכו '). 2. שימושים / יישומים אפשריים. 3. תאור / מבנה פיסי ( מימוש אחד או יותר ). 4. מעבר לא - פורמלי על הדינמיקה בקובץ והמדדים. 5. הערכה פורמלית של מבנה הקובץ. 6. סיכום, השוואה לאחור והסתכלות קדימה.

13. 13 A. Frank Summary בערמה קיבלנו שהמדדים מאופייני קריאה גרועים ביותר בעוד שהמדדים מאופייני כתיבה הם טובים. לכן קובץ ערמה הוא בבירור קובץ מאופיין כתיבה. כדי לחסוך מקום בהקצאת שטח לערמה אפשר לכתוב אליו בצורה מודולו / עוטפת (Wraparound) - נאמר שיש m מקומות (Slots) כאשר. אבל מה אם צריכים מבנה קובץ שדווקא מאופיין קריאה ?