MSS0302: Seminar - Programmiersprachen und Programmiersysteme (SemPS) (080278)
Nebenläufige und verteilte Programmierung
Im diesem Seminar werden unterschiedliche Ansätze zur Programmierung nebenläufiger und verteilter Systeme untersucht und verglichen.
Vergebene Themen:
- Arne Zelasko: Das Web-Framework Ruby on Rails
Weitere Infos: http://rubyonrails.org/ - Dirk Kippscholl: Software Transactional Memory in C/C++
Weitere Infos: Intel C++ STM Compiler - Sören Fenner: Software Transactional Memory in Java
Literatur:
Maurice Herlihy, Victor Luchangco, Mark Moir: A flexible framework for implementing software transactional memory. OOPSLA 2006: 253-262
David Dice, Ori Shalev, Nir Shavit: Transactional Locking II. DISC 2006: 194-208
David Dice, Nir Shavit: Understanding Tradeoffs in Software Transactional Memory. CGO 2007: 21-33 - Nicolas Günther: Software Transactional Memory in Scala
- Oliver Prinz: Verteile Algorithmen
erste Anregungen z.B. aus:
Nancy A. Lynch: Distributed Algorithms Morgan Kaufmann 1996 - Bettual Richter: Verteilte Datenbanksysteme - ein Überblick
Weitere möglicheThemen:
- Rachid Guerraoui and Michal Kapalka ( 2008): On the Correctness of Transactional Memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08).
- Simon L. Peyton Jones, Roman Leshchinskiy, Gabriele Keller, Manuel M. T. Chakravarty: Harnessing the Multicores: Nested Data Parallelism in Haskell. FSTTCS 2008
- Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach: Lightweight concurrency primitives for GHC. Haskell 2007: 107-118
- João P. Cachopo, António Rito Silva: Combining software transactional memory with a domain modeling language to simplify web application development. ICWE 2006: 297-304
João P. Cachopo, António Rito Silva: Versioned boxes as the basis for memory transactions. Sci. Comput. Program. 63(2): 172-185 (2006)
Hier findet man noch allgemeine Hinweise zu Software Transactional Memory in Haskell. Einen guten Überblick über STMs allgemein liefert auch die Wikipedia.





