Topic: communicating sequential processes
Topic: communication port
Topic: implementing distributed systems and applications
Topic: multi-tasking
Topic: task scheduling
Topic: termination of control unit
| |
Subtopic: Unix fork and exec
Quote: a Unix process is the execution of an image; i.e., the current state of a computer execution environment [»ritcDM7_1978a]
| Quote: Unix 'fork' creates two identical processes with the same open files; parent/child distinguished [»ritcDM7_1978a]
| Quote: Unix 'execute' replaces the current process with new program text and data; open files, etc., are retained [»ritcDM7_1978a]
| Quote: process creation under Unix once took a tenth of a second plus input/output overhead [»doloTA7_1978]
| Quote: duplicating private data at a fork came from Witsenhausen
| Subtopic: process creation
Quote: use 'spawn f(a, b)' to create a new process with shared, unsynchronized, global variables [»dorwSM1_1997]
| Quote: initiate a process by sending a capability for accessing arguments and environment; returns a capability for the new process [»taneAS12_1990]
| Subtopic: file system per process
Quote: every Vesta process has a current or working directory for relative paths, and a root directory for absolute paths; defined when the process is forked [»heydA_2006]
| Quote: Vesta builds execute in an encapsulated environment, including the file system; every file system referent is recorded as a dependency; all file accesses use temporary build directories [»heydA_2006]
| Quote: Plan 9 uses the same name for different files/services in different processes; fundamental to system [»pikeR6_2000]
| Subtopic: transfering ownership
Quote: in NIL, a process can outlive its owner if its ownership is transferred by sending the process in a message [»stroRE5_1985]
| Quote: communicating an actor's name to another actor transfers access rights, this is fundamental [»hewiC8_1977]
| Subtopic: process termination
Quote: in NIL, when a process terminates, it sends an obituary message to its owner on a specified port [»stroRE5_1985]
| Quote: destruction of a V process also destroys all processes that it created [»cherDR4_1984]
| Quote: lexical scoping of process termination avoids problems of first class values for process names, e.g., concurrent while [»donnMD_1987]
| Quote: stop a thread by polling for a stop condition; killing a thread is inherently unsafe [»blocJ_2001]
| Quote: implement kill-safe by suspending an instance instead of killing it; a surviving task can resurrect the instance
| Subtopic: OWL processes, automatic concurrency
Quote: with OWL, programmers don't name processes; this simplifies programming [»donnMD_1987]
| Quote: an OWL process is a sequence of processes, a concurrence of processes, a primitive statement, or a named process [»donnMD_1987]
| Quote: a sequence of processes in OWL is an infinite loop terminated by 'done' [»donnMD_1987]
| Quote: a named process in OWL is a sequence or concurrence with parameters and a name [»donnMD_1987]
| Subtopic: stunned process
Quote: a V process is created as 'awaiting reply'; allows creator to pass its initial data [»cherDR4_1984]
| Quote: a stunned process has not started, or under debugging or migration; gives system requirements, address space, thread state, client ports [»taneAS12_1990]
|
Related Topics
Topic: communicating sequential processes (33 items)
Topic: communication port (40 items)
Topic: implementing distributed systems and applications (41 items)
Topic: multi-tasking (22 items)
Topic: task scheduling (49 items)
Topic: termination of control unit (22 items)
|