databases

2 notes carry this tag — 2 claims. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Optimistic concurrency control (Kung & Robinson, 1981) detects a conflicting concurrent write after the fact and aborts/restarts the losing transaction, rather than preventing the race pre-emptively

claim budding Tier 1 2026-10-31 · concurrent-systems, databases, optimistic-concurrency-control, transaction-processing, concurrency-control-history
Database 'lost update' (P4) and OS-security TOCTOU are distinct 20th-century formalisms, not synonyms — same phenomenon-shape, two separate naming traditions

claim budding Tier 1 2026-07-09 · concurrent-systems, race-conditions, databases, isolation-levels, lost-update