Java's insecure parallelism-Reference-Cited by-同舟云学术

Java's insecure parallelism

Published:1999-04 Issue:4 Volume:34 Page:38-45
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Hansen Per Brinch¹

Affiliation:

1. Syracuse University, 2-175 CST, Syracuse, NY

Abstract

The author examines the synchronization features of Java and finds that they are insecure variants of his earliest ideas in parallel programming published in 1972-73. The claim that Java supports monitors is shown to be false. The author concludes that Java ignores the last twenty-five years of research in parallel programming languages.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/312009.312034

Cited by 38 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Supplementary Properties to Reduce the Need for Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022

2. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation;ACM Transactions on Embedded Computing Systems;2014-07

3. SCCharts: sequentially constructive statecharts for safety-critical applications;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09

4. SCCharts: sequentially constructive statecharts for safety-critical applications;ACM SIGPLAN Notices;2014-06-05

5. A survey of support for structured communication in concurrency control models;Journal of Parallel and Distributed Computing;2014-04