framework
active
framework:monitor-model-hoareMonitor model (Hoare)
Concurrency control using monitors with condition queues; compared to Linda's tuple space.
Neighborhood — ranked by edge-count
Thinkers (1)
thinker
- C. A. R. HoareintroducesInventor of monitors and Communicating Sequential Processes (CSP).
Concepts (1)
concept
- Linda (tuple space model)contradictsA model of process creation and coordination based on generative communication and tuple spaces; the central topic of the paper.
Artifacts (1)
artifact
- The source article that introduces and argues for the Linda parallel programming model, comparing it to message-passing, concurrent objects, logic programming, and functional programming.
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- A synchronization mechanism in concurrent object systems that serializes access to shared resources using locks and condition variables.
- Synchronization construct encapsulating shared data and protected access routines.
- A representation that captures relevant aspects of a system; according to the theorem, the regulator must embody this.
- Compositional proof system for imperative programs using pre/post-conditions.
- Pietsch's model linking memory to holographic compression and interference patterns.
- A message-passing concurrency model where processes (actors) communicate via messages (talks) and generate new processes; related to concurrent objects.