Concurrent Programming in ML by John H. Reppy

By John H. Reppy

Concurrent Programming ML (CML), integrated as a part of the SML of latest Jersey (SML/NJ) distribution, combines the simplest positive aspects of concurrent programming and practical programming. This sensible, "how-to" ebook makes a speciality of using concurrency to enforce clearly concurrent functions. as well as an educational advent to programming in CML, the ebook offers 3 prolonged examples utilizing CML for useful platforms programming: a parallel software program construct procedure, an easy concurrent window supervisor, and an implementation of disbursed tuple areas. This e-book additionally illustrates complex SML programming thoughts, and features a bankruptcy at the implementation of concurrency utilizing positive aspects supplied through the SML/NJ procedure. it is going to be of curiosity to programmers, scholars, researchers operating in desktop language improvement.

Show description

Read or Download Concurrent Programming in ML PDF

Best software design & engineering books

Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers

This quantity includes completely refereed and revised complete papers chosen from the displays on the first workshop held less than the auspices of the ESPRIT uncomplicated examine motion 6453 kinds for Proofs and courses in Nijmegen, The Netherlands, in may well 1993. because the entire ESPRIT BRA 6453, this quantity is dedicated to the theoretical foundations, layout and functions of platforms for thought improvement.

Software Engineering Research, Management and Applications 2010

The aim of the eighth convention on software program Engineering, synthetic Intelligence study, administration and purposes (SERA 2010) hung on might 24 – 26, 2010 in Montreal, Canada was once to collect scientists, engineers, desktop clients, and scholars to proportion their studies and alternate new rules and learn effects approximately all facets (theory, purposes and instruments) of computing device and knowledge technological know-how, and to debate the sensible demanding situations encountered alongside the way in which and the ideas followed to unravel them.

Machine-to-Machine Communications: Architectures, Technology, Standards, and Applications

With the variety of machine-to-machine (M2M)–enabled units projected to arrive 20 to 50 billion by means of 2020, there's a serious have to comprehend the calls for imposed through such structures. Machine-to-Machine Communications: Architectures, expertise, criteria, and functions deals rigorous therapy of the numerous aspects of M2M conversation, together with its integration with present expertise.

Additional info for Concurrent Programming in ML

Sample text

2 Synchronous message passing In synchronous message passing, the sender is blocked until its message is received. , accepts the call) before talking. There are two basic scenarios for synchronously sending a message: either the sender waits or the receiver waits. 4 shows the process histories for these two scenarios, where the dotted lines correspond to a process being blocked. Because the two processes must wait for each other, synchronous message passing is sometimes called rendezvous (or simple rendezvous).

Furthermore, this kind of protocol is not very ab- 28 2 Concepts in Concurrent Programming stract, and may have to be modified to be used in other contexts (for example, a process that wants to read from two different buffered channels). To avoid the complexities and inefficiencies of such protocols, most message-passing languages provide a mechanism for selecting from a choice of several blocking communications. One approach is to provide a polling operation (or non-blocking recv operation) that allows a process to attempt a communication without blocking (if the operation would block, then the attempt fails).

In fact, programming languages with monitors predate the kind of support for mutex locks and condition variables described in the previous section. , modules and mutual exclusion). 5 Message-passing languages In the previous section, we used the producer/consumer buffer as an example to illustrate different shared-memory primitives. Message-passing languages support this style of interprocess communication more directly. ” Since a message must be sent before it can be received, message-passing imposes an causal order on the actions of the program.

Download PDF sample

Rated 4.81 of 5 – based on 20 votes