EagleBear2002 的博客

02-12

arXiv'25-Using Read Promotion and Mixed Isolation Levels for Performant

01-22

SIGMOD'08-Serializable Isolation for Snapshot Databases

01-22

PODS'05-Allocating Isolation Levels to Transactions

12-16

并发程序一致性综述

12-13

VMCAI'20-Formalizing and Checking Multilevel Consistency

12-07

VLDB'21-Robustness Against Read Committed for Transaction Templates

12-07

ESOP'21-Verifying Visibility-Based Weak Consistency

11-29

PLDI'15-Declarative programming over eventually consistent data stores

11-29

POPL'19-Weak-Consistency Specification via Visibility Relaxation

11-17

ICDE'00-Generalized isolation level definitions