Hardware Support and Code Generation for Dynamic Range Checking in C

スポンサーリンク

概要

• 論文の詳細を見る

• Runtime checking in general and runtime array subscript checking in particular is consideral to be very costly in terms of execution speed. We will show that runtime checking and optimal execution are not necessarily exclusive. We present a novel memory protection scheme called BL-addressing which allows range checking to be done in parallel with the memory access, reducing or removing overhead caused by range checking. We describe the implementation of the BL-addressing in a C compiler. At the same time we suggest that a small change in the ANSI C language definition is necessary to successfully implement array subscript checking.

• 一般社団法人情報処理学会の論文
• 1993-03-31

著者

• Spee Paul

  Unix System Laboratories

• Goto Eiichi

  Faculty of Science, University of Kanagawa

• Goto Eiichi

  Faculty Of Science University Of Kanagawa

関連論文

• Hardware Support and Code Generation for Dynamic Range Checking in C
• Hardware Support and Code Generation for Dynamic Range Checking in C
• Hardware Support and Code Generation for Dynamic Range Checking in C

スポンサーリンク