Checking and inferring local non-aliasing

Alex Aiken*, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

*この研究の対応する著者

研究成果: Conference article査読

13 被引用数 (Scopus)

抄録

In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope. Among other applications, programming with these constructs helps program analysis tools locally recover strong updates, which can improve the tracking of state in flow-sensitive analyses. In this paper we continue the study of restrict and introduce the construct confine. We present a type and effect system for checking the correctness of these annotations, and we develop efficient constraint-based algorithms implementing these type checking systems. To make it easier to use restrict and confine in practice, we show how to automatically infer such annotations without programmer assistance. In experiments on locking in 589 Linux device drivers, confine inference can automatically recover strong updates to eliminate 95% of the type errors resulting from weak updates.

本文言語English
ページ(範囲)129-140
ページ数12
ジャーナルACM SIGPLAN Notices
38
5
DOI
出版ステータスPublished - 2003 5
外部発表はい
イベントProceedings of the ACM Sigplan 2003 Conference on Programming Language Design and Implementation - San Diego, CA, United States
継続期間: 2003 6 92003 6 11

ASJC Scopus subject areas

  • ソフトウェア
  • コンピュータ グラフィックスおよびコンピュータ支援設計

フィンガープリント

「Checking and inferring local non-aliasing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル