mirror of
https://github.com/deepseek-ai/deepseek-harness.git
synced 2026-09-12 04:01:20 +00:00
Turtle
c58097a826
Write handles now hold a durable lease (session.lock.json beside the log): a random owner token, diagnostic pid, and an expiry. Acquisition wins by exclusive create; a second process's create or write open rejects while the record is unrenewed for less than leaseTtlMs (default 5 min), and takes over after that — a crashed holder is waited out, never reclaimed by pid. The holder renews every leaseRenewIntervalMs (default 4 min); a renewal that finds a foreign, vanished, or expired record — or fails outright — marks the lease lost permanently, so every later append/flush rejects with SessionOwnershipLostError while reads continue. Close releases the record; read handles never touch it. Takeover of an expired record is eventually exclusive: a replaced holder stops within one renewal interval. Refs #3245
7 lines
440 B
YAML
7 lines
440 B
YAML
# Bilingual-pair consistency record (docs/i18n/README.md): the git blob hash of each
|
|
# side as of the last confirmed-consistent state. Both languages carry equal authority;
|
|
# after editing either side, bring the other along and re-record with:
|
|
# pnpm run verify-translation-pairing --write docs/subsystems/persistence.md
|
|
persistence.md: 7cce80f43591610c1e0667d480971dbd8f3cd4f7
|
|
persistence.zh.md: 73169ec2f3a58f06a7355922b0e0f7e4e82944c7
|