SOFRITAS: Serializable Ordering-Free Regions for Increasing Thread Atomicity Scalably.
Christian DeLozierAriel EizenbergBrandon LuciaJoseph DeviettiPublished in: ASPLOS (2018)
Keyphrases
- correctness criterion
- multidatabase systems
- desirable properties
- concurrency control
- query optimization
- transaction management
- database systems
- image features
- nested transactions
- integrity constraints
- parameter space
- linear logic
- transaction model
- partial order
- electronic commerce
- input image
- acid properties
- correctness criteria
- concurrent execution
- database
- image regions
- image sequences
- databases