Robust Distributed Software Transactions for Haskell

In recent years speed improvements of single computer processors are coming close to physical barriers. Consequently concurrent and distributed computer designs become more and more important. In addition, 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. However, applications, written for those systems, require a synchronization mechanism to avoid deadlocks, a problem feared among program designers. This book motivates and develops a robust distributed Software Transactional Memory (STM) library for Haskell. STM is an abstraction for synchronizing shared resources in concurrent applications. It helps to prevent deadlocks and thus facilitates composing program code. Frank Kupke extends the STM abstraction to distributed systems and presents in this book an implementation efficient enough to be used in soft real-time applications. Further, the implemented library is robust in itself, offering the application developer a high abstraction level to realize robustness, hence, significantly simplifying this, in general, complex task.

Autorentext

Frank Kupke studied Electrical Engineering at Universität Duisburg GH and TU Berlin, specializing in computer science. For Heidelberger Druckmaschinen AG, he worked several years as a Software Engineer and Product Manager in Germany and the USA. He received his doctor's degree at Christian-Albrechts-Universität zu Kiel in 2010 and is self-employed.