Matches in SemOpenAlex for { <https://semopenalex.org/work/W74657314> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W74657314 abstract "Weak references provide the programmer with limited control over the process of memory management. By using them, a programmer can make decisions based on previous actions that are taken by the garbage collector. Although this is often helpful, the outcome of a program using weak references is less predictable due to the nondeterminism they introduce in program evaluation. It is therefore desirable to have a framework of formal tools to reason about weak references and programs that use them. We present several calculi that formalize various aspects of weak references, inspired by their implementation in Java. We provide a calculus to model multiple levels of non-strong references, where a different garbage collection policy is applied to each level. We consider different collection policies such as eager collection and lazy collection. Similar to the way they are implemented in Java, we give the semantics of eager collection to weak references and the semantics of lazy collection to soft references. Moreover, we condition garbage collection on the availability of time and space resources. While time constraints are used in order to restrict garbage collection, space constraints are used in order to trigger it. Finalizers are a problematic feature in Java, especially when they interact with weak references. We provide a calculus to model finalizer evaluation. Since finalizers have little meaning in a language without side-effect, we introduce a limited form of side effect into the calculus. We discuss determinism and the separate notion of uniqueness of (evaluation) outcome. We show that in our calculus, finalizer evaluation does not affect uniqueness of outcome." @default.
- W74657314 created "2016-06-24" @default.
- W74657314 creator A5086197757 @default.
- W74657314 creator A5090898185 @default.
- W74657314 date "2006-12-15" @default.
- W74657314 modified "2023-09-23" @default.
- W74657314 title "Towards Formalizing Java's Weak References" @default.
- W74657314 cites W1529293277 @default.
- W74657314 cites W1549891226 @default.
- W74657314 cites W190824889 @default.
- W74657314 cites W2073569229 @default.
- W74657314 cites W2151716725 @default.
- W74657314 cites W2168986107 @default.
- W74657314 cites W2170441612 @default.
- W74657314 cites W2987803397 @default.
- W74657314 hasPublicationYear "2006" @default.
- W74657314 type Work @default.
- W74657314 sameAs 74657314 @default.
- W74657314 citedByCount "0" @default.
- W74657314 crossrefType "journal-article" @default.
- W74657314 hasAuthorship W74657314A5086197757 @default.
- W74657314 hasAuthorship W74657314A5090898185 @default.
- W74657314 hasConcept C105122174 @default.
- W74657314 hasConcept C199360897 @default.
- W74657314 hasConcept C41008148 @default.
- W74657314 hasConcept C548217200 @default.
- W74657314 hasConcept C75403996 @default.
- W74657314 hasConcept C80444323 @default.
- W74657314 hasConcept C82810778 @default.
- W74657314 hasConceptScore W74657314C105122174 @default.
- W74657314 hasConceptScore W74657314C199360897 @default.
- W74657314 hasConceptScore W74657314C41008148 @default.
- W74657314 hasConceptScore W74657314C548217200 @default.
- W74657314 hasConceptScore W74657314C75403996 @default.
- W74657314 hasConceptScore W74657314C80444323 @default.
- W74657314 hasConceptScore W74657314C82810778 @default.
- W74657314 hasLocation W746573141 @default.
- W74657314 hasOpenAccess W74657314 @default.
- W74657314 hasPrimaryLocation W746573141 @default.
- W74657314 hasRelatedWork W145541802 @default.
- W74657314 hasRelatedWork W158573664 @default.
- W74657314 hasRelatedWork W1603063797 @default.
- W74657314 hasRelatedWork W2217463571 @default.
- W74657314 hasRelatedWork W2340359637 @default.
- W74657314 hasRelatedWork W2415486708 @default.
- W74657314 hasRelatedWork W2473246863 @default.
- W74657314 hasRelatedWork W2531562562 @default.
- W74657314 hasRelatedWork W2611603569 @default.
- W74657314 hasRelatedWork W2747532027 @default.
- W74657314 hasRelatedWork W2890423946 @default.
- W74657314 hasRelatedWork W2906008456 @default.
- W74657314 hasRelatedWork W3021714562 @default.
- W74657314 hasRelatedWork W3172992491 @default.
- W74657314 hasRelatedWork W54129471 @default.
- W74657314 hasRelatedWork W610247141 @default.
- W74657314 hasRelatedWork W645178727 @default.
- W74657314 hasRelatedWork W934258397 @default.
- W74657314 hasRelatedWork W2318153208 @default.
- W74657314 hasRelatedWork W2942056737 @default.
- W74657314 isParatext "false" @default.
- W74657314 isRetracted "false" @default.
- W74657314 magId "74657314" @default.
- W74657314 workType "article" @default.