Discipline of Multiprogramming (eBook)

Programming Theory for Distributed Applications

Jayadev Misra (Autor)

eBook Download: PDF

2012
Springer New York (Verlag)
978-1-4419-8528-6 (ISBN)

Infos

In this book, a programming model is developed that addresses the fundamental issues of "e;large-scale programming,"e; unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "e;Seuss."e; The major goal of Seuss is to simplify multiprogramming. To this end, we separate the concern of concurrent implementation from the core program design problem. A program execution is understood as a single thread of control - sequential executions of actions that are chosen according to some scheduling policy - yet program implementation permits concurrent executions of multiple threads. As a consequence, it is possible to reason about the properties of a program from its single execution thread, whereas an implementation may exploit the inherent concurrency for efficient execution.

Produkt-Details

• Erscheint lt. Verlag: 7.9.2012
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik ► Netzwerke
• Themenwelt: Informatik ► Software Entwicklung ► Objektorientierung
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Informatik ► Weitere Themen ► Hardware
• ISBN-10: 1-4419-8528-X / 144198528X
• ISBN-13: 978-1-4419-8528-6 / 9781441985286