A Practical MHP Information Analysis for Concurrent Java Programs PDF

Oct 1 1999 Concurrent Programming in Java™: Design Principles and Patterns

The Problem with Threads

Jan 10 2006 concurrent programming dominates all others

Concurrent Bug Patterns and How to Test Them

precision the bugs are described in the context of the Java programming language

Symbolic Reasoning for Automatic Signal Placement

Keywords Implicit signal monitors concurrent program- ACM ISBN 978-1-4503-5698-5/18/06. . . $15.00 ... Design Principles and Patterns (2nd ed.).

Java-Design-Patterns.pdf

Java Design Patterns. 2 / 173 are re-usable; they can be applied to similar manages all underline issues like concurrency issue and security by itself.

R18 B.TECH CSE III YEAR

An Engineering Approach to Computer Networks-S. Keshav 2nd Edition

A Practical MHP Information Analysis for Concurrent Java Programs

Jun 4 2004 The original MHP algorithm relies on a simplified program structure. ... Concurrent Programming in Java Design Principles and Patterns.

Reverse Engineering of Design Patterns for High Performance

[17] D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley Reading

Concurrency by Modularity: Design Patterns a Case in Point

encapsulated in our concurrent design pattern framework. Categories and Subject Descriptors D.2.10 [Software. Engineering]: Design; D.1.5 [Programming

McGillUniversity

SchoolofComputerScience

SableResearchGroup

SableTechnicalReportNo.2004-03

LinLiandClarkVerbrugge

June4,2004

www.sable.mcgill.ca

1IntroductionandMotivation3

2PEGandMHPAnalysis3

3MHPAnalysisinthecontextofSoot5

4PracticalMHPAnalysis6

5ExperimentalResults11

6RelatedWork13

7FutureWorkandConclusions14

ListofFigures

ListofTables

Abstract

1IntroductionandMotivation

synchronizationproblemscanbederived. morepracticalcompilersetting.

2PEGandMHPAnalysis

anaugmentedcontrol 3 main (*, if , t2) t1 (*,begin, main) (t1, start, main) (*, begin, t1) (*, begin, t2) (lock, entry, t2) (lock, entry, t1)t2 (t2, start, main) (lock, entry, main) (*, end, t1) (lock, exit, t1)(lock, notified-entry,t1)(lock, waiting, t1)(lock, wait, t1)(*, if , t1) (lock, notifyAll, main) (lock, exit, main) (r1, join, main) (r2, join, main) (*, end, main) (lock, waiting, t2) (lock, notified-entry, t2) (lock, exit, t2) (*, end, t2)(lock, wait, t2) (*, if , main) andsoisnotfeasibleingeneral.

2.1ParallelExecutionGraph

owgraph.Special andawait/notifypattern. 4 intra-threadcontrol thecontrol tionto thisinformation happeninparallel.

2.2AWorklistFlowAnalysisAlgorithm

MHPanalysisisperformedusingaworklistdata

owalgorithm.ThegoalistondforeachPEG owalgorithmpropagatesset owanalysis,withspecial modicationstocreatenotifyedgesand

3MHPAnalysisinthecontextofSoot

3.1SootFramework

3.1.1Jimple

owgraphcon- structionandvariouscontrol otheranalysesintheSootframework.

3.1.2Intra-proceduralAnalysis

owanalysisnor abackward

3.1.3Inter-proceduralAnalysis

java.lang.Runnable. providesfastandprecisepoints-todata. programanalysesandoptimization.

4PracticalMHPAnalysis

6 MHP

Analysis

or OptimizationOther AnalysisclassCallGraph CHA Spark

Jimple

FilesSOOT

Figure2:MHPAnalysisinSoot.

A processData

BuilderPEGPEG MHP

AnalyzerPEGSimplifiedSimplifierPEG

InformationMHP

Figure3:OverviewofourMHPanalysis.

describethesalientfeaturesbelow. anycalleeisinteresting.

4.1EcientPEGConstruction

structures. 7 inliningoperation.

4.1.1FindingInterestingMethods

allcalleemethods.Aprecise, ow-insensitive approach,implementedintwostages.

4.1.2Inlining

toinserttheseoperationsduringinlining. 8

4.2PEGSimplication

inSection5.

4.2.1MergingStronglyConnectedComponents

insidetheSCC. nodesintheSCCintoonenode.

4.2.2MergingSequentialNodes

4.3PracticalMHPAnalysis

suchasJava.

4.3.1FindingRuntimeTargetObjects

ownershipandmonitor-basedinformation 9 anda ow-insensitiveinterproceduralstep. ow.Ouralgorithmactuallycomputes tobemergedandpropagatedtogether.

4.3.2FindingMonitorNodes

byamonitor|locklevelmustalsobetracked. ow-sensitiveanalysisonthe sothisisguaranteedtoreachaxedpoint. nodeistrulyinamonitorornot. 10

5ExperimentalResults

5.1Benchmarks

5.2Results

totalspacerequirementsoftheanalysis. 11

ForkJoin43083316417361050.186.0966.896.5

Sync5656712118459289440.4078.0668.3163.3

Series331534210913096600.2411.3068.096.2

Sor3662673289363664300.29400.3968.0486.5

Cyclic51622016912445800.151.7267.885.1

mtrt41882114310828190.611.53137.3232.9

AuBanking3170203319241140.172.0666.587.5

analysistime. 12

ForkJoin11991091320.020.5791.21.068.14

Sync23892553070.0710.4696.51.697.18

Barrier122872624110.0626.86113.01.593.44

RayTracer184312112670.079.4897.91.727.91

Series261801091340.030.8085.51.1210.79

LuFact1661941051300.040.6296.72.04125.12

Sor2982231011240.040.4595.65.09513.69

Cyclic051111500.020.9284.21.011.72

mtrt310778950.020.12231.51.012.85

AuBanking271971260.020.6885.21.032.56

PeBanking066882040.020.8184.81.032.46

WriterCom10491622620.022.6090.11.001.01

6RelatedWork

programs.Theyprovideddata ictedgesin additiontosynchronizationandcontrol 13 synchronizationremoval[3,7]. brie ymentioned,thoughnotdevelopedin[15].

7FutureWorkandConclusions

exploring.

References

Application,pages35{46,November1999.

implementation,Berlin,Germany,June2002. pages77{101,

Aarhus,Denmark,7-11August1995.Springer.

1987.
pages219{232.ACMPress,2000.

Reading,Massachusetts,1997.

IllinoisatUnbana-Champaign,1999.

[14]OndrejLhotak.Spark:A

McGillUniversity,December2002.

pages167{178.ACMPress,2003. 15 engineering,Montreal,Quebec,Canada,1998.

Press,1996.

1999.
applications,pages70{82.ACMPress,2001. 16quotesdbs_dbs17.pdfusesText_23

[PDF] concurrent programming in java design principles and patterns 3rd edition

[PDF] concurrent programming in java design principles and patterns by doug lea

[PDF] concurrent programming in java doug lea pdf

[PDF] concurrent programming in java pdf doug lea

[PDF] concurrent real time and distributed programming in java

[PDF] concurrent threads in jmeter

[PDF] concurrent threads meaning

[PDF] concurrent threads python

[PDF] concussion simulation activities

[PDF] concussion worksheet pdf

[PDF] condensation polymerisation gcse

[PDF] condensation polymerization equation

[PDF] condensation polymerization examples

[PDF] condensation polymerization is best described as

[PDF] condensation polymerization mechanism

[PDF] A Practical MHP Information Analysis for Concurrent Java Programs