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.
H. Burchell, O. Larose, and S. Marr. Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, ACM, (September 2024)
T. Mytkowicz, A. Diwan, M. Hauswirth, and P. Sweeney. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, page 187--197. ACM, (June 2010)
J. Roemer, K. Genc, and M. Bond. Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 374--389. ACM, (2018)
M. Steindorfer, and J. Vinju. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, page 783--800. New York, NY, USA, ACM, (2015)
D. Costa, A. Andrzejak, J. Seboek, and D. Lo. Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, page 389--400. New York, NY, USA, ACM, (2017)
S. Ryu, and N. Ramsey. Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings, page 10--26. Springer, (2005)
S. Lauterburg, R. Karmani, D. Marinov, and G. Agha. Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering, page 363--364. New York, NY, USA, ACM, (2010)
S. Lauterburg, M. Dotta, D. Marinov, and G. Agha. 2009 IEEE/ACM International Conference on Automated Software Engineering, page 468--479. (November 2009)
B. Dufour, K. Driesen, L. Hendren, and C. Verbrugge. Proceedings of the 18th Annual ACM SIGPLAN Conference on Object-oriented Programing, Systems, Languages, and Applications, page 149--168. ACM, (2003)
P. Hofer, F. Hörschläger, and H. Mössenböck. Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, page 87--90. ACM, (2015)
Y. Hayduk, A. Sobe, and P. Felber. Distributed Applications and Interoperable Systems, volume 9038 of Lecture Notes in Computer Science, Springer, (2015)
B. Claudel, Q. Sabah, and J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, volume 9039 of Lecture Notes in Computer Science, Springer, (2015)
C. Häubl, C. Wimmer, and H. Mössenböck. Computer Languages, Systems & Structures, 39 (4):
123 - 141(2013)Special issue on the Programming Languages track at the 27th \ACM\ Symposium on Applied Computing.
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)
T. Würthinger, M. Van De Vanter, and D. Simon. Perspectives of Systems Informatics, volume 5947 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
G. Pothier, \. Tanter, and J. Piquer. Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, page 535--552. ACM, (2007)
A. Welc, S. Jagannathan, and A. Hosking. Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, page 439--453. ACM, (2005)
J. Zhao, R. Lublinerman, Z. Budimlić, S. Chaudhuri, and V. Sarkar. Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages &\#38; Applications, page 571--588. ACM, (2013)
C. Wimmer, S. Brunthaler, P. Larsen, and M. Franz. Proceedings of the 11th Annual International Conference on Aspect-oriented Software Development, page 203--214. New York, NY, USA, ACM, (2012)
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)
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)
M. Braux, and J. Noyé. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, page 2--11. ACM, (1999)
M. De Wael, S. Marr, and T. Van Cutsem. Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, page 39--50. (September 2014)(acceptance rate 39%).
X. Yang, S. Blackburn, D. Frampton, J. Sartor, and K. McKinley. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 307--324. ACM, (2011)
A. Shali, and W. Cook. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 375--390. ACM, (2011)
H. Masuhara, and A. Yonezawa. International Colloquium on Partial Evaluation and Program Transformation (PE Day'99), page 83--102. Waseda University, Tokyo, Japan, (November 1999)
M. Golm, and J. Kleinöder. Meta-Level Architectures and Reflection, volume 1616 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1999)
N. Beckman, D. Kim, and J. Aldrich. ECOOP 2011 – Object-Oriented Programming, volume 6813 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)
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)
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)
V. Kumar, D. Frampton, S. Blackburn, D. Grove, and O. Tardieu. Proceedings of the 2012 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications (OOPSLA 2012), Tucson, AZ, October 19-26, 2012, volume 47 of SIGPLAN Notices, page 297--314. ACM, (October 2012)
I. Ruiz, M. Nagappan, B. Adams, and A. Hassan. Proceedings of the 20th IEEE International Conference on Program Comprehension (ICPC), page 113--122. Passau, Germany, (June 2012)
T. Würthinger. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, page 41--42. New York, NY, USA, ACM, (2011)
Y. Zibin, A. Potanin, P. Li, M. Ali, and M. Ernst. Proceedings of the ACM international conference on Object oriented programming systems languages and applications, page 598--617. New York, NY, USA, ACM, (2010)
P. Welch, N. Brown, J. Moores, K. Chalmers, and B. Sputh. Communicating Process Architectures 2007CPA, volume 65 of Concurrent Systems Engineering Series, page 349--370. IOS Press, (2007)
C. Thalinger, and J. Rose. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, page 1--9. New York, NY, USA, ACM, (2010)
B. Demsky, and P. Lam. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, page 395--404. New York, NY, USA, ACM, (2010)
T. Cutsem, S. Mostinckx, and W. Meuter. Computer Languages, Systems & Structures, 35 (1):
80 - 98(2009)ESUG 2007 International Conference on Dynamic Languages (ESUG/ICDL 2007).
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)
M. Tikir, J. Hollingsworth, and G. Lueh. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, page 10--17. New York, NY, USA, ACM, (2002)
J. Auerbach, D. Bacon, P. Cheng, and R. Rabbah. OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications, page 89--108. New York, NY, USA, ACM, (2010)
M. Paleczny, C. Vick, and C. Click. JVM'01: Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium, page 1--1. Berkeley, CA, USA, USENIX Association, (2001)
F. Pizlo, L. Ziarek, and J. Vitek. JTRES '09: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, page 110--119. New York, NY, USA, ACM, (2009)
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)
H. Schippers, T. Van Cutsem, S. Marr, M. Haupt, and R. Hirschfeld. Proceedings of the Fourth Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS), page 4--9. ACM, (Jul 6, 2009)
R. Veldema, R. Hofman, R. Bhoedjang, C. Jacobs, and H. Bal. PPoPP '01: Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, page 83--92. New York, NY, USA, ACM, (2001)
R. Kaiabachev, and B. Richards. Proc. of Fifteenth IASTED International Conference on Parallel and Distributed Computing and Systems, page 648-653. Marina del Ray, CA, USA, (November 2003)
A. Georges, D. Buytaert, and L. Eeckhout. OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications, page 57--76. New York, NY, USA, ACM, (2007)
P. Bertels, and D. Stroobandt. International Conference on Complex, Intelligent and Software Intensive Systems, page 627-631. Los Alamitos, CA, USA, IEEE Computer Society, (2008)