Optimistic regulation of concurrency

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Robison, Arch Douglas

Contributors dc:contributor

• Campbell, Roy H.

• Computer Science

Statement dc:rights

• Copyright 1990 Robison, Arch Douglas

Language dc:language

eng

Identifier

AAI9026304
(UMI)AAI9026304

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/22847