%0 Conference Paper %1 Daloze:2015:GLS %A Daloze, Benoit %A Seaton, Chris %A Bonetta, Daniele %A Mössenböck, Hanspeter %B Proceedings of the 10th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems %D 2015 %K Concurrency JVM Safepoints Truffle %T Techniques and Applications for Guest-Language Safepoints %X Safepoints are a virtual machine mechanism that allows one thread to suspend other threads in a known state so that runtime actions can be performed without interruption and with data structures in a consistent state. Many virtual machines use safepoints as a mechanism to provide services such as stop-the-world garbage collection, debugging, and modification to running code such as installing or replacing classes. Languages implemented on these virtual machines may have access to these services, but not directly to the safepoint mechanism itself. We show that safepoints have many useful applications for the implementation of guest languages running on a virtual machine. We describe an API for using safepoints in languages that were implemented under the Truffle language implementation framework on the Java Virtual Machine and show several applications of the API to implement useful guest-language functionality. We present an efficient implementation of this API, when running in combination with the Graal dynamic compiler. We also demonstrate that our safepoints cause zero overhead with respect to peak performance and statistically insignificant overhead with respect to compilation time. We compare this to other techniques that could be used to implement the same functionality and demonstrate the large overhead that they incur.

@inproceedings{Daloze:2015:GLS, abstract = {Safepoints are a virtual machine mechanism that allows one thread to suspend other threads in a known state so that runtime actions can be performed without interruption and with data structures in a consistent state. Many virtual machines use safepoints as a mechanism to provide services such as stop-the-world garbage collection, debugging, and modification to running code such as installing or replacing classes. Languages implemented on these virtual machines may have access to these services, but not directly to the safepoint mechanism itself. We show that safepoints have many useful applications for the implementation of guest languages running on a virtual machine. We describe an API for using safepoints in languages that were implemented under the Truffle language implementation framework on the Java Virtual Machine and show several applications of the API to implement useful guest-language functionality. We present an efficient implementation of this API, when running in combination with the Graal dynamic compiler. We also demonstrate that our safepoints cause zero overhead with respect to peak performance and statistically insignificant overhead with respect to compilation time. We compare this to other techniques that could be used to implement the same functionality and demonstrate the large overhead that they incur.}, added-at = {2016-03-21T12:08:59.000+0100}, author = {Daloze, Benoit and Seaton, Chris and Bonetta, Daniele and Mössenböck, Hanspeter}, biburl = {https://www.bibsonomy.org/bibtex/22c2f00f786ca71f479707adc7a91387e/gron}, booktitle = {Proceedings of the 10th International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems}, interhash = {3fee006434cfddb3ba67784499e5bea8}, intrahash = {2c2f00f786ca71f479707adc7a91387e}, keywords = {Concurrency JVM Safepoints Truffle}, location = {Prague, Czech Republic}, numpages = {10}, series = {ICOOOLPS '15}, timestamp = {2016-03-21T12:08:59.000+0100}, title = {Techniques and Applications for Guest-Language Safepoints}, year = 2015 }