טאוב 9 השבוע | |
|
שלום לכולם, בשל עבודות תחזוקה בכיתה 4 לא יתקיימו שם הרצאות בהמשך השבוע. לכן אנחנו (באופן חד פעמי) ניפגש השבוע בטאוב 9. זו כיתה גדולה אבל שקטה. להתראות ביום חמישי, ארז |
| עדכון אחרון ב-21/7/2024, 12:03:23 Last updated on 21/7/2024, 12:03:23 Последняя модификация21/7/2024, 12:03:23 تمت الحتلنة الأخيرة ب-21/7/2024, 12:03:23 |
Updated Schedule | |
|
Introduction (all talks in this section are taken from the Art of Multiprocessor Programming by Herlihy & Shavit available at the library): 1. "Spin locks and contention in practice", chapter 7 in the book. Michal Ozeri (30/5) 2. Properties of concurrent computation: correctness and progress, chapter 3 in the book. Eden Florentz (1/7) Concurrent Algorithms (several talks in this section (those referenced as "chapter n") are taken from the Art of Multiprocessor Programming by Herlihy & Shavit available at the library): 5. Linked Lists: the Role of Locking, chapter 9. Erez Petrank. (6/6) 6. Concurrent Queues and the ABA Problem, chapter 10. Amir Mann (1/7) 7. Wait-free Queues (paper). Iddo Sobol (4/7) 8. Concurrent Stacks and Elimination, chapter 11. Gal Shorr (4/7) 9. Concurrent hashing and natural parallelism, chapter 13. Yuval Sasson (11/7) 10. Skiplists and Balanced Search, chapter 14. Malac Marrid (11/7) 11. "A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention", (paper). Shira Gahtan (18/7) 12. Futures, Scheduling, and Work Distribution, chapter 16. Noam Bitton (18/7) 13. Barriers, chapter 17. Niv Sulimani (25/7) 14. "Lock-Free Snapshots", (paper). Yuval Landa (25/7) Memory Management for lock-free Data Structures: 20. Hazard pointers (paper). Assigned to Erez Petrank. (1/8) 21. Optimistic access (paper). Nadav Levi (8/8) 23. The ERA Theorem for memory management (see paper). Tomer Cory (8/8) Debugging: 30. Record-Replay parallel executions (see paper). Shimon Berrebi (15/8) 31. Deterministic parallelism (see paper). Shani Kagan (15/8) Systems Scalability: 40. An Analysis of Linux Scalability to Many Cores. (see paper). Jonathan Rubanenko (22/8) Concurrent data structures on GPUs: 45. Mega-KV: a case for GPUs to maximize the throughput of in-memory key-value stores. (see paper). Tomer Salomon (22/8) |
| עדכון אחרון ב-15/8/2024, 13:24:52 Last updated on 15/8/2024, 13:24:52 Последняя модификация15/8/2024, 13:24:52 تمت الحتلنة الأخيرة ب-15/8/2024, 13:24:52 |
אכן טאוב 4 | |
|
ביקרתי בכיתה והרעש שם חלש. אז להתראות בטאוב 4 כמו שקבענו. ארז |
| פורסם ב-6/6/2024, 10:00:52 Created on 6/6/2024, 10:00:52 Создано6/6/2024, 10:00:52 تم النشر ب-6/6/2024, 10:00:52 |
השבוע ניפגש בטאוב 4 | |
|
שלום לכולם, תוצאות ההצבעה עד כה הן: שלושה סטודנטים בחרו ב-3 (נייטרלים) 11 סטודנטים בחרו ב-4 (העדפה לטאוב) 4 סטודנטים טרם ענו. כלומר, אלא אם כן מישהו יטיל ווטו, נראה שאנחנו מנסים את טאוב השבוע. אבל, אני אבדוק את הכיתה בבוקר לפני השיעור ואם תהיה סיטואציה של רעש ממש חזק אז אשלח לכם הודעה שבכל זאת נעבור לאולמן. אז אנא בידקו את האימייל שלכם בבוקר של יום חמישי לוודא שנפגשים בטאוב. להתראות ביום חמישי! ארז |
| פורסם ב-4/6/2024, 18:25:12 Created on 4/6/2024, 18:25:12 Создано4/6/2024, 18:25:12 تم النشر ب-4/6/2024, 18:25:12 |
Schedule by weeks of the semester | |
|
Introduction (all talks in this section are taken from the Art of Multiprocessor Programming by Herlihy & Shavit available at the library): 1. "Spin locks and contention in practice", chapter 7 in the book. Michal Ozeri (30/5) 2. Properties of concurrent computation: correctness and progress, chapter 3 in the book. Eden Florentz (1/7) Concurrent Algorithms (several talks in this section (those referenced as "chapter n") are taken from the Art of Multiprocessor Programming by Herlihy & Shavit available at the library): 5. Linked Lists: the Role of Locking, chapter 9. Erez Petrank. (6/6) 6. Concurrent Queues and the ABA Problem, chapter 10. Amir Mann (1/7) 7. Wait-free Queues (paper). Iddo Sobol (4/7) 8. Concurrent Stacks and Elimination, chapter 11. Gal Shorr (4/7) 9. Concurrent hashing and natural parallelism, chapter 13. Yuval Sasson (11/7) 10. Skiplists and Balanced Search, chapter 14. Malac Marrid (11/7) 11. "A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention", (paper). Shira Gahtan (18/7) 12. Futures, Scheduling, and Work Distribution, chapter 16. Noam Bitton (18/7) 13. Barriers, chapter 17. Niv Sulimani (25/7) 14. "Lock-Free Snapshots", (paper). Yuval Landa (25/7) Memory Management for lock-free Data Structures: 20. Hazard pointers (paper). Assigned to Erez Petrank. (1/8) 21. Optimistic access (paper). Nadav Levi (1/8) 22. IBR: Interval Based Reclamation (see paper). Avraham Evdaev (8/8) 23. The ERA Theorem for memory management (see paper). Tomer Cory (8/8) Debugging: 30. IBM’s synchronization coverage for testing (see paper). Shimon Berrebi (15/8) 31. Deterministic parallelism (see paper). Shani Kagan (15/8) Systems Scalability: 40. An Analysis of Linux Scalability to Many Cores. (see paper). Jonathan Rubanenko (22/8) Concurrent data structures on GPUs: 45. Mega-KV: a case for GPUs to maximize the throughput of in-memory key-value stores. (see paper). Tomer Salomon (22/8) |
| עדכון אחרון ב-3/6/2024, 14:32:12 Last updated on 3/6/2024, 14:32:12 Последняя модификация3/6/2024, 14:32:12 تمت الحتلنة الأخيرة ب-3/6/2024, 14:32:12 |
אולמן 103 או טאוב 4? | |
|
שלום לכולם, אולמן החליטו להעביר אותנו לאולמן 103. זוהי כיתה פחות נעימה עם ארבע שורות רחבות. המשמעות: נקודת המבט של הסטודנט והמרצה (שזה יהיה בעיקר אתם) פחות נוחות (וגם מציק להיכנס/לצאת מהשורה). יש לנו אפשרות אלטרנטיבית להשתמש בטאוב 4, שהיא הכי רחוקה מהרעש, ובדקתי היום שהרעש בה לא חזק ואז גיליתי שמועברים שם גם קורסים. בפרט, עבר שם קורס כשהגעתי היום בבוקר. נראה לי שהיתרונות והחסרונות ברורים, ואני רוצה לשאול מה אתם מעדיפים. אנא שילחו לי אימייל עם העדפתכם מבין: 1. אני חייב את אולמן. לא אוכל ללמוד עם רעש, אפילו אם עצימות הרעש נמוכה 2. אני מעדיף את אולמן 3. אני ניטרלי 4. אני מעדיף את טאוב 5. אני חייב את טאוב. לא אוכל ללמוד בכיתה קטנה ורחבה. יום טוב! ארז |
| עדכון אחרון ב-3/6/2024, 09:53:03 Last updated on 3/6/2024, 09:53:03 Последняя модификация3/6/2024, 09:53:03 تمت الحتلنة الأخيرة ب-3/6/2024, 09:53:03 |
מהלך ההרצאות בסמסטר | |
|
שלום לכולם, הסבר לגבי מהלך ההרצאות ולוח הזמנים. כל סטודנט שיירשם יבחר נושא מתוך רשימת הנושאים שהתפרסמה כאן. כל סטודנט יעביר הרצאה של 50 דקות על הנושא שבחר. סדר ההרצאות יהיה לפי הסדר שלהן ברשימה, ויועברו שתי הרצאות בכל שבוע. לוח הזמנים יתבהר כאשר יהיה ברור מה ההרצאות שכל הסטודנטים הרשומים בחרו. כרגע קשה לומר מתי כל הרצאה תתקיים. |
| עדכון אחרון ב-18/4/2024, 16:19:50 Last updated on 18/4/2024, 16:19:50 Последняя модификация18/4/2024, 16:19:50 تمت الحتلنة الأخيرة ب-18/4/2024, 16:19:50 |
Registration | |
|
Registration is manual and we will attempt to match the registered students with the seminar topics. Please send an email to the lecturer (erez@cs) with 1. your name, student id, 2. Updated grades transcript (תדפיס ציונים), and relevant experience in industry or lab projects (if you have any; it is not a requirement). The final list of registered students will be determined after the first lecture in the beginning of the spring semester. |
| עדכון אחרון ב-7/3/2024, 10:34:25 Last updated on 7/3/2024, 10:34:25 Последняя модификация7/3/2024, 10:34:25 تمت الحتلنة الأخيرة ب-7/3/2024, 10:34:25 |