Dining Philosophers Problem

A classic concurrency benchmark problem used to test expressivity of parallel programming primitives; second main example for Parlog-Linda comparison.

Neighborhood — ranked by edge-count

Papers (1)

paper

Linda in context
cites

Thinkers (2)

thinker

G. A. Ringwood
studies
Author of the Parlog86 article in Communications of the ACM used as the main comparison point for concurrent logic programming.
Edsger W. Dijkstra
associated_with
Originator of the dining philosophers problem, used as a concurrency benchmark.

Frameworks (1)

framework

Parlog
about
A concurrent logic language featured prominently in recent ACM literature; used as a primary comparison point for Linda.

Claims (1)

claim

When a problem has a simple solution, a useful system will give programmers access to the simple solution; Parlog forces complex solutions to simple problems.
about
Critique that Parlog's abstraction level is too high and restrictive.

Concepts (2)

concept

Linda
aboutassociated_with
The core parallel programming model introduced in this paper, based on tuple space operations and orthogonal to any base language.
Parlog86
associated_with
Concurrent logic language; Linda authors demonstrate simpler solutions to client-server and dining philosophers problems.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

dining philosophers is a benchmark of the expressive power of new primitives of concurrent programming and stands as a challenge to proposers of these languages.quote0.791
From Ringwood (1988), used by Carriero and Gelernter to frame the importance of the dining philosophers example.
The Parlog86 solution to dining philosophers consists of 70 lines of code as presented in Ringwood (1988).finding0.723
Quantitative observation used to support the claim that Parlog solution is complex.
Boundary Problem in Democratic Theoryconcept0.710
The problem of determining who has a right to participate in a decision-making process; applied to whether AI systems should deliberate.
Gaming Problemconcept0.709
The risk that any indicator merely correlated with consciousness can be artificially implemented without the system actually being conscious
Rock Problemconcept0.706
The difficulty that broad FEP formulations technically apply to rocks maintaining thermodynamic equilibrium; avoided by the present thesis
Problem Of Other Mindsconcept0.697
Philosophical problem underlying sentience assessment: how to determine consciousness in beings unlike ourselves.
social and philosophical sustainability issuesconcept0.696
Birth control, species protection, spiritual health, etc., as listed in the preamble.
The Simulation Problemconcept0.695