Matches in SemOpenAlex for { <https://semopenalex.org/work/W4256076951> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4256076951 endingPage "291" @default.
- W4256076951 startingPage "280" @default.
- W4256076951 abstract "We develop am abstract model of memory management in distributed systems. The model is low-level enough so that we can express communication, allocation and garbage collection, but otherwise hides many of the lower-level details of an actual implementation.Recently, such formal models have been developed for memory management in a functional, sequential setting [10]. The models are rewriting systems whose terms are programs. Programs have both the code (control string) and the store syntactically apparent. Evaluation is expressed as conditional rewriting and includes store operations. Garbage collection becomes a rewriting relation that removes part of the store without affecting the behavior of the program.Distribution adds another dimension to an already complex problem. By using techniques developed for communicating and concurrent systems [9], we extend their work to a distributed environment. Sending and receiving messages is also made apparent at the syntactic level. A very general garbage collection rule based on reachability is introduced and proved correct. Now proving correct a specific collection strategy is reduced to showing that the relation between programs defined by the strategy is a sub-relation of the general relation. Any actual implementation which is capable of providing the transitions (including their atomicity constraints) specified by the strategy is therefore correct.This model allows us to specify and prove correct in a compact manner two garbage collectors; the first one does a simple garbage collection local to a node. The second garbage collector uses migration of data in order to be able to reclaim inter-node cyclic garbage." @default.
- W4256076951 created "2022-05-12" @default.
- W4256076951 creator A5029295740 @default.
- W4256076951 creator A5046367201 @default.
- W4256076951 date "1997-08-01" @default.
- W4256076951 modified "2023-10-14" @default.
- W4256076951 title "Formal models of distributed memory management" @default.
- W4256076951 cites W1988638332 @default.
- W4256076951 cites W2073569229 @default.
- W4256076951 cites W2088735483 @default.
- W4256076951 cites W2111823620 @default.
- W4256076951 cites W2112630372 @default.
- W4256076951 cites W2151716725 @default.
- W4256076951 cites W2158525816 @default.
- W4256076951 doi "https://doi.org/10.1145/258949.258975" @default.
- W4256076951 hasPublicationYear "1997" @default.
- W4256076951 type Work @default.
- W4256076951 citedByCount "0" @default.
- W4256076951 crossrefType "journal-article" @default.
- W4256076951 hasAuthorship W4256076951A5029295740 @default.
- W4256076951 hasAuthorship W4256076951A5046367201 @default.
- W4256076951 hasBestOaLocation W42560769511 @default.
- W4256076951 hasConcept C105122174 @default.
- W4256076951 hasConcept C120314980 @default.
- W4256076951 hasConcept C136643341 @default.
- W4256076951 hasConcept C154690210 @default.
- W4256076951 hasConcept C188045909 @default.
- W4256076951 hasConcept C199360897 @default.
- W4256076951 hasConcept C25343380 @default.
- W4256076951 hasConcept C41008148 @default.
- W4256076951 hasConcept C75403996 @default.
- W4256076951 hasConcept C75949130 @default.
- W4256076951 hasConcept C77088390 @default.
- W4256076951 hasConcept C80444323 @default.
- W4256076951 hasConcept C82810778 @default.
- W4256076951 hasConceptScore W4256076951C105122174 @default.
- W4256076951 hasConceptScore W4256076951C120314980 @default.
- W4256076951 hasConceptScore W4256076951C136643341 @default.
- W4256076951 hasConceptScore W4256076951C154690210 @default.
- W4256076951 hasConceptScore W4256076951C188045909 @default.
- W4256076951 hasConceptScore W4256076951C199360897 @default.
- W4256076951 hasConceptScore W4256076951C25343380 @default.
- W4256076951 hasConceptScore W4256076951C41008148 @default.
- W4256076951 hasConceptScore W4256076951C75403996 @default.
- W4256076951 hasConceptScore W4256076951C75949130 @default.
- W4256076951 hasConceptScore W4256076951C77088390 @default.
- W4256076951 hasConceptScore W4256076951C80444323 @default.
- W4256076951 hasConceptScore W4256076951C82810778 @default.
- W4256076951 hasIssue "8" @default.
- W4256076951 hasLocation W42560769511 @default.
- W4256076951 hasOpenAccess W4256076951 @default.
- W4256076951 hasPrimaryLocation W42560769511 @default.
- W4256076951 hasRelatedWork W1545727638 @default.
- W4256076951 hasRelatedWork W1561804611 @default.
- W4256076951 hasRelatedWork W1994090521 @default.
- W4256076951 hasRelatedWork W2341576050 @default.
- W4256076951 hasRelatedWork W2352852854 @default.
- W4256076951 hasRelatedWork W2963257479 @default.
- W4256076951 hasRelatedWork W3033244758 @default.
- W4256076951 hasRelatedWork W4256076951 @default.
- W4256076951 hasRelatedWork W4308258772 @default.
- W4256076951 hasRelatedWork W82012725 @default.
- W4256076951 hasVolume "32" @default.
- W4256076951 isParatext "false" @default.
- W4256076951 isRetracted "false" @default.
- W4256076951 workType "article" @default.