Sparse flow-sensitive pointer analysis for multithreaded programs

ASSOC COMPUTING MACHINERY 2016-02-29

© 2016 ACM.For C programs, flow-sensitivity is important to enable pointer analysis to achieve highly usable precision. Despite significant recent advances in scaling flow-sensitive pointer analysis sparsely for sequential C programs, relatively little progress has been made for multithreaded C programs. In this paper, we present FSAM, a new Flow-Sensitive pointer Analysis that achieves its scalability for large Multithreaded C programs by performing sparse analysis on top of a series of thread interference analysis phases. We evaluate FSAM with 10 multithreaded C programs (with more than 100K lines of code for the largest) from Phoenix-2.0, Parsec-3.0 and open-source applications. For two programs, raytrace and x264, the traditional data-flow-based flow-sensitive pointer analysis is unscalable (under two hours) but our analysis spends just under 5 minutes on raytrace and 9 minutes on x264. For the rest, our analysis is 12x faster and uses 28x less memory.

46 Information and Computing Sciences; 40 Engineering; 4009 Electronics, Sensors and Digital Hardware; anzsrc-for: 46 Information and Computing Sciences; anzsrc-for: 40 Engineering; anzsrc-for: 4009 Electronics, Sensors and Digital Hardware; conference paper; http://purl.org/coar/resource_type/c_5794

Open access content. Open access content
metadata only access
http://purl.org/coar/access_right/c_14cb
CC-BY-NC-ND
https://creativecommons.org/licenses/by-nc-nd/4.0

LJ1 oai:unsworks.library.unsw.edu.au:1959.4/unsworks_42003
1031072521

UNIV OF NEW S WALES
From OAIster®, provided by the OCLC Cooperative.

edsoai.on1031072521