Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (no description provided) |
Description
Title: | Optimistic regulation of concurrency |
Author(s): | Robison, Arch Douglas |
Doctoral Committee Chair(s): | Campbell, Roy H. |
Department / Program: | Computer Science |
Discipline: | Computer Science |
Degree Granting Institution: | University of Illinois at Urbana-Champaign |
Degree: | Ph.D. |
Genre: | Dissertation |
Subject(s): | Computer Science |
Abstract: | Unregulated concurrency in functional programs may lead to space demands that exceed available space, causing deadlock. This thesis proposes regulating concurrency optimistically with rollbacks. Excessive concurrency is viewed as a fault from which to recover. An optimistic regulator has two parts: a recovery-point manager and a process scheduler. This thesis presents a formal model that characterizes data flow and control flow within concurrent functional programs. The model guides the design of the recovery-point manager and process scheduler. The proposed regulator guarantees that concurrent execution of a program does not deadlock if the program is given space sufficient for sequential execution. The advantage of the optimistic regulation is that concurrency is tailored to fit available space instead of vice versa. Furthermore, the optimistic approach allows errors on the side of too much concurrency rather than too little, and may be able to obtain better speedup than pessimistic regulation. |
Issue Date: | 1990 |
Type: | Text |
Language: | English |
URI: | http://hdl.handle.net/2142/22847 |
Rights Information: | Copyright 1990 Robison, Arch Douglas |
Date Available in IDEALS: | 2011-05-07 |
Identifier in Online Catalog: | AAI9026304 |
OCLC Identifier: | (UMI)AAI9026304 |
This item appears in the following Collection(s)
-
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science -
Graduate Dissertations and Theses at Illinois
Graduate Theses and Dissertations at Illinois