RUcore: Rutgers University Community Repository
Practical analysis of framework-intensive applications
Descriptive
TypeOfResource
Text
TitleInfo
(ID = T-1)
Title
Practical analysis of framework-intensive applications
SubTitle
PartName
PartNumber
NonSort
Identifier
(displayLabel = );
(invalid = )
ETD_2289
Identifier
(type = hdl)
http://hdl.rutgers.edu/1782.2/rucore10001600001.ETD.000052105
Language
LanguageTerm
English
Genre
(authority = marcgt)
theses
Subject
(ID = SBJ-1);
(authority = RUETD)
Topic
Computer Science
Subject
(ID = SBJ-2);
(authority = ETD-LCSH)
Topic
High performance computing
Abstract
Many modern applications (e.g. web applications) are composed of a relatively small amount of application code that calls a large number of third-party libraries and frameworks. Such framework-intensive systems typically exhibit different
characteristics from traditional applications. Current tools and techniques
are often inadequate in analyzing applications of such scale and complexity. Approaches based on static analysis suffer problems of insufficient scalability and/or insufficient precision. Purely dynamic analyses,
introduce too much execution overhead, especially for production systems, or are too limited in the information gathered.
The main contribution of this thesis is a new analysis paradigm, blended analysis, combines elements of static and dynamic analyses in order to enable analyses of framework-intensive applications that achieve good precision at a practical cost. This is accomplished by narrowing the focus of a static analysis to a set of executions of interest identified using a lightweight dynamic analysis. We also present an optimization technique that further reduces the amount of code to be analyzed by removing infeasible basic blocks, and leads to significant increases in scalability and precision of the analysis. We contribute Elude, a publicly available framework for blended analysis of Java programs.
We demonstrate the usefuless of blended analysis in practice by applying it to object churn, a common problem in framework-intensive applications caused by the excessive usage of temporary objects. We present a set of new metrics to characterize the usage and complexity of temporaries. We use an instantiation of the blended analysis paradigm, blended escape analysis, to compute these metrics for a set of real framework-intensive applications. Using these results we perform a detailed analysis of temporaries in these
applications. We also use our technique to identify a set of problematic scenarios in a commercial application.
characteristics from traditional applications. Current tools and techniques
are often inadequate in analyzing applications of such scale and complexity. Approaches based on static analysis suffer problems of insufficient scalability and/or insufficient precision. Purely dynamic analyses,
introduce too much execution overhead, especially for production systems, or are too limited in the information gathered.
The main contribution of this thesis is a new analysis paradigm, blended analysis, combines elements of static and dynamic analyses in order to enable analyses of framework-intensive applications that achieve good precision at a practical cost. This is accomplished by narrowing the focus of a static analysis to a set of executions of interest identified using a lightweight dynamic analysis. We also present an optimization technique that further reduces the amount of code to be analyzed by removing infeasible basic blocks, and leads to significant increases in scalability and precision of the analysis. We contribute Elude, a publicly available framework for blended analysis of Java programs.
We demonstrate the usefuless of blended analysis in practice by applying it to object churn, a common problem in framework-intensive applications caused by the excessive usage of temporary objects. We present a set of new metrics to characterize the usage and complexity of temporaries. We use an instantiation of the blended analysis paradigm, blended escape analysis, to compute these metrics for a set of real framework-intensive applications. Using these results we perform a detailed analysis of temporaries in these
applications. We also use our technique to identify a set of problematic scenarios in a commercial application.
PhysicalDescription
Form
(authority = gmd)
electronic resource
Extent
xi, 99 p. : ill.
InternetMediaType
application/pdf
InternetMediaType
text/xml
Note
(type = degree)
Ph.D.
Note
(type = bibliography)
Includes bibliographical references (p. 93-97)
Note
(type = statement of responsibility)
by Bruno Dufour
Name
(ID = NAME-1);
(type = personal)
NamePart
(type = family)
Dufour
NamePart
(type = given)
Bruno
NamePart
(type = termsOfAddress)
NamePart
(type = date)
1981-
Role
RoleTerm
(authority = RULIB);
(type = )
author
Description
DisplayForm
Bruno Dufour
Name
(ID = NAME-2);
(type = personal)
NamePart
(type = family)
Ryder
NamePart
(type = given)
Barbara
Role
RoleTerm
(authority = RULIB);
(type = )
chair
Affiliation
Advisory Committee
DisplayForm
Barbara G Ryder
Name
(ID = NAME-3);
(type = personal)
NamePart
(type = family)
Borgida
NamePart
(type = given)
Alex
Role
RoleTerm
(authority = RULIB);
(type = )
internal member
Affiliation
Advisory Committee
DisplayForm
Alex Borgida
Name
(ID = NAME-4);
(type = personal)
NamePart
(type = family)
Ganapathy
NamePart
(type = given)
Vinod
Role
RoleTerm
(authority = RULIB);
(type = )
internal member
Affiliation
Advisory Committee
DisplayForm
Vinod Ganapathy
Name
(ID = NAME-5);
(type = personal)
NamePart
(type = family)
Podgurski
NamePart
(type = given)
Andy
Role
RoleTerm
(authority = RULIB);
(type = )
outside member
Affiliation
Advisory Committee
DisplayForm
Andy Podgurski
Name
(ID = NAME-1);
(type = corporate)
NamePart
Rutgers University
Role
RoleTerm
(authority = RULIB);
(type = )
degree grantor
Name
(ID = NAME-2);
(type = corporate)
NamePart
Graduate School - New Brunswick
Role
RoleTerm
(authority = RULIB);
(type = )
school
OriginInfo
DateCreated
(point = );
(qualifier = exact)
2010
DateOther
(qualifier = exact);
(type = degree)
2010-01
Place
PlaceTerm
(type = code)
xx
RelatedItem
(type = host)
TitleInfo
Title
Rutgers University Electronic Theses and Dissertations
Identifier
(type = RULIB)
ETD
RelatedItem
(type = host)
TitleInfo
Title
Graduate School - New Brunswick Electronic Theses and Dissertations
Identifier
(type = local)
rucore19991600001
Location
PhysicalLocation
(authority = marcorg);
(displayLabel = Rutgers, The State University of New Jersey)
NjNbRU
Identifier
(type = doi)
doi:10.7282/T3CV4HWH
Genre
(authority = ExL-Esploro)
ETD doctoral
Back to the top
Rights
RightsDeclaration
(AUTHORITY = GS);
(ID = rulibRdec0006)
The author owns the copyright to this work.
Copyright
Status
Copyright protected
Notice
Note
Availability
Status
Open
Reason
Permission or license
Note
RightsHolder
(ID = PRH-1);
(type = personal)
Name
FamilyName
Dufour
GivenName
Bruno
Role
Copyright Holder
RightsEvent
(ID = RE-1);
(AUTHORITY = rulib)
Type
Permission or license
Label
Place
DateTime
2009-12-10 17:50:42
Detail
AssociatedEntity
(ID = AE-1);
(AUTHORITY = rulib)
Role
Copyright holder
Name
Bruno Dufour
Affiliation
Rutgers University. Graduate School - New Brunswick
AssociatedObject
(ID = AO-1);
(AUTHORITY = rulib)
Type
License
Name
Author Agreement License
Detail
I hereby grant to the Rutgers University Libraries and to my school the non-exclusive right to archive, reproduce and distribute my thesis or dissertation, in whole or in part, and/or my abstract, in whole or in part, in and from an electronic format, subject to the release date subsequently stipulated in this submittal form and approved by my school. I represent and stipulate that the thesis or dissertation and its abstract are my original work, that they do not infringe or violate any rights of others, and that I make these grants as the sole owner of the rights to my thesis or dissertation and its abstract. I represent that I have obtained written permissions, when necessary, from the owner(s) of each third party copyrighted matter to be included in my thesis or dissertation and will supply copies of such upon request by my school. I acknowledge that RU ETD and my school will not distribute my thesis or dissertation or its abstract if, in their reasonable judgment, they believe all such rights have not been secured. I acknowledge that I retain ownership rights to the copyright of my work. I also retain the right to use all or part of this thesis or dissertation in future works, such as articles or books.
Back to the top
Technical
ContentModel
ETD
MimeType
(TYPE = file)
application/pdf
MimeType
(TYPE = container)
application/x-tar
FileSize
(UNIT = bytes)
1546240
Checksum
(METHOD = SHA1)
75ecc82ff4f76e8ee72529441eec10743751e38c
Back to the top
Statistical Profile