Principles of concurrent and distributed programming 论文

摘要

I CONCURRENT PROGRAMMING: 1. What is Concurrent Programming? 2. The Concurrent Programming Abstraction. 3. The Mutal Exclusion Problem. 4. Semaphores. 5. Monitors. 6. the Problem of Dining Philosophers. II DISTRIBUTED PROGRAMMING. 7. Distributed Programming Models. 8. Ada. 9. occam. 10. Linda. 11. Distributed Mutual Exclusion. 12. Distributed Termination. 13. The Byzantine Generals Problem. III. IMPLEMENTATION PRINCIPLES: 14. Single Processor Implementation. 15. Multi-processor Implementation. 16. Real-Time Programming. Appendix A: Ada Overview. B: Concurrent Programs in Ada. C: Implementation of the Ada Emulations. D: Distributed Algoriths in Ada. Biblography. Index.