检索结果-内蒙古大学图书馆

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 77-90页

作者： Rugina, Radu Rinard, Martin Massachusetts Inst of Technology Cambridge MA United States

This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multi-threaded 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 multi-threaded 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 multi-threaded programming language. Our experimental results show that the analysis has good precision and converges quickly for our set of Cilk programs.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

design of a class mechanism for MOBY

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 37-49页

作者： Fisher, Kathleen Reppy, John AT&T Lab United States

Typical class-based languages, such as C++ and JAVA, provide complex class mechanisms but only weak module systems. In fact, classes in these languages incorporate many of the features found in richer module mechanisms. In this paper, we describe an alternative approach to designing a language that has both classes and modules. In our design, we rely on a rich ML-style module system to provide features such as visibility control and parameterization, while providing a minimal class mechanism that includes only those features needed to support inheritance. Programmers can then use the combination of modules and classes to implement the full range of class-based features and idioms. Our approach has the advantage that it provides a full-featured module system (useful in its own right), while keeping the class mechanism quite simple. We have incorporated this design in MOBY, which is an ML-style language that supports class-based object-oriented programming. In this paper, we describe our design via a series of simple examples, show how various class-based features and idioms are realized in MOBY, compare our design with others, and sketch its formal semantics.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

What is a recursive module?

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 50-63页

作者： Crary, Karl Harper, Robert Puri, Sidd Carnegie Mellon Univ Pittsburgh PA United States

A hierarchical module system is an effective tool for structuring large programs. Strictly hierarchical module systems impose an acyclic ordering on import dependencies among program units. This can impede modular programming by forcing mutually-dependent components to be consolidated into a single module. Recently there have been several proposals for module systems that admit cyclic dependencies, but it is not clear how these proposals relate to one another, nor how one might integrate them into an expressive module system such as that of ML. To address this question we provide a type-theoretic analysis of the notion of a recursive module in the context of a `phase-distinction' formalism for higher-order module systems. We extend this calculus with a recursive module mechanism and a new form of signature, called a recursively dependent signature, to support the definition of recursive modules. These extensions are justified by an interpretation in terms of more primitive language constructs. This interpretation may also serve as a guide for implementation.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Control CPR: A branch height reduction optimization for EPIC architectures

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 155-168页

作者： Schlansker, Michael Mahlke, Scott Johnson, Richard Hewlett-Packard Lab Palo Alto United States

The challenge of exploiting high degrees of instruction-level parallelism is often hampered by frequent branching. Both exposed branch latency and low branch throughput can restrict parallelism. Control critical path reduction (control CPR) is a compilation technique to address these problems. Control CPR can reduce the dependence height of critical paths through branch operations as well as decrease the number of executed branches. In this paper, we present an approach to control CPR that recognizes sequences of branches using profiling statistics. The control CPR transformation is applied to the predominant path through this sequence. Our approach, its implementation, and experimental results are presented. This work demonstrates that control CPR enhances instruction-level parallelism for a variety of application programs and improves their performance across a range of processors.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Static single assignment form for machine code

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 204-214页

作者： Leung, Allen George, Lal New York Univ New York NY United States

Static Single Assignment (SSA) is an effective intermediate representation in optimizing compilers. However, traditional SSA form and optimizations are not applicable to programs represented as native machine instructions because the use of dedicated registers imposed by calling conventions, the runtime system, and target architecture must be made explicit. We present a simple scheme for converting between programs in machine code and in SSA, such that references to dedicated physical registers in machine code are preserved. Our scheme ignores all output- and anti-dependences imposed by physical registers while a program is in SSA form, but inserts compensation code during machine code reconstruction if any naming requirements have been violated. By resolving all mismatches between the two representations in separate phases, we are able to utilize existing SSA algorithms unaltered to perform machine code optimizations.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Pointer analysis for programs with structures and casting

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 91-103页

作者： Yong, Suan Hsi Horwitz, Susan Reps, Thomas Univ of Wisconsin-Madison Madison WI United States

Type casting allows a program to access an object as if it had a type different from its declared type. This complicates the design of a pointer-analysis algorithm that treats structure fields as separate objects;therefore, some previous pointer-analysis algorithms `collapse' a structure into a single variable. The disadvantage of this approach is that it can lead to very imprecise points-to information. Other algorithms treat each field as a separate object based on its offset and size. While this approach leads to more precise results, the results are not portable because the memory layout of structures is implementation dependent. This paper first describes the complications introduced by type casting, then presents a tunable pointer-analysis framework for handling structures in the presence of casting. Different instances of this framework produce algorithms with different levels of precision, portability, and efficiency. Experimental results from running our implementations of four instances of this framework show that (i) it is important to distinguish fields of structures in pointer analysis, but (ii) making conservative approximations when casting is involved usually does not cost much in terms of time, space, or the precision of the results.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Support for garbage collection at every instruction in a JavaTM compiler

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 118-127页

作者： Stichnoth, James M. Lueh, Guei-Yuan Cierniak, Michal Intel Corp Santa Clara United States

A high-performance implementation of a Java Virtual Machine requires a compiler to translate Java bytecodes into native instructions, as well as an advanced garbage collector (e.g., copying or generational). When the Java heap is exhausted and the garbage collector executes, the compiler must report to the garbage collector all live object references contained in physical registers and stack locations. Typical compilers only allow certain instructions (e.g., call instructions and backward branches) to be GC-safe;if GC happens at some other instruction, the compiler may need to advance execution to the next GC-safe point. Until now, no one has ever attempted to make every compiler-generated instruction GC-safe, due to the perception that recording this information would require too much space. This kind of support could improve the GC performance in multithreaded applications. We show how to use simple compression techniques to reduce the size of the GC map to about 20% of the generated code size, a result that is competitive with the best previously published results. In addition, we extend the work of Agesen, Detlefs, and Moss, regarding the so-called `JSR Problem' (the single exception to Java's type safety property), in a way that eliminates the need for extra runtime overhead in the generated code.

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Round-Trip Engineering with design Patterns, UML, Java and C++ 99

Round-Trip Engineering with Design Patterns, UML, Java and C...

引用

proceedings of the 1999 International conference on Software Engineering

作者： Schäfer, Wilhelm Zündorf, Albert Dep. of CS University of Paderborn Warburger Str. 100 Paderborn33098 Germany

ISBN: (纸本)9781581130744

The tutorial presents the state-of-the-art in methodologies and tools for round-trip-engineering of object-oriented software systems. This covers not only (UML) class diagrams but also behavior diagrams like message sequence charts, collaboration diagrams, state charts, and activity diagrams. In addition, round-trip engineering with standard design patterns is addressed. This covers design by combining design patterns, implementation of design patterns, including code generation, and the recognition of standard design patterns in code fragments. Copyright © acm 1999.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Load-reuse analysis: design and evaluation

Proceedings of the ACM SIGPLAN Conference on Programming Lan...

引用

proceedings of the acm sigplan conference on programming language design and implementation (PLDI) 1999年 64-76页

作者： Bodik, Rastislav Gupta, Rajiv Soffa, Mary Lou Univ of Pittsburgh Pittsburgh United States

Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the results of prior memory accesses. This paper develops a load-reuse analysis and designs a method for evaluating its precision. In designing the analysis, we aspire for completeness - the goal of exposing all reuse that can be harvested by a subsequent program transformation. For register promotion, a suitable transformation is partial redundancy elimination (PRE). To approach the ideal goal of PRE-completeness, the load-reuse analysis is phrased as a data-flow problem on a program representation that is path-sensitive, as it detects reuse even when it originates in a different instruction along each control flow path. Furthermore, the analysis is comprehensive, as it treats scalar, array and pointer-based loads uniformly. In evaluating the analysis, we compare it with an ideal analysis. By observing the run-time stream of memory references, we collect all PRE-exploitable reuse and treat it as the ideal analysis performance. To compare the (static) load-reuse analysis with the (dynamic) ideal reuse, we use an estimator algorithm that computes, given a data-flow solution and a program profile, the dynamic amount of reuse detected by the analysis. We developed a family of estimators that differ in how well they bound the profiling error inherent in the edge profile. By bounding the error, the estimators offer a precise and practical method for determining the run-time optimization benefit. Our experiments show that about 55% of loads executed in Spec95 exhibit reuse. Of those, our analysis exposes about 80%.

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Formal system design based on the synchrony hypothesis, functional models, and skeletons

Formal system design based on the synchrony hypothesis, func...

引用

12th International conference on VLSI design

作者： Sander, I Jantsch, A Royal Inst Technol Dept Elect S-10044 Stockholm Sweden

ISBN: (纸本)0769500137

Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems. Moreover;they are frequently on a too high abstraction level to allow for efficient synthesis with today's techniques. We address this problem with a modelling method, which is strictly formal and based on formal semantics, a pure functional language, and the synchrony hypothesis. But the use of skeletons in conjunction with a proper computational model allows to associate a direct hardware interpretation. In particular we use (1) the synchrony hypothesis and a timed signal model to provide a high abstraction for communication at the system level. This facilitates efficient modelling and design space exploration at the functional level, because the designer is Hot concerned with complex communication mechanisms, mid functionality can easily be moved front one block to another: To bridge the gap bent een an elegant and abstract functional model and the details of an implementation we use (2) skeletons to encapsulate primitive structures, such as FSMs, buffers, computation units, etc, irt a purely functional way.

关键词： Computer systems programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：