ArcherGear
| Autor: | Samuel Thayer, Ignacio Laguna, Michael Bentley, Gregory L. Lee, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
020203 distributed computing
POSIX Threads Computer science Programming language Concurrency media_common.quotation_subject 020207 software engineering 02 engineering and technology Thread (computing) Software_PROGRAMMINGTECHNIQUES Cilk computer.software_genre Supercomputer Debugging Shared memory TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS 0202 electrical engineering electronic engineering information engineering Parallelism (grammar) computer computer.programming_language media_common |
| Zdroj: | PPoPP |
| DOI: | 10.1145/3332466.3374504 |
| Popis: | There is growing uptake of shared memory parallelism in high performance computing, and this has increased the need for data race checking during the creation of new parallel codes or parallelizing existing sequential codes. While race checking concepts and implementations have been around for many concurrency models, including tasking models such as Cilk and PThreads (e.g., the Thread Sanitizer tool), practically usable race checkers for other APIs such as OpenMP have been lagging. For example, the OpenMP parallelization of an important library (namely Hypre) was initially unsuccessful due to inexplicable nondeterminism introduced when the code was optimized, and later root-caused to a race by the then recently developed OpenMP race checker Archer [2]. The open-source Archer now enjoys significant traction within several organizations. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|