• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Pointer Analysis for Multithreaded Programs (1999)

Cached

Download Links

  • [www.cs.cornell.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.csail.mit.edu]
  • [people.csail.mit.edu]
  • [people.csail.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.csail.mit.edu]
  • [cag.csail.mit.edu]
  • [people.csail.mit.edu]
  • [people.csail.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.lcs.mit.edu]
  • [www.cag.csail.mit.edu]
  • [cag.csail.mit.edu]
  • [people.csail.mit.edu]
  • [people.csail.mit.edu]
  • [www.cse.mrt.ac.lk]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Radu Rugina , Martin Rinard
Venue:ACM SIGPLAN 99
Citations:157 - 12 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Rugina99pointeranalysis,
    author = {Radu Rugina and Martin Rinard},
    title = {Pointer Analysis for Multithreaded Programs },
    year = {1999}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations to which that pointer may point. The algorithm correctly handles a full range of constructs in multithreaded programs, including recursive functions, function pointers, structures, arrays, nested structures and arrays, pointer arithmetic, casts between pointer variables of different types, heap and stack allocated memory, shared global variables, and thread-private global variables. We have implemented the algorithm in the SUIF compiler system and used the implementation to analyze a sizable set of multithreaded programs written in the Cilk multithreaded programming language. Our experimental results show that the analysis has good precision and converges quickly for our set of Cilk programs.

Keyphrases

multithreaded program    pointer analysis    recursive function    stack allocated memory    function pointer    conservative approximation    good precision    different type    memory location    thread-private global variable    sizable set    experimental result    program point    pointer variable    full range    suif compiler system    context-sensitive pointer analysis algorithm    programming language    nested structure    global variable    cilk program   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2016 The Pennsylvania State University