Group:
coordination system
Group:
digital communication
Topic:
actor machines
Topic:
asynchronous processing
Topic:
calculus of communicating processes
Topic:
co-routines
Topic:
communication port
Topic:
concurrency
Topic:
coordinated robot movement
Topic:
data flow machines
Topic:
defining a process
Topic:
event controlled processing
Topic:
formal methods and languages
Topic:
interprocess communication
Topic:
models of parallel computation
Topic:
multi-tasking
Topic:
multiple processors
Topic:
open systems
Topic:
Petri net
Topic:
process migration
Topic:
roles
Topic:
specification and design of distributed systems
Topic:
synchronous communication through a channel
Topic:
time
| |
Subtopic: process paradigm, network of processes 
| Quote: model the world as a network of processes, one for each entity, communicating and synchronizing by serial data streams [»jackMA5_1976]
| | Quote: process paradigm corresponds to active entities in a physical system interacting through interfaces [»stroR10_1986]
| | Quote: both object-oriented and process paradigms based on message passing with clear separation between interface and implementation
| | Quote: object-oriented emphasizes global structure while process paradigm insists that all data is local [»stroR10_1986]
| | Quote: process paradigm best for very large systems since users never need to see, and can not see, the system as a whole [»stroR10_1986]
| | Quote: the parts of an open system only keep track of own state and interfaces to other agents; use explicit communication [»hewiC7_1986]
| | Quote: shared memory invalidates the function-to-value view of the program-to-memory relationship; want interaction among peers [»milnR1_1993]
| | Quote: gives examples of cooperating I/O; reading, writing, input, and output [»hoarCA8_1978, OK]
| | Quote: the process paradigm: ports carry interface type information, no inheritance, code associated with value of a port instead of type [»stroR10_1986]
| | Quote: hide interrupts via abstract processors; everything else as cooperating sequential processes [»dijkEW2_1971]
| | Quote: code all synchronization explicitly; speed ratios are not available
|
Subtopic: communication
| Quote: synchronous communication of immutable objects simplifies reasoning about message ordering; more efficient and easier to verify than buffered channels [»kumaS6_2001]
| | Quote: ESP uses a bit-mask of blocked channels per process; to check for a writer, collocate multiple processes on an integer [»kumaS6_2001]
| | Quote: problem solving can be modeled by two intellects communicating through a water trough using a set of rules
|
Subtopic: environment as concurrent processes
| Quote: in CSP, describe the environment of a process as a process [»hoarCA_1985]
| | Quote: an ensemble is a collection of asynchronous activities that communicate; a computer, a person, another ensemble [»geleD2_1992]
| | QuoteRef: chowTS_1978 ;;169 "Each process interacts not only with other processes within the system but also with other systems by sending or receiving messages.
|
Subtopic: programming asynchronous processes
| Quote: complex control tasks best programmed as asynchronous communicating subtasks [»donnMD_1987]
| | Quote: walking by controlling each leg with a mostly autonomous process [»donnMD_1987]
| | Quote: the DDM1 data flow machine consists of asynchronous processor-store elements that communicate by messages; elements may contain sub-elements [»daviAL_1979]
| | Quote: the DDM1 data flow machine can distribute concurrent subnets to subelements of a process-store element [»daviAL_1979]
|
Subtopic: concurrent processing vs. event loop
| Quote: avoid the clumsy top-level event loop via concurrent processing
| | Quote: Acme is written in Alef, a concurrent object-oriented language similar to C; worked out well [»pikeR1_1994]
|
Subtopic: concurrent language
| Quote: ESP for efficient, device implementations of concurrent programming; other languages support concurrency but not as efficiently [»kumaS6_2001]
| | Quote: a concurrent language needs simple constructs that guarantee determinism; usually not true of message communication systems [»chanKM7_1980]
| | Quote: use a small vocabulary for formal methods; easier to understand though longer, more abstract, little implementation bias; e.g., Hoare's CSP [»boweJP4_1995]
|
Subtopic: visualizing concurrency
| Quote: a trace for a process is a serialization of the events it engages in [»hoarCA_1985]
| | Quote: the VFSM simulator generates message sequence charts showing states, inputs, outputs, and communications; with seqflow, it documents the behavior of a module [»florAR1_1997]
|
Subtopic: process vs. data
| Quote: level principle--active entities at one level are data structures at a lower level; e.g., process vs. context block [»finkRA_1986]
|
Subtopic: proving concurrent programs
| Quote: the dining philosophers problem demonstrates the constructive approach to multiprogramming correctness [»dijkEW2_1971]
| | Quote: the VFSM validator exhaustively exercises a network of communicating VFSMs using the supertrace algorithm; found errors in three tested applications; widely used formal method [»florAR1_1997]
|
Subtopic: problems with concurrency
| Quote: concurrent programming languages are asynchronous and nondeterministic; timing and event order is unpredictable [»benvA9_1991]
| Quote: limit the number of currently runnable threads in an application; helps make it robust, responsive, and portable
[»blocJ_2001]
|
Related Topics
Group: coordination system (8 topics, 217 quotes)
Group: digital communication (11 topics, 296 quotes)
Topic: actor machines (2 items)
Topic: asynchronous processing (30 items)
Topic: calculus of communicating processes (13 items)
Topic: co-routines (13 items)
Topic: communication port (40 items)
Topic: concurrency (33 items)
Topic: coordinated robot movement (10 items)
Topic: data flow machines (14 items)
Topic: defining a process (23 items)
Topic: event controlled processing (46 items)
Topic: formal methods and languages (53 items)
Topic: interprocess communication (29 items)
Topic: models of parallel computation (33 items)
Topic: multi-tasking (22 items)
Topic: multiple processors (10 items)
Topic: open systems (33 items)
Topic: Petri net (44 items)
Topic: process migration (3 items)
Topic: roles (21 items)
Topic: specification and design of distributed systems (14 items)
Topic: synchronous communication through a channel (28 items)
Topic: time
(49 items)
|
