Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567462511> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1567462511 endingPage "208" @default.
- W1567462511 startingPage "193" @default.
- W1567462511 abstract "We present a new lockset-based algorithm, Goldilocks, for precisely computing the happens-before relation and thereby detecting data-races at runtime. Dynamic race detection algorithms in the literature are based on vector clocks or locksets. Vector-clock-based algorithms precisely compute the happens-before relation but have significantly more overhead. Previous lockset-based race detection algorithms, on the other hand, are imprecise. They check adherence to a particular synchronization discipline, i.e., a sufficient condition for race freedom and may generate false race warnings. Our algorithm, like vector clocks, is precise, yet it is efficient since it is purely lockset based.We have implemented our algorithm inside the Kaffe Java Virtual Machine. Our implementation incorporates lazy evaluation of locksets and certain “short-circuit checks” which contribute significantly to its efficiency. Experimental results indicate that our algorithm’s overhead is much less than that of the vector-clock algorithm and is very close to our implementation of the Eraser lockset algorithm." @default.
- W1567462511 created "2016-06-24" @default.
- W1567462511 creator A5009826583 @default.
- W1567462511 creator A5072464909 @default.
- W1567462511 creator A5091601759 @default.
- W1567462511 date "2006-01-01" @default.
- W1567462511 modified "2023-10-17" @default.
- W1567462511 title "Goldilocks: Efficiently Computing the Happens-Before Relation Using Locksets" @default.
- W1567462511 cites W1561114929 @default.
- W1567462511 cites W1567462511 @default.
- W1567462511 cites W1972544179 @default.
- W1567462511 cites W2034256728 @default.
- W1567462511 cites W2040851906 @default.
- W1567462511 cites W2066952803 @default.
- W1567462511 cites W2072419942 @default.
- W1567462511 cites W2109875364 @default.
- W1567462511 cites W2134747058 @default.
- W1567462511 cites W2161600851 @default.
- W1567462511 cites W4248655060 @default.
- W1567462511 doi "https://doi.org/10.1007/11940197_13" @default.
- W1567462511 hasPublicationYear "2006" @default.
- W1567462511 type Work @default.
- W1567462511 sameAs 1567462511 @default.
- W1567462511 citedByCount "23" @default.
- W1567462511 countsByYear W15674625112012 @default.
- W1567462511 countsByYear W15674625112013 @default.
- W1567462511 countsByYear W15674625112014 @default.
- W1567462511 countsByYear W15674625112016 @default.
- W1567462511 countsByYear W15674625112023 @default.
- W1567462511 crossrefType "book-chapter" @default.
- W1567462511 hasAuthorship W1567462511A5009826583 @default.
- W1567462511 hasAuthorship W1567462511A5072464909 @default.
- W1567462511 hasAuthorship W1567462511A5091601759 @default.
- W1567462511 hasConcept C111919701 @default.
- W1567462511 hasConcept C11413529 @default.
- W1567462511 hasConcept C121332964 @default.
- W1567462511 hasConcept C124101348 @default.
- W1567462511 hasConcept C127162648 @default.
- W1567462511 hasConcept C129891060 @default.
- W1567462511 hasConcept C173608175 @default.
- W1567462511 hasConcept C177321328 @default.
- W1567462511 hasConcept C25343380 @default.
- W1567462511 hasConcept C2778562939 @default.
- W1567462511 hasConcept C2779960059 @default.
- W1567462511 hasConcept C31258907 @default.
- W1567462511 hasConcept C41008148 @default.
- W1567462511 hasConcept C52563298 @default.
- W1567462511 hasConcept C80444323 @default.
- W1567462511 hasConcept C87355193 @default.
- W1567462511 hasConceptScore W1567462511C111919701 @default.
- W1567462511 hasConceptScore W1567462511C11413529 @default.
- W1567462511 hasConceptScore W1567462511C121332964 @default.
- W1567462511 hasConceptScore W1567462511C124101348 @default.
- W1567462511 hasConceptScore W1567462511C127162648 @default.
- W1567462511 hasConceptScore W1567462511C129891060 @default.
- W1567462511 hasConceptScore W1567462511C173608175 @default.
- W1567462511 hasConceptScore W1567462511C177321328 @default.
- W1567462511 hasConceptScore W1567462511C25343380 @default.
- W1567462511 hasConceptScore W1567462511C2778562939 @default.
- W1567462511 hasConceptScore W1567462511C2779960059 @default.
- W1567462511 hasConceptScore W1567462511C31258907 @default.
- W1567462511 hasConceptScore W1567462511C41008148 @default.
- W1567462511 hasConceptScore W1567462511C52563298 @default.
- W1567462511 hasConceptScore W1567462511C80444323 @default.
- W1567462511 hasConceptScore W1567462511C87355193 @default.
- W1567462511 hasLocation W15674625111 @default.
- W1567462511 hasOpenAccess W1567462511 @default.
- W1567462511 hasPrimaryLocation W15674625111 @default.
- W1567462511 hasRelatedWork W1488189214 @default.
- W1567462511 hasRelatedWork W1558545464 @default.
- W1567462511 hasRelatedWork W1567462511 @default.
- W1567462511 hasRelatedWork W1984303163 @default.
- W1567462511 hasRelatedWork W2117014006 @default.
- W1567462511 hasRelatedWork W2131840028 @default.
- W1567462511 hasRelatedWork W2372170743 @default.
- W1567462511 hasRelatedWork W2615259895 @default.
- W1567462511 hasRelatedWork W4233815414 @default.
- W1567462511 hasRelatedWork W4251849966 @default.
- W1567462511 isParatext "false" @default.
- W1567462511 isRetracted "false" @default.
- W1567462511 magId "1567462511" @default.
- W1567462511 workType "book-chapter" @default.