Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971294960> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1971294960 abstract "Among all classes of parallel programming abstractions, lock-free data structures are considered one of the most scalable and efficient thanks to their fine-grained style of synchronization. However, they are also challenging for developers and tools to verify because of the huge number of possible interleavings that result from fine-grained synchronizations.This paper addresses this fundamental problem between performance and verifiability of lock-free data structure implementations. We present Txit, a system that greatly reduces the set of possible interleavings by inserting transactions into the implementation of a lock-free data structure. We leverage hardware transactional memory support from Intel Haswell processors to enforce these artificial transactions. Evaluation on six popular lock-free data structure libraries shows that Txit makes it easy to verify lock-free data structures while incurring acceptable runtime overhead. Further analysis shows that two inefficiencies in Haswell are the largest contributors to this overhead." @default.
- W1971294960 created "2016-06-24" @default.
- W1971294960 creator A5056288677 @default.
- W1971294960 creator A5064285325 @default.
- W1971294960 creator A5083516369 @default.
- W1971294960 creator A5030436580 @default.
- W1971294960 date "2015-10-04" @default.
- W1971294960 modified "2023-09-24" @default.
- W1971294960 title "Making lock-free data structures verifiable with artificial transactions" @default.
- W1971294960 cites W1972065960 @default.
- W1971294960 cites W2017700354 @default.
- W1971294960 cites W2037683502 @default.
- W1971294960 cites W2056637671 @default.
- W1971294960 cites W2065675749 @default.
- W1971294960 cites W2105900173 @default.
- W1971294960 cites W2117009500 @default.
- W1971294960 cites W2124877509 @default.
- W1971294960 cites W2135948849 @default.
- W1971294960 cites W2147891468 @default.
- W1971294960 cites W2153185479 @default.
- W1971294960 cites W2169870841 @default.
- W1971294960 cites W2171480813 @default.
- W1971294960 cites W2997566435 @default.
- W1971294960 cites W3142284768 @default.
- W1971294960 cites W4242436537 @default.
- W1971294960 cites W4244083566 @default.
- W1971294960 cites W4253911406 @default.
- W1971294960 doi "https://doi.org/10.1145/2818302.2818309" @default.
- W1971294960 hasPublicationYear "2015" @default.
- W1971294960 type Work @default.
- W1971294960 sameAs 1971294960 @default.
- W1971294960 citedByCount "0" @default.
- W1971294960 crossrefType "proceedings-article" @default.
- W1971294960 hasAuthorship W1971294960A5030436580 @default.
- W1971294960 hasAuthorship W1971294960A5056288677 @default.
- W1971294960 hasAuthorship W1971294960A5064285325 @default.
- W1971294960 hasAuthorship W1971294960A5083516369 @default.
- W1971294960 hasBestOaLocation W19712949602 @default.
- W1971294960 hasConcept C127413603 @default.
- W1971294960 hasConcept C174839445 @default.
- W1971294960 hasConcept C177264268 @default.
- W1971294960 hasConcept C199360897 @default.
- W1971294960 hasConcept C41008148 @default.
- W1971294960 hasConcept C78519656 @default.
- W1971294960 hasConcept C85847156 @default.
- W1971294960 hasConceptScore W1971294960C127413603 @default.
- W1971294960 hasConceptScore W1971294960C174839445 @default.
- W1971294960 hasConceptScore W1971294960C177264268 @default.
- W1971294960 hasConceptScore W1971294960C199360897 @default.
- W1971294960 hasConceptScore W1971294960C41008148 @default.
- W1971294960 hasConceptScore W1971294960C78519656 @default.
- W1971294960 hasConceptScore W1971294960C85847156 @default.
- W1971294960 hasFunder F4320306076 @default.
- W1971294960 hasFunder F4320306151 @default.
- W1971294960 hasFunder F4320337345 @default.
- W1971294960 hasFunder F4320338279 @default.
- W1971294960 hasFunder F4320338294 @default.
- W1971294960 hasLocation W19712949601 @default.
- W1971294960 hasLocation W19712949602 @default.
- W1971294960 hasLocation W19712949603 @default.
- W1971294960 hasOpenAccess W1971294960 @default.
- W1971294960 hasPrimaryLocation W19712949601 @default.
- W1971294960 hasRelatedWork W1713322116 @default.
- W1971294960 hasRelatedWork W2324890633 @default.
- W1971294960 hasRelatedWork W2606175564 @default.
- W1971294960 hasRelatedWork W2894886835 @default.
- W1971294960 hasRelatedWork W2898591106 @default.
- W1971294960 hasRelatedWork W2946191841 @default.
- W1971294960 hasRelatedWork W2977656254 @default.
- W1971294960 hasRelatedWork W3015230198 @default.
- W1971294960 hasRelatedWork W3041052722 @default.
- W1971294960 hasRelatedWork W2584467463 @default.
- W1971294960 isParatext "false" @default.
- W1971294960 isRetracted "false" @default.
- W1971294960 magId "1971294960" @default.
- W1971294960 workType "article" @default.