Matches in SemOpenAlex for { <https://semopenalex.org/work/W2124346166> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2124346166 abstract "We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assignment from global variables to locks and a lock instrumentation that determines where each lock should be acquired and released such that the resulting instrumented program is guaranteed to preserve atomicity and deadlock freedom (provided all shared state is accessed only within atomic sections). Our algorithm works in the presence of pointers and procedures, and setsup the lock allocationproblem asa 0-1ILP which minimizes the conflict cost between atomic sections while simultaneously minimizing the number of locks. We have implemented our algorithm for both C with pthreads and Java, and have applied it to infer locks in 15K lines of AOLserver code. Our automatic allocation produces the same results as hand annotations for most of this code, while solving the optimization instances within a second for most programs." @default.
- W2124346166 created "2016-06-24" @default.
- W2124346166 creator A5002412544 @default.
- W2124346166 creator A5061209906 @default.
- W2124346166 creator A5071914635 @default.
- W2124346166 creator A5081010207 @default.
- W2124346166 date "2007-01-01" @default.
- W2124346166 modified "2023-09-26" @default.
- W2124346166 title "Lock Al l o cati on" @default.
- W2124346166 cites W1482207865 @default.
- W2124346166 cites W1515932031 @default.
- W2124346166 cites W1539432158 @default.
- W2124346166 cites W1757559472 @default.
- W2124346166 cites W1812582761 @default.
- W2124346166 cites W1964177821 @default.
- W2124346166 cites W1972544179 @default.
- W2124346166 cites W1986698752 @default.
- W2124346166 cites W2102640269 @default.
- W2124346166 cites W2106703803 @default.
- W2124346166 cites W2107089133 @default.
- W2124346166 cites W2108204150 @default.
- W2124346166 cites W2109875364 @default.
- W2124346166 cites W2119964141 @default.
- W2124346166 cites W2149237601 @default.
- W2124346166 cites W2157876236 @default.
- W2124346166 cites W2169611673 @default.
- W2124346166 hasPublicationYear "2007" @default.
- W2124346166 type Work @default.
- W2124346166 sameAs 2124346166 @default.
- W2124346166 citedByCount "0" @default.
- W2124346166 crossrefType "journal-article" @default.
- W2124346166 hasAuthorship W2124346166A5002412544 @default.
- W2124346166 hasAuthorship W2124346166A5061209906 @default.
- W2124346166 hasAuthorship W2124346166A5071914635 @default.
- W2124346166 hasAuthorship W2124346166A5081010207 @default.
- W2124346166 hasConcept C111919701 @default.
- W2124346166 hasConcept C11413529 @default.
- W2124346166 hasConcept C120314980 @default.
- W2124346166 hasConcept C127413603 @default.
- W2124346166 hasConcept C159023740 @default.
- W2124346166 hasConcept C173608175 @default.
- W2124346166 hasConcept C174839445 @default.
- W2124346166 hasConcept C177264268 @default.
- W2124346166 hasConcept C188045909 @default.
- W2124346166 hasConcept C199360897 @default.
- W2124346166 hasConcept C2776760102 @default.
- W2124346166 hasConcept C41008148 @default.
- W2124346166 hasConcept C548217200 @default.
- W2124346166 hasConcept C75949130 @default.
- W2124346166 hasConcept C78519656 @default.
- W2124346166 hasConceptScore W2124346166C111919701 @default.
- W2124346166 hasConceptScore W2124346166C11413529 @default.
- W2124346166 hasConceptScore W2124346166C120314980 @default.
- W2124346166 hasConceptScore W2124346166C127413603 @default.
- W2124346166 hasConceptScore W2124346166C159023740 @default.
- W2124346166 hasConceptScore W2124346166C173608175 @default.
- W2124346166 hasConceptScore W2124346166C174839445 @default.
- W2124346166 hasConceptScore W2124346166C177264268 @default.
- W2124346166 hasConceptScore W2124346166C188045909 @default.
- W2124346166 hasConceptScore W2124346166C199360897 @default.
- W2124346166 hasConceptScore W2124346166C2776760102 @default.
- W2124346166 hasConceptScore W2124346166C41008148 @default.
- W2124346166 hasConceptScore W2124346166C548217200 @default.
- W2124346166 hasConceptScore W2124346166C75949130 @default.
- W2124346166 hasConceptScore W2124346166C78519656 @default.
- W2124346166 hasLocation W21243461661 @default.
- W2124346166 hasOpenAccess W2124346166 @default.
- W2124346166 hasPrimaryLocation W21243461661 @default.
- W2124346166 isParatext "false" @default.
- W2124346166 isRetracted "false" @default.
- W2124346166 magId "2124346166" @default.
- W2124346166 workType "article" @default.