Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138536231> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2138536231 endingPage "1274" @default.
- W2138536231 startingPage "1263" @default.
- W2138536231 abstract "Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in general. Despite this, it is widely used, supported in many commercial databases, and is in fact the highest available level of consistency in Oracle and Post-greSQL. Sufficient conditions for detecting whether SI anomalies could occur in a given set of transactions were presented recently, and extended to necessary conditions for transactions without predicate reads.In this paper we address several issues in extending the earlier theory to practical detection/correction of anomalies. We first show how to mechanically find a set of programs which is large enough so that we ensure that all executions will be free of SI anomalies, by modifying these programs appropriately. We then address the problem of false positives, i.e., transaction programs wrongly identified as possibly leading to anomalies, and present techniques that can significantly reduce such false positives. Unlike earlier work, our techniques are designed to be automated, rather than manually carried out. We describe a tool which we are developing to carry out this task. The tool operates on descriptions of the programs either taken from the application code itself, or taken from SQL query traces. It can be used with any database system. We have used our tool on two real world applications in production use at IIT Bombay, and detected several anomalies, some of which have caused real world problems. We believe such a tool will be invaluable for ensuring safe execution of the large number of applications which are already running under SI." @default.
- W2138536231 created "2016-06-24" @default.
- W2138536231 creator A5025255598 @default.
- W2138536231 creator A5047920922 @default.
- W2138536231 creator A5081847962 @default.
- W2138536231 creator A5083000215 @default.
- W2138536231 date "2007-09-23" @default.
- W2138536231 modified "2023-09-23" @default.
- W2138536231 title "Automating the detection of snapshot isolation anomalies" @default.
- W2138536231 cites W1569583874 @default.
- W2138536231 cites W1968658954 @default.
- W2138536231 cites W1970748906 @default.
- W2138536231 cites W1991199257 @default.
- W2138536231 cites W1996952974 @default.
- W2138536231 cites W2117917070 @default.
- W2138536231 cites W2119887456 @default.
- W2138536231 cites W2133752438 @default.
- W2138536231 cites W2153329411 @default.
- W2138536231 cites W2169472560 @default.
- W2138536231 cites W2435606122 @default.
- W2138536231 hasPublicationYear "2007" @default.
- W2138536231 type Work @default.
- W2138536231 sameAs 2138536231 @default.
- W2138536231 citedByCount "33" @default.
- W2138536231 countsByYear W21385362312012 @default.
- W2138536231 countsByYear W21385362312013 @default.
- W2138536231 countsByYear W21385362312014 @default.
- W2138536231 countsByYear W21385362312015 @default.
- W2138536231 countsByYear W21385362312018 @default.
- W2138536231 countsByYear W21385362312019 @default.
- W2138536231 countsByYear W21385362312021 @default.
- W2138536231 crossrefType "proceedings-article" @default.
- W2138536231 hasAuthorship W2138536231A5025255598 @default.
- W2138536231 hasAuthorship W2138536231A5047920922 @default.
- W2138536231 hasAuthorship W2138536231A5081847962 @default.
- W2138536231 hasAuthorship W2138536231A5083000215 @default.
- W2138536231 hasConcept C124101348 @default.
- W2138536231 hasConcept C140146324 @default.
- W2138536231 hasConcept C154945302 @default.
- W2138536231 hasConcept C193702766 @default.
- W2138536231 hasConcept C199360897 @default.
- W2138536231 hasConcept C41008148 @default.
- W2138536231 hasConcept C52723943 @default.
- W2138536231 hasConcept C55166926 @default.
- W2138536231 hasConcept C55282118 @default.
- W2138536231 hasConcept C64869954 @default.
- W2138536231 hasConcept C75949130 @default.
- W2138536231 hasConcept C77088390 @default.
- W2138536231 hasConceptScore W2138536231C124101348 @default.
- W2138536231 hasConceptScore W2138536231C140146324 @default.
- W2138536231 hasConceptScore W2138536231C154945302 @default.
- W2138536231 hasConceptScore W2138536231C193702766 @default.
- W2138536231 hasConceptScore W2138536231C199360897 @default.
- W2138536231 hasConceptScore W2138536231C41008148 @default.
- W2138536231 hasConceptScore W2138536231C52723943 @default.
- W2138536231 hasConceptScore W2138536231C55166926 @default.
- W2138536231 hasConceptScore W2138536231C55282118 @default.
- W2138536231 hasConceptScore W2138536231C64869954 @default.
- W2138536231 hasConceptScore W2138536231C75949130 @default.
- W2138536231 hasConceptScore W2138536231C77088390 @default.
- W2138536231 hasOpenAccess W2138536231 @default.
- W2138536231 hasRelatedWork W1515932031 @default.
- W2138536231 hasRelatedWork W1545155892 @default.
- W2138536231 hasRelatedWork W1569583874 @default.
- W2138536231 hasRelatedWork W1861475200 @default.
- W2138536231 hasRelatedWork W1968658954 @default.
- W2138536231 hasRelatedWork W1970748906 @default.
- W2138536231 hasRelatedWork W1989306170 @default.
- W2138536231 hasRelatedWork W1991199257 @default.
- W2138536231 hasRelatedWork W1996952974 @default.
- W2138536231 hasRelatedWork W2023304911 @default.
- W2138536231 hasRelatedWork W2097597441 @default.
- W2138536231 hasRelatedWork W2101027550 @default.
- W2138536231 hasRelatedWork W2117780839 @default.
- W2138536231 hasRelatedWork W2117917070 @default.
- W2138536231 hasRelatedWork W2119887456 @default.
- W2138536231 hasRelatedWork W2131751093 @default.
- W2138536231 hasRelatedWork W2133386065 @default.
- W2138536231 hasRelatedWork W2139285682 @default.
- W2138536231 hasRelatedWork W2435606122 @default.
- W2138536231 hasRelatedWork W2725226870 @default.
- W2138536231 isParatext "false" @default.
- W2138536231 isRetracted "false" @default.
- W2138536231 magId "2138536231" @default.
- W2138536231 workType "article" @default.