FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022984109> ?p ?o ?g. }

• W2022984109 endingPage "127" @default.
• W2022984109 startingPage "113" @default.
• W2022984109 abstract "The aim of a Software Transactional Memory (STM) is to discharge the programmers from the management of synchronization in multiprocess programs that access concurrent objects. To that end, an STM system provides the programmer with the concept of a transaction. The job of the programmer is to design each process the application is made up of as a sequence of transactions. A transaction is a piece of code that accesses concurrent objects, but contains no explicit synchronization statement. It is the job of the underlying STM system to provide the illusion that each transaction appears as being executed atomically. Of course, for efficiency, an STM system has to allow transactions to execute concurrently. Consequently, due to the underlying STM concurrency management, a transaction commits or aborts. This paper first presents a new STM consistency condition, called virtual world consistency. This condition states that no transaction reads object values from an inconsistent global state. It is similar to opacity for the committed transactions but weaker for the aborted transactions. More precisely, it states that (1) the committed transactions can be totally ordered, and (2) the values read by each aborted transaction are consistent with respect to its causal past. Hence, virtual world consistency is weaker than opacity while keeping its spirit. Then, assuming the objects shared by the processes are atomic read/write objects, the paper presents an STM protocol that ensures virtual world consistency (while guaranteeing the invisibility of the read operations). From an operational point of view, this protocol is based on a vector-clock mechanism. Finally, the paper considers the case where the shared objects are regular read/write objects. It also shows how the protocol can easily be weakened while still providing an STM system that satisfies causal consistency, a condition strictly weaker than virtual world consistency." @default.
• W2022984109 created "2016-06-24" @default.
• W2022984109 creator A5001545243 @default.
• W2022984109 creator A5032336554 @default.
• W2022984109 date "2012-07-01" @default.
• W2022984109 modified "2023-10-18" @default.
• W2022984109 title "Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)" @default.
• W2022984109 cites W1747119235 @default.
• W2022984109 cites W1981173460 @default.
• W2022984109 cites W1993805917 @default.
• W2022984109 cites W2007130930 @default.
• W2022984109 cites W2023304911 @default.
• W2022984109 cites W2026697016 @default.
• W2022984109 cites W2042885752 @default.
• W2022984109 cites W2043801088 @default.
• W2022984109 cites W2079993872 @default.
• W2022984109 cites W2080922475 @default.
• W2022984109 cites W2082002418 @default.
• W2022984109 cites W2101939036 @default.
• W2022984109 cites W2113751407 @default.
• W2022984109 cites W2131053137 @default.
• W2022984109 cites W2152812436 @default.
• W2022984109 cites W2769656678 @default.
• W2022984109 cites W3137220996 @default.
• W2022984109 doi "https://doi.org/10.1016/j.tcs.2012.04.037" @default.
• W2022984109 hasPublicationYear "2012" @default.
• W2022984109 type Work @default.
• W2022984109 sameAs 2022984109 @default.
• W2022984109 citedByCount "31" @default.
• W2022984109 countsByYear W20229841092012 @default.
• W2022984109 countsByYear W20229841092014 @default.
• W2022984109 countsByYear W20229841092015 @default.
• W2022984109 countsByYear W20229841092016 @default.
• W2022984109 countsByYear W20229841092017 @default.
• W2022984109 countsByYear W20229841092018 @default.
• W2022984109 countsByYear W20229841092019 @default.
• W2022984109 countsByYear W20229841092021 @default.
• W2022984109 countsByYear W20229841092022 @default.
• W2022984109 crossrefType "journal-article" @default.
• W2022984109 hasAuthorship W2022984109A5001545243 @default.
• W2022984109 hasAuthorship W2022984109A5032336554 @default.
• W2022984109 hasConcept C111919701 @default.
• W2022984109 hasConcept C115537543 @default.
• W2022984109 hasConcept C120314980 @default.
• W2022984109 hasConcept C127162648 @default.
• W2022984109 hasConcept C134277064 @default.
• W2022984109 hasConcept C141917322 @default.
• W2022984109 hasConcept C142724271 @default.
• W2022984109 hasConcept C154945302 @default.
• W2022984109 hasConcept C155951066 @default.
• W2022984109 hasConcept C167149655 @default.
• W2022984109 hasConcept C189783530 @default.
• W2022984109 hasConcept C193702766 @default.
• W2022984109 hasConcept C199360897 @default.
• W2022984109 hasConcept C204787440 @default.
• W2022984109 hasConcept C25185021 @default.
• W2022984109 hasConcept C2776436953 @default.
• W2022984109 hasConcept C2778562939 @default.
• W2022984109 hasConcept C2780385302 @default.
• W2022984109 hasConcept C31258907 @default.
• W2022984109 hasConcept C37279795 @default.
• W2022984109 hasConcept C38556500 @default.
• W2022984109 hasConcept C41008148 @default.
• W2022984109 hasConcept C71924100 @default.
• W2022984109 hasConcept C72108876 @default.
• W2022984109 hasConcept C75949130 @default.
• W2022984109 hasConcept C84511453 @default.
• W2022984109 hasConcept C93361087 @default.
• W2022984109 hasConceptScore W2022984109C111919701 @default.
• W2022984109 hasConceptScore W2022984109C115537543 @default.
• W2022984109 hasConceptScore W2022984109C120314980 @default.
• W2022984109 hasConceptScore W2022984109C127162648 @default.
• W2022984109 hasConceptScore W2022984109C134277064 @default.
• W2022984109 hasConceptScore W2022984109C141917322 @default.
• W2022984109 hasConceptScore W2022984109C142724271 @default.
• W2022984109 hasConceptScore W2022984109C154945302 @default.
• W2022984109 hasConceptScore W2022984109C155951066 @default.
• W2022984109 hasConceptScore W2022984109C167149655 @default.
• W2022984109 hasConceptScore W2022984109C189783530 @default.
• W2022984109 hasConceptScore W2022984109C193702766 @default.
• W2022984109 hasConceptScore W2022984109C199360897 @default.
• W2022984109 hasConceptScore W2022984109C204787440 @default.
• W2022984109 hasConceptScore W2022984109C25185021 @default.
• W2022984109 hasConceptScore W2022984109C2776436953 @default.
• W2022984109 hasConceptScore W2022984109C2778562939 @default.
• W2022984109 hasConceptScore W2022984109C2780385302 @default.
• W2022984109 hasConceptScore W2022984109C31258907 @default.
• W2022984109 hasConceptScore W2022984109C37279795 @default.
• W2022984109 hasConceptScore W2022984109C38556500 @default.
• W2022984109 hasConceptScore W2022984109C41008148 @default.
• W2022984109 hasConceptScore W2022984109C71924100 @default.
• W2022984109 hasConceptScore W2022984109C72108876 @default.
• W2022984109 hasConceptScore W2022984109C75949130 @default.
• W2022984109 hasConceptScore W2022984109C84511453 @default.
• W2022984109 hasConceptScore W2022984109C93361087 @default.
• W2022984109 hasLocation W20229841091 @default.
• W2022984109 hasOpenAccess W2022984109 @default.
• W2022984109 hasPrimaryLocation W20229841091 @default.

• next