Discipline Of Multiprogramming

Misra, Jayadev

ISBN 10: 0387952063 / ISBN 13: 9780387952062

Editore: Springer, 2001

Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNNN-69986

Riassunto:

In this book, a programming model is developed that addresses the fundamental issues of "large-scale programming," unifying several concepts from database theory, object-oriented programming and designs of reactive systems. The model and the associated theory have been christened "Seuss. " 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.

Recensione:

From the reviews:

"Jayadev Misras ‘Discipline of Multiprogramming – Programming Theory for Distributed Applications’ wants to contribute theories and design principles to enhance productivity in specification, abstraction and modularization. ... Most chapters have a large number of examples, contain bibliographic notes and a lot of exercises with solutions. The book concludes with an appendix about elementary logic and algebra, a reference list and an index." (Christoph Meinel, Zentralblatt MATH, Vol. 999, 2002)

Dati bibliografici

Titolo: Discipline Of Multiprogramming
Casa editrice: Springer
Data di pubblicazione: 2001
Legatura: Rilegato
Condizione: New