Distributed Computing Seminar,  Semester ב, תשס"ז  Spring 2006/2007

     Sunday,  9:00 – 11:00 AM  @   Schreiber 008.  Professor Yehuda Afek  (afek at post.tau.… )

This seminar is intended for under-graduate (TOAM RISHON) students interested to learn about Asynchronous Distributed Computing. 

Please email me with the date on which you would like to present.  The scheduling is done FCFS. 

In the first meeting I will provide an overview and background.  In addition I will provide a list of topics with associated papers that cover the fundamentals of this area (at least some of them).   Thereafter, every week, starting in the 2nd week, one of the participating students will present one of these topics (papers) to the group.  The goals are:  1. to expose the students to research done in this area, 2.  practice in preparing a presentation and delivering it,  3.  bring the students to the front of the research in this area.

The student leading the discussion in a given week should read the paper(s) carefully and prepare a presentation discussion on the paper to be held in the meeting.

Participants are required to:

  • present a research paper(s), and lead a discussion on the topic;
    • each presentation must start with a 3 or 5 minute background, and motivation for the current paper,
    • Then, each presentation should provide a quick overview of the key ideas and the paper in a nutshell.  As if you have to tell the entire presentation in one minute.
    • Then the full presentation itself.
  • Write a 1-2 page report which critically evaluates the papers (flaws in the model, not exciting when compared to related work, mistakes, etc.), try to give a vague or specific idea how to improve the paper, and propose what else can be done with this topic;
  • Each participant will provide a short evaluation for each of the others’ talks.
  • Attend the talks of the seminar and actively participate in the discussions.

Your presentation should cover the motivation for the problem as well as the technical parts of the paper in detail. Assume that the other participants know nothing about the subject.   You are encouraged to deviate from the logical structure of the paper and present it in the most lucid (clear) way.

Sunday,  9:00 – 11:00 AM  @   Schreiber 008

Schedule, tentative not yet committed:




Topic, papers

March 11

Netanel Dahan


Mutual exclusion from Gadi’s book

March 18

Yaniv Moshe & Etkin Liza


Sequential consistency & Atomic, Regular and Safe Registers

March 25

Yaniv Moshe & Yehuda


Yaniv completes the Register transformations.

Yehuda:  Presents the Consensus hierarchy, and strong objects.





May 27

Royi Maimon & Mirav Havuv


HW Transactional Memory (1)

1.      M. Herlihy and J. Moss,  "Transactional Memory: Architectural Support for Lock-Free Data Structures ",  Proceedings of the 20th International Symposium in Computer Architecture, 1993,  pp. 289 300

2.       C. Scott Ananian, Krste Asanovic, Bradley  C. Kuszmaul, Charles  E. Leiserson, Sean  Lie: Unbounded Transactional  Memory. IEEE  Micro 26(1): 59-69  (2006)

June 3

Yoav Cohen


Software TM:

Nir Shavit, Dan Touitou: Software Transactional Memory. Distributed
Computing 10(2): 99-116 (1997)

 Maurice Herlihy and Victor Luchangco and Mark Moir and III William
N. Scherer (Jul 2003).
Software Transactional Memory for Dynamic-Sized Data Structures.

June 10  9:00 – 12:00

Guy Regev,



Nimrod Reiss &

Eyal Widder





1. http://research.microsoft.com/~tharris/drafts/cpwl-submission.pdf

Transactional memory design and implementation. Tim Harris and Keir Fraser

2. http://www.cl.cam.ac.uk/research/srg/netos/papers/2004-cpwl-submission.pdf

HW Transactional Memory (2)

1.   Kevin E. Moore and Mark D. Hill and David A. Wood (Mar 2005).
Thread-Level Transactional Memory.
Technical Report: CS-TR-2005-1524, Dept. of ComputerSciences, University of Wisconsin, :1--11.


2.   Kevin E. Moore and Jayaram Bobba and Michelle J. Moravan and Mark D. Hill and David A. Wood (Feb 2006).
LogTM: Log-based Transactional Memory.
Proceedings of the 12th International Symposium on High-Performance Computer Architecture . pp. 254--265.


3.  Michelle J. Moravan and Jayaram Bobba and Kevin E. Moore and Luke Yen and Mark D. Hill and Ben Liblit and Michael M. Swift and David A. Wood (Oct 2006).
Supporting nested transactional memory in logTM.
In: ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems. pp. 359--370. ACM Press, New York, NY, USA.

June 17 9:00 – 12:00

Ido Reshef




Joseph Itigin & Michael Gendelman







1.  D. Dice and N. Shavit. Understanding Tradeoffs in Software Transactional
In / Proc. of the 2007 International Symposium on Code Generation and
Optimization (CGO)/, San Jose, CA, March 2007. [BibTex

2.  David Dice, Ori Shalev, Nir Shavit: Transactional Locking II. DISC 2006: 194-208

1.  Torvald Riegel, Christof Fetzer and Pascal Felber
Time-based Transactional Memory with Scalable Time Bases

2.  Lowering the Overhead of Nonblocking Software Transactional Memory
/Virendra J. Marathe, Michael F. Spear, Christopher Heriot, Athul
Acharya, David Eisenstat, William N. Scherer III, and Michael L. Scott/

June 24 9:00 – 11:00

Ron Frenkel & Iftah Piatseky


An Effective Hybrid Transactional Memory System with Strong Isolation Guarantees," Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Bronson, Jared Casper, Christos Kozyrakis, Kunle Olukotun. Proceedings of the 34th Intl. Symposium on Computer Architecture (ISCA), San Diego, CA, June 2007. [PDF][slides]

Hany E. RamadanChristopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel
MetaTM/TxLinux: Transactional Memory For An Operating System [pdf] ISCA '07

: Ido Reshef  Miluim until April 1