登入選單
返回Google圖書搜尋
出版Department of Computer Science, University of Illinois at Urbana-Champaign, 1996
URLhttp://books.google.com.hk/books?id=ddPI84bKoqcC&hl=&source=gbs_api
註釋Abstract: "High level programming language features have long been seen as improving programmer efficiency at some cost in program efficiency. When features such as object-orientation and fine-grained concurrency, which greatly simplify expression of complex programs, are used parsimoniously, their effectiveness is mitigated. It is my thesis that these features can be implemented efficiently through interprocedural analysis and transformation. By specializing their implementation to the contexts in which they are used, the program's efficiency is not adversely affected by the flexibility of the language. The specific contributions herein are: 1) an adaptive flow analysis for pracical precise analysis of object-oriented programs, 2) a cloning algorithm for building specialized versions of general abstractions, 3) a set of optimizations for removing object-oriented and fine-grained concurrency overhead, and 4) a hybrid sequential-parallel execution model which adapts to the availability of data. The effectiveness of this framework has been empirically validated on standard benchmarks. It is publicly available as part of the Illinois Concert system (http://www-csag.cs.uiuc.edu)."