| 
|
QuoteRef: brinP4_1999
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
preventing accidental errors
Topic:
compiler error checking
Topic:
type-safe and secure languages
Group:
security
Topic:
models of parallel computation
Topic:
parallel programming languages
Topic:
concurrency control by monitors
Topic:
monitored statements and events
Topic:
waitfor condition in parallel processing
Reference
Brinch Hansen, P., "Java's insecure parallelism", ACM SIGPLAN Notices, 34, 4, April 1999, pp. 38-45. Google
39 ;;Quote: a language is secure if it detects most cases where its concepts break down and produce meaningless results
39 ;;Quote: a parallel language must check that processes access disjoint sets of variables only and do not interfere in time-dependent ways
41 ;;Quote: synchronize through monitors with explicit await queues; insures mutual exclusion of access to monitored variables
41+;;Quote: conditions are first-in, first-out await queues
42 ;;Quote: Java by default is unsynchronized; synchronization is a programming style that imitates insecure monitors
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: preventing accidental errors (36 items)
Topic: compiler error checking (16 items)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: models of parallel computation (33 items)
Topic: parallel programming languages (14 items)
Topic: concurrency control by monitors (24 items)
Topic: monitored statements and events (16 items)
Topic: waitfor condition in parallel processing (20 items)