Robust distributed software transactions for Haskell [Elektronische Ressource] / Frank Klaus Kupke

Robust DistributedSoftware Transactions forHaskellDissertationzur Erlangung des akademischen GradesDoktor der Ingenieurwissenschaften(Dr.-Ing.)der Technischen Fakultätder Christian-Albrechts-Universität zu KielDipl.-Ing.Frank Klaus KupkeKiel, 20111. Gutachter Priv.-Doz. Dr. Frank Huch2. Gutachter Prof. Dr. Michael HanusDatum der mündlichen Prüfung 19. November 2010The nett effect was that I was extremely ill-equipped to ap-preciate functional programming when I encountered it: I was,for instance, totally baffled by the shocking suggestion that thevalue of a function could be another function.Edsger W. Dijkstra, 1995vZusammenfassungDie vorliegende Arbeit motiviert und entwickelt eine robuste, verteilteSoftware Transactional Memory (STM) Bibliothek für Haskell. Viele realeAnwendungensindvonNaturausverteilt. Siesteuernentwedergeografischweit verteilte Ressourcen oder nutzen redundante Hardware-Komponen-ten,umSystemfehlerzuverringern. STMisteineAbstraktion,umgemein-same Ressourcen in nebenläufigen Anwendungen zu synchronisieren. Siehilft Verklemmungen zu verhindern und vereinfacht dadurch die Kompo-sition des Programmcodes.Wir erweitern die STM-Abstraktion auf verteilte Systeme und präsen-tiereneineImplementierung,dieeffizientgenugist,uminweichenEchtzeit-Anwendungen genutzt zu werden.