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

De
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.
Publié le : samedi 1 janvier 2011
Lecture(s) : 33
Tags :
Source : D-NB.INFO/1012669734/34
Nombre de pages : 238
Voir plus Voir moins

Robust Distributed
Software Transactions for
Haskell
Dissertation
zur Erlangung des akademischen Grades
Doktor der Ingenieurwissenschaften
(Dr.-Ing.)
der Technischen Fakultät
der Christian-Albrechts-Universität zu Kiel
Dipl.-Ing.
Frank Klaus Kupke
Kiel, 20111. Gutachter Priv.-Doz. Dr. Frank Huch
2. Gutachter Prof. Dr. Michael Hanus
Datum 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 the
value of a function could be another function.
Edsger W. Dijkstra, 1995
vZusammenfassung
Die vorliegende Arbeit motiviert und entwickelt eine robuste, verteilte
Software Transactional Memory (STM) Bibliothek für Haskell. Viele reale
AnwendungensindvonNaturausverteilt. Siesteuernentwedergeografisch
weit verteilte Ressourcen oder nutzen redundante Hardware-Komponen-
ten,umSystemfehlerzuverringern. STMisteineAbstraktion,umgemein-
same Ressourcen in nebenläufigen Anwendungen zu synchronisieren. Sie
hilft 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. Weiterhin ist die implementierte Bib-
liothek selbst robust und bietet damit dem Anwendungsprogrammierer
ein hohes Maß an Abstraktion, um Robustheit zu verwirklichen, was ihm
diese, im Allgemeinen, komplexe Aufgabe deutlich erleichtert.
Schlüsselwörter robust, transaktionaler Speicher, verklemmungsfrei, verteilt
viiAbstract
This thesis motivates and develops a robust distributed Software Trans-
actional Memory (STM) library for Haskell. Many real-life applications
are distributed by nature. They either control geographically wide spread
hardware resources or utilize redundant hardware components to minimize
system failure. STM is an abstraction for synchronizing shared resources
in concurrent applications. It helps to prevent deadlocks and thus facili-
tates composing program code.
We extend the STM abstraction to distributed systems and present an
implementation efficient enough to be used in soft real-time applications.
Further, theimplementedlibraryisrobustinitself, offeringtheapplication
developerahighabstractionleveltorealizerobustness, hence, significantly
simplifying this, in general, complex task.
Keywords deadlock-free, distributed, robust, software transactional memory
ix

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.