Skip to content

Instantly share code, notes, and snippets.

@lukeg101
Created October 8, 2024 09:34
Show Gist options
  • Save lukeg101/2bbf82cec2d7d4b2344b11e3173eae64 to your computer and use it in GitHub Desktop.
Save lukeg101/2bbf82cec2d7d4b2344b11e3173eae64 to your computer and use it in GitHub Desktop.
oopsla24cite.bib
@article{10.1145/3689727,
author = {Geeson, Luke and Brotherston, James and Dijkstra, Wilco and Donaldson, Alastair F. and Smith, Lee and Sorensen, Tyler and Wickerson, John},
title = {Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations},
year = {2024},
issue_date = {October 2024},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {8},
number = {OOPSLA2},
url = {https://doi.org/10.1145/3689727},
doi = {10.1145/3689727},
abstract = {The correctness of complex software depends on the correctness of both the source code and the compilers that generate corresponding binary code. Compilers must do more than preserve the semantics of a single source file: they must ensure that generated binaries can be composed with other binaries to form a final executable. The compatibility of composition is ensured using an Application Binary Interface (ABI), which specifies details of calling conventions, exception handling, and so on. Unfortunately, there are no official ABIs for concurrent programs, so different atomics mappings, although correct in isolation, may induce bugs when composed. Indeed, today, mixing binaries generated by different compilers can lead to an erroneous resulting binary. We present mix testing: a new technique designed to find compiler bugs when the instructions of a C/C++ test are separately compiled for multiple compatible architectures and then mixed together. We define a class of compiler bugs, coined mixing bugs, that arise when parts of a program are compiled separately using different mappings from C/C++ atomic operations to assembly sequences. To demonstrate the generality of mix testing, we have designed and implemented a tool, atomic-mixer, which we have used: (a) to reproduce one existing non-mixing bug that state-of-the-art concurrency testing tools are limited to being able to find (showing that atomic-mixer at least meets the capabilities of these tools), and (b) to find four previously-unknown mixing bugs in LLVM and GCC, and one prospective mixing bug in mappings proposed for the Java Virtual Machine. Lastly, we have worked with engineers at Arm to specify, for the first time, an atomics ABI for Armv8, and have used atomic-mixer to validate the LLVM and GCC compilers against it.},
journal = {Proc. ACM Program. Lang.},
month = oct,
articleno = {287},
numpages = {26},
keywords = {Compiler Testing, Concurrency, Interoperability} }
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment