| 
|
QuoteRef: brinP9_1978
topics >
all references >
ThesaHelp:
references a-b
Topic:
event controlled processing
Topic:
synchronized processing
Topic:
critical regions
Topic:
waitfor condition in parallel processing
Topic:
conditional control by guards
Topic:
transformation of programs
Topic:
abstract data type
Group:
requirement specification
Reference
Brinch-Hansen, P., Staunstrup, J., "Specification and implementation of mutual exclusion", IEEE Transactions on Software Engineering, SE-4, 5, pp. 365-370, September 1978. Google
Notes
copied some pages
365 ;;Quote: synchronize processes by transition commands, i.e., a list of state transitions of which one must occur
366 ;;Quote: implement exclusive access by 2 mutually exclusive states; the sequence is request:access:release
367 ;;Quote: shared variables for a resource are only used in guarded regions
367+;;Quote: the statements of a guarded region implement a set of transitions from guards to results
367 ;;Quote: a guarded region delays until one of its conditions is true; similar to a guarded command but does not raise an exception
367 ;;Quote: transform guarded regions into shorter equivalents; e.g., case structure to conditionals, or dropping a precondition that always holds
368 ;;Quote: an abstract specification of a problem is valid for a class of implementations; e.g., anything with mutually exclusive resource states
370 ;;Quote: have used transition commands to specify major parts of a message buffering scheme and the Solo operating system
370 ;;Quote: with abstract specifications, can easily invent alternative solutions and check them with the same verification conditions
ThesaHelp: references a-b (396 items)
Topic: event controlled processing (46 items)
Topic: synchronized processing (35 items)
Topic: critical regions (58 items)
Topic: waitfor condition in parallel processing (20 items)
Topic: conditional control by guards (17 items)
Topic: transformation of programs (27 items)
Topic: abstract data type (64 items)
Group: requirement specification (11 topics, 306 quotes)