By John H. Reppy

Concurrent Programming ML (CML), integrated as a part of the SML of recent Jersey (SML/NJ) distribution, combines the easiest gains of concurrent programming and practical programming. This functional, "how-to" ebook makes a speciality of using concurrency to enforce evidently concurrent purposes. as well as an instructional advent to programming in CML, the booklet provides 3 prolonged examples utilizing CML for functional platforms programming: a parallel software program construct procedure, an easy concurrent window supervisor, and an implementation of allotted tuple areas. This e-book additionally illustrates complicated SML programming strategies, and incorporates a bankruptcy at the implementation of concurrency utilizing good points supplied by means of the SML/NJ process. will probably be of curiosity to programmers, scholars, researchers operating in computing device language improvement.

Show description

Read Online or Download Concurrent Programming in ML PDF

Best software design & engineering books

Concurrent Programming in ML

Concurrent Programming ML (CML), incorporated as a part of the SML of recent Jersey (SML/NJ) distribution, combines the easiest gains of concurrent programming and practical programming. This useful, "how-to" booklet specializes in using concurrency to enforce clearly concurrent functions. as well as an academic advent to programming in CML, the booklet offers 3 prolonged examples utilizing CML for functional structures programming: a parallel software program construct method, an easy concurrent window supervisor, and an implementation of dispensed tuple areas.

Deploying OpenLDAP

. .. i used to be excited to determine Deploying OpenLDAP, by means of Tom Jackiewicz and released by way of Apress, on Amazon's digital bookshelf. After reviewing the desk of Contents I fast ordered the e-book. For all of the paintings and time invested in utilizing LDAP, no longer adequate time has been spent designing the format and the good judgment of directories.

The Computer, the Writer and the Learner

Desktops are progressively infiltrating all phases of the writing approach. more and more, academics, writers, scholars, software program builders, technical authors, and desktop scientists have to study extra concerning the potent use of desktops for writing. This publication discusses how pcs can assist help writing.

Extra resources for Concurrent Programming in ML

Example text

Futures combine thread creation, communication, and synchronization into a single mechanism. The Lisp expression 32 2 Concepts in Concurrent Programming (let ((x (future exp))) body) is evaluated by creating a placeholder (sometimes called a future cell) binding the variable x to it, and spawning a new process to evaluate exp. When the new process has completed the evaluation of exp, it fills in the future cell with the result. An attempt to access the value of x in body is called touching x, and must synchronize on the availability of the value.

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). Using this, one might implement the buffer by repeatedly polling the insCh and remCh channels. While this spinning provides the desired nondeterministic choice of communications, it is wasteful of computing resources.

Milewski proposed a mechanism similar to M-structures for use as an update-in-place data structure in implementations of functional programming languages [Mil90]. The tuple spaces supported by the Linda family of languages were first described by Gelernter and Bernstein [GB82, Gel85]. Tuple spaces have been shown to be a portable model of parallel computation, with implementations on machines ranging from shared- 38 2 Concepts in Concurrent Programming memory multiprocessors to distributed-memory multiprocessors to networks of workstations [BCGL87].

Download PDF sample

Rated 4.25 of 5 – based on 13 votes