hyungi
b9f9d88d99
배치 단일 트랜잭션이라 한 행의 예외가 배치 전체(앞 행 processed_at 포함)를 롤백 → poison 행이 매 사이클 최저 id 로 재선택되어 후속 발행이 영구 정지. outbox 모델에 재시도/terminal 컬럼이 전무(processing_queue·study_jobs 의 per-item 격리 패턴 미적용). - mig377: publish_outbox 에 attempts/failed_at 추가 - 워커: 행별 savepoint(begin_nested) 격리 — 예외 시 attempts++, MAX(5) 초과 시 failed_at 스탬프(terminal) 후 select 제외. 실패 행은 rev 미소모(드문 gap 은 단일 라이터·커밋순 부여라 viewer since-rev 증분 동기에 무해). study_publish_enabled=false 기본이라 현재 inert, 발행 활성화(P0-1b) 전 선결. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
65 lines
3.1 KiB
Python
65 lines
3.1 KiB
Python
"""발행 레이어 ORM (docsrv-viewer-publish) — published projection + publish_outbox.
|
|
|
|
관계(relationship) 없음 = 독립 테이블, configure_mappers 무영향. 마이그 367~372.
|
|
published = 뷰어가 read API(P0-2)로 당기는 render-ready projection(kind-discriminated).
|
|
publish_outbox = 저작/4-A 트랜잭션이 같은 tx에서 INSERT, 발행 워커가 drain 하며 rev 부여.
|
|
|
|
불변식(plan study-to-viewer-slice1):
|
|
pub_id opaque+stable = dedup키 = progress키 / rev = 워커 커밋순 gapless(pg_advisory_lock 단일 라이터)
|
|
/ (payload_hash, deleted) 디둡 / 삭제 = tombstone(deleted=true) / schema_version = 엔벨로프 버전.
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
from datetime import datetime
|
|
|
|
from sqlalchemy import BigInteger, Boolean, DateTime, SmallInteger, String, Text
|
|
from sqlalchemy.dialects.postgresql import JSONB
|
|
from sqlalchemy.orm import Mapped, mapped_column
|
|
|
|
from core.database import Base
|
|
|
|
|
|
class Published(Base):
|
|
__tablename__ = "published"
|
|
|
|
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
|
kind: Mapped[str] = mapped_column(String(40), nullable=False)
|
|
source_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
|
pub_id: Mapped[str] = mapped_column(Text, nullable=False)
|
|
payload: Mapped[dict] = mapped_column(JSONB, nullable=False)
|
|
payload_hash: Mapped[str] = mapped_column(Text, nullable=False)
|
|
schema_version: Mapped[int] = mapped_column(SmallInteger, nullable=False, default=1)
|
|
rev: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
|
deleted: Mapped[bool] = mapped_column(Boolean, nullable=False, default=False)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), default=datetime.now, nullable=False
|
|
)
|
|
updated_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), default=datetime.now, nullable=False
|
|
)
|
|
|
|
# UNIQUE(kind, pub_id)=mig368, UNIQUE(kind, source_id)=mig369, idx(rev)=mig370.
|
|
|
|
|
|
class PublishOutbox(Base):
|
|
__tablename__ = "publish_outbox"
|
|
|
|
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
|
kind: Mapped[str] = mapped_column(String(40), nullable=False)
|
|
source_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
|
payload: Mapped[dict] = mapped_column(JSONB, nullable=False)
|
|
payload_hash: Mapped[str] = mapped_column(Text, nullable=False)
|
|
schema_version: Mapped[int] = mapped_column(SmallInteger, nullable=False, default=1)
|
|
deleted: Mapped[bool] = mapped_column(Boolean, nullable=False, default=False)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), default=datetime.now, nullable=False
|
|
)
|
|
processed_at: Mapped[datetime | None] = mapped_column(DateTime(timezone=True))
|
|
# mig377: 행별 격리 재시도/terminal. attempts=savepoint 실패 누적, failed_at=MAX 초과 terminal
|
|
# (set 시 워커 select 에서 제외 → head-of-line block 방지).
|
|
attempts: Mapped[int] = mapped_column(SmallInteger, nullable=False, default=0)
|
|
failed_at: Mapped[datetime | None] = mapped_column(DateTime(timezone=True))
|
|
|
|
# 미처리 부분 인덱스 idx(id) WHERE processed_at IS NULL = mig372.
|