| 
|
Quote: bytecode verifier allows a variable to retain its type across subroutine calls; requires liveness analysis
topics >
all references >
references a-b >
Topic:
security of remotely executed code
Topic:
memory management by garbage collection
Topic:
code optimization by flow analysis
Quotation Skeleton
The JVM [Java Virtual Machine] specification … contains an explicit exception to the Gosling property … [ref] … [Java] … jsr subroutine to retain its type across a … causes serious difficulty for precise garbage collection. … [A solution is liveness analysis.] … [p. 277] Liveness analysis appears to offer minimal benefit … retained garbage. Preliminary measurements indicate that the cost … generating only type-precise stack maps. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use liveness analysis to reduce retained garbage; about 50% more expensive than type analysis
Topic: security of remotely executed code (22 items)
Topic: memory management by garbage collection (113 items)
Topic: code optimization by flow analysis (45 items)