Discipline of multiprogramming
Distributed theory for distributed applications
420 pages, parution le 01/08/2001
Résumé
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.
Contents
- A discipline of multiprogramming
- Action systems
- An object-oriented view of action systems
- Small examples
- Safety properties
- Progress properties
- Maximality properties
- Asynchronous compositions of programs
- Conditional, closure properties
- Reduction theorem
- Distributed implementation
- Logic of Seuss programs
- Epilog
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Jayadev Misra |
| Parution | 01/08/2001 |
| Nb. de pages | 420 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 735g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780387952062 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
