FRINK Linked Data Fragments server

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

• W16789027 abstract "This dissertation addresses the challenge of maintaining the correctness of transactional memory programs, while improving its parallelism with small transactions and relaxed isolation levels. The efficiency of the transactional memory systems depends directly on the level of parallelism, which in turn depends on the conflict rate. A high conflict rate between memory transactions can be addressed by reducing the scope of transactions, but this approach may turn the application prone to the occurrence of atomicity violations. Another way to address this issue is to ignore some of the conflicts by using a relaxed isolation level, such as snapshot isolation, at the cost of introducing write-skews serialization anomalies that break the consistency guarantees provided by a stronger consistency property, such as opacity. In order to tackle the correctness issues raised by the atomicity violations and the write-skew anomalies, we propose two static analysis techniques: one based in a novel static analysis algorithm that works on a dependency graph of program variables and detects atomicity violations; and a second one based in a shape analysis technique supported by separation logic augmented with heap path expressions, a novel representation based on sequences of heap dereferences that certifies if a transactional memory program executing under snapshot isolation is free from writeskew anomalies. The evaluation of the runtime execution of a transactional memory algorithm using snapshot isolation requires a framework that allows an efficient implementation of a multi-version algorithm and, at the same time, enables its comparison with other existing transactional memory algorithms. In the Java programming language there was no framework satisfying both these requirements. Hence, we extended an existing software transactional memory framework that already supported efficient implementations of some transactional memory algorithms, to also support the efficient implementation of multi-version algorithms. The key insight for this extension is the support for storing the transactional metadata adjacent to memory locations. We illustrate the benefits of our approach by analyzing its impact with both singleand multi-version transactional memory algorithms using several transactional workloads." @default.
• W16789027 created "2016-06-24" @default.
• W16789027 creator A5051981940 @default.
• W16789027 date "2013-01-01" @default.
• W16789027 modified "2023-09-27" @default.
• W16789027 title "Maintaining the correctness of transactional memory programs" @default.
• W16789027 cites W1445130277 @default.
• W16789027 cites W1500987966 @default.
• W16789027 cites W1508482211 @default.
• W16789027 cites W1508811155 @default.
• W16789027 cites W1509311223 @default.
• W16789027 cites W1515932031 @default.
• W16789027 cites W1532324212 @default.
• W16789027 cites W1537636533 @default.
• W16789027 cites W1542975293 @default.
• W16789027 cites W1545155892 @default.
• W16789027 cites W1550127321 @default.
• W16789027 cites W1557311886 @default.
• W16789027 cites W1569183949 @default.
• W16789027 cites W1571391756 @default.
• W16789027 cites W1649645444 @default.
• W16789027 cites W194697996 @default.
• W16789027 cites W1965462925 @default.
• W16789027 cites W1972544179 @default.
• W16789027 cites W1981423585 @default.
• W16789027 cites W1983496086 @default.
• W16789027 cites W1989293671 @default.
• W16789027 cites W1991199257 @default.
• W16789027 cites W1991837261 @default.
• W16789027 cites W1993179651 @default.
• W16789027 cites W1996952974 @default.
• W16789027 cites W2015929257 @default.
• W16789027 cites W2030697178 @default.
• W16789027 cites W2034963261 @default.
• W16789027 cites W2039350582 @default.
• W16789027 cites W2039404410 @default.
• W16789027 cites W2043100293 @default.
• W16789027 cites W2053154567 @default.
• W16789027 cites W2072062729 @default.
• W16789027 cites W2080696000 @default.
• W16789027 cites W2082766667 @default.
• W16789027 cites W2084130915 @default.
• W16789027 cites W2092911542 @default.
• W16789027 cites W2093215549 @default.
• W16789027 cites W2101161997 @default.
• W16789027 cites W2101811680 @default.
• W16789027 cites W2101939036 @default.
• W16789027 cites W2103933790 @default.
• W16789027 cites W2105055683 @default.
• W16789027 cites W2106064327 @default.
• W16789027 cites W2109033563 @default.
• W16789027 cites W2113751407 @default.
• W16789027 cites W2120748340 @default.
• W16789027 cites W2122206368 @default.
• W16789027 cites W2125533170 @default.
• W16789027 cites W2128585185 @default.
• W16789027 cites W2135560834 @default.
• W16789027 cites W2138536231 @default.
• W16789027 cites W2138559037 @default.
• W16789027 cites W2141539412 @default.
• W16789027 cites W2144457445 @default.
• W16789027 cites W2149298504 @default.
• W16789027 cites W2151467437 @default.
• W16789027 cites W2152686702 @default.
• W16789027 cites W2154985136 @default.
• W16789027 cites W2157876236 @default.
• W16789027 cites W2160563691 @default.
• W16789027 cites W2161600851 @default.
• W16789027 cites W2163654949 @default.
• W16789027 cites W2167744164 @default.
• W16789027 cites W2170612356 @default.
• W16789027 cites W2172255864 @default.
• W16789027 cites W2262502430 @default.
• W16789027 cites W2994800998 @default.
• W16789027 cites W3146075203 @default.
• W16789027 cites W91716996 @default.
• W16789027 cites W1556981576 @default.
• W16789027 cites W338991206 @default.
• W16789027 hasPublicationYear "2013" @default.
• W16789027 type Work @default.
• W16789027 sameAs 16789027 @default.
• W16789027 citedByCount "0" @default.
• W16789027 crossrefType "dissertation" @default.
• W16789027 hasAuthorship W16789027A5051981940 @default.
• W16789027 hasConcept C120314980 @default.
• W16789027 hasConcept C134277064 @default.
• W16789027 hasConcept C134757568 @default.
• W16789027 hasConcept C167149655 @default.
• W16789027 hasConcept C173608175 @default.
• W16789027 hasConcept C188045909 @default.
• W16789027 hasConcept C199360897 @default.
• W16789027 hasConcept C37279795 @default.
• W16789027 hasConcept C41008148 @default.
• W16789027 hasConcept C52723943 @default.
• W16789027 hasConcept C55439883 @default.
• W16789027 hasConcept C75949130 @default.
• W16789027 hasConceptScore W16789027C120314980 @default.
• W16789027 hasConceptScore W16789027C134277064 @default.
• W16789027 hasConceptScore W16789027C134757568 @default.
• W16789027 hasConceptScore W16789027C167149655 @default.

• next