Topic: communicating sequential processes

topics > computer science > Group: parallel processing

coordination system
digital communication

actor machines
asynchronous processing
calculus of communicating processes
communication port
coordinated robot movement
data flow machines
defining a process
event controlled processing
formal methods and languages
interprocess communication
models of parallel computation
multiple processors
open systems
Petri net
process migration
specification and design of distributed systems
synchronous communication through a channel

Subtopic: process paradigm, network of processes up

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 up

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 up

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 up

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 up

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 up

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 up

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 up

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 up

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 up

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

Related Topics up

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)

Updated barberCB 2/06
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.