Abstract
The correct compilation of atomic-action concurrency is vital now that multicore processors are ubiquitous. Despite much recent work on automated compiler testing, little existing tooling can test how real-world compilers handle compilation of atomic-action code. We demonstrate C4, a tool for exploring the concurrency behaviour of real-world C compilers such as GCC and LLVM. C4 automates a workflow based on generating, fuzzing, and executing litmus tests. So far, C4 has found two new control-flow bugs in GCC and IBM XL, and reproduced two historic concurrency bugs in GCC 4.
Author supplied keywords
Cite
CITATION STYLE
Windsor, M., Donaldson, A. F., & Wickerson, J. (2021). C4: The C compiler concurrency checker. In ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 670–673). Association for Computing Machinery, Inc. https://doi.org/10.1145/3460319.3469079
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
