Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098005317> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2098005317 abstract "In this paper, we focus on concurrent programs that use locks to achieve isolation of data accessed by critical sections of code. We present ISOLATOR, an algorithm that guarantees isolation for well-behaved threads of a program that obey a locking discipline even in the presence of ill-behaved threads that disobey the locking discipline. ISOLATOR uses code instrumentation, data replication, and virtual memory protection to detect isolation violations and delays ill-behaved threads to ensure isolation. Our instrumentation scheme requires access only to the code of well-behaved threads. We have evaluated ISOLATOR on several benchmark programs and found that ISOLATOR can ensure isolation with reasonable runtime overheads. In addition, we present three general desiderata - safety, isolation, and permissiveness - for any scheme that attempts to ensure isolation, and formally prove that ISOLATOR satisfies all of these desiderata." @default.
- W2098005317 created "2016-06-24" @default.
- W2098005317 creator A5005900665 @default.
- W2098005317 creator A5011779401 @default.
- W2098005317 creator A5075068623 @default.
- W2098005317 creator A5076139746 @default.
- W2098005317 date "2009-03-07" @default.
- W2098005317 modified "2023-10-17" @default.
- W2098005317 title "ISOLATOR" @default.
- W2098005317 cites W1972544179 @default.
- W2098005317 cites W2036093091 @default.
- W2098005317 cites W2072419942 @default.
- W2098005317 cites W2103847662 @default.
- W2098005317 cites W2137622193 @default.
- W2098005317 cites W2146710330 @default.
- W2098005317 cites W2149263382 @default.
- W2098005317 cites W2159608022 @default.
- W2098005317 cites W2172064476 @default.
- W2098005317 cites W3145216722 @default.
- W2098005317 cites W4248655060 @default.
- W2098005317 cites W4249000722 @default.
- W2098005317 cites W4251803824 @default.
- W2098005317 cites W4300810260 @default.
- W2098005317 doi "https://doi.org/10.1145/1508244.1508266" @default.
- W2098005317 hasPublicationYear "2009" @default.
- W2098005317 type Work @default.
- W2098005317 sameAs 2098005317 @default.
- W2098005317 citedByCount "56" @default.
- W2098005317 countsByYear W20980053172012 @default.
- W2098005317 countsByYear W20980053172013 @default.
- W2098005317 countsByYear W20980053172014 @default.
- W2098005317 countsByYear W20980053172015 @default.
- W2098005317 countsByYear W20980053172017 @default.
- W2098005317 countsByYear W20980053172019 @default.
- W2098005317 countsByYear W20980053172020 @default.
- W2098005317 countsByYear W20980053172021 @default.
- W2098005317 crossrefType "proceedings-article" @default.
- W2098005317 hasAuthorship W2098005317A5005900665 @default.
- W2098005317 hasAuthorship W2098005317A5011779401 @default.
- W2098005317 hasAuthorship W2098005317A5075068623 @default.
- W2098005317 hasAuthorship W2098005317A5076139746 @default.
- W2098005317 hasConcept C111919701 @default.
- W2098005317 hasConcept C118530786 @default.
- W2098005317 hasConcept C127413603 @default.
- W2098005317 hasConcept C134306372 @default.
- W2098005317 hasConcept C149635348 @default.
- W2098005317 hasConcept C177264268 @default.
- W2098005317 hasConcept C199360897 @default.
- W2098005317 hasConcept C24326235 @default.
- W2098005317 hasConcept C2775941552 @default.
- W2098005317 hasConcept C2776760102 @default.
- W2098005317 hasConcept C33923547 @default.
- W2098005317 hasConcept C41008148 @default.
- W2098005317 hasConcept C54888747 @default.
- W2098005317 hasConcept C77618280 @default.
- W2098005317 hasConcept C86803240 @default.
- W2098005317 hasConcept C89423630 @default.
- W2098005317 hasConceptScore W2098005317C111919701 @default.
- W2098005317 hasConceptScore W2098005317C118530786 @default.
- W2098005317 hasConceptScore W2098005317C127413603 @default.
- W2098005317 hasConceptScore W2098005317C134306372 @default.
- W2098005317 hasConceptScore W2098005317C149635348 @default.
- W2098005317 hasConceptScore W2098005317C177264268 @default.
- W2098005317 hasConceptScore W2098005317C199360897 @default.
- W2098005317 hasConceptScore W2098005317C24326235 @default.
- W2098005317 hasConceptScore W2098005317C2775941552 @default.
- W2098005317 hasConceptScore W2098005317C2776760102 @default.
- W2098005317 hasConceptScore W2098005317C33923547 @default.
- W2098005317 hasConceptScore W2098005317C41008148 @default.
- W2098005317 hasConceptScore W2098005317C54888747 @default.
- W2098005317 hasConceptScore W2098005317C77618280 @default.
- W2098005317 hasConceptScore W2098005317C86803240 @default.
- W2098005317 hasConceptScore W2098005317C89423630 @default.
- W2098005317 hasLocation W20980053171 @default.
- W2098005317 hasOpenAccess W2098005317 @default.
- W2098005317 hasPrimaryLocation W20980053171 @default.
- W2098005317 hasRelatedWork W1491179040 @default.
- W2098005317 hasRelatedWork W1521353230 @default.
- W2098005317 hasRelatedWork W1596397513 @default.
- W2098005317 hasRelatedWork W2039824792 @default.
- W2098005317 hasRelatedWork W2087258916 @default.
- W2098005317 hasRelatedWork W2373724792 @default.
- W2098005317 hasRelatedWork W2394099118 @default.
- W2098005317 hasRelatedWork W2739624643 @default.
- W2098005317 hasRelatedWork W4233131165 @default.
- W2098005317 hasRelatedWork W4280566261 @default.
- W2098005317 isParatext "false" @default.
- W2098005317 isRetracted "false" @default.
- W2098005317 magId "2098005317" @default.
- W2098005317 workType "article" @default.