Concurrent Programming in Ml

by John H. Reppy

• ISBN13: 9780521480895
• ISBN10: 0521480892
• Format: Hardcover
• Copyright: 1999-08-13
• Publisher: Cambridge University Press

Summary

Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.

Table of Contents

Preface	ix
Legend	xv
Introduction	1	(10)
Concurrency as a structuring tool	2	(4)
High-level Languages	6	(1)
Concurrent ML	7	(4)
Concepts in Concurrent Programming	11	(28)
Processes	12	(1)
Interference	13	(1)
Correctness issues in concurrent programming	14	(2)
Shared-memory languages	16	(6)
Message-passing languages	22	(9)
Parallel programming mechanisms	31	(8)
An Introduction to Concurrent ML	39	(24)
Sequential programming	39	(1)
Basic concurrency primitives	40	(12)
first-class synchronous operations	52	(8)
Summary	60	(3)
CML Programming Techniques	63	(22)
Process networks	63	(9)
Client-server programming	72	(13)
Sychronization and Communication Mechanisms	85	(32)
Other base-event constructors	85	(2)
External synchronous events	87	(4)
Synchronizing shared-memory	91	(6)
Buffered channels	97	(2)
Multicast channels	99	(6)
Meta-programming RPC protocols	105	(12)
The Rationale for CML	117	(14)
Basic design choices	117	(3)
First-class synchronous operations	120	(4)
Extending PML events	124	(3)
The expressiveness of CML	127	(2)
Discussion	129	(2)
A Software Build System	131	(14)
The problem	131	(2)
The design	133	(1)
Building the dependency graph	134	(3)
Creating the graph nodes	137	(2)
Parsing makefiles	139	(1)
Putting it all together	140	(5)
A Concurrent Window System	145	(38)
Overview	145	(1)
Geometry	146	(1)
The display system	147	(5)
The Toy Window System architecture	152	(4)
Some simple components	156	(7)
The implementation of a window manager	163	(10)
A sample application	173	(10)
A CML Implementation of Linda	183	(38)
CML-Linda	184	(3)
An implementation overview	187	(3)
The protocols	190	(3)
The major components	193	(1)
The network layer	194	(10)
The server layer	204	(11)
The client layer	215	(6)
Implementing Concurrency in SML/NJ	221	(28)
First-class continuations	221	(2)
Coroutines	223	(2)
Shared-memory concurrency	225	(6)
Simple message passing	231	(5)
First-class synchronous operations	236	(8)
Scheduling issues	244	(5)
Appendix A A CML Reference	249	(26)
Appendix B The Semantics of CML	275	(18)
Bibliography	293	(8)
Index	301