NDLI: Sealed calls in Java packages

Please wait, while we are loading the content...

Improving the Java memory model using CRF

Exclusion for composite objects

Object-oriented real-time concurrency

Adaptive optimization in the Jalapeño JVM

Quicksilver: a quasi-static compiler for Java

Sealed calls in Java packages

A real world object modeling method for creating simulation environment of real-time systems

Formal specification of CORBA services: experience and lessons learned

Middleware object query processing with deferred updates and autonomous sources

MultiJava: modular open classes and symmetric multiple dispatch for Java

Parametric polymorphism in Java: an approach to translation based on reflective features

Finding refactorings via change metrics

Mapping UML designs to Java

PIROL: a case study for multidimensional separation of concerns in software engineering environments

Safely creating correct subclasses without seeing superclass code

OoLALA: an object oriented analysis and design of numerical linear algebra

Towards agent-oriented assistance for framework instantiation

Practical virtual method call resolution for Java

Scalable propagation-based call graph construction algorithms

A study of devirtualization techniques for a Java Just-In-Time compiler

An efficient class and object encoding

A formal specification of Java class loading

An Aristotelian understanding of object-oriented programming

Application isolation in the Java Virtual Machine

An approach to safe object sharing

Guava: a dialect of Java without data races

Sealed calls in Java packages

Content Provider	ACM Digital Library
Author	Aizikowitz, Nava Zaks, Ayal Feldman, Vitaly
Abstract	Determining the potential targets of virtual method invocations is essential for inter-procedural optimizations of object-oriented programs. It is generally hard to determine such targets accurately. The problem is especially difficult for dynamic languages such as Java, because additional targets of virtual calls may appear at runtime. Current mechanisms that enable inter-procedural optimizations for dynamic languages, repeatedly validate the optimizations at runtime. This paper addresses this predicament by proposing a novel technique for conservative devirtualization analysis, which applies to a significant number of virtual calls in Java programs. Unlike previous work, our technique requires neither whole program analysis nor runtime information, and incurs no runtime overhead. Our solution is very efficient to compute and is based on a newly introduced, seemingly unrelated security feature of Java file archives. On average, our analysis "seals" (safely devirtualizes) about 39% of the virtual calls (to non-final methods) that appear in SPECjvm98 programs, and about 29% of the calls invoked while executing these programs. In the runtime library rt.jar, about 10% of the packages contain a significant percentage (20--60%) of sealed calls, with a total average of about 8.5%. Most of these calls are also shown to be monomorphic, a fact which can be safely exploited by aggressive inter-procedural optimizations such as direct inlining. These results indicate that our technique has a strong potential for enhancing the analysis and optimization of Java programs.
Starting Page	83
Ending Page	92
Page Count	10
File Format	PDF
ISBN	158113200X
DOI	10.1145/353171.353177
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2000-10-01
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Call devirtualization Java Method inlining Sealed package Class hierarchy graph Object-oriented programming Call graph Inter-procedural analysis
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Sealed calls in Java packages

Sealed calls in Java packages (2000)

On the Syllogistic Structure of Object-Oriented Programming (2001)

A study of devirtualization techniques for a Java Just-In-Time compiler (2000)

Flow Sensitive Call Graph Construction For Java (2001)

A type system for checking specialization of packages in object-oriented programming

A Java package for class and mixin mobility in a distributed setting (2003)

Inter-class mutation operators for Java

Modularization metrics: assessing package organization in legacy large object-oriented software (2011).

Sealed calls in Java packages

Similar Documents

Sealed calls in Java packages

Sealed calls in Java packages (2000)

On the Syllogistic Structure of Object-Oriented Programming (2001)

A study of devirtualization techniques for a Java Just-In-Time compiler (2000)

Flow Sensitive Call Graph Construction For Java (2001)

A type system for checking specialization of packages in object-oriented programming

A Java package for class and mixin mobility in a distributed setting (2003)

Inter-class mutation operators for Java

Modularization metrics: assessing package organization in legacy large object-oriented software (2011).

Sealed calls in Java packages