Java consistency nonoperational characterizations for Java memory behavior.
The Java Language Specification (JLS) [Gosling et al. 1996] provides an operational definition for the consistency of shared variables. The definition remains unchanged in the JLS 2nd edition, currently under peer review, which relies on a specific abstract machine as its underlying model, is very c...
| الحاوية / القاعدة: | ACM transactions on computer systems. 18, 4 (2000). |
|---|---|
| المؤلف الرئيسي: | |
| مؤلفون آخرون: | |
| التنسيق: | مقال |
| اللغة: | English |
| الموضوعات: |