Matches in SemOpenAlex for { <https://semopenalex.org/work/W3139775306> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3139775306 endingPage "162" @default.
- W3139775306 startingPage "151" @default.
- W3139775306 abstract "Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore ``low-level'' memory operations of an open-nested transaction when detecting conflicts for its parent transaction, and instead perform abstract concurrency control for the ``high-level'' operation that the nested transaction represents. To support this methodology, TM systems use an open-nested commit mechanism that commits all changes performed by an open-nested transaction directly to memory, thereby avoiding low-level conflicts. Unfortunately, because the TM runtime is unaware of the different levels of memory, unconstrained use of open-nested commits can lead to anomalous program behavior. We describe the framework of ownership-aware transactional memory which incorporates the notion of modules into the TM system and requires that transactions and data be associated with specific transactional modules or Xmodules. We propose a new ownership-aware commit mechanism , a hybrid between an open-nested and closed-nested commit which commits a piece of data differently depending on which Xmodule owns the data. Moreover, we provide a set of precise constraints on interactions and sharing of data among the Xmodules based on familiar notions of abstraction. The ownership-aware commit mechanism and these restrictions on Xmodules allow us to prove that ownership-aware TM has clean memory-level semantics. In particular, it guarantees serializability by modules , an adaptation of the definition of multilevel serializability from database systems. In addition, we describe how a programmer can specify Xmodules and ownership in a Java-like language. Our type system can enforce most of the constraints required by ownership-aware TM statically, and can enforce the remaining constraints dynamically. Finally, we prove that if transactions in the process of aborting obey restrictions on their memory footprint, then ownership-aware TM is free from semantic deadlock ." @default.
- W3139775306 created "2021-04-13" @default.
- W3139775306 creator A5039936050 @default.
- W3139775306 creator A5044351544 @default.
- W3139775306 creator A5082981099 @default.
- W3139775306 date "2009-02-14" @default.
- W3139775306 modified "2023-09-26" @default.
- W3139775306 title "Safe open-nested transactions through ownership" @default.
- W3139775306 cites W2023304911 @default.
- W3139775306 cites W2029477989 @default.
- W3139775306 cites W2047791971 @default.
- W3139775306 cites W2056890346 @default.
- W3139775306 cites W2072781375 @default.
- W3139775306 cites W2095825766 @default.
- W3139775306 cites W2113751407 @default.
- W3139775306 cites W2129458440 @default.
- W3139775306 cites W2160456755 @default.
- W3139775306 cites W4232315386 @default.
- W3139775306 doi "https://doi.org/10.1145/1594835.1504200" @default.
- W3139775306 hasPublicationYear "2009" @default.
- W3139775306 type Work @default.
- W3139775306 sameAs 3139775306 @default.
- W3139775306 citedByCount "0" @default.
- W3139775306 crossrefType "journal-article" @default.
- W3139775306 hasAuthorship W3139775306A5039936050 @default.
- W3139775306 hasAuthorship W3139775306A5044351544 @default.
- W3139775306 hasAuthorship W3139775306A5082981099 @default.
- W3139775306 hasBestOaLocation W31397753062 @default.
- W3139775306 hasConcept C120314980 @default.
- W3139775306 hasConcept C134277064 @default.
- W3139775306 hasConcept C137180784 @default.
- W3139775306 hasConcept C153180980 @default.
- W3139775306 hasConcept C155951066 @default.
- W3139775306 hasConcept C167149655 @default.
- W3139775306 hasConcept C191087605 @default.
- W3139775306 hasConcept C191558696 @default.
- W3139775306 hasConcept C199360897 @default.
- W3139775306 hasConcept C25185021 @default.
- W3139775306 hasConcept C41008148 @default.
- W3139775306 hasConcept C72108876 @default.
- W3139775306 hasConcept C75949130 @default.
- W3139775306 hasConcept C77088390 @default.
- W3139775306 hasConceptScore W3139775306C120314980 @default.
- W3139775306 hasConceptScore W3139775306C134277064 @default.
- W3139775306 hasConceptScore W3139775306C137180784 @default.
- W3139775306 hasConceptScore W3139775306C153180980 @default.
- W3139775306 hasConceptScore W3139775306C155951066 @default.
- W3139775306 hasConceptScore W3139775306C167149655 @default.
- W3139775306 hasConceptScore W3139775306C191087605 @default.
- W3139775306 hasConceptScore W3139775306C191558696 @default.
- W3139775306 hasConceptScore W3139775306C199360897 @default.
- W3139775306 hasConceptScore W3139775306C25185021 @default.
- W3139775306 hasConceptScore W3139775306C41008148 @default.
- W3139775306 hasConceptScore W3139775306C72108876 @default.
- W3139775306 hasConceptScore W3139775306C75949130 @default.
- W3139775306 hasConceptScore W3139775306C77088390 @default.
- W3139775306 hasIssue "4" @default.
- W3139775306 hasLocation W31397753061 @default.
- W3139775306 hasLocation W31397753062 @default.
- W3139775306 hasLocation W31397753063 @default.
- W3139775306 hasOpenAccess W3139775306 @default.
- W3139775306 hasPrimaryLocation W31397753061 @default.
- W3139775306 hasRelatedWork W1486594064 @default.
- W3139775306 hasRelatedWork W2104464524 @default.
- W3139775306 hasRelatedWork W2123909466 @default.
- W3139775306 hasRelatedWork W2125239195 @default.
- W3139775306 hasRelatedWork W2142585279 @default.
- W3139775306 hasRelatedWork W2287301553 @default.
- W3139775306 hasRelatedWork W2377080413 @default.
- W3139775306 hasRelatedWork W2386202574 @default.
- W3139775306 hasRelatedWork W4206668647 @default.
- W3139775306 hasRelatedWork W590454891 @default.
- W3139775306 hasVolume "44" @default.
- W3139775306 isParatext "false" @default.
- W3139775306 isRetracted "false" @default.
- W3139775306 magId "3139775306" @default.
- W3139775306 workType "article" @default.