Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection

Transactions on Architecture and Code Optimization - United States
doi 10.1145/2835179
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Extended Sequential Reasoning for Data-Race-Free Programs

2011English

Identifying Ad-Hoc Synchronization for Enhanced Race Detection

2010English

Lightweight Data Race Detection for Production Runs

2017English

Improving the Accuracy of Data Race Detection

ACM SIGPLAN Notices
1991English

Lightweight Static Analysis for Data Race Detection in Operating System Kernels

Proceedings of the Institute for System Programming of RAS
2015English

Subutai: Distributed Synchronization Primitives in NoC Interfaces for Legacy Parallel-Applications

2018English

Synchronization and Recovery in an Embedded Database System for Read-Only Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Coexistence of Synchronization and Anti-Synchronization for Chaotic Systems via Feedback Control

2011English

Race Directed Scheduling of Concurrent Programs

ACM SIGPLAN Notices
Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy