{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/22847"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/22847","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Optimistic regulation of concurrency","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Robison, Arch Douglas"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Campbell, Roy H."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T13:53:28Z","date_published":"2011-05-07T13:53:28Z","updated_at":"2026-07-22T22:25:20Z","subjects":["Computer Science"],"languages":["eng"],"rights":["Copyright 1990 Robison, Arch Douglas"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9026304","(UMI)AAI9026304"],"render_values":[{"text":"AAI9026304","href":null,"code":true},{"text":"(UMI)AAI9026304","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/22847","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Campbell, Roy H."]},{"key":"dc:creator","label":"Author","values":["Robison, Arch Douglas"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T13:53:28Z","1990"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1990 Robison, Arch Douglas"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9026304","(UMI)AAI9026304","http://hdl.handle.net/2142/22847"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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.","Made available in DSpace on 2011-05-07T13:53:28Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9026304.pdf: 7279490 bytes, checksum: 812253f7b7c1f479b98b6ac2e08999f3 (MD5) Previous issue date: 1990","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:00:25Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:28:35-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","Changed to open access by request of the author on 2015-09-28 by Ayla Stein (astein@illinois.edu)","Open"]},{"key":"dc:title","label":"Title","values":["Optimistic regulation of concurrency"]}]}],"canonical_facts":{"dc:contributor":["Campbell, Roy H."],"dc:creator":["Robison, Arch Douglas"],"dc:date":["2011-05-07T13:53:28Z","1990"],"dc:description":["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.","Made available in DSpace on 2011-05-07T13:53:28Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9026304.pdf: 7279490 bytes, checksum: 812253f7b7c1f479b98b6ac2e08999f3 (MD5) Previous issue date: 1990","Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T15:00:25Z Item is restricted indefinitely.","Restriction data tranferred 2014-07-01T11:28:35-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","Changed to open access by request of the author on 2015-09-28 by Ayla Stein (astein@illinois.edu)","Open"],"dc:identifier":["AAI9026304","(UMI)AAI9026304","http://hdl.handle.net/2142/22847"],"dc:language":["eng"],"dc:rights":["Copyright 1990 Robison, Arch Douglas"],"dc:subject":["Computer Science"],"dc:title":["Optimistic regulation of concurrency"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:20Z"}