Semantics of Multithreaded Java

@inproceedings{PughInstitute2000SemanticsOM,
  title={Semantics of Multithreaded Java},
  author={William PughInstitute},
  year={2000}
}
  • William PughInstitute
  • Published 2000
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for improperly synchronized programs. It turns out that understanding these issues is far more subtle and difficult than was previously thought. The existing specification makes guarantees that prohibit standard and proposed compiler optimizations; it also omits guarantees that are necessary for safe execution of much… CONTINUE READING

Similar Papers

Loading similar papers…