Faculty of Computer Science logo הטכניון - מכון טכנולוגי לישראל Technion - Israel Institute of Technology Технион - израильский технологический институт ألتخنيون - معهد تكنولوجي لإسرائيل
236832 - סמינר בתכנות מקבילי 236832 - Seminar in Concurrent Programming 236832 - Seminar in Concurrent Programming 236832 - Seminar in Concurrent Programming
  אביב 2023Spring 2023Весна 2023ربيع 2023  

הודעות Announcements Сообщения اعلانات

placeholder

הציונים עלו. להתראות!

שלום לכולם,

הציונים של הסמינר עלו לאתר. נתתם הרצאות מצויינות. תם הקורס, ואני מקווה לראות אתכם בעתיד!

אם יש כאן תלמידי תואר ראשון שרוצים להירשם לקורס בניהול זיכרון, אנא כיתבו לי ואוסיף אתכם. (הקורס התמלא ואי אפשר כבר להירשם אליו דרך הרישום הרגיל.)

להתראות!
--ארז
פורסם ב-20/7/2023, 12:52:46 Created on 20/7/2023, 12:52:46 Создано20/7/2023, 12:52:46 تم النشر ب-20/7/2023, 12:52:46

יום רביעי הקרוב

שלום לכולם,

לצערי, בגלל טעות שלי, נקבעו הסמסטר שתי הרצאות על אותו נושא. ההרצאה של שחר השבוע תהיה על אותו נושא שעליו שקד הרצה לפני שבוע (flat combining). כיוון שאין הגיון בלחייב אתכם לשמוע פעמיים הרצאה על אותו חומר, ההרצאה השניה של יום רביעי לא תהיה חובה. כלומר, הקורס יסתיים באופן פורמלי אחרי ההרצאה הראשונה. מי שרוצה ״לעשות קהל״ לשחר מוזמן להישאר. אני בכל מקרה אשאר לשמוע את ההרצאה החוזרת.

נתראה ברביעי,

--ארז
עדכון אחרון ב-3/7/2023, 09:43:16 Last updated on 3/7/2023, 09:43:16 Последняя модификация3/7/2023, 09:43:16 تمت الحتلنة الأخيرة ب-3/7/2023, 09:43:16

יום רביעי הקרוב

שלום לכולם,

ביום רביעי הקרוב, ה-28 ביוני, נערוך שוב השלמות. נתחיל בחדר 3 מ-9:30–10:30 ואז נחזור לחדר 4 כרגיל עד שעה 13:30.

בברכה,
—ארז
פורסם ב-22/6/2023, 00:32:26 Created on 22/6/2023, 00:32:26 Создано22/6/2023, 00:32:26 تم النشر ب-22/6/2023, 00:32:26

השלמת הרצאות - עדכון זמנים

שלום לכולם,

בימי רביעי ה-14 וה-28 ליוני נקיים השלמת הרצאות. הארוע ייערך בין 9:30--13:30. יש חובה לבוא לשתיים מההרצאות מתוך ה-4 וניתן להשלים ולסכם את השתיים האחרות. כמו כן, מרצים בתאריכים האלה יכולים לקצר את ההרצאות ל-40 או 45 דקות אם זה מקל עליהם ומסתדר להם מבחינת החומר. (אין חובה לקצר.)

בברכה,
--ארז
עדכון אחרון ב-11/6/2023, 09:48:20 Last updated on 11/6/2023, 09:48:20 Последняя модификация11/6/2023, 09:48:20 تمت الحتلنة الأخيرة ب-11/6/2023, 09:48:20

ביטול פגישה ב-21 ליוני

ב-21 ביוני לא תתקיים פגישה בסמינר בשל נסיעה שלי לחו״ל.

--ארז
פורסם ב-7/6/2023, 15:04:38 Created on 7/6/2023, 15:04:38 Создано7/6/2023, 15:04:38 تم النشر ب-7/6/2023, 15:04:38

השלמת הרצאות

לאור הדיון היום בכיתה, נשלים את ההרצאות החסרות בימי רביעי אחרי ההרצאה הרגילה. הנוכחות לא תהיה חובה וניתן להגיש סיכומים במקום לנכוח בהרצאות. לוח הזמנים (באתר GR בלשונית news) עודכן. אנא ספרו לי אם נוצרת איזושהי בעיה.

--ארז
עדכון אחרון ב-7/6/2023, 15:05:09 Last updated on 7/6/2023, 15:05:09 Последняя модификация7/6/2023, 15:05:09 تمت الحتلنة الأخيرة ب-7/6/2023, 15:05:09

Initial Schedule

0. ארז פטרנק - הקדמה (שבוע 1).
1. דניאל ברנסקי (שבוע 2)
3. שון בלנק (שבוע 2)
5. ארז פטרנק (שבוע 3)
4. ארז פטרנק (שבוע 4)
6. טל חקלאי (שבוע 4)
7. חנין נערן (שבוע 5)
8. עדן וותד (שבוע 5)
9. עומר זיו (שבוע 6)
10. נעמה שמגר (שבוע 6)
11. יונתן בטט (שבוע 9)
12. לירן רינגל (שבוע 9)
13. אוראל אדיבי (שבוע 10)
14. תומר שליט (שבוע 10)
20-21. ארז פטרנק (שבוע 10)
15. קורן סגל בנדק (שבוע 12)
16. תומר פלונרץ (שבוע 12)
18. שקד ברודי (שבוע 12)
30. יאן טומסינסקי (שבוע 12)
45. שחר כץ (שבוע 13)
46. נדב טור (שבוע 13)
עדכון אחרון ב-7/6/2023, 14:59:38 Last updated on 7/6/2023, 14:59:38 Последняя модификация7/6/2023, 14:59:38 تمت الحتلنة الأخيرة ب-7/6/2023, 14:59:38

While the main page is inaccessible, here is the list of topics.

Introduction (all talks in this section are taken from the Art of Multiprocessor Programming by Herlihy & Shavit available at the library):

  1. Introduction to Concurrency: hardware and software, see Appendix A and B of the book.
  2. "Spin locks and contention in practice", chapter 7 in the book. 
  3. "Monitors and Blocking Synchronization",  chapter 8 in the book. 
  4. Properties of concurrent computation: correctness and progress, chapter 3 in the book. Assigned to Erez Petrank. Presentation

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):

  1. Linked Lists: the Role of Locking, chapter 9. Assigned to Erez Petrank. Presentation
  2. Concurrent Queues and the ABA Problem, chapter 10.
  3. Wait-free Queues (paper). 
  4. Concurrent Stacks and Elimination, chapter 11. 
  5. Concurrent hashing and natural parallelism, chapter 13.
  6. Skiplists and Balanced Search, chapter 14.
  7. "A Skiplist-Based Concurrent Priority Queue with Minimal Memory Contention", (paper).
  8. Futures, Scheduling, and Work Distribution, chapter 16.
  9. Barriers, chapter 17.
  10. "Lock-Free Snapshots", (paper).
  11. "Lock-Free Snapshots by multiversioning", (paper).
  12. "Concurrent Size", (paper).
  13. Counting, Sorting, and Distributed Coordination, chapter 12.  
  14. "Flat Combining", (paper).

Memory Management for lock-free Data Structures:

  1. Hazard pointers (paper). Assigned to Erez Petrank. Presentation
  2. Optimistic access (paper). Assigned to Erez Petrank.
  3. IBR: Interval Based Reclamation (see paper).
  4. Hazard Eras - Non-Blocking Memory Reclamation (see paper).
  5. NBR: neutralization based reclamation (see paper). 
  6. VBR: Version Based Reclamation (see paper).

Debugging:

  1. Debugging tools: Microsoft's Chess (paper).
  2. IBM’s synchronization coverage for testing (see paper). 
  3. A Randomized Scheduler for Bug Finding (see paper).
  4. Deterministic parallelism (see paper).
  5. Record-Replay parallel executions (see paper) 

Systems Scalability:

  1. An Analysis of Linux Scalability to Many Cores. (see paper). 

Concurrent data structures on GPUs:

  1. Performance Evaluation of Concurrent Lock-free Data Structures on GPUs. (see paper). 
  2. Mega-KV: a case for GPUs to maximize the throughput of in-memory key-value stores. (see paper).

Concurrent data structures on non-volatile memory:

  1. A persistent lock-free queue for non-volatile memory. (see paper).
  2. Log-Free Concurrent Data Structures. (see paper).
  3. Efficient Lock-Free Durable Sets. (see paper).
  4. The Inherent Cost of Remembering Consistently. (see paper).
  5. Mirror: making lock-free data structures persistent. (see paper).
  6. Dalí: A Periodically Persistent Hash Map. (see paper).
  7. A Fast, General System for Buffered Persistent Data Structures. (see paper).

 

 

עדכון אחרון ב-16/3/2023, 09:08:28 Last updated on 16/3/2023, 09:08:28 Последняя модификация16/3/2023, 09:08:28 تمت الحتلنة الأخيرة ب-16/3/2023, 09:08:28

סיום השביתה

לאור סיום השביתה, ניפגש כרגיל ביום רביעי. יונתן ולירן יעבירו את ההרצאות. להתראות ברביעי!

--ארז
פורסם ב-5/6/2023, 09:53:22 Created on 5/6/2023, 09:53:22 Создано5/6/2023, 09:53:22 تم النشر ب-5/6/2023, 09:53:22

ההוראה השבוע לאור שביתת הסגל

אני מתנצל על ההודעה הקודמת שהיתה מיועדת לקורס במבני נתונים. מחקתי אותה מכאן. והנה ההודעה הרלוונטית לסמינר...

לאור שביתת הסגל האקדמי נצטרך לעצור בהרצאות עד שתסתיים השביתה. אני מקווה שמתיישהו הסמסטר יחזור לפעילות ואז נוכל להשלים הכל.

להתראות לאחר השביתה. מקווה לראות אתכם במהירה!
--ארז
עדכון אחרון ב-22/5/2023, 16:59:28 Last updated on 22/5/2023, 16:59:28 Последняя модификация22/5/2023, 16:59:28 تمت الحتلنة الأخيرة ب-22/5/2023, 16:59:28

Initial list of students set.

This year there were too many requests to register (more than 3x as many as I could accept).
I apologize to all the excellent students that could not register.
A tentative list of students that I could enroll are listed on the tentative schedule below.
עדכון אחרון ב-19/3/2023, 11:59:08 Last updated on 19/3/2023, 11:59:08 Последняя модификация19/3/2023, 11:59:08 تمت الحتلنة الأخيرة ب-19/3/2023, 11:59:08

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.

The final list of registered students will be determined after the first lecture in the beginning of the spring semester.
פורסם ב-27/12/2022, 09:38:49 Created on 27/12/2022, 09:38:49 Создано27/12/2022, 09:38:49 تم النشر ب-27/12/2022, 09:38:49

The seminar is administered on an external web page

The information about this seminar is available at: http://www.cs.technion.ac.il/~erez/courses/seminar
פורסם ב-27/12/2022, 09:37:13 Created on 27/12/2022, 09:37:13 Создано27/12/2022, 09:37:13 تم النشر ب-27/12/2022, 09:37:13