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:
|
Date
|
Who
|
Presentation
|
Topic, papers
|
|
March 11
|
Netanel Dahan
|
ppt
|
Mutual exclusion from Gadi’s book
|
|
March 18
|
Yaniv Moshe & Etkin Liza
|
ppt
|
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.
|
|
Strike
|
Strike
|
|
Strike
|
|
May 27
|
Royi Maimon & Mirav Havuv
|
ppt
|
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
|
ppt
|
Software TM:
1.
Nir Shavit, Dan Touitou: Software Transactional Memory. Distributed
Computing 10(2): 99-116 (1997)
2.
Maurice Herlihy and Victor Luchangco and Mark Moir and
III William
N. Scherer (Jul 2003).
Software Transactional Memory for Dynamic-Sized Data Structures.
:92--101.
|
|
June 10 9:00 – 12:00
|
Guy Regev,
Nimrod Reiss &
Eyal Widder
|
Ppt
ppt
|
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.
In: 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.
In: 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
|
Ppt
ppt
ppt
|
1. D. Dice and N. Shavit.
Understanding Tradeoffs in Software Transactional
Memory
<http://www.cs.tau.ac.il/%7Eshanir/nir-pubs-web/Papers/Understanding.pdf>.
In / Proc. of the 2007 International Symposium on Code Generation and
Optimization (CGO)/, San Jose,
CA, March 2007. [BibTex
<http://www.cs.tau.ac.il/%7Eshanir/nir-pubs-web/Nir_bib.html#tgt_DS07>]
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
[slides]
<http://www.cs.purdue.edu/homes/jv/events/TRANSACT/slides/marathe.pdf>
/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. Ramadan, Christopher
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
|