Paper Info
Title
Dataflow analysis for datarace-free programs
Abstract
Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly.Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.
Year
DOI
Venue
2011
10.1007/978-3-642-19718-5_11
ESOP
Keywords
Field
DocType
dataflow analysis,shared-memory concurrent programming language,concurrent program,sequential consistency,sc semantics,effect programmer,dataflow information,datarace-free program,certain criterion,sequential program,drf program,concurrency,shared memory,memory model
Synchronization,Programming language,Sequential consistency,Concurrency,Computer science,Parallel computing,Thread (computing),Dataflow,Concurrent computing,Semantics,Scalability
Conference
Volume
ISSN
Citations 
6602
0302-9743
5
PageRank 
References 
Authors
0.47
14
3
Name
Order
Citations
PageRank
Arnab De1271.93
Deepak D'souza223917.90
Rupesh Nasre334121.02