Efficient Polymorphic Calls

The answer is simple. Both software and hardware have changed considerably in recent years, to the point where many assumptions underlying the original work in this field are no longer true.

Author: Karel Driesen

Publisher: Springer Science & Business Media

ISBN: 9781461516811

Category: Computers

Page: 216

View: 439

Download →

The implementation of object-oriented languages has been an active topic of research since the 1960s when the first Simula compiler was written. The topic received renewed interest in the early 1980s with the growing popularity of object-oriented programming languages such as c++ and Smalltalk, and got another boost with the advent of Java. Polymorphic calls are at the heart of object-oriented languages, and even the first implementation of Simula-67 contained their classic implementation via virtual function tables. In fact, virtual function tables predate even Simula-for example, Ivan Sutherland's Sketchpad drawing editor employed very similar structures in 1960. Similarly, during the 1970s and 1980s the implementers of Smalltalk systems spent considerable efforts on implementing polymorphic calls for this dynamically typed language where virtual function tables could not be used. Given this long history of research into the implementation of polymorphic calls, and the relatively mature standing it achieved over time, why, one might ask, should there be a new book in this field? The answer is simple. Both software and hardware have changed considerably in recent years, to the point where many assumptions underlying the original work in this field are no longer true. In particular, virtual function tables are no longer sufficient to implement polymorphic calls even for statically typed languages; for example, Java's interface calls cannot be implemented this way. Furthermore, today's processors are deeply pipelined and can execute instructions out-of order, making it difficult to predict the execution time of even simple code sequences.
Posted in:

Reliable Software Technology Ada Europe 2005

Software and Hardware Techniques for Efficient Polymorphic Calls. University of California, Santa Barbara (PhD Dissertation), TRCS99-24, June 1999. 6. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification (2nd ...

Author: Tullio Vardanega

Publisher: Springer Science & Business Media

ISBN: 9783540262862

Category: Business & Economics

Page: 271

View: 480

Download →

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.
Posted in:

Advanced Debugging Methods

Karel Driesen, Software and Hardware Techniques for Efficient Polymorphic Calls, http://www.cs.ucsb.edu/oocsb/papers/TRCS99-24.html, http://www.cs. McGill.CA/~karel/, Ph.D. Thesis, University of California, Santa Barbara ...

Author: Raimondas Lencevicius

Publisher: Springer Science & Business Media

ISBN: 9781441987747

Category: Computers

Page: 183

View: 460

Download →

Object relationships in modern software systems are becoming increasingly numerous and complex, and program errors due to violations of object relationships are difficult to detect. Programmers need new tools that allow them to explore objects in a large system more efficiently and to detect broken object relationships instantaneously. Such tools incorporate approaches used in such areas as data visualization, pattern matching and extraction, database querying, active databases, and rule-based programming. The query-based debugging approach developed by the author of this book is another powerful yet efficient tool to be added to the developer's tool chest. Advanced Debugging Methods presents practice and tools for debugging computer programs. This book proposes new powerful approaches that simplify the daunting task of debugging complex software systems. Although debugging has been addressed in numerous research papers, many of its methods have yet to be explored in a book-length format. This book helps to fill this gap by presenting an overview of existing debugging tools with motivating examples and case studies, as well as presenting new, state-of-the-art debugging methods. Advanced Debugging Methods will be of use to software developers looking for tools to be applied in cutting edge practice; system architects looking at the relationship between software design and debugging; tools and programming language researchers looking for new ideas in run-time tool implementation as well as detailed descriptions of advanced implementations; and university professors and graduate students who will use this book as supplementary reading for graduate courses in programming tools, language implementation, and advanced object-oriented systems. Advanced Debugging Methods is also a handy reference of currently existing debugging methodologies as well as a springboard for cutting-edge research to simplify the difficult task of debugging and to facilitate the development of more robust software systems.
Posted in:

Euro Par 99 Parallel Processing

Software and Hardware Techniques for Efficient Polymorphic Calls. PhD dissertation, University of California, Santa Barbara (in preparation). [EM98] A.N.Eden and T.Mudge. The YAGS Branch Prediction Scheme.

Author: Patrick Amestoy

Publisher: Springer Science & Business Media

ISBN: 9783540664437

Category: Computers

Page: 1503

View: 885

Download →

Euro-Parisaninternationalconferencededicatedtothepromotionandadvan- ment of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms and applications for p- allel computing. The objective of Euro-Par is to provide a forum within which to promote the development of parallel computing both as an industrial te- nique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. This is particularly important at a time when parallel computing is undergoing strong and sustained development and experiencing real industrial take-up. The main audience for and participants in Euro-Parareseenasresearchersinacademicdepartments,governmentlabora- ries and industrial organisations. Euro-Par’s objective is to become the primary choice of such professionals for the presentation of new results in their specic areas. Euro-Par is also interested in applications which demonstrate the e - tiveness of the main Euro-Par themes. There is now a permanent Web site for the series http://brahms. fmi. uni-passau. de/cl/europar where the history of the conference is described. Euro-Par is now sponsored by the Association of Computer Machinery and the International Federation of Information Processing. Euro-Par’99 The format of Euro-Par’99follows that of the past four conferences and consists of a number of topics eachindividually monitored by a committee of four. There were originally 23 topics for this year’s conference. The call for papers attracted 343 submissions of which 188 were accepted. Of the papers accepted, 4 were judged as distinguished, 111 as regular and 73 as short papers.
Posted in:

ECOOP 91 European Conference on Object Oriented Programming

Inline Caches Even with a lookup cache , sending a message still takes considerably longer than calling a simple procedure ... Handling Polymorphic Sends Inline caches are effective only if the receiver type ( and thus the call target ) ...

Author: European Conference on Object Oriented Programming

Publisher: Springer Science & Business Media

ISBN: 3540542620

Category: Computers

Page: 396

View: 729

Download →

Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP '91 include papers discussing language design, specification, databases, concurrency, types, and software development.
Posted in:

Dissertation Abstracts International

However , our active learning techniques can efficiently detect the desired 1--0 . confidence regions . ... A new AQM method called Adaptive Virtual Queue Random Early Detection ( AVQRED ) is proposed to solve this pro em .

Author:

Publisher:

ISBN: STANFORD:36105133522057

Category: Dissertations, Academic

Page:

View: 615

Download →

Posted in:

Energy Efficient Computing Electronics

Although the signature-based approach is effective, a malware developer can create polymorphic or metamorphic ... It is difficult to fetch all system calls corresponding to a source code due to the low code coverage in dynamic analysis.

Author: Santosh K. Kurinec

Publisher: CRC Press

ISBN: 9781351779869

Category: Computers

Page: 452

View: 728

Download →

In our abundant computing infrastructure, performance improvements across most all application spaces are now severely limited by the energy dissipation involved in processing, storing, and moving data. The exponential increase in the volume of data to be handled by our computational infrastructure is driven in large part by unstructured data from countless sources. This book explores revolutionary device concepts, associated circuits, and architectures that will greatly extend the practical engineering limits of energy-efficient computation from device to circuit to system level. With chapters written by international experts in their corresponding field, the text investigates new approaches to lower energy requirements in computing. Features • Has a comprehensive coverage of various technologies • Written by international experts in their corresponding field • Covers revolutionary concepts at the device, circuit, and system levels
Posted in:

ECOOP 2001 Object Oriented Programming

... polymorphism in a manner that makes a reasonable trade-off between expressiveness and efficiency. The basic idea of CPA is to partition the calling context of a method based on the types of the actual arguments passed to the method.

Author: Jorgen Lindskov Knudsen

Publisher: Springer

ISBN: 9783540453376

Category: Computers

Page: 434

View: 661

Download →

This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
Posted in:

Mathematical Software ICMS 2014

Internally, the matrix is accessed through a template class called boundarymatrix with the following interface: ... the templated version for efficiency reasons: in a polymorphic implementation, every call to a matrix operation requires ...

Author: Hoon Hong

Publisher: Springer

ISBN: 9783662441992

Category: Computers

Page: 735

View: 705

Download →

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.
Posted in: