AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM-Reference-Cited by-同舟云学术

AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM

Published:2023-01-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
language:
Short-container-title:

Author:

Beck Martin¹,Bhat Koustubha¹,Stričević Lazar¹,Chen Geng²,Behrens Diogo¹,Fu Ming¹,Vafeiadis Viktor³,Chen Haibo⁴,Härtig Hermann⁵

Affiliation:

1. Huawei Dresden Research Center, Dresden, Germany

2. Huawei Fundamental Software Innovation Lab, Shenzhen, China

3. MPI-SWS, Kaiserslautern, Germany

4. Huawei Central Software Institute, Shenzhen, China / Shanghai Jiao Tong University, Shanghai, China

5. TU Dresden, Dresden, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3575693.3579849

Reference72 articles.

1. 1999. spin_unlock optimization(i386). https://marc.info/?l=linux-kernel&m=94318921016232&w=2. Accessed: 2022-07-06. 1999. spin_unlock optimization(i386). https://marc.info/?l=linux-kernel&m=94318921016232&w=2. Accessed: 2022-07-06.

2. 2013. Throughput Benchmarking Tool for Redis & Memcached. https://redis.com/blog/memtier_benchmark-a-high-throughput-benchmarking-tool-for-redis-memcached/. Accessed: 2022-07-06. 2013. Throughput Benchmarking Tool for Redis & Memcached. https://redis.com/blog/memtier_benchmark-a-high-throughput-benchmarking-tool-for-redis-memcached/. Accessed: 2022-07-06.

3. 2020. openEuler. https://openeuler.org. Accessed: 2022-07-06. 2020. openEuler. https://openeuler.org. Accessed: 2022-07-06.

4. 2021. Lock-free hash table bug fix in MariaDB. https://jira.mariadb.org/browse/MDEV-27088. Accessed: 2022-07-06. 2021. Lock-free hash table bug fix in MariaDB. https://jira.mariadb.org/browse/MDEV-27088. Accessed: 2022-07-06.

5. 2021. MariadB. https://mariadb.com. Accessed: 2022-07-06. 2021. MariadB. https://mariadb.com. Accessed: 2022-07-06.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Polynima: Practical Hybrid Recompilation for Multithreaded Binaries;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22

2. Compiler Testing with Relaxed Memory Models;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02

3. Static Analysis of Memory Models for SMT Encodings;Proceedings of the ACM on Programming Languages;2023-10-16