| 
|
QuoteRef: leeEA5_2006
Topic:
proving concurrent programs
Group:
parallel processing
Group:
program proving
Topic:
semantics by an abstract machine
Topic:
process threads
Topic:
programming style
Topic:
design pattern
Topic:
multiple processors
Reference
Lee, E.A., "The problem with threads", Computer, May 2006, pp. 33-42. Google
34 ;;Quote: threaded programs are extremely difficult to prove equivalent; due to the enormous number of possible interleavings
34 ;;Quote: sequential execution is function composition; a neat, simple model with deterministic results
35 ;;Quote: threads are wildly nondeterministic; seriously flawed as a computation model
35+;;Quote: threaded programs rely on programming style to constrain their nondeterminism
35 ;;Quote: the observer pattern is difficult to get right; must analyze all possible interleavings
36 ;;Quote: multicore processors have much richer interleaving than single core processors; will lead to new system failures
Topic: proving concurrent programs (37 items)
Group: parallel processing (41 topics, 1125 quotes)
Group: program proving (10 topics, 311 quotes)
Topic: semantics by an abstract machine (38 items)
Topic: process threads (25 items)
Topic: programming style (47 items)
Topic: design pattern (17 items)
Topic: multiple processors (10 items)