Software Transactional Memory

Nachteil von Locks: Programmierung ist nicht modular.

Anderer Ansatz: spekulative Nebenläufigkeit:

Transaktionen mit optimistischer Ausführung

Clojure: Transactions, Haskell: STM (das Typsystem hilft!)



Johannes Waldmann 2013-06-18