FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015706098> ?p ?o ?g. }

• W2015706098 endingPage "374" @default.
• W2015706098 startingPage "341" @default.
• W2015706098 abstract "This paper presents a lock-free algorithm for mark&sweep garbage collection (GC) in a realistic model using synchronization primitives load-linked/store-conditional (LL/SC) or compare-and-swap (CAS) offered by machine architectures. The algorithm is concurrent in the sense that garbage collection can run concurrently with the application (the mutator threads). It is parallel in that garbage collection itself may employ several concurrent collector threads. We first design and prove an algorithm with a coarse grain of atomicity and subsequently apply the reduction method developed and verified in [H. Gao, W.H. Hesselink, A formal reduction for lock-free parallel algorithms, in: Proceedings of the 16th Conference on Computer Aided Verification, CAV, July 2004] to implement the high-level atomic steps by means of the low-level primitives. Even the correctness of the coarse grain algorithm is very delicate due to the presence of concurrent mutator and collector threads. We have verified it therefore by means of the interactive theorem prover PVS." @default.
• W2015706098 created "2016-06-24" @default.
• W2015706098 creator A5022758187 @default.
• W2015706098 creator A5030046423 @default.
• W2015706098 creator A5032619003 @default.
• W2015706098 date "2007-02-01" @default.
• W2015706098 modified "2023-09-23" @default.
• W2015706098 title "Lock-free parallel and concurrent garbage collection by mark&sweep" @default.
• W2015706098 cites W1601315806 @default.
• W2015706098 cites W1964727056 @default.
• W2015706098 cites W1978280181 @default.
• W2015706098 cites W1996931099 @default.
• W2015706098 cites W1999719510 @default.
• W2015706098 cites W2015688007 @default.
• W2015706098 cites W2067629577 @default.
• W2015706098 cites W2092767796 @default.
• W2015706098 cites W2099899133 @default.
• W2015706098 cites W2107079306 @default.
• W2015706098 cites W2112197627 @default.
• W2015706098 cites W2112630372 @default.
• W2015706098 cites W2119162981 @default.
• W2015706098 cites W2122320850 @default.
• W2015706098 cites W2124651292 @default.
• W2015706098 cites W2125230050 @default.
• W2015706098 cites W2153958303 @default.
• W2015706098 cites W2158525816 @default.
• W2015706098 cites W2161318861 @default.
• W2015706098 cites W2161710690 @default.
• W2015706098 cites W2166656159 @default.
• W2015706098 cites W2168704035 @default.
• W2015706098 cites W4246292616 @default.
• W2015706098 doi "https://doi.org/10.1016/j.scico.2006.10.001" @default.
• W2015706098 hasPublicationYear "2007" @default.
• W2015706098 type Work @default.
• W2015706098 sameAs 2015706098 @default.
• W2015706098 citedByCount "30" @default.
• W2015706098 countsByYear W20157060982013 @default.
• W2015706098 countsByYear W20157060982014 @default.
• W2015706098 countsByYear W20157060982015 @default.
• W2015706098 countsByYear W20157060982017 @default.
• W2015706098 countsByYear W20157060982019 @default.
• W2015706098 countsByYear W20157060982021 @default.
• W2015706098 countsByYear W20157060982022 @default.
• W2015706098 countsByYear W20157060982023 @default.
• W2015706098 crossrefType "journal-article" @default.
• W2015706098 hasAuthorship W2015706098A5022758187 @default.
• W2015706098 hasAuthorship W2015706098A5030046423 @default.
• W2015706098 hasAuthorship W2015706098A5032619003 @default.
• W2015706098 hasBestOaLocation W20157060982 @default.
• W2015706098 hasConcept C105122174 @default.
• W2015706098 hasConcept C11413529 @default.
• W2015706098 hasConcept C127413603 @default.
• W2015706098 hasConcept C173608175 @default.
• W2015706098 hasConcept C174839445 @default.
• W2015706098 hasConcept C188045909 @default.
• W2015706098 hasConcept C199360897 @default.
• W2015706098 hasConcept C20528329 @default.
• W2015706098 hasConcept C41008148 @default.
• W2015706098 hasConcept C55439883 @default.
• W2015706098 hasConcept C56348326 @default.
• W2015706098 hasConcept C75403996 @default.
• W2015706098 hasConcept C75949130 @default.
• W2015706098 hasConcept C78519656 @default.
• W2015706098 hasConcept C82810778 @default.
• W2015706098 hasConceptScore W2015706098C105122174 @default.
• W2015706098 hasConceptScore W2015706098C11413529 @default.
• W2015706098 hasConceptScore W2015706098C127413603 @default.
• W2015706098 hasConceptScore W2015706098C173608175 @default.
• W2015706098 hasConceptScore W2015706098C174839445 @default.
• W2015706098 hasConceptScore W2015706098C188045909 @default.
• W2015706098 hasConceptScore W2015706098C199360897 @default.
• W2015706098 hasConceptScore W2015706098C20528329 @default.
• W2015706098 hasConceptScore W2015706098C41008148 @default.
• W2015706098 hasConceptScore W2015706098C55439883 @default.
• W2015706098 hasConceptScore W2015706098C56348326 @default.
• W2015706098 hasConceptScore W2015706098C75403996 @default.
• W2015706098 hasConceptScore W2015706098C75949130 @default.
• W2015706098 hasConceptScore W2015706098C78519656 @default.
• W2015706098 hasConceptScore W2015706098C82810778 @default.
• W2015706098 hasIssue "3" @default.
• W2015706098 hasLocation W20157060981 @default.
• W2015706098 hasLocation W20157060982 @default.
• W2015706098 hasLocation W20157060983 @default.
• W2015706098 hasOpenAccess W2015706098 @default.
• W2015706098 hasPrimaryLocation W20157060981 @default.
• W2015706098 hasRelatedWork W1545727638 @default.
• W2015706098 hasRelatedWork W1561804611 @default.
• W2015706098 hasRelatedWork W1635236158 @default.
• W2015706098 hasRelatedWork W1966891975 @default.
• W2015706098 hasRelatedWork W2015706098 @default.
• W2015706098 hasRelatedWork W2113905788 @default.
• W2015706098 hasRelatedWork W2287663836 @default.
• W2015706098 hasRelatedWork W2352852854 @default.
• W2015706098 hasRelatedWork W2380051080 @default.
• W2015706098 hasRelatedWork W2555540671 @default.
• W2015706098 hasVolume "64" @default.
• W2015706098 isParatext "false" @default.
• W2015706098 isRetracted "false" @default.

• next