Robust Distributed Software Transactions for Haskell : Freedom from Deadlock without the Headache

-Ing. Frank Kupke

ISBN 10: 3838127366 / ISBN 13: 9783838127361

Published by Südwestdeutscher Verlag Für Hochschulschriften, 2011

About this Item

nach der Bestellung gedruckt Neuware - Printed after ordering - 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.

Seller Inventory # 9783838127361

Bibliographic Details

• Title: Robust Distributed Software Transactions for Haskell : Freedom from Deadlock without the Headache
• Publisher: Südwestdeutscher Verlag Für Hochschulschriften
• Publication Date: 2011
• Language: German
• ISBN 10: 3838127366
• ISBN 13: 9783838127361
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 15D millimeters 220 millimeters width by 150 millimeters height by 15 millimeters depth
• Weight: 375 grams

About this title

Synopsis

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.

About the Author

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.