12 lines
580 B
SQL
12 lines
580 B
SQL
-- 文档编辑租约（运行时互斥，正交于 is_locked 生命周期锁）
|
|
ALTER TABLE document_records
|
|
ADD COLUMN IF NOT EXISTS lease_holder_type TEXT NOT NULL DEFAULT '',
|
|
ADD COLUMN IF NOT EXISTS lease_holder_id TEXT NOT NULL DEFAULT '',
|
|
ADD COLUMN IF NOT EXISTS lease_work_dir TEXT NOT NULL DEFAULT '',
|
|
ADD COLUMN IF NOT EXISTS lease_expires_at TIMESTAMPTZ,
|
|
ADD COLUMN IF NOT EXISTS lease_heartbeat_at TIMESTAMPTZ;
|
|
|
|
CREATE INDEX IF NOT EXISTS idx_doc_records_lease_expires
|
|
ON document_records (lease_expires_at)
|
|
WHERE lease_holder_type <> '';
|