The Incremental Garbage Collection of Processes

Key Words and Phrases: garbage collection, multiprocessing systems, processor scheduling. "lazy evaluation, "eager" evaluation. CR Categories: 3.60, 3.80, 4.13, 4.22, 4.32. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute o...

Full description

Bibliographic Details
Main Authors: Hewitt, Carl, Baker, Henry G. Jr.
Format: Working Paper
Language:en_US
Published: MIT Artificial Intelligence Laboratory 2008
Subjects:
Online Access:http://hdl.handle.net/1721.1/41969
_version_ 1826203463689699328
author Hewitt, Carl
Baker, Henry G. Jr.
author_facet Hewitt, Carl
Baker, Henry G. Jr.
author_sort Hewitt, Carl
collection MIT
description Key Words and Phrases: garbage collection, multiprocessing systems, processor scheduling. "lazy evaluation, "eager" evaluation. CR Categories: 3.60, 3.80, 4.13, 4.22, 4.32. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522. This paper was presented at the AI*PL Conference at Rochester, N.Y. in August, 1977.
first_indexed 2024-09-23T12:37:28Z
format Working Paper
id mit-1721.1/41969
institution Massachusetts Institute of Technology
language en_US
last_indexed 2024-09-23T12:37:28Z
publishDate 2008
publisher MIT Artificial Intelligence Laboratory
record_format dspace
spelling mit-1721.1/419692019-04-12T09:43:50Z The Incremental Garbage Collection of Processes Hewitt, Carl Baker, Henry G. Jr. "eager" evaluation "lazy" evaluation processor scheduling multiprocessing systems garbage collection Key Words and Phrases: garbage collection, multiprocessing systems, processor scheduling. "lazy evaluation, "eager" evaluation. CR Categories: 3.60, 3.80, 4.13, 4.22, 4.32. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522. This paper was presented at the AI*PL Conference at Rochester, N.Y. in August, 1977. This paper investigates some problems associated with an argument evaluation order that we call "future" order, which is different from both call-by-name and call-by-value. In call-by-future, each formal parameter of a function is bound to a separate process (called a "future") dedicated to the evaluation of the corresponding argument. This mechanism allows the fully parallel evaluation of arguments to a function, and has been shown to augment the expressive power of a language. We discuss an approach to a problem that arises in this context: futures which were thought to be relevant when they were created become irrelevant through being ignored in the body of the expression where they were bound. The problem of irrelevant processes also appears in multiprocessing problem-solving systems which start several processors working on the same problem but with different methods, and return with the solution which finishes first. This parallel method strategy has the drawback that the processes which are investigating the losing methods must be identified, stopped, and re-assigned to more useful tasks. The solution we propose is that of garbage collection. We propose that the goal structure of the solution plan be explicitly represented in memory as part of the graph memory (like Lisp's heap) so that a garbage collection algorithm can discover which processes are performing useful work, and which can be recycled for a new task. An incremental algorithm for the unified garbage collection of storage and processes is described. MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agency 2008-08-26T14:51:54Z 2008-08-26T14:51:54Z 1977-06 Working Paper http://hdl.handle.net/1721.1/41969 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-149; application/pdf MIT Artificial Intelligence Laboratory
spellingShingle "eager" evaluation
"lazy" evaluation
processor scheduling
multiprocessing systems
garbage collection
Hewitt, Carl
Baker, Henry G. Jr.
The Incremental Garbage Collection of Processes
title The Incremental Garbage Collection of Processes
title_full The Incremental Garbage Collection of Processes
title_fullStr The Incremental Garbage Collection of Processes
title_full_unstemmed The Incremental Garbage Collection of Processes
title_short The Incremental Garbage Collection of Processes
title_sort incremental garbage collection of processes
topic "eager" evaluation
"lazy" evaluation
processor scheduling
multiprocessing systems
garbage collection
url http://hdl.handle.net/1721.1/41969
work_keys_str_mv AT hewittcarl theincrementalgarbagecollectionofprocesses
AT bakerhenrygjr theincrementalgarbagecollectionofprocesses
AT hewittcarl incrementalgarbagecollectionofprocesses
AT bakerhenrygjr incrementalgarbagecollectionofprocesses