Weak Memory Demands Model-based Compiler Testing
Spremljeno u:
| Izdano u: | arXiv.org (Jan 12, 2024), p. n/a |
|---|---|
| Glavni autor: | |
| Izdano: |
Cornell University Library, arXiv.org
|
| Teme: | |
| Online pristup: | Citation/Abstract Full text outside of ProQuest |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2916502436 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 2916502436 | ||
| 045 | 0 | |b d20240112 | |
| 100 | 1 | |a Geeson, Luke | |
| 245 | 1 | |a Weak Memory Demands Model-based Compiler Testing | |
| 260 | |b Cornell University Library, arXiv.org |c Jan 12, 2024 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a A compiler bug arises if the behaviour of a compiled concurrent program, as allowed by its architecture memory model, is not a behaviour permitted by the source program under its source model. One might reasonably think that most compiler bugs have been found in the decade since the introduction of the C/C++ memory model. We observe that processor implementations are increasingly exploiting the behaviour of relaxed architecture models. As such, compiled programs may exhibit bugs not seen on older hardware. To account for this we require model-based compiler testing. While this observation is not surprising, its implications are broad. Compilers and their testing tools will need to be updated to follow hardware relaxations, concurrent test generators will need to be improved, and assumptions of prior work will need revisiting. We explore these ideas using a compiler toolchain bug we reported in LLVM. | |
| 653 | |a Source programs | ||
| 653 | |a Compilers | ||
| 653 | |a Computer architecture | ||
| 653 | |a Model testing | ||
| 653 | |a Hardware | ||
| 653 | |a Microprocessors | ||
| 773 | 0 | |t arXiv.org |g (Jan 12, 2024), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2916502436/abstract/embedded/6A8EOT78XXH2IG52?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/2401.09474 |