~/talk

Consistency and isolation for Python programmers

Talkat PyCon US 2023 · 2023-04-19..04-27· [databases, python]
slides:none on file

Builds a toy Python telnet server demo that actually runs concurrency tests and shows which anomalies occur and why; implements read uncommitted, read committed, snapshot isolation (with snapshot isolation aborts writes logic), and serializable locking, and explains deadlocks and phantoms. Then models distributed replication, shows causal consistency with timestamps and linearizability tradeoffs. Includes runnable code, points to four or five papers, and explains when operations block, abort, or require consensus so you can judge performance versus correctness.

AI-written summary · about

  1. 0:00Start
  2. 0:53Consistency vs. Isolation
  3. 4:08READ UNCOMMITTED
  4. 6:10READ COMMITTED
  5. 13:16SERIALIZABILITY
  6. 14:30ISOLATION LEVELS
  7. 15:41DISTRIBUTED DATABASE
~/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.