~/talk

NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the...

Talkat OSDI 2023 · 2023-07-10..07-12· [databases, distributed-systems]
name:Haonan Lu
links:none on file
name:Shuai Mu
links:none on file
links:none on file
links:none on file
slides:none on file

NCC is a concretely implemented concurrency control that executes naturally ordered transactions lock-free with non-blocking execution and decoupled response management, uses client-side timestamp-based consistency checking, and adds response-timing control to eliminate a discovered timestamp-inversion pitfall. The system guarantees strict serializability with best-case one-round latency, reduces false aborts via asynchrony-aware timestamps and smart retry, and in OSDI evaluations outperforms existing strict solutions (orders-of-magnitude on many workloads, ≳2× throughput vs OCC) while matching weaker MVTO performance.

AI-written summary · about

  1. 0:00NCC introduction and goals
  2. 2:15Strict serializability limits
  3. 3:41Natural consistency in workloads
  4. 4:50Three pillars of NCC
  5. 5:16Non-blocking server execution
  6. 8:09Client timestamp consistency
  7. 9:19Timestamp inversion pitfall
  8. 11:27Avoiding timestamp inversion
  9. 12:51System overview
  10. 13:34Implementation and results
  11. 14:59Summary
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.