A Discipline of Multiprogramming

1. Front Matter

   Pages i-xviii

   PDF

2. A Discipline of Multiprogramming

   • Jayadev Misra

   Pages 1-12

3. Action Systems

   • Jayadev Misra

   Pages 13-37

4. An Object-Oriented View of Action Systems

   • Jayadev Misra

   Pages 39-56

5. Small Examples

   • Jayadev Misra

   Pages 57-89

6. Safety Properties

   • Jayadev Misra

   Pages 91-154

7. Progress Properties

   • Jayadev Misra

   Pages 155-213

8. Maximality Properties

   • Jayadev Misra

   Pages 215-233

9. Program Composition

   • Jayadev Misra

   Pages 235-280

10. Conditional and Closure Properties

    • Jayadev Misra

    Pages 281-314

11. Reduction Theorem

    • Jayadev Misra

    Pages 315-337

12. Distributed Implementation

    • Jayadev Misra

    Pages 339-359

13. A Logic for Seuss

    • Jayadev Misra

    Pages 361-385

14. Back Matter

    Pages 387-420

    PDF

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.

• Inform
• Simula
• algorithms
• computer
• concurrency
• database
• design
• logic
• object oriented design
• object-oriented programming
• optimization
• programming
• simulation

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)

• Department of Computer Sciences, University of Texas, Austin, USA

  Jayadev Misra

Policies and ethics