I recently diagnosed the root cause of a concurrency bug, CR6822370,
and thought it sufficiently interesting to share the details. (CR 6822370 actually represents a
cluster of bugs that are now thought to be related by a common underlying issue).
Briefly, we have a lost wakeup bug in the native C++ Parker::park() platform-specific
infrastructure code that implements java.util.concurrent.LockSupport.park().
The lost wakeup arises from a race that itself arises because of architectural
reordering that in turn occurs because of missing memory barrier instructions.
The lost wakeup may manifest as various 'hangs' or instances of progress failure.
Program performance is always a concern, even in this era of high-performance hardware. This article, the first in a two-part series, guides you around the many pitfalls associated with benchmarking Java code. Part 2 covers the statistics of benchmarking and offers a framework for performing Java benchmarking. Because almost all new languages are virtual machine-based, the general principles the article describes have broad significance for the programming community at large.
J. Moreira, S. Midkiff, and M. Gupta. Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande, page 116--125. New York, NY, USA, ACM, (2001)
B. Folliot, I. Piumarta, and F. Riccardi. Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, page 175--181. New York, NY, USA, ACM, (1998)
S. Lauterburg, M. Dotta, D. Marinov, and G. Agha. 2009 IEEE/ACM International Conference on Automated Software Engineering, page 468--479. (November 2009)
N. Geoffray, G. Thomas, C. Clément, and B. Folliot. PPPJ '08: Proceedings of the 6th international symposium on Principles and practice of programming in Java, page 73--82. New York, NY, USA, ACM, (2008)
L. Smith, J. Bull, and J. Obdrzálek. Supercomputing '01: Proceedings of the 2001 ACM/IEEE conference on Supercomputing (CDROM), page 8--8. New York, NY, USA, ACM, (2001)
V. Saraswat, R. Jagadeesan, M. Michael, and C. von Praun. PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, page 161--172. New York, NY, USA, ACM, (2007)
P. Lengauer, V. Bitto, and H. Mössenböck. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, page 51--62. ACM, (2015)
H. Inoue, H. Hayashizaki, P. Wu, and T. Nakatani. Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 179--194. New York, NY, USA, ACM, (2012)
E. Hilsdale, and J. Hugunin. Proceedings of the 3rd international conference on Aspect-oriented software development, page 26--35. New York, NY, USA, ACM, (2004)
N. Beckman, D. Kim, and J. Aldrich. ECOOP 2011 – Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)
A. Wöß, C. Wirth, D. Bonetta, C. Seaton, C. Humer, and H. Mössenböck. Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, page 133--144. ACM, (2014)