Matches in SemOpenAlex for { <https://semopenalex.org/work/W3139576051> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3139576051 endingPage "41" @default.
- W3139576051 startingPage "31" @default.
- W3139576051 abstract "In this paper, we consider concurrent programs in which the shared state consists of instances of linearizable ADTs (abstract data types). We present an automated approach to concurrency control that addresses a common need: the need to atomically execute a code fragment, which may contain multiple ADT operations on multiple ADT instances. We present a synthesis algorithm that automatically enforces atomicity of given code fragments (in a client program) by inserting pessimistic synchronization that guarantees atomicity and deadlock-freedom (without using any rollback mechanism). Our algorithm takes a commutativity specification as an extra input. This specification indicates for every pair of ADT operations the conditions under which the operations commute. Our algorithm enables greater parallelism by permitting commuting operations to execute concurrently. We have implemented the synthesis algorithm in a Java compiler, and applied it to several Java programs. Our results show that our approach produces efficient and scalable synchronization." @default.
- W3139576051 created "2021-04-13" @default.
- W3139576051 creator A5001473006 @default.
- W3139576051 creator A5006542273 @default.
- W3139576051 creator A5037105942 @default.
- W3139576051 creator A5073428480 @default.
- W3139576051 date "2015-01-24" @default.
- W3139576051 modified "2023-10-18" @default.
- W3139576051 title "Automatic scalable atomicity via semantic locking" @default.
- W3139576051 cites W2067686439 @default.
- W3139576051 cites W2097279136 @default.
- W3139576051 cites W2098575846 @default.
- W3139576051 cites W2101939036 @default.
- W3139576051 cites W2129555383 @default.
- W3139576051 cites W2149298504 @default.
- W3139576051 cites W2169611673 @default.
- W3139576051 cites W3083604022 @default.
- W3139576051 cites W6811313 @default.
- W3139576051 doi "https://doi.org/10.1145/2858788.2688511" @default.
- W3139576051 hasPublicationYear "2015" @default.
- W3139576051 type Work @default.
- W3139576051 sameAs 3139576051 @default.
- W3139576051 citedByCount "2" @default.
- W3139576051 countsByYear W31395760512020 @default.
- W3139576051 crossrefType "journal-article" @default.
- W3139576051 hasAuthorship W3139576051A5001473006 @default.
- W3139576051 hasAuthorship W3139576051A5006542273 @default.
- W3139576051 hasAuthorship W3139576051A5037105942 @default.
- W3139576051 hasAuthorship W3139576051A5073428480 @default.
- W3139576051 hasConcept C111919701 @default.
- W3139576051 hasConcept C120314980 @default.
- W3139576051 hasConcept C127162648 @default.
- W3139576051 hasConcept C159023740 @default.
- W3139576051 hasConcept C169590947 @default.
- W3139576051 hasConcept C173608175 @default.
- W3139576051 hasConcept C188045909 @default.
- W3139576051 hasConcept C193702766 @default.
- W3139576051 hasConcept C199360897 @default.
- W3139576051 hasConcept C2778562939 @default.
- W3139576051 hasConcept C31258907 @default.
- W3139576051 hasConcept C41008148 @default.
- W3139576051 hasConcept C48044578 @default.
- W3139576051 hasConcept C548217200 @default.
- W3139576051 hasConcept C75949130 @default.
- W3139576051 hasConcept C84511453 @default.
- W3139576051 hasConceptScore W3139576051C111919701 @default.
- W3139576051 hasConceptScore W3139576051C120314980 @default.
- W3139576051 hasConceptScore W3139576051C127162648 @default.
- W3139576051 hasConceptScore W3139576051C159023740 @default.
- W3139576051 hasConceptScore W3139576051C169590947 @default.
- W3139576051 hasConceptScore W3139576051C173608175 @default.
- W3139576051 hasConceptScore W3139576051C188045909 @default.
- W3139576051 hasConceptScore W3139576051C193702766 @default.
- W3139576051 hasConceptScore W3139576051C199360897 @default.
- W3139576051 hasConceptScore W3139576051C2778562939 @default.
- W3139576051 hasConceptScore W3139576051C31258907 @default.
- W3139576051 hasConceptScore W3139576051C41008148 @default.
- W3139576051 hasConceptScore W3139576051C48044578 @default.
- W3139576051 hasConceptScore W3139576051C548217200 @default.
- W3139576051 hasConceptScore W3139576051C75949130 @default.
- W3139576051 hasConceptScore W3139576051C84511453 @default.
- W3139576051 hasIssue "8" @default.
- W3139576051 hasLocation W31395760511 @default.
- W3139576051 hasOpenAccess W3139576051 @default.
- W3139576051 hasPrimaryLocation W31395760511 @default.
- W3139576051 hasRelatedWork W1410623378 @default.
- W3139576051 hasRelatedWork W1480853724 @default.
- W3139576051 hasRelatedWork W1604898313 @default.
- W3139576051 hasRelatedWork W2023785576 @default.
- W3139576051 hasRelatedWork W2097014073 @default.
- W3139576051 hasRelatedWork W2103627184 @default.
- W3139576051 hasRelatedWork W2162118494 @default.
- W3139576051 hasRelatedWork W2258437408 @default.
- W3139576051 hasRelatedWork W2788685475 @default.
- W3139576051 hasRelatedWork W2998398829 @default.
- W3139576051 hasVolume "50" @default.
- W3139576051 isParatext "false" @default.
- W3139576051 isRetracted "false" @default.
- W3139576051 magId "3139576051" @default.
- W3139576051 workType "article" @default.