- 著者
- Susumu Yamazaki Takayuki Kando Michihiro Matsumoto Tsuneo Nakanishi Teruaki Kitasuka Akira Fukuda
- 出版者
- Information Processing Society of Japan
- 雑誌
- IPSJ Digital Courier (ISSN:13497456)
- 巻号頁・発行日
- vol.1, pp.128-140, 2005 (Released:2005-01-26)
- 参考文献数
- 17
- 被引用文献数
- 1
A recent trend in program development is the employment of generic software components such as libraries and frameworks. Typically, however, it is difficult to achieve both genericity and runtime execution efficiency simultaneously. Therefore, many researchers have studied program specialization, which is one technique to translate a generic program automatically into an efficient program specialized for a specific runtime environment. However, it is very difficult to implement a system that can specialize practical applications. Although some possible reasons exist for the problem, this paper focuses on the problems of instruction-dependent processes. Each necessary analysis for existing program specializer systems must include instruction-dependent processes. Therefore, not only does the code size of the specializer get larger, but maintainability and reliability are also degraded. Then, we propose a new algorithm of logic-based binding time analysis using reaching definitions analysis, which is widely used among many other analyses. We also evaluate how this technique improves the implementation simplicity of binding time analyzer: the code size is reduced by about 10%. Especially, instruction-dependent processes are almost entirely eliminated.
- 著者
- Tsuneo Nakanishi Akira Fukuda
- 雑誌
- 情報処理学会論文誌 (ISSN:18827764)
- 巻号頁・発行日
- vol.42, no.4, pp.829-837, 2001-04-15
Interval arithmetic an arithmetic system on intervals of real numbers is useful for program analysis which deals with range information of variables or expressions such as array reference analysis data dependence analysis and value range analysis.However since loop indices or array subscripts often take contiguous integers with a stride the interval representing densely contiguous real numbers is not accurate representation for program analysis and degrades opportunity of parallelization or code optimization.In this paper {it modulo interval arithmetic/} an arithmetic system on sets of contiguous integers with strides included in real intervals is presented.Modulo interval arithmetic has both arithmetic operations and set operations which are useful for various program analysis.Moreover this paper discusses application of modulo interval arithmetic to program analysis for parallelizing compilers.