Accurate Inter-Transaction Dependency Tracking for Repairable DBMS

Author(s):  
Shweta Bajpai ◽  
Alexey Smirnov ◽  
Tzi-cker Chiueh
Keyword(s):  
Author(s):  
Sangameshwar Patil ◽  
Guruprasad Aphale ◽  
Ankit Mehrotra ◽  
Harrick Vin ◽  
Rahul Kelkar

1997 ◽  
Vol 27 (1) ◽  
pp. 90-97
Author(s):  
Om P. Damani ◽  
Yi-Min Wang ◽  
Vijay K. Garg

1996 ◽  
Vol 06 (03) ◽  
pp. 427-435 ◽  
Author(s):  
CLAUDE JARD ◽  
GUY-VINCENT JOURDAN

The notion of causal dependency between events in distributed systems plays a central role in reasoning about distributed program behaviours [14]. Different techniques have been designed to track these dependencies during execution. We suggest a new incremental transitive dependency tracking technique. Once the transitive dependencies are recorded for an observable event, the dependency tracking cost can be reduced by propagating only future dependencies beyond that event. Furthermore, in contrast with the direct dependency tracking technique already proposed in the literature, our technique allows to compute the dependencies among an arbitrary subset of observable events. This gives an interesting filtering capability.


PeerJ ◽  
2019 ◽  
Vol 7 ◽  
pp. e7223 ◽  
Author(s):  
Justin Bedő

Typical bioinformatics analyses comprise of long running computational workflows. An important part of reproducible research is the management and execution of these workflows to allow robust execution and to minimise errors. BioShake is an embedded domain specific language in Haskell for specifying and executing computational workflows for bioinformatics that significantly reduces the possibility of errors occurring. Unlike other workflow frameworks, BioShake raises many properties to the type level allowing the correctness of a workflow to be statically checked during compilation, catching errors before any lengthy execution process. BioShake builds on the Shake build tool to provide robust dependency tracking, parallel execution, reporting, and resumption capabilities. Finally, BioShake abstracts execution so that jobs can either be executed directly or submitted to a cluster. BioShake is available at http://github.com/PapenfussLab/bioshake.


Sign in / Sign up

Export Citation Format

Share Document