הערות לתרגיל בית | |
הערות לתרגיל הבית: בשאלה 4 סעיף ד: חוקי המשחק הם שמותר לצורך תיחזוק המידע הדרוש להחזרת ההורים לעשות פעולה בכל עידכון או בכל קריאת מצביע. כלומר כאשר התוכנית קוראת או כותבת למצביע, אתם יכולים להוסיף לכך פעילות שלכם לשמירת מידע שמתאים לכם. חלק מכם שלחו לי פתרונות אפשריים לשאלות ושאלו אותי אם הפתרונות נכונים. עדיף פשוט להגיש אותם ובודקת התרגילים תבדוק אם הם נכונים. (זה תפקידה.) שאלות שנשאלתי ותשובות שנתתי (לא כולל שאלות שהציעו פיתרון לתרגיל): שאלה: אשמח להבהרה לגבי התרגילים (שאלה 1 בפרט) - האם התכנית שלנו יודעת את גודל ה heap? אם לא, האם תוכנית שממלאת את ה heap עד שהאלוקציה נכשלת יכולה להתקבל עבור שאלה 1? (כתוב שלא עפים על מחסור בזכרון - אבל אם מצפים למחסור וברגע שהוא מתקבל ממשיכים לשלבים הבאים בתכנית, זה בסדר?) גם - האם ניתן להניח שיודעים את גודל ה header כשמקצים אובייקט? תשובה: אפשר להניח שיודעים את גודל ה-heap וגודל ה-header. (בעולם האמיתי בדרך כלל אפשר למצוא דוקומנטציה שמספרת על גודל ה-header, ואפשר לקבוע את גודל ה-heap בשורת בפקודה שמריצה את ג׳אווה.) שאלה: אני לא יודע אם צריך לפנות אליך או לבודק תרגילים אז במידה ולא, אני אפנה לבודק תרגילים. תשובה: צריך לפנות אלי שאלה: יש כמה דברים שלא הבנו לגבי סעיפים ד' ו-ה' של שאלה 4 בתרגיל הבית הראשון: מי מממש את getParents? האם זה JVM, ה-Allocator או מערכת ההפעלה? בתחילת השאלה כתוב שהמידע מתקבל ממערכת ההפעלה, אבל בסעיף כתוב שניתן להיעזר גם בפעולות בזמן ה-compaction, שמתבצע ע"י ה-Allocator/GC. האם ניתן לדעת שהתוכנית מבצעת השמה למצביע? כלומר, האם ניתן להטריג פעולה כלשהי בזמן שהתוכנית משנה מצביע? תשובה: בכל הסעיפים חוץ מ-ד ו-ה, הפעולה זמינה לכל מי שרוצה לקרוא לה, ואין צורך לחשוב איך לממש אותה. רק להשתמש בה. בסעיפים ד׳ ו-ה׳ צריך לממש אותה בתנאים מסויימים. המימוש הוא בתוך ה-JVM וניתן להניח שמותר להתלבש על כל פעולת כתיבה של התוכנית ולהוסיף לה פעילות שמתאימה לכם. אפשר גם להניח שיודעים אם זו כתיבה למצביע או לשדה שאינו מצביע. בוודאי בזמן הפעולה של מנהל הזיכרון (כולל אלוקציה של אובייקטים, איסוף שלהם, והזזה שלהם) מותר לכם לעשות מה שאתם רוצים לטובת האלגוריתם שלכם. שאלה: שאלה שעלתה לי בנוגע למקרה קצה ב bitwise sweep. נניח שיש לנו טבלת סימון שבה המילה הראשונה הינה אפסים חוץ מהביט האחרון שהוא 1, ואז לאחר מכן יש מילה שלמה של אפסים ואחריה רצף של 1. אז לפי האלגוריתם, נגיע למילה השניה, נראה שכולה אפסים ואחריה כבר אין אפסים. אז כדי לאסוף אותה נחזור למילה הקודמת כדי לבדוק איפה ה-1 האחרון שלה. כעת, נניח שגודל האובייקט הוא 64 מילים, אז בעצם נוכל לשחרר רק מילה בודדת מתוך כל האזורים שמסומנים כ-0? צירפתי שרטוט להמחיש את המקרה. כמו כן, למיטב הבנתי מקרה קצה זה לא אפשרי בשאלה 2 בתרגיל הבית, בגלל התנאי שכל הבלוקים ששייכים לאובייקט כלשהו מסומנים, בניגוד לתיאור המקורי של האלגוריתם שבו מסומן רק הבלוק הראשון שתפוס וממנו אפשר להסיק את אורך האובייקט. תשובה: המקרה שתיארת נכון. באמת אתה צודק שיש מקרים שבהם bitwise sweep אינו מועיל לביצועים. במקרה הזה הביצועים יהיו זהים לאלגוריתם ללא bitwise sweep. היתרון הוא שבדרך כלל מגיעים המקרים הרגילים ולא מקרי קצה ולכן האלגוריתם מאד מועיל בדרך כלל ולכן מאמצים אותו במוצרים בתעשייה. שאלה: בשאלה 2, ההנחות הרשומות בסוף השאלה תקפות לכל השאלה או לסעיף ב' בלבד? תשובה: ההנחות תקיפות לשני הסעיפים. שאלה: הייתי שמח לשאול כמה שאלות בנוגע לתרגיל בית 1, בעיקר כדי להבין שהבנתי נכון את השאלות: בשאלה מספר 2 ההבדל בין הסעיפים הינו שסעיף א' מדבר על מה גודל השטח הרציף המינימלי שייאסף על ידי אלגוריתם bitwise sweep אשר משתמש באופטימיזציה שאוספת רק מילים שלמות של אפסים בטבלת ה-mark-bit, לעומת סעיף ב' ששואל מה גודל השטח המינימלי שאפשר לאסוף, למשל, אם לא היינו משתמשים באופטימיזציה שאוספת רק מילים שלמות של אפסים? בשאלה מספר 3 סעיף ז', האם ה"שינוי הקטן באלגוריתם" שניתן לעשות הוא למשל לבצע את שרשור המצביעים כפי שמתבצע בשלב 1 של האלגוריתם המקורי עוד בשלב ה-mark, כפי שמוצע בסעיף ה' של אותה שאלה? תשובה: בשאלה 2 שני הסעיפים מתייחסים ל-bitwise sweep. זהו אלגוריתם שאינו מדייק והשאלה היא על אי הדיוק שלו. בשאלה 3ז צריך להישאר במסגרת תהליך ה-compaction. המעבר ל-mark הוא יצירתי 🙂, אבל זו לא הכוונה. שאלה: יש לנו שאלה בנוגע לשאלה 2 בתרגיל בית: מה הכוונה ב"שטח רציף פנוי"? אובייקט שלם שלא חי כבר ורוצים לאסוף אותו? או פשוט שטח רציף? +תיאור פיתרון אפשרי… תשובה: בזמן ה-sweep עוברים על הזיכרון ואוספים שטחים (רציפים) שבהם אין אובייקטים חיים. אין משמעות לאיזה אובייקטים היו שם פעם. רק שהשטחים רציפים. אולי היה שם אובייקט א;חד פעם ואולי חמישים. לפי השאלה שלכם נראה שלא שמתם לב שיש ביט דלוק על כל המילים של אובייקט חי. שאלה: מה בדיוק הכוונה ב״שטח פנוי רציף״ בשאלה זו ? האם הכוונה היא באובייקט אחד שצריך לאסוף ? אם ליד האובייקט הזה יש עוד אובייקטים שצריך לאסוף האם השטח הוא בעצם סכום השטחים של שניהם או שכל אחד נחשב כשטח פנוי רציף ? תשובה: ב- sweep לא יודעים כמה אובייקטים חיו פעם בשטח פנוי. זהו פשוט שטח שלא סומן בזמן ה-mark. שאלה: לגבי שאלה 2 - אנחנו לא בטוח מבינים את ההבדל בין הסעיפים, תשובה: האלגוריתם יאסוף שטחים בגדלים שונים לפי תצורת ה-heap. צריך לחשוב על התצורות האפשריות ולומר איזה גודל של שטח פנוי האלגוריתם חייב לאסוף בכל תצורה אפשרית, ולעומת זאת, איזה שטח הוא יאסוף אם התצורה תהיה מתאימה. שאלה: בקשר לשאלה 4 סעיף ד': מה עלינו להניח? שה-compaction פועל במקביל לתכנית? או שהתכנית עוצרת כאשר ה-compaction מתחיל לפעול? האם ייתכן שהקריאת getParents תיעצר באמצע בגלל compaction? בנוסף, בהנחה ש-getParents יכולה להיעצר באמצע בשל compaction, האם יש צורך ב-write barrier? מצאנו צורך ב-read barrier כדי להבטיח נכונות של הפלט של getParents אבל לא רואים צורך ב-write barrier. בפתרון שכיוונת אליו האם יש צורך בשניהם? מקווים שהבנו נכון את הקונספט מכיוון שלא זכור לנו בקורס שלמדנו על barriers. תשובה: במצב של דחיסה התוכנית אינה רצה. התוכנית עוצרת לפני תחילה הדחיסה ואין שום מקביליות בין התוכנית לאיסוף. הכוונה ב read barrier ו- write barrier היא לקוד שאתם יכולים להוסיף לכתיבה או לקריאה של מצביעים (או גם שדות אחרים אם מתאים לכם). שאלה: יש לי כמה שאלות לגבי תרגיל הבית: בשאלה 2 אני והשותף שלי לא ממש הצלחנו להבין מה ההבדל בין הסעיפים – בשתי השאלות מדברים על גודל מינימלי של שטח רציף פנוי, אבל את ההבדל בין "תמיד ייאסף לבין "ניתן לאסוף" לא הצלחנו לבין (אם מדובר ב-bitwise sweep, אז הגודל המינימלי הוא כמות הביטים במילה כפול גודל המילה, וזה נראה מתאים לשתי השאלות). נשמח אם תוכלי להבהיר את ההבדל. בשאלה 5 בסעיפים ד' ו-ה' – האם מותר שזה יהיה אלגוריתם שכל הזמן מתבצע (בחלקים כמובן) למשך כל זמן הריצה של ה-GC, ולא פונקציה אחת שמתחילה בלי שום הכנה ומצליחה להחזיר את האבות (הכוונה היא האם מותר לנו להוסיף מבנים ופעולות ל-GC כדי לגרום ל-getParents לעבוד כשתיקרא)? תשובה: 1. האלגוריתם יאסוף שטחים בגדלים שונים לפי תצורת ה-heap. צריך לחשוב על התצורות האפשריות ולומר איזה גודל של שטח פנוי האלגוריתם חייב לאסוף בכל תצורה אפשרית, ולעומת זאת, איזה שטח הוא יאסוף אם התצורה תהיה מתאימה. 2. מותר להוסיף מבנים שיעזרו לכם ויתוחזקו לכל אורך הריצה. |
| עדכון אחרון ב- 20/11/2021, 17:38:14 Last updated on 20/11/2021, 17:38:14 Последняя модификация 20/11/2021, 17:38:14 تمت الحتلنة الأخيرة ب- 20/11/2021, 17:38:14 |
בשבוע הבא לא תתקיים הרצאה | |
| שלום לכולם, בשבוע הבא, ביום שלישי ה-16 לנובמבר לא יתקיים שיעור (ולא תתקיים שעת קבלה). ניפגש שוב ביום שלישי ה-23 לנובמבר לשיעור הרביעי שלנו. שבוע טוב, --ארז |
| עדכון אחרון ב- 9/11/2021, 16:05:53 Last updated on 9/11/2021, 16:05:53 Последняя модификация 9/11/2021, 16:05:53 تمت الحتلنة الأخيرة ب- 9/11/2021, 16:05:53 |
תרגיל מספר 1 פורסם | |
| אנא בידקו בלשונית המטלות. להגשה בעוד שבועיים ביום שני 22 בנובמבר ב-12 בצהריים. |
| עדכון אחרון ב- 7/11/2021, 16:42:41 Last updated on 7/11/2021, 16:42:41 Последняя модификация 7/11/2021, 16:42:41 تمت الحتلنة الأخيرة ب- 7/11/2021, 16:42:41 |
הקלטת הרצאה שניה | |
| שלום לכולם, אז ההפתעה שזום הכין לנו היום זה שבעקבות הפסקה בתקשורת הטכניונית, ההרצאה הוקלטה רק ברבע שעה הראשונה. בעקבות כך, הוספתי את ההקלטות מהזום של שנה שעברה לסרטון של השנה. זה לא אידיאלי, כי אלה הרצאות בזום עם דינמיקה אחרת, ואיבדנו את כל השאלות המצויינות שלכם ואת הקצב שהתאים לכם, וגם הייתי צריך להוריד את הצילום שלי ושל הסטודנטים כדי לא לפגוע בפרטיות של סטודנטים משנה שעברה. אבל החומר שם. הלינק להרצאה במקום הרגיל בשבוע הבא ננסה להקליט ללא שימוש בזום. --ארז |
| עדכון אחרון ב- 2/11/2021, 17:28:47 Last updated on 2/11/2021, 17:28:47 Последняя модификация 2/11/2021, 17:28:47 تمت الحتلنة الأخيرة ب- 2/11/2021, 17:28:47 |
תרגילי בית | |
| שלום לכולם, שכחתי לציין שתרגילי הבית יוגשו בזוגות באתר. התרגילים יפורסמו באתר הקורס (תרגיל ראשון בעוד כשבועיים). התרגילים יוגשו אלקטרונית (לא בכתב יד) באתר הקורס. בהצלחה! --ארז |
| עדכון אחרון ב- 27/10/2021, 16:39:01 Last updated on 27/10/2021, 16:39:01 Последняя модификация 27/10/2021, 16:39:01 تمت الحتلنة الأخيرة ب- 27/10/2021, 16:39:01 |
הקלטת הרצאה ראשונה | |
| לצערי איכות האודיו של ההרצאה הראשונה יצאה מאד מאד נמוכה. אני לא בטוח שאפשר להסתדר עם זה. (בהרצאה הבאה זה לא יקרה.) אם מישהו לא היה בהרצאה וזקוק להשלמה, אנא כיתבו לי ואנסה לעזור. לינק להרצאה בפנופטו נמצא כאן באתר תחת ״חומר הקורס״. |
| עדכון אחרון ב- 27/10/2021, 10:05:57 Last updated on 27/10/2021, 10:05:57 Последняя модификация 27/10/2021, 10:05:57 تمت الحتلنة الأخيرة ب- 27/10/2021, 10:05:57 |