mirror of
https://github.com/ThearchyHelios/AgentLab.git
synced 2026-11-15 02:21:58 +00:00
ThearchyHelios
2cdbf9a733
按期累积（新 recipe_accumulate；table_versions 扩展） - 按统计期出的交叉表报表首次导入时默认「按期累积」，由人确认；一期一个构建，两期及以上物化成一份新的 SQLite 快照，不用视图 - 统计期完全相同要勾「替换该期」，部分重叠拒收，中间有空缺要确认；物化前逐期核对库哈希和行号，并集上另加行数守恒、主键唯一、日期落在所属统计期三条核对 - 配方演进分三档：新增列（早期各期为空值）、退役的列和表保留旧值（只在这次才退役时要勾）、不兼容变化只能显式「重新开始累积」 - 快照 id 在累积时含目标配方和模式；同样的输入物化两次库哈希相同，同一文件换名再传直接复用 - 说明按期合并，任何一期没核对过就不写「已核对」；各期维度取值不同、退役列、合计表都有提示，经过数字检查 修复按钮（新 recipe_fixes；执行器给问题带结构化参数） - 加入标签、移除标签、声明为合计行、分段标题改名、编辑恒等式成员、按锚点忽略行/列/区域外文字、声明占位符、声明隐藏行处理、工作表改名 - 服务端算补丁，先预览新旧配方对照、再应用，可以撤销；补丁封闭，不引入正则、自由文本常量和写死坐标；修复进确认清单 - 只改分段标题、新标题仍含原来选的词时沿用已确认的常量，不算破坏性变更；修复后只查改动过的段的认领，没改的关系交给试运行核对 框选转锚点（新 recipe_select） - 网格上框选（鼠标、键盘、区域输入），按八种用途换算成按文字认的锚点，立刻干跑比对；配方里不存坐标，泛化不了时列出原因 - 整张表挪位后同一配方照样认得；框进合计行、夹着小计、表下说明都有明确的处理 确认与对照（recipe_confirm、recipe_diff、新 recipe_compare） - 改配方后确认清单只列有变化的项（同时按本期数据比较），不用每修一次重勾十来项；新旧配方对照界面；按规则重新起草并把名字对齐到现行配方 - 改配方后已体现在配方里的回答保留，矛盾的列出来请人重答 - 「排除的行」写进回执和导入清单：隐藏行、跳过的空行、按配方忽略的行、停止后的文字行、只核对不另存的合计行 版本页（新 source_versions、api/source_versions；前端 VersionsDialog） - 快照与导入记录列表、启用旧版本（可写理由）、查看清单、移除一期、作废接受、清除原件；写操作带界面看到的当前版本，并发改动回 409，不静默丢期 - 除当前版本和被运行引用的版本外，再保留最近 3 个版本供回滚；遮罩列丢失要明确确认 期 1、期 2 遗留 - 重传撞上被改过的构建文件：能用本次上传恢复就隔离旧文件再恢复，否则回 409，不再是 500 - 跳过空行的列表不再把表下隔一行的说明读成数据；不像说明的单格行要人确认；受影响的配方构建换 id - 版本存储加进程级文件锁：第二个进程拿不到锁时不清理、不回收，写操作回 503（部署本来就是单进程）
2673 lines
141 KiB
Python
2673 lines
141 KiB
Python
"""上传表格的版本底座：构建、导入记录、快照，以及发布、迁移、回收。
|
||
|
||
**为什么要有版本。** 以前重传是往同一个 .db 里 DROP + CREATE：第一张表的 DROP/CREATE 先
|
||
自动提交，后面失败时库里是新旧混杂的数据；正在查询的连接看到半截的库；运行查到的数据和它
|
||
冻结下来的表结构可能不是同一版；原件不留，说不清用的是哪份文件。改成三层，每层不可变：
|
||
|
||
- 构建（table_builds）：一次解析的产物，id = sha256(源、原件、选项、解析器版本)。库文件写到
|
||
新路径、改成 0444，之后不再动。同一个源重传同一个文件得到同一个构建。
|
||
- 导入记录（table_imports）：一次上传。谁、何时、什么文件、原件留没留，都在这里。
|
||
- 快照（source_snapshots）：数据源的一个可查询版本 = 若干期导入 + 冻结的表结构。期 1 只做
|
||
「每期替换」，一个快照就是一期，库直接用那次构建的文件。
|
||
|
||
数据源上只记「当前快照」这一个指针（current_snapshot_id）。发布时先把文件写好、落盘，最后
|
||
在一个事务里写三层记录并切指针：任何一步失败，指针不动，旧版完整可查。
|
||
|
||
**查询怎么拿到版本。** resolve_source 把上传源换成绑定某个快照的 SourceView（库路径、表结构
|
||
都来自快照，immutable、带期望哈希）；运行钉住的快照找不到时明确报错，绝不退回当前指针。
|
||
|
||
**回收。** 任何运行引用的快照、各源当前快照，以及它们用到的构建和原件受保护；其余的删文件、
|
||
记录标 retired 留作审计。
|
||
|
||
**按配方导入（期 2）。** 构建、导入记录、快照三层和查询路径都不变，只是多了两样：
|
||
- 发布拆成两步：publish_upload 只管解析，「把一个建好的临时库发布成新版本」抽成 publish_build，
|
||
配方导入的提交事务也调它（带期望的库哈希、锁内的提交前回调）；
|
||
- 暂存区（import_stagings）：没发布的尝试都在这里，提交成功前不碰数据源。它引用的原件、试运行库
|
||
归这里的回收与清理管：未结束的暂存区保护原件，结束即瘦身，过期、放弃、清除原件都会结束它。
|
||
|
||
**按期累积与版本页（期 3）。** 三层仍不变，只是一个快照可以有多期：
|
||
- 两期及以上（或一期但那一期的配方不是目标配方）时，快照库是物化出的并集（recipe_accumulate.materialize_union），
|
||
也登记成一个构建（engine_ver=UNION_VER），文件在 tables/<源>/snapshots/<并集 id>.db；
|
||
- publish_snapshot 发布多期的快照（提交、移除某一期、作废接受都走它），activate_snapshot 启用一个还保留着的
|
||
旧快照（回滚）。两者都在锁内核对「当前版本没被别人换掉」（expected_current），快照 id 已存在时复用或复活；
|
||
- 回收在当前快照、被运行引用的快照之外，再给每个源保留最近启用过的 SNAPSHOT_KEEP 个快照，回滚才有东西可回；
|
||
- 发布撞上被改过的同版本文件时，能用这次的临时库恢复就恢复，原文件挪进隔离区（uploads/quarantine）；
|
||
- 版本存储只支持单进程：启动时取数据目录上的文件锁（acquire_store_guard），拿不到就不做任何清理，
|
||
之后的写入一律拒绝（require_store_writable）。
|
||
"""
|
||
from __future__ import annotations
|
||
|
||
import asyncio
|
||
import copy
|
||
import dataclasses
|
||
import hashlib
|
||
import json
|
||
import logging
|
||
import os
|
||
import re
|
||
import secrets
|
||
import sqlite3
|
||
import stat
|
||
import weakref
|
||
from dataclasses import dataclass, field
|
||
from datetime import datetime, timedelta, timezone
|
||
from pathlib import Path
|
||
from typing import Any, Awaitable, Callable, Iterator, NamedTuple, Sequence
|
||
from urllib.parse import unquote, urlsplit
|
||
|
||
from sqlalchemy import and_, delete, func, or_, select, update
|
||
from sqlalchemy import inspect as sa_inspect
|
||
from sqlalchemy.engine import make_url
|
||
from sqlalchemy.ext.asyncio import AsyncSession
|
||
|
||
from app.core.config import settings
|
||
from app.core.errors import explain, first_line
|
||
from app.data import introspect as introspect_mod
|
||
from app.data import raw_store, recipe_parsers, recipe_types, tabular
|
||
from app.data.engine import SnapshotTampered as _EngineSnapshotTampered
|
||
from app.data.engine import engines, masked_columns
|
||
from app.db import base as db_base
|
||
from app.db.base import new_id, utcnow
|
||
from app.db.models import (
|
||
DataSource, ImportStaging, Run, SnapshotActivation, SourceSnapshot, TableBuild, TableImport, TableRecipe,
|
||
)
|
||
|
||
logger = logging.getLogger(__name__)
|
||
|
||
#: 解析器版本，进构建 id。解析规则改了（类型推断、名字规则、区域判定）就要改它：同一份原件
|
||
#: 按新规则建出来的库不是同一个构建，不能复用旧文件
|
||
ENGINE_VER = "tabular/2"
|
||
#: 迁移前的老上传：只剩一个 .db，不知道当时按什么规则解析的
|
||
LEGACY_ENGINE_VER = "legacy"
|
||
|
||
#: 未规整的表写进表结构的说明。不含数字和坐标：说明会进模型看得到的文本（H11）。定义在 tabular（见那里）
|
||
UNSHAPED_NOTE = tabular.UNSHAPED_NOTE
|
||
|
||
_CSV_EXTS = (".csv", ".tsv")
|
||
_SOURCE_ID = re.compile(r"^[A-Za-z0-9_-]{1,64}$")
|
||
_TMP = raw_store.TMP_MARK
|
||
#: 探查新库时引擎缓存用的一次性键的标记（不含冒号：data/engine.py 按最后一个冒号切出源 id）
|
||
_PROBE = "~probe~"
|
||
#: 上传库只有 main：options 里的这一项对上传源没有意义，留着只会让探查去找不存在的 schema
|
||
_SCHEMA_OPTION = "schema"
|
||
|
||
#: 回收在「运行引用的、各源当前的」之外，再按 coalesce(activated_at, created_at) 倒序给每个源保留几个快照。
|
||
#: 当前快照和被运行引用的快照**不占名额**：用户定案 P3-3 的原话是「当前版本、被运行引用的版本之外，再保留最近
|
||
#: 几个」，版本页顶部常驻的保留规则（VERSIONS_TEXT.retentionRule）也这么说，名额要是把当前版本算进去，界面说的
|
||
#: 「保留 3 个」实际只有 2 个可回滚。期 1 只保留前两类（等于这里取 0）：发布 9 月之后 8 月的快照马上被回收，回滚
|
||
#: 在实际中几乎做不了。每个物化过的累积版本是一份全量副本，保留越多越占空间（P3-SPEC 1.4 P3-3 定为 3）
|
||
SNAPSHOT_KEEP = 3
|
||
#: 隔离文件（发布时撞上的、内容和登记不一致的同版本文件）保留几天。隔离文件含整张表的数据，不能无限期留着（D13）
|
||
QUARANTINE_DAYS = 7
|
||
#: 并集库所在的目录名：tables/<源 id>/snapshots/<并集 id>.db
|
||
UNION_DIR = "snapshots"
|
||
#: 隔离区：uploads/quarantine/<源 id>/<构建 id>-<UTC 时间>.db。不在 tables/ 下：孤儿清理和 _sweep_tmp 都不碰它
|
||
QUARANTINE_DIR = "quarantine"
|
||
|
||
|
||
class SnapshotMissing(ValueError):
|
||
"""要的快照不存在、不属于这个源、已回收或文件丢了。message 直接给人看。"""
|
||
|
||
|
||
class SnapshotManifestMismatch(SnapshotMissing, _EngineSnapshotTampered):
|
||
"""快照的哈希登记与它的快照清单（内容寻址）对不上：库列被改过，拒绝查询（P3-SPEC 2.9）。
|
||
|
||
同时是 SnapshotMissing 和引擎的 SnapshotTampered：解析源的调用方按前者处理（不退回当前版本），
|
||
查询路径按后者处理，两边都不会把它漏成 500。
|
||
"""
|
||
|
||
code = "snapshot_tampered"
|
||
|
||
|
||
class PublishError(RuntimeError):
|
||
"""解析成功了，但没能把库文件安全地发布出去。指针没动，旧版照常可查。
|
||
|
||
code 是给接口层分支用的机读码（trial_missing / trial_tampered / raw_missing）；期 1 的抛出处
|
||
不带，为 None，接口层照旧按 500 回原话。
|
||
"""
|
||
|
||
def __init__(self, message: str = "", *, code: str | None = None) -> None:
|
||
super().__init__(message)
|
||
self.code = code
|
||
|
||
|
||
class StoreUnavailable(PublishError):
|
||
"""本进程没拿到版本存储的守卫（同一个数据目录被另一个进程占着），不写入版本存储。接口层回 503。"""
|
||
|
||
def __init__(self, message: str = "", *, code: str | None = "store_unavailable") -> None:
|
||
super().__init__(message, code=code or "store_unavailable")
|
||
|
||
|
||
class ActivationError(PublishError):
|
||
"""启用旧快照失败。code 取 P3-SPEC 7.2 的值（snapshot_not_found、already_current、base_changed、
|
||
snapshot_unavailable、snapshot_tampered、contains_revoked、mask_lost、not_upload_source），message 给人看。"""
|
||
|
||
def __init__(self, code: str, message: str) -> None:
|
||
super().__init__(message, code=code)
|
||
|
||
|
||
class ParseFailed(tabular.UnsupportedTable):
|
||
"""解析时出了意料之外的错（不是 UnsupportedTable 那种「认得出、读不了」）。
|
||
|
||
继承 UnsupportedTable：接口层统一按 400 回给用户，原异常留在 __cause__ 里供日志定位。
|
||
"""
|
||
|
||
|
||
@dataclass
|
||
class ImportResult:
|
||
import_id: str
|
||
snapshot_id: str
|
||
build_id: str
|
||
build_reused: bool
|
||
#: 解析回执（tabular.LoadReport 的 JSON 形状；配方导入是执行器回执）
|
||
report: dict[str, Any]
|
||
#: 新导入记录的序号
|
||
seq: int = 0
|
||
#: 实际发布（或复用）的库文件哈希
|
||
db_sha256: str = ""
|
||
#: 服务端已有的同版本文件被改过，这次用临时库恢复了它（原文件挪进隔离区，第 8 节遗留项 1）
|
||
build_restored: bool = False
|
||
|
||
|
||
@dataclass
|
||
class PublishInfo:
|
||
"""publish_build 交给 schema_cache_for 的发布结果：这时库文件已经落位，记录还没写。
|
||
|
||
配方导入在 schema_cache_for 里写导入清单，清单要记的导入 id、快照 id、序号、实际发布的库哈希
|
||
此时都已确定。db_sha256 一律是**实际发布（或复用）**的那个文件的哈希：复用构建时它可能和试运行
|
||
回执里的不同（比如 SQLite 升级后文件头里的版本号变了），清单取这里的，不取回执里的。
|
||
"""
|
||
|
||
import_id: str
|
||
snapshot_id: str
|
||
seq: int
|
||
build_id: str
|
||
db_sha256: str
|
||
build_reused: bool
|
||
#: 实际冻结的回执：复用构建时是已有构建登记的回执，否则是这次传进来的
|
||
report: dict[str, Any] = field(default_factory=dict)
|
||
#: 见 ImportResult.build_restored
|
||
build_restored: bool = False
|
||
|
||
|
||
@dataclass
|
||
class SourceView:
|
||
"""绑定了某个快照的数据源。engine / introspect / guard / 工具只读这些字段，和 DataSource 同名。
|
||
|
||
不是 ORM 对象，不进会话：拿它查询不会顺手把快照路径写回数据源。
|
||
"""
|
||
|
||
id: str
|
||
name: str
|
||
kind: str = "sqlite"
|
||
database: str | None = None
|
||
options: dict[str, Any] = field(default_factory=dict)
|
||
readonly: bool = True
|
||
description: str = ""
|
||
schema_cache: dict[str, Any] = field(default_factory=dict)
|
||
schema_synced_at: datetime | None = None
|
||
enabled: bool = True
|
||
host: str | None = None
|
||
port: int | None = None
|
||
username: str | None = None
|
||
password: str | None = None
|
||
last_check: dict[str, Any] | None = None
|
||
origin: str = "upload"
|
||
current_snapshot_id: str | None = None
|
||
#: 绑定的快照。引擎缓存按「源 id + 快照 id」分开（data/engine.py）
|
||
snapshot_id: str | None = None
|
||
#: 以 immutable=1 打开：文件发布后不会再变，SQLite 可以不加锁、不查日志
|
||
immutable: bool = True
|
||
#: 第一次为这个快照建引擎前核对文件哈希，对不上拒绝查询
|
||
expected_sha256: str | None = None
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# id 与路径
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def sha_json(obj: Any) -> str:
|
||
"""JSON 的规范写法（键排序、紧凑分隔）的 sha256。构建 id、快照 id、选项哈希都用它。"""
|
||
text = json.dumps(obj, sort_keys=True, ensure_ascii=False, separators=(",", ":"))
|
||
return hashlib.sha256(text.encode("utf-8")).hexdigest()
|
||
|
||
|
||
_sha_json = sha_json
|
||
|
||
|
||
def parse_options(filename: str, *, header_row: int, mixed: str, raw_mode: bool) -> dict[str, Any]:
|
||
"""影响解析结果的全部选项。进构建 id：选项不同，建出来的库就不是同一个。
|
||
|
||
文件名只取会影响结果的部分：扩展名决定按 Excel 还是 CSV 读；CSV 的表名取自文件名，
|
||
所以 CSV 带上文件名。Excel 的表名来自工作表名，同一个文件换个名字再传，仍是同一个构建。
|
||
"""
|
||
base = (filename or "").replace("\\", "/").rsplit("/", 1)[-1]
|
||
ext = base[base.rfind("."):].lower() if "." in base else ""
|
||
options: dict[str, Any] = {
|
||
"header_row": int(header_row), "mixed": mixed, "raw_mode": bool(raw_mode), "ext": ext,
|
||
}
|
||
if ext in _CSV_EXTS:
|
||
options["file_name"] = base
|
||
return options
|
||
|
||
|
||
def build_id(source_id: str, raw_sha: str, options: dict[str, Any]) -> str:
|
||
"""构建 id：sha256 全长。source_id 在里面——两个源传同一个文件是两个构建，互不引用。"""
|
||
return _sha_json({
|
||
"source_id": source_id, "raw_sha256": raw_sha,
|
||
"options_sha256": _sha_json(options), "engine_ver": ENGINE_VER,
|
||
})
|
||
|
||
|
||
def snapshot_id(source_id: str, import_ids: list[str], engine_ver: str = ENGINE_VER, *,
|
||
mode: str | None = None, recipe_sha: str | None = None) -> str:
|
||
"""快照 id。import_ids 按统计期排序。
|
||
|
||
mode == "accumulate" 时把 {"mode", "recipe_sha256"}（目标配方）加进哈希：累积快照的库按目标配方的表结构物化
|
||
（列序、退役列），同一组导入配上不同的目标配方是内容不同的两个版本。只看导入记录的话，「移除该期」「撤销接受」
|
||
会复用到配方或模式不同的旧快照，悄悄把配方、模式退回去（P3-SPEC 2.1）。其余情况（替换模式、简单导入）哈希内容
|
||
与期 2 逐字相同，已有的快照 id 不失效：替换模式下快照的配方就是那一期导入的配方，由导入记录决定。
|
||
"""
|
||
payload: dict[str, Any] = {"source_id": source_id, "imports": list(import_ids), "engine_ver": engine_ver}
|
||
if mode == "accumulate":
|
||
if not recipe_sha:
|
||
raise ValueError("按期累积的快照 id 必须带目标配方的哈希")
|
||
payload.update(mode="accumulate", recipe_sha256=recipe_sha)
|
||
return _sha_json(payload)
|
||
|
||
|
||
#: 执行器语义标记的键：列表块 blank_rows=skip 时，空行之后本块列范围内只有首列一格文字的行判为表的下边界
|
||
#: （期 3 WP-8 修补 3，recipe_engine._ListRun._note_after_blank），不再读成一条数据
|
||
LIST_NOTE_AFTER_BLANK = "list_note_after_blank"
|
||
|
||
|
||
def recipe_engine_semantics(recipe: recipe_types.Recipe | None) -> dict[str, int]:
|
||
"""这份配方的构建要带的执行器语义标记（进 recipe_build_id 与 recipe_build_options），没有就 {}。
|
||
|
||
为什么不升 RECIPE_ENGINE_VER：它进每一个配方构建的 id，一升，交叉表配方（期 2 起已导入的报表都是这种）的构建
|
||
全部换 id、期 2 的构建不再复用，p2_baseline 记的 id 也随之失效（P3-SPEC 2.1：没用新字段的配方必须写出逐字节相同
|
||
的库）。而修补 3 只改了「列表 + 跳过空行」这一类配方的结果：同一原件、同一配方，修补前的执行器多读一条首列是
|
||
「注：……」的记录。构建 id 不变的话，数据目录里修补前建的同 id 构建（哈希等于登记值）会被 _publish_file 当成
|
||
复用，用户核对的试运行内容和发布出去的对不上。所以只给受影响的配方加标记，只有这类配方的构建换 id。
|
||
|
||
以后再有只影响一类配方的执行器改动，照此另加一个键（值从 1 起），已有的键和值不要改：改了会让已有构建换 id。"""
|
||
if recipe is None:
|
||
return {}
|
||
marks: dict[str, int] = {}
|
||
if any(isinstance(b, recipe_types.ListBlock) and b.rows.blank_rows == "skip"
|
||
for sheet in recipe.sheets for b in sheet.blocks):
|
||
marks[LIST_NOTE_AFTER_BLANK] = 1
|
||
return marks
|
||
|
||
|
||
def recipe_build_options(recipe_sha: str, inputs: dict[str, Any], *,
|
||
semantics: dict[str, int] | None = None) -> dict[str, Any]:
|
||
"""按配方导入的构建登记的选项（TableBuild.options）。options_sha256 = sha_json(它)。
|
||
|
||
semantics：recipe_engine_semantics(配方)，有标记时记成 "engine_semantics"，与 recipe_build_id 的输入一一对应；
|
||
没有标记时不写这个键，期 2 起已有构建的选项（和 options_sha256）不变。"""
|
||
options: dict[str, Any] = {"kind": "recipe", "recipe_sha256": recipe_sha,
|
||
"parser_ver": recipe_parsers.PARSER_VER, "inputs": inputs}
|
||
if semantics:
|
||
options["engine_semantics"] = dict(semantics)
|
||
return options
|
||
|
||
|
||
def recipe_build_id(source_id: str, raw_sha: str, recipe_sha: str, inputs: dict[str, Any], *,
|
||
semantics: dict[str, int] | None = None) -> str:
|
||
"""按配方导入的构建 id：源、原件、配方、解析器版本、执行器版本、人工录入，以及执行器语义标记。
|
||
|
||
inputs 只放人工录入的东西（{"context": {"统计期": {"start", "end"}}}，没有就 {}）；署名和文件名
|
||
不进。同一份原件换个名字再传会复用构建，所以凡是取决于文件名的结果（C2）都不能放进构建回执，
|
||
得跟着导入记录走（table_imports.checks、导入清单）。解析器或执行器升级会换掉 id：按新规则建出来的
|
||
库不是同一个构建，不能复用旧文件。
|
||
|
||
semantics：recipe_engine_semantics(配方)。执行器只对某一类配方改了结果时，用它让这类配方的构建换 id，其余
|
||
配方的 id 照旧（见 recipe_engine_semantics）。为空时不进哈希，id 与期 2 逐字相同。
|
||
"""
|
||
payload: dict[str, Any] = {
|
||
"source_id": source_id, "raw_sha256": raw_sha, "recipe_sha256": recipe_sha,
|
||
"parser_ver": recipe_parsers.PARSER_VER, "engine_ver": recipe_types.RECIPE_ENGINE_VER,
|
||
"inputs_sha256": sha_json(inputs),
|
||
}
|
||
if semantics:
|
||
payload["engine_semantics"] = dict(semantics)
|
||
return sha_json(payload)
|
||
|
||
|
||
def legacy_build_id(source_id: str, file_sha: str) -> str:
|
||
"""迁移前老上传的 v0 构建 id。带上 source_id：两个源的老库内容相同，id 也不同。"""
|
||
return hashlib.sha256(f"legacy{source_id}{file_sha}".encode("utf-8")).hexdigest()
|
||
|
||
|
||
def tables_root() -> Path:
|
||
return settings.uploads_dir / "tables"
|
||
|
||
|
||
def build_path(source_id: str, bid: str) -> Path:
|
||
if not _SOURCE_ID.match(source_id or ""):
|
||
raise ValueError("数据源 id 的格式不对")
|
||
return tables_root() / source_id / "builds" / f"{bid}.db"
|
||
|
||
|
||
def union_path(source_id: str, union_id: str) -> Path:
|
||
"""并集库的最终路径。并集也登记成构建（id = 并集 id），内容寻址：同样的各期、同样的目标配方只有一份文件。"""
|
||
if not _SOURCE_ID.match(source_id or ""):
|
||
raise ValueError("数据源 id 的格式不对")
|
||
if not re.fullmatch(r"[0-9a-f]{64}", union_id or ""):
|
||
raise ValueError("并集 id 的格式不对")
|
||
return tables_root() / source_id / UNION_DIR / f"{union_id}.db"
|
||
|
||
|
||
def quarantine_root() -> Path:
|
||
return settings.uploads_dir / QUARANTINE_DIR
|
||
|
||
|
||
#: 试运行库所在的目录名：tables/<源 id>/trials/<暂存区 id>-<trial_key 前 16 位>.db
|
||
TRIALS_DIR = "trials"
|
||
|
||
|
||
def trial_db_path(source_id: str, staging_id: str, trial_key: str) -> Path:
|
||
"""试运行库的路径。和构建库同一个文件系统，发布时 link 过去，不用拷贝。
|
||
|
||
文件名带暂存区 id：启动清理按它找回暂存区，暂存区不在、已结束、或者指着的不是这个文件就删。
|
||
写的时候先写 .tmp- 再改名（半成品归 _sweep_tmp 管）。
|
||
"""
|
||
if not _SOURCE_ID.match(source_id or "") or not _SOURCE_ID.match(staging_id or ""):
|
||
raise ValueError("数据源或暂存区 id 的格式不对")
|
||
if not re.fullmatch(r"[0-9A-Za-z]{16,}", trial_key or ""):
|
||
raise ValueError("试运行的键格式不对")
|
||
return tables_root() / source_id / TRIALS_DIR / f"{staging_id}-{trial_key[:16]}.db"
|
||
|
||
|
||
#: 附属试运行库（并集）文件名比主文件多的后缀：<暂存区 id>-<trial_key 前 16 位>u.db
|
||
_UNION_TRIAL_MARK = "u"
|
||
|
||
|
||
def union_trial_path(trial_path: Path | str) -> Path:
|
||
"""试运行的并集文件：主试运行库去掉 .db 加「u.db」，放在同一目录。
|
||
|
||
文件名里不加「-」：_trial_owner 按最后一个「-」切出暂存区 id，加了就切错。它跟着主文件走：
|
||
remove_trial_file 连带删除，启动清理按主文件判断是否有效。
|
||
"""
|
||
path = Path(trial_path)
|
||
return path.with_name(f"{path.name.removesuffix('.db')}{_UNION_TRIAL_MARK}.db")
|
||
|
||
|
||
def _under(path: str | os.PathLike[str], root: Path) -> bool:
|
||
try:
|
||
return Path(os.path.realpath(path)).is_relative_to(os.path.realpath(root))
|
||
except (OSError, ValueError):
|
||
return False
|
||
|
||
|
||
def _sqlite_targets(database: str) -> list[str]:
|
||
"""一个 SQLite「数据库」字段可能打开的文件：原字符串，加上按连接串规则还原出的真实路径。
|
||
|
||
手工源的 database 原样拼进连接串（data/engine.py build_url）。SQLAlchemy 把 ? 后面拆成
|
||
连接参数，带 uri=true 时 file: 开头的整段按 SQLite URI 打开（百分号转义、mode=rwc 之类）。
|
||
只对原字符串做 realpath，「file:/…/builds/x.db?uri=true」会被当成当前目录下的相对路径，
|
||
「…/x.db?x=/../../别处」会被 .. 带到别处——两种写法实际打开的都是上传目录里的文件。
|
||
"""
|
||
targets = [database]
|
||
try:
|
||
url = make_url(f"sqlite:///{database}")
|
||
except Exception: # noqa: BLE001 - 连接串都拼不出来的，连库也会失败；只按原字符串判断
|
||
return targets
|
||
path = url.database or ""
|
||
targets.append(path)
|
||
# 不带 uri=true 时 SQLite 一般不按 URI 解析，但编译选项 SQLITE_USE_URI 能打开它：一律按两种都算
|
||
if path[:5].lower() == "file:":
|
||
parts = urlsplit(path)
|
||
targets += [unquote(parts.path), unquote(path[5:].split("?", 1)[0].split("#", 1)[0])]
|
||
return [t for t in dict.fromkeys(targets) if t and t != ":memory:"]
|
||
|
||
|
||
#: 文件身份：(st_dev, st_ino)。同一个文件不管怎么写路径，身份都一样
|
||
FileId = tuple[int, int]
|
||
|
||
|
||
def _file_id(path: str | os.PathLike[str]) -> FileId | None:
|
||
try:
|
||
st = os.stat(path)
|
||
except (OSError, ValueError):
|
||
return None
|
||
return st.st_dev, st.st_ino
|
||
|
||
|
||
@dataclass(frozen=True)
|
||
class _Zone:
|
||
"""一组受保护的位置：若干目录（连同其下的一切）和若干单个文件。
|
||
|
||
**按文件身份认，不按路径字符串认。** macOS 默认的 APFS 不区分大小写，realpath 也不解析
|
||
firmlink：「…/Uploads/…」「…/DATA/…」「/System/Volumes/Data/Users/…」打开的都是同一个
|
||
文件，按字符串前缀比却都不算在里面。所以对目标路径取 realpath 后，从它自己往上逐级 stat，
|
||
哪一级和受保护目录是同一个 (st_dev, st_ino) 就算落在里面；目标本身和受保护文件同身份
|
||
（包括硬链接）也算。字符串前缀只作兜底：受保护目录还不存在时，没有身份可比。
|
||
"""
|
||
|
||
dirs: tuple[str, ...] = ()
|
||
dir_ids: frozenset[FileId] = frozenset()
|
||
files: tuple[str, ...] = ()
|
||
file_ids: frozenset[FileId] = frozenset()
|
||
#: 还不存在的受保护文件（-journal 之类，SQLite 用到时才建）：(所在目录的身份, casefold 后的文件名)。
|
||
#: 不区分大小写的文件系统上「AGENTLAB.DB-JOURNAL」就是它；区分大小写的系统上多拒几个怪名字，无妨
|
||
names: frozenset[tuple[FileId, str]] = frozenset()
|
||
#: 目标文件有多个硬链接时，到这些目录里找它的另一个名字
|
||
link_roots: tuple[str, ...] = ()
|
||
|
||
|
||
def _zone(dirs: Sequence[Path] = (), files: Sequence[Path] = (), *, find_links: bool = False) -> _Zone:
|
||
dir_reals = tuple(os.path.realpath(d) for d in dirs)
|
||
file_reals = tuple(os.path.realpath(f) for f in files)
|
||
names = set()
|
||
for real in file_reals:
|
||
parent = _file_id(os.path.dirname(real))
|
||
if parent is not None:
|
||
names.add((parent, os.path.basename(real).casefold()))
|
||
return _Zone(
|
||
dirs=dir_reals, dir_ids=frozenset(i for d in dir_reals if (i := _file_id(d)) is not None),
|
||
files=file_reals, file_ids=frozenset(i for f in file_reals if (i := _file_id(f)) is not None),
|
||
names=frozenset(names), link_roots=dir_reals if find_links else (),
|
||
)
|
||
|
||
|
||
def _linked_into(real: str, leaf: FileId, roots: tuple[str, ...]) -> bool:
|
||
"""目标文件是不是受保护目录里某个文件的硬链接。只在链接数大于 1 时才去目录里找，平时不花时间。"""
|
||
try:
|
||
st = os.stat(real)
|
||
except (OSError, ValueError):
|
||
return False
|
||
if not stat.S_ISREG(st.st_mode) or st.st_nlink < 2:
|
||
return False
|
||
for root in roots:
|
||
for folder, _dirs, names in os.walk(root):
|
||
for name in names:
|
||
try:
|
||
other = os.lstat(os.path.join(folder, name))
|
||
except OSError:
|
||
continue
|
||
if (other.st_dev, other.st_ino) == leaf:
|
||
return True
|
||
return False
|
||
|
||
|
||
def _hits(target: str, zone: _Zone) -> bool:
|
||
"""一个路径（已按连接串规则还原）会不会打开受保护位置里的文件。"""
|
||
try:
|
||
real = os.path.realpath(target)
|
||
except (OSError, ValueError):
|
||
return False
|
||
if real in zone.files or any(Path(real).is_relative_to(d) for d in zone.dirs):
|
||
return True
|
||
leaf = _file_id(real)
|
||
if leaf is not None and leaf in zone.file_ids:
|
||
return True
|
||
parent = _file_id(os.path.dirname(real))
|
||
if parent is not None and (parent, os.path.basename(real).casefold()) in zone.names:
|
||
return True
|
||
# 从目标自己往上逐级比目录身份：目标和中间几级目录还不存在（mode=rwc 新建）时，靠已存在的祖先认
|
||
node = real
|
||
while True:
|
||
fid = _file_id(node)
|
||
if fid is not None and fid in zone.dir_ids:
|
||
return True
|
||
up = os.path.dirname(node)
|
||
if up == node:
|
||
break
|
||
node = up
|
||
return bool(zone.link_roots) and leaf is not None and _linked_into(real, leaf, zone.link_roots)
|
||
|
||
|
||
def _reaches(path: str | None, zone: _Zone) -> bool:
|
||
if not path or path == ":memory:":
|
||
return False
|
||
return any(_hits(target, zone) for target in _sqlite_targets(path))
|
||
|
||
|
||
def under_uploads(path: str | None) -> bool:
|
||
"""手工登记的 SQLite 源会不会打开上传目录里的文件。按文件身份，也按连接串和 URI 的解析规则。
|
||
|
||
任何一种解读落进上传目录都算：那里的文件归版本底座管，手工源指过去就绕开了只读和版本。
|
||
大小写不同的写法、firmlink 前缀、符号链接、硬链接都认（见 _Zone）。
|
||
"""
|
||
return _reaches(path, _zone([settings.uploads_dir], find_links=True))
|
||
|
||
|
||
#: SQLite 库文件旁边可能出现的日志文件
|
||
_DB_SIDE_FILES = ("", "-wal", "-shm", "-journal")
|
||
|
||
|
||
def _app_db_files() -> list[Path]:
|
||
"""应用自己的库：元数据库、运行检查点库，以及实际连着的元数据库（测试里和 data_dir 下的不是同一个）。"""
|
||
dbs = [settings.db_path, settings.checkpoint_path]
|
||
try:
|
||
live = db_base.engine.url.database
|
||
except Exception: # noqa: BLE001 - 取不到就只按配置里的路径判断
|
||
live = None
|
||
if live and live != ":memory:":
|
||
dbs.append(Path(live))
|
||
return [Path(f"{db}{suffix}") for db in dict.fromkeys(dbs) for suffix in _DB_SIDE_FILES]
|
||
|
||
|
||
def reaches_app_files(path: str | None) -> bool:
|
||
"""手工登记的 SQLite 源会不会打开 AgentLab 自己的数据文件。判断方式同 under_uploads。
|
||
|
||
元数据库里有数据源的连接字段、快照登记和哈希、运行与审批记录：登记成可写的源，一条经审批的
|
||
UPDATE 就能把上传源改成手工源、指向别处，版本底座和「连接字段只由系统维护」一起失效；只读登记
|
||
也会把全部元数据交给模型。检查点库、加密密钥、工件、沙箱策略同理。工作区不在其中：那是模型
|
||
可写的沙箱根目录，登记模型生成的库是正当用法。
|
||
"""
|
||
data = settings.data_dir
|
||
return _reaches(path, _zone(
|
||
[data / "artifacts", data / "sandbox-policies"], [*_app_db_files(), data / ".secret_key"]))
|
||
|
||
|
||
def report_to_json(report: Any) -> dict[str, Any]:
|
||
"""LoadReport（dataclass）→ 能存进 JSON 列的 dict。"""
|
||
data = dataclasses.asdict(report) if dataclasses.is_dataclass(report) else dict(report or {})
|
||
return json.loads(json.dumps(data, ensure_ascii=False, default=str))
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 快照解析
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def upload_options(options: dict[str, Any] | None) -> dict[str, Any]:
|
||
"""上传源实际生效的 options：去掉 schema（库里只有 main），查询时限、遮罩列照旧。"""
|
||
return {k: v for k, v in (options or {}).items() if k != _SCHEMA_OPTION}
|
||
|
||
|
||
#: 已经和快照清单交叉核对过的 (快照 id, 库列里的哈希, 清单 id)。按进程缓存：清单取回时要读文件、复验内容哈希，
|
||
#: 每次查询都做不划算。键里带着库列的值，库列之后再被改，键就对不上，会重新核对
|
||
_MANIFEST_VERIFIED: set[tuple[str, str, str]] = set()
|
||
|
||
|
||
def verify_snapshot_manifest(source: Any, snapshot: SourceSnapshot) -> None:
|
||
"""快照有快照清单时，拿清单里的 union.db_sha256 和库列 db_sha256 比，不一致抛 SnapshotManifestMismatch。
|
||
|
||
查询时核对文件用的期望哈希取自 source_snapshots.db_sha256 这个库列。有人同时改了库文件和库列（改成与
|
||
文件一致的假值），文件哈希核对照样通过；快照清单是内容寻址的工件（artifact_store.load 会复验内容哈希），
|
||
改不了，所以再拿它交叉核对一次（P3-SPEC 2.9）。没有清单的快照（单期）不在此列。清单取不回来、内容哈希
|
||
不符、没有 union.db_sha256、快照 id 对不上，一律按不一致处理：证据链断了就不能当作没事。
|
||
"""
|
||
mid = str(getattr(snapshot, "manifest_artifact", None) or "").strip()
|
||
if not mid:
|
||
return
|
||
registered = str(snapshot.db_sha256 or "").strip()
|
||
key = (snapshot.id, registered, mid)
|
||
if key in _MANIFEST_VERIFIED:
|
||
return
|
||
from app.core import artifact_store
|
||
|
||
try:
|
||
manifest = artifact_store.load(mid)
|
||
except (OSError, ValueError):
|
||
manifest = None
|
||
union = manifest.get("union") if isinstance(manifest, dict) else None
|
||
claimed = union.get("db_sha256") if isinstance(union, dict) else None
|
||
claimed_id = manifest.get("snapshot_id") if isinstance(manifest, dict) else None
|
||
if not claimed or claimed != registered or claimed_id not in (None, snapshot.id):
|
||
logger.warning("快照的哈希登记与快照清单不一致，已拒绝：source=%s snapshot=%s manifest=%s",
|
||
getattr(source, "id", None), snapshot.id, mid)
|
||
raise SnapshotManifestMismatch(
|
||
f"「{source.name}」的数据版本 {snapshot.id[:12]} 的哈希登记与版本清单不一致，可能被修改过，已拒绝查询")
|
||
_MANIFEST_VERIFIED.add(key)
|
||
|
||
|
||
def bind_snapshot(source: Any, snapshot: SourceSnapshot) -> SourceView:
|
||
"""数据源 + 快照 → SourceView：只读、库路径和表结构都取快照里冻结的那份。
|
||
|
||
快照没登记文件哈希（记录损坏、被手工改过）时抛 SnapshotMissing：没有哈希就无从核对文件
|
||
是否被改过，不能退回「不核对照样打开」。现有的写入路径（发布、迁移）都会写哈希。
|
||
快照有快照清单（物化过的累积快照）时，本进程第一次绑定它时再和清单交叉核对一次（verify_snapshot_manifest）。
|
||
"""
|
||
if not str(snapshot.db_sha256 or "").strip():
|
||
logger.warning("快照没有登记文件哈希，已拒绝：source=%s snapshot=%s", source.id, snapshot.id)
|
||
raise SnapshotMissing(
|
||
f"「{source.name}」的数据版本 {snapshot.id[:12]} 缺少数据文件的哈希登记，"
|
||
"无法核对数据文件是否被修改过，已拒绝查询，请重新上传"
|
||
)
|
||
verify_snapshot_manifest(source, snapshot)
|
||
return SourceView(
|
||
id=source.id, name=source.name, kind="sqlite", database=snapshot.db_path,
|
||
options=upload_options(source.options), readonly=True,
|
||
description=source.description or "",
|
||
schema_cache=copy.deepcopy(snapshot.schema_cache or {}),
|
||
schema_synced_at=snapshot.created_at, enabled=bool(source.enabled),
|
||
last_check=getattr(source, "last_check", None),
|
||
origin="upload", current_snapshot_id=getattr(source, "current_snapshot_id", None),
|
||
snapshot_id=snapshot.id, immutable=True, expected_sha256=str(snapshot.db_sha256).strip(),
|
||
)
|
||
|
||
|
||
async def resolve_source(
|
||
session: AsyncSession, source: DataSource, pinned_snapshot_id: str | None = None
|
||
) -> DataSource | SourceView:
|
||
"""查询时实际该用的源。手工源原样返回；上传源换成绑定快照的 SourceView。
|
||
|
||
钉了快照就只认那一个：它不属于这个源、已回收、文件不在，都抛 SnapshotMissing，
|
||
**绝不退回当前指针**——运行前后两段查的必须是同一版数据，否则报告里的数字对不上来历。
|
||
"""
|
||
if (getattr(source, "origin", None) or "manual") != "upload":
|
||
return source
|
||
wanted = pinned_snapshot_id or source.current_snapshot_id
|
||
if not wanted:
|
||
raise SnapshotMissing(f"上传的表格「{source.name}」没有可用的版本，请重新上传")
|
||
snap = await session.get(SourceSnapshot, wanted)
|
||
pinned = bool(pinned_snapshot_id)
|
||
if snap is None or snap.source_id != source.id:
|
||
raise SnapshotMissing(
|
||
f"「{source.name}」的数据版本 {wanted[:12]} 不存在或不属于该数据源"
|
||
+ ("，已拒绝查询，不会改用当前版本" if pinned else "，请重新上传")
|
||
)
|
||
if snap.retired_at is not None or not Path(snap.db_path).is_file():
|
||
raise SnapshotMissing(
|
||
f"「{source.name}」的数据版本 {wanted[:12]} 的数据文件已不存在"
|
||
+ ("，已拒绝查询，不会改用当前版本" if pinned else "，请重新上传")
|
||
)
|
||
return bind_snapshot(source, snap)
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 锁：发布、回收、启动清理彼此串行
|
||
# --------------------------------------------------------------------------
|
||
|
||
_locks: "weakref.WeakKeyDictionary[asyncio.AbstractEventLoop, asyncio.Lock]" = weakref.WeakKeyDictionary()
|
||
|
||
|
||
def store_lock() -> asyncio.Lock:
|
||
"""版本存储的写锁，按事件循环各一把。不可重入：持着它时别再调会自己取锁的函数。
|
||
|
||
回收要先看「哪些文件有记录」再删：发布正处在「文件已 link、记录未提交」之间时，回收
|
||
会把它当孤儿删掉；复用一个刚被判为无人引用的构建，也会撞上正在删它的回收。上传不频繁，
|
||
全部串行最省心。按循环分开是因为 asyncio.Lock 一旦在某个循环里等过，就不能换循环用。
|
||
"""
|
||
loop = asyncio.get_running_loop()
|
||
lock = _locks.get(loop)
|
||
if lock is None:
|
||
lock = _locks[loop] = asyncio.Lock()
|
||
return lock
|
||
|
||
|
||
_store_lock = store_lock
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 守卫：版本存储只支持单进程（第 8 节遗留项 5）
|
||
# --------------------------------------------------------------------------
|
||
|
||
#: 数据目录上的守卫文件：uploads/.store.lock
|
||
_GUARD_FILE = ".store.lock"
|
||
_STORE_READONLY = ("数据目录正被另一个 AgentLab 进程使用：上传表格的版本只支持单进程部署，"
|
||
"本进程不写入版本存储，请检查部署方式")
|
||
|
||
|
||
@dataclass
|
||
class _Guard:
|
||
#: 上次尝试加锁的守卫文件。数据目录换了（测试里每个用例一个）就对新文件重新加锁
|
||
path: Path | None = None
|
||
#: 持有的文件描述符：进程活着就一直持有，flock 跟着它
|
||
fd: int | None = None
|
||
writable: bool = True
|
||
|
||
|
||
_guard = _Guard()
|
||
|
||
|
||
def _guard_path() -> Path:
|
||
return settings.uploads_dir / _GUARD_FILE
|
||
|
||
|
||
def _release_guard() -> None:
|
||
if _guard.fd is not None:
|
||
try:
|
||
os.close(_guard.fd)
|
||
except OSError:
|
||
pass
|
||
_guard.path, _guard.fd, _guard.writable = None, None, True
|
||
|
||
|
||
def acquire_store_guard() -> bool:
|
||
"""对 uploads/.store.lock 做 flock(LOCK_EX | LOCK_NB)，拿到就在进程生命周期内一直持有。返回本进程能否写。
|
||
|
||
**为什么要有。** 发布、回收、启动清理之间的互斥靠进程内的 asyncio 锁（store_lock），只在单进程里成立。
|
||
部署本来就是单进程（uvicorn 不带 --workers）；万一同一个数据目录起了两个进程，第二个进程的启动清理会删掉
|
||
第一个进程正在写的临时文件、已经 link 但记录还没提交的构建库，第一个进程随后提交的快照就指向一个已删的文件。
|
||
所以 startup 第一步就取它，拿不到就什么都不清理，之后的写入一律拒绝（require_store_writable）。
|
||
|
||
同一进程里重复调用是幂等的；数据目录换了就放掉旧的、对新文件重新加锁。上次没拿到的，再调一次会重试
|
||
（占着它的进程退出后就能拿到）。没有 fcntl 的平台照常可写，只记一条警告。
|
||
"""
|
||
path = _guard_path()
|
||
if _guard.path == path and _guard.fd is not None:
|
||
return True
|
||
_release_guard()
|
||
try:
|
||
import fcntl
|
||
except ImportError:
|
||
logger.warning("这个平台没有 fcntl，无法确认数据目录只被一个进程使用：上传表格的版本只支持单进程部署")
|
||
_guard.path, _guard.writable = path, True
|
||
return True
|
||
try:
|
||
path.parent.mkdir(parents=True, exist_ok=True)
|
||
fd = os.open(path, os.O_RDWR | os.O_CREAT, 0o600)
|
||
except OSError:
|
||
logger.exception("无法打开版本存储的守卫文件 %s，本进程不写入版本存储", path)
|
||
_guard.path, _guard.writable = path, False
|
||
return False
|
||
try:
|
||
fcntl.flock(fd, fcntl.LOCK_EX | fcntl.LOCK_NB)
|
||
except OSError:
|
||
os.close(fd)
|
||
_guard.path, _guard.writable = path, False
|
||
logger.error(_STORE_READONLY)
|
||
return False
|
||
_guard.path, _guard.fd, _guard.writable = path, fd, True
|
||
return True
|
||
|
||
|
||
def store_writable() -> bool:
|
||
"""本进程能不能写版本存储。没对当前数据目录取过守卫（没调过 startup）的按能写处理：守卫只在启动时取。"""
|
||
return _guard.writable or _guard.path != _guard_path()
|
||
|
||
|
||
def require_store_writable() -> None:
|
||
"""写版本存储的入口一律先调它：拿不到守卫的进程抛 StoreUnavailable（接口层回 503 store_unavailable）。"""
|
||
if not store_writable():
|
||
raise StoreUnavailable(_STORE_READONLY)
|
||
|
||
|
||
#: 同时解析的上传最多几个。解析在线程里做，内存和上传数成正比；不设上限的话，几个大文件
|
||
#: 同时上传，内存会叠加起来。超出的排队等前面的解析完
|
||
MAX_PARALLEL_PARSES = 2
|
||
_parse_slots: "weakref.WeakKeyDictionary[asyncio.AbstractEventLoop, asyncio.Semaphore]" = weakref.WeakKeyDictionary()
|
||
|
||
|
||
def parse_slot() -> asyncio.Semaphore:
|
||
"""解析的并发名额，按事件循环各一份（理由同 store_lock）。配方导入的扫描、干跑、试运行也占它。"""
|
||
loop = asyncio.get_running_loop()
|
||
slot = _parse_slots.get(loop)
|
||
if slot is None:
|
||
slot = _parse_slots[loop] = asyncio.Semaphore(MAX_PARALLEL_PARSES)
|
||
return slot
|
||
|
||
|
||
_parse_slot = parse_slot
|
||
|
||
|
||
def pin_lock() -> asyncio.Lock:
|
||
"""固定数据版本时持有的锁（就是版本存储的写锁）：从读当前指针到把它写进运行记录，全程持有。
|
||
|
||
回收按「已提交的运行记录 + 各源当前指针」判断哪些快照还有人用。发起运行（engine/runner.py）
|
||
和运行中途补固定（tools/datasource.py 的 _pin_late）都是先读指针、过一会儿才提交运行记录：
|
||
中间要是有人重传，发布切走指针、紧接着的回收看不到这条还没提交的运行，刚读到的快照就被删了，
|
||
这次运行只能报「固定的数据版本已不存在」。持着这把锁，回收要么在读指针之前做完，要么等运行
|
||
记录提交之后才开始。只包住读指针到提交这一小段，别在里面做慢事（发布和回收也在等它）。
|
||
"""
|
||
return store_lock()
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 发布
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def _remove_db_files(path: Path) -> None:
|
||
"""删掉一个 SQLite 文件和它可能留下的日志文件。"""
|
||
for suffix in ("", "-journal", "-wal", "-shm"):
|
||
Path(f"{path}{suffix}").unlink(missing_ok=True)
|
||
|
||
|
||
def _prune_build_dirs(final: Path) -> None:
|
||
"""删掉构建路径上空了的 builds/ 和 tables/<源 id>/ 两级目录（不空就留着）。"""
|
||
builds = final.parent
|
||
if raw_store.remove_empty_dir(builds):
|
||
raw_store.remove_empty_dir(builds.parent)
|
||
|
||
|
||
def _parse_to_tmp(final: Path, raw: bytes, filename: str, header_row: int, mixed: str,
|
||
raw_mode: bool) -> tuple[Path, Any]:
|
||
"""在线程池里解析到一个临时库。失败时删掉临时文件，异常照原样（或包一层）抛出。"""
|
||
final.parent.mkdir(parents=True, exist_ok=True)
|
||
tmp = final.parent / f"{final.name}{_TMP}{secrets.token_hex(6)}"
|
||
try:
|
||
report = tabular.load_into(str(tmp), raw, filename, header_row=header_row,
|
||
mixed=mixed, raw_mode=raw_mode)
|
||
except tabular.UnsupportedTable:
|
||
_remove_db_files(tmp)
|
||
raise
|
||
except Exception as e:
|
||
_remove_db_files(tmp)
|
||
reason = first_line(e) if isinstance(e, ValueError) else explain(e)[0]
|
||
raise ParseFailed(
|
||
f"导入失败：{reason}。请确认文件是未加密的 Excel 或 CSV，且表头行号填写正确"
|
||
) from e
|
||
except BaseException:
|
||
_remove_db_files(tmp)
|
||
raise
|
||
return tmp, report
|
||
|
||
|
||
_JOURNAL_STUCK = "数据文件的日志未能合并，已停止发布，原数据未受影响"
|
||
|
||
|
||
def settle_journal(path: Path) -> None:
|
||
"""切成回滚日志模式并确认没有残留的 -wal / -journal：发布后以 immutable 打开，SQLite 不会再看日志。
|
||
|
||
解析器要是用了 WAL、又有连接没关，切换会报「database is locked」或者原样留在 WAL：
|
||
这时库里的一部分数据还在 -wal 里，按 immutable 打开会静默少数据，只能停下。
|
||
|
||
配方导入的试运行写完库先调它、再算回执里的 db_sha256：WAL 模式下切换会改写文件头第 18、19
|
||
字节，先切再算，发布时 _publish_file 再切一次就不会改动文件，两次哈希才对得上。
|
||
注意文件不存在时 sqlite3.connect 会新建一个空库：调用方要先确认文件在。
|
||
"""
|
||
try:
|
||
conn = sqlite3.connect(str(path))
|
||
try:
|
||
mode = conn.execute("PRAGMA journal_mode=DELETE").fetchone()
|
||
finally:
|
||
conn.close()
|
||
except sqlite3.Error as e:
|
||
raise PublishError(_JOURNAL_STUCK) from e
|
||
if not mode or str(mode[0]).lower() != "delete":
|
||
raise PublishError(_JOURNAL_STUCK)
|
||
for suffix in ("-wal", "-journal"):
|
||
if Path(f"{path}{suffix}").exists():
|
||
raise PublishError(_JOURNAL_STUCK)
|
||
Path(f"{path}-shm").unlink(missing_ok=True)
|
||
|
||
|
||
_settle_journal = settle_journal
|
||
|
||
_TRIAL_MISSING = "试运行的数据文件已不在，请重新试运行"
|
||
_TRIAL_TAMPERED = "试运行之后数据文件被改动过，请重新试运行"
|
||
_RAW_MISSING = "这次导入的原件已不在服务端（可能已被清除），请重新上传文件"
|
||
|
||
|
||
def _fsync_file(path: Path) -> None:
|
||
fd = os.open(path, os.O_RDONLY)
|
||
try:
|
||
os.fsync(fd)
|
||
finally:
|
||
os.close(fd)
|
||
|
||
|
||
_BUILD_CONFLICT = ("导入失败：服务端已有的同版本数据文件与登记的不一致，且无法用本次上传恢复，当前版本未受影响。"
|
||
"请联系管理员检查数据目录")
|
||
|
||
|
||
class Placed(NamedTuple):
|
||
"""_publish_file 的结果。按前两项解包和期 1 一样：(库文件 sha256, 是否复用了已有文件)。"""
|
||
|
||
sha: str
|
||
#: 最终路径上的文件算作已有构建的那一份（含「恢复」）：发布失败时不删它
|
||
reused: bool
|
||
#: 已有文件被改过，这次用临时库恢复了它，原文件挪进了隔离区（第 8 节遗留项 1）
|
||
restored: bool = False
|
||
|
||
|
||
def _quarantine(final: Path) -> Path:
|
||
"""把最终路径上的文件挪进隔离区 uploads/quarantine/<源 id>/<构建 id>-<UTC 时间>.db（0444）。
|
||
|
||
不直接删：它可能是被人改过的证据，管理员要能看到改成了什么。隔离文件含整张表的数据，由回收在
|
||
QUARANTINE_DAYS 天后删掉，删除数据源、清除原件时也连带删掉（D13）。
|
||
|
||
挪进来之后把修改时间刷成此刻：回收按修改时间判断是否过期，而 os.replace、chmod 都不改修改时间。不刷的话，
|
||
隔离文件带着原文件的修改时间（构建文件多半是几周前发布的，磁盘位翻转这类损坏也不改修改时间），发布之后
|
||
紧接着的那次回收就把刚隔离的证据删了，7 天的保留形同虚设。
|
||
"""
|
||
source_id, bid = final.parent.parent.name, final.stem
|
||
if not _SOURCE_ID.match(source_id):
|
||
raise PublishError(f"导入失败：数据文件的路径不对（{final}），当前版本未受影响")
|
||
folder = quarantine_root() / source_id
|
||
folder.mkdir(parents=True, exist_ok=True)
|
||
stamp = datetime.now(timezone.utc).strftime("%Y%m%dT%H%M%S%fZ")
|
||
target = folder / f"{bid}-{stamp}.db"
|
||
os.replace(final, target)
|
||
try:
|
||
os.utime(target, None)
|
||
except OSError as e:
|
||
logger.warning("没能刷新隔离文件的修改时间，它可能早于 %d 天被回收：%s（%s）", QUARANTINE_DAYS, target, e)
|
||
try:
|
||
os.chmod(target, 0o444)
|
||
except OSError:
|
||
pass
|
||
raw_store.fsync_dir(folder)
|
||
raw_store.fsync_dir(final.parent)
|
||
return target
|
||
|
||
|
||
def _publish_file(tmp: Path, final: Path, expected_sha: str | None,
|
||
trial_sha: str | None = None) -> Placed:
|
||
"""把临时库发布到最终路径，返回 Placed(库文件 sha256, 是否复用了已有文件, 是否恢复了被改过的文件)。
|
||
|
||
先落盘再 link：link 不会覆盖已有文件，已发布的版本因此不可能被半个新文件顶掉。临时文件无论成败都删掉。
|
||
目标已存在时（同一个构建传过），设 E = 已有文件的哈希，R = 登记的 db_sha256（没有记录、记录为空时为空），
|
||
T = 本次临时库的哈希（第 8 节遗留项 1）：
|
||
- E 等于 R（有记录），或者没有记录而 E 等于 T：复用。后者是「上次发布到一半进程没了」的崩溃恢复；
|
||
- 有记录、E 不等于 R、而 T 等于 R：同一构建按同样的输入确定地重建出了登记的那份（执行器、物化都是确定的），
|
||
把已有文件挪进隔离区、link 临时库，结果算作复用并记 restored，日志写 WARNING。0 字节的残骸、被改过的
|
||
文件都不能冒充登记的版本，但也不该让同一个文件永远传不上去（期 1 这里一律 500）；
|
||
- 没有记录、E 不等于 T：没人登记的孤儿文件（本来就会被启动清理删掉），同样挪进隔离区再 link，restored=False；
|
||
- 有记录、E、T 都不等于 R：PublishError(code="build_conflict")，什么都不动。
|
||
|
||
trial_sha：配方导入试运行时算的库哈希。给了就在 link 之前比对，对不上说明试运行之后有人改过
|
||
这个文件，不能把改过的数据当成用户核对过的那份发布出去。目标已存在时也先比它：被改过的试运行库
|
||
本身就是要停下的信号，不因为这次碰巧复用旧文件而放过。
|
||
"""
|
||
try:
|
||
settle_journal(tmp)
|
||
sha = raw_store.sha256_file(tmp)
|
||
if trial_sha is not None and sha != trial_sha:
|
||
logger.warning("试运行库的哈希与试运行回执不符，已停止发布：%s", tmp)
|
||
raise PublishError(_TRIAL_TAMPERED, code="trial_tampered")
|
||
_fsync_file(tmp)
|
||
raw_store.fsync_dir(tmp.parent)
|
||
final.parent.mkdir(parents=True, exist_ok=True)
|
||
registered = str(expected_sha or "").strip() or None
|
||
try:
|
||
os.link(tmp, final)
|
||
linked = True
|
||
except FileExistsError:
|
||
linked = False
|
||
except OSError as e:
|
||
raise PublishError(f"导入失败：无法写入数据文件（{first_line(e)}），当前版本未受影响") from e
|
||
if not linked:
|
||
existing = raw_store.sha256_file(final)
|
||
if existing == (registered or sha):
|
||
return Placed(existing, True)
|
||
if registered is not None and sha != registered:
|
||
logger.error("同版本数据文件与登记的哈希不一致，本次上传也恢复不了：%s", final)
|
||
raise PublishError(_BUILD_CONFLICT, code="build_conflict")
|
||
moved = _quarantine(final)
|
||
if registered is not None:
|
||
logger.warning("同版本数据文件被改过，已用本次上传恢复，原文件挪进隔离区：%s → %s", final, moved)
|
||
else:
|
||
logger.warning("目标位置有一个没有登记的文件，已挪进隔离区后发布：%s → %s", final, moved)
|
||
try:
|
||
os.link(tmp, final)
|
||
except OSError as e:
|
||
raise PublishError(f"导入失败：无法写入数据文件（{first_line(e)}），当前版本未受影响") from e
|
||
os.chmod(final, 0o444)
|
||
raw_store.fsync_dir(final.parent)
|
||
return Placed(sha, registered is not None, registered is not None)
|
||
os.chmod(final, 0o444)
|
||
raw_store.fsync_dir(final.parent)
|
||
return Placed(sha, False)
|
||
finally:
|
||
_remove_db_files(tmp)
|
||
|
||
|
||
async def introspect_view(view: SourceView, report: dict[str, Any]) -> dict[str, Any]:
|
||
"""探查快照库的结构，给未规整的表注入说明。
|
||
|
||
走 introspect 而不是自己读 sqlite_master：表结构的形状必须和手工源的一模一样，下游
|
||
（工具描述、db_schema、表结构快照）才不用分两种写。
|
||
|
||
探查用一次性的源 id：引擎缓存要是只按源 id 分键（data/engine.py 加上快照 id 之前），
|
||
用真 id 就会拿到旧版本留在缓存里的引擎，把旧库的结构冻结进新快照；而上传源不能重新
|
||
探查、/schema 又按快照回答，错的结构会一直留到下一次上传。用完即关，不留在缓存里。
|
||
"""
|
||
probe = dataclasses.replace(
|
||
view, id=f"{view.id}{_PROBE}{secrets.token_hex(6)}", options=upload_options(view.options))
|
||
try:
|
||
cache = await introspect_mod.introspect(probe)
|
||
finally:
|
||
await engines.invalidate(probe.id)
|
||
unshaped = {str(t.get("name")) for t in report.get("tables") or [] if t.get("unshaped")}
|
||
for name, meta in (cache.get("tables") or {}).items():
|
||
if name in unshaped:
|
||
meta["comment"] = UNSHAPED_NOTE
|
||
return cache
|
||
|
||
|
||
_introspect_view = introspect_view
|
||
|
||
|
||
def check_probe(cache: dict[str, Any], report: dict[str, Any], source_id: str) -> None:
|
||
"""冻结进快照之前核对：探查成功，且探到的表正是解析回执里的那些。
|
||
|
||
快照的结构一旦冻结就改不了（上传源不能重新探查），所以宁可这次发布失败、旧版照常可查，
|
||
也不留下一个结构为空或者描述的是别的库的版本。
|
||
"""
|
||
if cache.get("failed"):
|
||
raise PublishError(
|
||
f"导入失败：读取新数据的表结构时出错（{cache.get('error') or '原因不明'}），当前版本未受影响")
|
||
expected = {str(t.get("name")) for t in report.get("tables") or [] if isinstance(t, dict)}
|
||
probed = set((cache.get("tables") or {}).keys())
|
||
# 表多到探查截断时只看探到的那些是不是都在回执里
|
||
if not (probed <= expected if cache.get("truncated") else probed == expected):
|
||
logger.error("上传表格发布时表结构与解析结果不一致：source=%s 探查=%s 回执=%s",
|
||
source_id, sorted(probed), sorted(expected))
|
||
raise PublishError("导入失败：新数据的表结构与解析结果对不上，已停止发布，当前版本未受影响")
|
||
|
||
|
||
_check_probe = check_probe
|
||
|
||
|
||
#: publish_build 的 import_fields 能写的列：配方导入在 table_imports 上新加的那些。id、状态、序号、
|
||
#: 原件这些由发布流程自己定，不许经这里改
|
||
IMPORT_FIELDS = frozenset({
|
||
"recipe_id", "period_start", "period_end", "context", "checks", "overrides", "waivers",
|
||
"confirmations", "manifest_artifact", "signed_by", "staging_id",
|
||
})
|
||
|
||
SchemaCacheFor = Callable[[SourceView, PublishInfo], Awaitable[dict[str, Any]]]
|
||
#: 提交前回调 (导入 id 或 None, 快照 id)：publish_build 总有新导入；publish_snapshot 的移除、作废没有新导入，传 None
|
||
BeforeCommit = Callable[[str | None, str], Awaitable[None]]
|
||
|
||
#: 切换当前快照的几种原因（snapshot_activations.kind）
|
||
ACTIVATION_KINDS = ("commit", "activate", "remove_period", "revoke_acceptance")
|
||
|
||
|
||
def _activation_row(source_id: str, snapshot: str, previous: str | None, activation: dict[str, Any] | None,
|
||
*, default_import: str | None = None) -> SnapshotActivation:
|
||
"""snapshot_activations 的一行。activation 的键对齐列：{"kind", "import_id", "reason", "signed_by"}。"""
|
||
act = dict(activation or {})
|
||
kind = act.get("kind") or "commit"
|
||
if kind not in ACTIVATION_KINDS:
|
||
raise ValueError(f"切换当前快照的原因只能是 {ACTIVATION_KINDS}，不能是 {kind!r}")
|
||
reason = str(act.get("reason") or "").strip() or None
|
||
signed = str(act.get("signed_by") or "").strip()[:100] or None
|
||
return SnapshotActivation(
|
||
source_id=source_id, snapshot_id=snapshot, previous_snapshot_id=previous, kind=kind,
|
||
import_id=act.get("import_id") or default_import, reason=reason, signed_by=signed, created_at=utcnow(),
|
||
)
|
||
|
||
|
||
def _usable_tmp(tmp: Path) -> bool:
|
||
"""临时库在、非空、在上传目录里。不在上传目录里的一律不认：发布结束要删它，不能删到别处去。"""
|
||
try:
|
||
return tmp.is_file() and tmp.stat().st_size > 0 and _under(tmp, settings.uploads_dir)
|
||
except OSError:
|
||
return False
|
||
|
||
|
||
async def publish_build(
|
||
session: AsyncSession, source: DataSource, *, tmp_db: Path, build_id: str,
|
||
build_options: dict[str, Any], engine_ver: str, report: dict[str, Any],
|
||
raw: bytes | None, raw_sha: str, file_name: str, file_size: int,
|
||
schema_cache_for: SchemaCacheFor, import_fields: dict[str, Any],
|
||
expected_db_sha256: str | None = None,
|
||
before_commit: BeforeCommit | None = None,
|
||
import_id: str | None = None,
|
||
snapshot_fields: dict[str, Any] | None = None,
|
||
activation: dict[str, Any] | None = None,
|
||
) -> ImportResult:
|
||
"""把一个建好的临时库发布成数据源的新版本并启用。期 1 的上传和期 2 的配方提交都走这里。
|
||
|
||
1. 进锁后先确认临时库在且非空：settle_journal 的 sqlite3.connect 碰到不存在的文件会新建一个空库，
|
||
不先查就会把空库当成新版本发布出去（PublishError code=trial_missing）。
|
||
2. 原件：raw 给了就存档；为 None 时原件必须已在存档里（配方导入暂存时存过），否则 raw_missing。
|
||
3. 发布库文件：落盘、（给了 expected_db_sha256 就先比哈希，code=trial_tampered）、link 到构建路径、0444。
|
||
4. 写构建记录（复用时照期 1 的规则）；schema_cache_for(view, info) 返回要冻结进快照的表结构。
|
||
它在库文件落位之后、写任何导入记录之前调用：配方导入在这里写导入清单，这时导入 id、快照 id、
|
||
序号、实际发布的库哈希都已确定。
|
||
5. 写导入记录（import_fields 写进新列）、快照，旧的 active 导入置 superseded。
|
||
6. before_commit(imp_id, snap_id)：同一事务、版本存储锁内。调用时新导入记录、快照、构建已刷进当前
|
||
事务（session.get 取得到导入记录），**新源还没加入会话、数据源指针还没切**——在里面 select 读到的
|
||
current_snapshot_id 是发布前的值，查同名源也不会查到这次要建的新源。配方导入在这里重新核对
|
||
base_changed、name_taken，写配方表、清单索引，结束暂存区。
|
||
7. 写一行 snapshot_activations（activation 给了就按它，默认 kind=commit）；加入数据源、切指针、提交。
|
||
之后回收一次（失败只记日志）。
|
||
|
||
snapshot_fields（期 3）：{"mode", "recipe_id", "recipe_sha256"}。mode=accumulate 时快照 id 带上目标配方的哈希
|
||
（snapshot_id 的说明），单期的累积快照（first、restart）也走这里；快照记录写 mode、recipe_id（没给时取
|
||
import_fields 的 recipe_id）、activated_at。不加 expected_current：配方提交的 before_commit 已在锁内判 base_changed，
|
||
简单上传照期 1 的语义，后提交的为准。
|
||
|
||
任何一步失败（包括 before_commit 抛的异常）都回滚，删掉这次 link 出来的库文件和这次新存的原件，
|
||
指针不动，异常原样抛出。**tmp_db 一律被消耗**：成功时 link 走，失败时也删，调用方不能指望它还在。
|
||
|
||
调用之前，调用方不得改动会话里的任何对象（暂存区也不行，放进 before_commit）：schema_cache_for
|
||
里写工件会另开会话提交，主会话要是已经有待刷的改动、占着应用库的写锁，两边会互等。
|
||
source 可以是还没入库的新 DataSource：失败时它也不会被建出来。
|
||
"""
|
||
if not source.id:
|
||
source.id = new_id()
|
||
# 失败回滚后 source 的属性会过期，再读就要回库加载；后面一律用这份本地值
|
||
source_id = source.id
|
||
final = build_path(source_id, build_id)
|
||
# 还没入库的新源：失败时它的 tables/<源 id>/builds/ 目录也不该留下（见 publish_upload）
|
||
state = sa_inspect(source)
|
||
fresh = state.transient or state.pending
|
||
|
||
linked = raw_new = False
|
||
try:
|
||
unknown = set(import_fields) - IMPORT_FIELDS
|
||
if unknown:
|
||
raise ValueError(f"import_fields 含有不能经发布写入的列：{sorted(unknown)}")
|
||
# 导入记录上的原件哈希必须就是这份内容的：对不上的话，清除、回收、重放都会找错文件
|
||
if raw is not None and hashlib.sha256(raw).hexdigest() != raw_sha:
|
||
raise ValueError("raw_sha 与传入的原件内容不符")
|
||
report = report_to_json(report)
|
||
fields = dict(snapshot_fields or {})
|
||
snap_mode = fields.get("mode") or "replace"
|
||
snap_recipe = fields.get("recipe_id") or import_fields.get("recipe_id")
|
||
async with store_lock():
|
||
require_store_writable()
|
||
if not _usable_tmp(tmp_db):
|
||
raise PublishError(_TRIAL_MISSING, code="trial_missing")
|
||
# 先读后写：读的时候别把调用方挂起的改动（新源、改说明）提前刷进库。
|
||
# 应用库的写锁只在最后提交那一下持有，解析、哈希、fsync 都不占着它
|
||
with session.no_autoflush:
|
||
build = await session.get(TableBuild, build_id)
|
||
last_seq = (await session.execute(
|
||
select(func.max(TableImport.seq)).where(TableImport.source_id == source_id)
|
||
)).scalar() or 0
|
||
previous = None if fresh else (await session.execute(
|
||
select(DataSource.current_snapshot_id).where(DataSource.id == source_id))).scalar()
|
||
if raw is None and not raw_store.raw_exists(raw_sha):
|
||
raise PublishError(_RAW_MISSING, code="raw_missing")
|
||
db_sha, reused_file, restored = await asyncio.to_thread(
|
||
_publish_file, tmp_db, final, build.db_sha256 if build is not None else None,
|
||
expected_db_sha256)
|
||
linked = not reused_file
|
||
if raw is not None:
|
||
raw_new = not raw_store.raw_exists(raw_sha)
|
||
await asyncio.to_thread(raw_store.put_raw, raw)
|
||
|
||
now = utcnow()
|
||
if build is None:
|
||
build = TableBuild(
|
||
id=build_id, source_id=source_id, raw_sha256=raw_sha,
|
||
options_sha256=sha_json(build_options), engine_ver=engine_ver,
|
||
options=build_options, db_path=str(final), db_sha256=db_sha, report=report,
|
||
created_at=now,
|
||
)
|
||
session.add(build)
|
||
build_reused = False
|
||
else:
|
||
if not reused_file:
|
||
# 记录在、文件被回收过：这次重新建了出来
|
||
build.db_sha256, build.report = db_sha, report
|
||
elif not str(build.db_sha256 or "").strip():
|
||
# 登记的哈希是空的（记录被改坏了）：复用的文件和这次新建的逐字节一致才走到这里，
|
||
# 补上它的哈希，免得新快照继承一个空哈希
|
||
build.db_sha256 = db_sha
|
||
build.db_path, build.retired_at = str(final), None
|
||
build_reused = reused_file
|
||
report = build.report or report
|
||
|
||
imp_id = import_id or new_id()
|
||
seq = last_seq + 1
|
||
snap_id = snapshot_id(source_id, [imp_id], engine_ver, mode=snap_mode,
|
||
recipe_sha=fields.get("recipe_sha256"))
|
||
options_now = upload_options(source.options)
|
||
view = SourceView(
|
||
id=source_id, name=source.name, database=str(final), options=options_now,
|
||
description=source.description or "", snapshot_id=snap_id,
|
||
expected_sha256=build.db_sha256,
|
||
)
|
||
info = PublishInfo(import_id=imp_id, snapshot_id=snap_id, seq=seq, build_id=build_id,
|
||
db_sha256=db_sha, build_reused=build_reused, report=report,
|
||
build_restored=restored)
|
||
cache = await schema_cache_for(view, info)
|
||
|
||
session.add(TableImport(
|
||
id=imp_id, source_id=source_id, seq=seq, build_id=build_id,
|
||
file_name=(file_name or "")[:500], file_size=int(file_size), raw_sha256=raw_sha,
|
||
raw_state="kept", status="active", created_at=now, activated_at=now,
|
||
**import_fields,
|
||
))
|
||
session.add(SourceSnapshot(
|
||
id=snap_id, source_id=source_id, imports=[imp_id], db_path=str(final),
|
||
db_sha256=build.db_sha256, schema_cache=cache, created_at=now,
|
||
mode=snap_mode, recipe_id=snap_recipe, activated_at=now,
|
||
))
|
||
await session.execute(
|
||
update(TableImport)
|
||
.where(TableImport.source_id == source_id, TableImport.status == "active",
|
||
TableImport.id != imp_id)
|
||
.values(status="superseded")
|
||
)
|
||
if before_commit is not None:
|
||
await before_commit(imp_id, snap_id)
|
||
session.add(_activation_row(source_id, snap_id, previous, activation, default_import=imp_id))
|
||
|
||
session.add(source)
|
||
source.kind, source.origin, source.readonly = "sqlite", "upload", True
|
||
source.host = source.port = source.username = source.password = None
|
||
if options_now != (source.options or {}):
|
||
source.options = options_now
|
||
# database 只作显示：查询一律从快照解析
|
||
source.database = str(final)
|
||
source.current_snapshot_id = snap_id
|
||
source.schema_cache, source.schema_synced_at = cache, now
|
||
await session.commit()
|
||
except BaseException:
|
||
try:
|
||
await session.rollback()
|
||
except Exception: # noqa: BLE001 - 回滚失败也要先把文件收拾掉，再抛原来的异常
|
||
logger.exception("上传表格发布失败后回滚出错")
|
||
# 这次新建的文件没有记录指着，留着就是孤儿。复用的文件、早就存在的原件不动
|
||
if linked:
|
||
_remove_db_files(final)
|
||
if raw_new:
|
||
raw_store.purge_raw(raw_sha)
|
||
if fresh:
|
||
if _under(tmp_db, settings.uploads_dir):
|
||
_remove_db_files(tmp_db)
|
||
_prune_build_dirs(final)
|
||
raise
|
||
finally:
|
||
if _under(tmp_db, settings.uploads_dir):
|
||
_remove_db_files(tmp_db)
|
||
# 指针换了（或没换成）：按源 id 清掉缓存的引擎，下次按新的快照重建
|
||
await engines.invalidate(source_id)
|
||
|
||
try:
|
||
await gc(session)
|
||
except Exception: # noqa: BLE001 - 回收失败不影响这次导入，下次发布或重启再收
|
||
logger.exception("上传表格发布后的回收失败")
|
||
return ImportResult(import_id=imp_id, snapshot_id=snap_id, build_id=build_id,
|
||
build_reused=build_reused, report=report, seq=seq, db_sha256=db_sha,
|
||
build_restored=restored)
|
||
|
||
|
||
async def publish_upload(
|
||
session: AsyncSession, source: DataSource, raw: bytes, filename: str, *,
|
||
header_row: int = 1, mixed: str = "reject", raw_mode: bool = False,
|
||
) -> ImportResult:
|
||
"""解析一份上传、发布成新版本并启用。返回导入回执。
|
||
|
||
1. 线程池里解析到临时库；NeedsDecision / UnsupportedTable 原样抛出——不留原件、不动指针。
|
||
2. 交给 publish_build：发布库文件、存原件、一个事务里写构建 / 导入记录 / 快照、切指针，
|
||
失败时回滚并删掉这次新建的文件；之后回收一次。
|
||
|
||
source 可以是还没入库的新 DataSource：失败时它也不会被建出来。
|
||
"""
|
||
if not source.id:
|
||
source.id = new_id()
|
||
source_id = source.id
|
||
# 拿不到守卫的进程别先花时间解析：发布那一步反正会拒
|
||
require_store_writable()
|
||
raw_sha = hashlib.sha256(raw).hexdigest()
|
||
options = parse_options(filename, header_row=header_row, mixed=mixed, raw_mode=raw_mode)
|
||
bid = build_id(source_id, raw_sha, options)
|
||
final = build_path(source_id, bid)
|
||
# 还没入库的新源（接口层每次给一个新 id）：失败时它的 tables/<源 id>/builds/ 目录也不该留下。
|
||
# 被拒收的上传在「422 → 用户选择 → 重传」里每轮都是一个新 id，不收拾的话每轮多一个空目录。
|
||
# 新 id 只有这一个请求在用，删目录不会和别的发布撞上；已有的源目录里有当前版本，不动
|
||
state = sa_inspect(source)
|
||
fresh = state.transient or state.pending
|
||
|
||
try:
|
||
async with parse_slot():
|
||
tmp, parsed = await asyncio.to_thread(
|
||
_parse_to_tmp, final, raw, filename, header_row, mixed, raw_mode)
|
||
except BaseException:
|
||
if fresh:
|
||
await asyncio.to_thread(_prune_build_dirs, final)
|
||
raise
|
||
|
||
async def schema(view: SourceView, info: PublishInfo) -> dict[str, Any]:
|
||
# 经模块里的旧名调用：期 1 的测试按这个名字替换探查，模拟发布到一半失败
|
||
cache = await _introspect_view(view, info.report)
|
||
_check_probe(cache, info.report, source_id)
|
||
return cache
|
||
|
||
return await publish_build(
|
||
session, source, tmp_db=tmp, build_id=bid, build_options=options, engine_ver=ENGINE_VER,
|
||
report=report_to_json(parsed), raw=raw, raw_sha=raw_sha, file_name=filename,
|
||
file_size=len(raw), schema_cache_for=schema, import_fields={},
|
||
)
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 期 3：多期快照的发布、启用旧快照（回滚）
|
||
# --------------------------------------------------------------------------
|
||
|
||
_BASE_CHANGED = "数据源的当前版本已被更新，请刷新版本列表后重试"
|
||
|
||
|
||
@dataclass
|
||
class PeriodBuild:
|
||
"""这次新导入的那一期：试运行库（tmp_db）、构建 id、登记的选项和回执、试运行时算的库哈希。"""
|
||
|
||
tmp_db: Path
|
||
build_id: str
|
||
options: dict[str, Any]
|
||
report: dict[str, Any]
|
||
expected_sha256: str
|
||
|
||
|
||
@dataclass
|
||
class UnionBuild:
|
||
"""物化好的并集：试运行的并集文件（tmp_db）、并集 id、登记的选项、回执（asdict(UnionReport) 的 JSON，
|
||
登记进 TableBuild.report，版本页的行数从这里取）、物化时算的库哈希。"""
|
||
|
||
tmp_db: Path
|
||
union_id: str
|
||
options: dict[str, Any]
|
||
report: dict[str, Any]
|
||
expected_sha256: str
|
||
|
||
|
||
@dataclass
|
||
class NewImport:
|
||
"""新导入记录：id 由调用方先定（它已经在 imports 里，按统计期排好序）。fields 写进 IMPORT_FIELDS 那些列。"""
|
||
|
||
import_id: str
|
||
raw_sha: str
|
||
file_name: str
|
||
file_size: int
|
||
fields: dict[str, Any]
|
||
|
||
|
||
@dataclass
|
||
class SnapshotInfo:
|
||
"""publish_snapshot 交给 schema_cache_for 的发布结果：库文件已经落位，记录还没写。
|
||
|
||
WP-5 在 schema_cache_for 里写导入清单和快照清单。db_sha256 是这一期**实际发布（或复用）**的构建库哈希，
|
||
union_db_sha256 是实际发布（或复用）的并集库哈希，清单取这里的。
|
||
"""
|
||
|
||
snapshot_id: str
|
||
import_id: str | None
|
||
seq: int | None
|
||
build_id: str | None
|
||
db_sha256: str | None
|
||
build_reused: bool
|
||
build_restored: bool
|
||
union_id: str | None
|
||
union_db_sha256: str | None
|
||
#: 这一期实际冻结的构建回执（复用构建时是已有构建登记的）；没有新导入时为 {}
|
||
report: dict[str, Any]
|
||
#: 并集实际冻结的回执（复用并集时是已有并集登记的）；没有并集时为 None
|
||
union_report: dict[str, Any] | None
|
||
|
||
|
||
@dataclass
|
||
class SnapshotPublish:
|
||
snapshot_id: str
|
||
import_id: str | None
|
||
build_id: str | None
|
||
union_id: str | None
|
||
build_reused: bool
|
||
#: 本期构建或并集的已有文件被改过，这次用临时文件恢复了它、原文件挪进了隔离区（第 8 节遗留项 1）。
|
||
#: 并集也算：接口层照这一个字段提示「服务端的同版本数据文件曾被改动」，不用分两处看
|
||
build_restored: bool
|
||
union_reused: bool
|
||
seq: int | None
|
||
#: 快照 id 已存在、没回收：直接切过去，没有新建快照
|
||
snapshot_reused: bool = False
|
||
#: 快照 id 已存在、已回收：复活后切过去
|
||
snapshot_revived: bool = False
|
||
#: 恢复的是并集文件（build_restored 已含这种情况）
|
||
union_restored: bool = False
|
||
|
||
|
||
SnapshotSchemaFor = Callable[[SourceView, SnapshotInfo], Awaitable[dict[str, Any]]]
|
||
|
||
|
||
async def _current_pointer(session: AsyncSession, source_id: str) -> str | None:
|
||
"""锁内用 select 重读数据源的当前快照：不信会话里缓存的对象，别人可能刚提交过。"""
|
||
return (await session.execute(
|
||
select(DataSource.current_snapshot_id).where(DataSource.id == source_id))).scalar()
|
||
|
||
|
||
async def _switch_statuses(session: AsyncSession, source_id: str, imports: list[str],
|
||
recipe_id: str | None, now: datetime) -> None:
|
||
"""切当前快照时的状态：快照里的各期导入置 active，其余 active 的置 superseded；目标配方置 active，
|
||
其余 active 的置 superseded（recipe_id 为 None = 简单导入，所有配方都置 superseded）。"""
|
||
await session.execute(
|
||
update(TableImport)
|
||
.where(TableImport.source_id == source_id, TableImport.id.in_(imports), TableImport.status != "active")
|
||
.values(status="active", activated_at=now)
|
||
)
|
||
await session.execute(
|
||
update(TableImport)
|
||
.where(TableImport.source_id == source_id, TableImport.status == "active", TableImport.id.not_in(imports))
|
||
.values(status="superseded")
|
||
)
|
||
await session.execute(
|
||
update(TableRecipe)
|
||
.where(TableRecipe.source_id == source_id, TableRecipe.status == "active",
|
||
*([TableRecipe.id != recipe_id] if recipe_id else []))
|
||
.values(status="superseded")
|
||
)
|
||
if recipe_id:
|
||
await session.execute(
|
||
update(TableRecipe)
|
||
.where(TableRecipe.source_id == source_id, TableRecipe.id == recipe_id, TableRecipe.status != "active")
|
||
.values(status="active", activated_at=now)
|
||
)
|
||
|
||
|
||
def _union_layout(report: dict[str, Any] | None) -> dict[str, list[list[Any]]] | None:
|
||
"""并集回执（asdict(UnionReport) 的 JSON）里的表结构：表 → [[列, 类型], …]，列序照原样。没有就 None。"""
|
||
tables = (report or {}).get("tables") if isinstance(report, dict) else None
|
||
if not isinstance(tables, dict) or not tables:
|
||
return None
|
||
return {str(name): [[c.get("name"), c.get("type")] for c in cols if isinstance(c, dict)]
|
||
for name, cols in tables.items() if isinstance(cols, list)}
|
||
|
||
|
||
_UNION_LAYOUT_CONFLICT = ("导入失败：服务端已有的同一份累积数据文件与这次的表结构不一致，当前版本未受影响。"
|
||
"请联系管理员检查数据目录")
|
||
|
||
|
||
def _file_matches(path: str | None, expected: str | None) -> bool:
|
||
"""文件在、哈希等于登记值（登记值为空一律不算）。"""
|
||
if not path or not str(expected or "").strip() or not Path(path).is_file():
|
||
return False
|
||
try:
|
||
return raw_store.sha256_file(Path(path)) == str(expected).strip()
|
||
except OSError:
|
||
return False
|
||
|
||
|
||
async def publish_snapshot(
|
||
session: AsyncSession, source: DataSource, *, imports: list[str], mode: str,
|
||
recipe_id: str | None, recipe_sha256: str | None, expected_current: str | None,
|
||
period_build: PeriodBuild | None, new_import: NewImport | None, union: UnionBuild | None,
|
||
schema_cache_for: SnapshotSchemaFor, before_commit: BeforeCommit | None = None,
|
||
activation: dict[str, Any] | None = None,
|
||
) -> SnapshotPublish:
|
||
"""把一组导入发布成数据源的新快照并启用（P3-SPEC 2.6 发布）。累积提交、移除某一期、作废接受都走这里；
|
||
单期而且快照库就是那一期构建库的提交照旧走 publish_build。
|
||
|
||
imports 按统计期排序（含新导入的 id）；union 为 None 时快照库就是 imports 里唯一那一期的构建库（这次的
|
||
period_build，或者已有构建）。快照 id 按 snapshot_id 的规则算，引擎版本一律 RECIPE_ENGINE_VER。
|
||
|
||
1. 进锁后先 require_store_writable()；select 重读当前快照，不等于 expected_current 就抛
|
||
PublishError(code="base_changed")：确认框是按旧的当前版本给的，别人在这期间提交或启用过，不能照旧切过去。
|
||
再检查本期构建、并集的临时文件都在且非空（trial_missing）。
|
||
2. 本期构建、并集都经 _publish_file 发布（带期望哈希，复用、恢复的规则同 publish_build）。并集 id 已登记、
|
||
登记的回执里的表结构却与这次的不同时 build_conflict：id 没把退役列算进去，复用旧文件就违背了 H2。
|
||
恢复了被改过的并集文件也记 build_restored（union_restored 另记一份）。
|
||
3. 快照 id 已存在（imports、mode、库路径都必须与已有记录相同，配方按内容哈希比、记录 id 可以不同，否则
|
||
snapshot_conflict；现行配方跟着已有快照记的那条配方记录走）：
|
||
- 没回收、文件在、哈希等于登记值：不新建，按 activate_snapshot 的步骤切过去（snapshot_reused）；
|
||
- 已回收：复活。并集文件被回收删了的，第 2 步已经用这次的临时文件 link 回来，哈希必须等于登记的
|
||
db_sha256（物化是确定的），否则 build_conflict；清掉快照和并集构建的回收标记（snapshot_revived）。
|
||
复用、复活都用已有快照冻结的表结构，不调 schema_cache_for。
|
||
4. 新快照：schema_cache_for(view, info) 返回要冻结的表结构（WP-5 在这里写导入清单和快照清单；返回值里的
|
||
snapshot_manifest 记进快照的 manifest_artifact 索引列），再写构建记录（新的才写）、导入记录、快照记录。
|
||
5. 状态：快照里的各期置 active，其余 active 的置 superseded；目标配方置 active。
|
||
6. before_commit(新导入 id 或 None, 快照 id)：同一事务、锁内，pointer 还没切。之后写 snapshot_activations、
|
||
切指针、写 schema_cache，提交。
|
||
|
||
任何一步失败：回滚，删掉这次新 link 出来的文件（恢复的、复用的不删），指针不动，异常原样抛出。临时文件一律
|
||
被消耗。成功后回收一次（失败只记日志）。调用之前调用方不得改动会话里的对象（理由同 publish_build）。
|
||
"""
|
||
imports = [str(x) for x in imports]
|
||
if not imports or len(set(imports)) != len(imports):
|
||
raise ValueError("imports 不能为空，也不能有重复的导入记录")
|
||
if (period_build is None) != (new_import is None):
|
||
raise ValueError("period_build 和 new_import 要么都给，要么都不给")
|
||
if new_import is not None and new_import.import_id not in imports:
|
||
raise ValueError("新导入记录的 id 必须在 imports 里")
|
||
if union is None and len(imports) != 1:
|
||
raise ValueError("没有并集时快照只能有一期")
|
||
if mode not in ("replace", "accumulate"):
|
||
raise ValueError(f"快照的模式只能是 replace 或 accumulate，不能是 {mode!r}")
|
||
if new_import is not None:
|
||
unknown = set(new_import.fields) - IMPORT_FIELDS
|
||
if unknown:
|
||
raise ValueError(f"new_import.fields 含有不能经发布写入的列：{sorted(unknown)}")
|
||
state = sa_inspect(source)
|
||
if state.transient or state.pending:
|
||
raise ValueError("publish_snapshot 只用于已有的数据源：首次导入走 publish_build")
|
||
source_id = source.id
|
||
snap_id = snapshot_id(source_id, imports, recipe_types.RECIPE_ENGINE_VER, mode=mode, recipe_sha=recipe_sha256)
|
||
period_final = build_path(source_id, period_build.build_id) if period_build is not None else None
|
||
union_final = union_path(source_id, union.union_id) if union is not None else None
|
||
tmps = [t.tmp_db for t in (period_build, union) if t is not None]
|
||
linked: list[Path] = []
|
||
try:
|
||
report = report_to_json(period_build.report) if period_build is not None else {}
|
||
union_report = report_to_json(union.report) if union is not None else None
|
||
async with store_lock():
|
||
require_store_writable()
|
||
with session.no_autoflush:
|
||
previous = await _current_pointer(session, source_id)
|
||
if previous != expected_current:
|
||
raise PublishError(_BASE_CHANGED, code="base_changed")
|
||
for tmp in tmps:
|
||
if not _usable_tmp(tmp):
|
||
raise PublishError(_TRIAL_MISSING, code="trial_missing")
|
||
existing = await session.get(SourceSnapshot, snap_id)
|
||
pbuild = await session.get(TableBuild, period_build.build_id) if period_build is not None else None
|
||
ubuild = await session.get(TableBuild, union.union_id) if union is not None else None
|
||
rows = {i.id: i for i in (await session.execute(
|
||
select(TableImport).where(TableImport.id.in_(imports)))).scalars()}
|
||
last_seq = (await session.execute(
|
||
select(func.max(TableImport.seq)).where(TableImport.source_id == source_id)
|
||
)).scalar() or 0
|
||
only_build = None
|
||
if union is None and period_build is None:
|
||
only = rows.get(imports[0])
|
||
only_build = await session.get(TableBuild, only.build_id) if only is not None else None
|
||
# 已有的各期必须在、属于这个源；新导入的 id 不能已被占用
|
||
olds = [i for i in imports if new_import is None or i != new_import.import_id]
|
||
stray = [i for i in olds if i not in rows or rows[i].source_id != source_id]
|
||
if stray:
|
||
raise ValueError(f"imports 里有不属于这个数据源的导入记录：{stray}")
|
||
if new_import is not None and new_import.import_id in rows:
|
||
raise ValueError("新导入记录的 id 已被占用")
|
||
if new_import is not None and not raw_store.raw_exists(new_import.raw_sha):
|
||
raise PublishError(_RAW_MISSING, code="raw_missing")
|
||
if previous is not None and snap_id == previous:
|
||
raise PublishError("这个版本已是当前版本", code="already_current")
|
||
|
||
# 2. 文件落位
|
||
build_sha, build_reused, build_restored = None, False, False
|
||
if period_build is not None:
|
||
placed = await asyncio.to_thread(
|
||
_publish_file, period_build.tmp_db, period_final,
|
||
pbuild.db_sha256 if pbuild is not None else None, period_build.expected_sha256)
|
||
if not placed.reused:
|
||
linked.append(period_final)
|
||
build_sha, build_reused, build_restored = placed
|
||
build_reused = build_reused and pbuild is not None
|
||
union_sha, union_reused, union_restored = None, False, False
|
||
if union is not None:
|
||
had = _union_layout(ubuild.report) if ubuild is not None else None
|
||
fresh = _union_layout(union_report)
|
||
if had is not None and fresh is not None and had != fresh:
|
||
# 同一个并集 id、表结构却不同：说明 id 没把退役列算进去（recipe_accumulate.union_id 的 retired）。
|
||
# 照常复用的话，用户在试运行里核对的那份和真正发布的结构不同（H2），宁可停下
|
||
logger.error("并集 id 已登记、表结构却与这次的不同：source=%s union=%s", source_id, union.union_id)
|
||
raise PublishError(_UNION_LAYOUT_CONFLICT, code="build_conflict")
|
||
uplaced = await asyncio.to_thread(
|
||
_publish_file, union.tmp_db, union_final,
|
||
ubuild.db_sha256 if ubuild is not None else None, union.expected_sha256)
|
||
if not uplaced.reused:
|
||
linked.append(union_final)
|
||
union_sha, union_reused = uplaced.sha, uplaced.reused and ubuild is not None
|
||
union_restored = uplaced.restored
|
||
if (ubuild is not None and not uplaced.reused and str(ubuild.db_sha256 or "").strip()
|
||
and uplaced.sha != ubuild.db_sha256 and existing is not None):
|
||
# 并集文件被回收删了、重新物化出来的却和登记的不同：物化本该是确定的，已有快照不能指向它
|
||
raise PublishError(_BUILD_CONFLICT, code="build_conflict")
|
||
|
||
# 快照库：并集 / 本期构建 / 唯一那一期的已有构建
|
||
if union is not None:
|
||
db_path, db_sha = str(union_final), union_sha
|
||
elif period_build is not None:
|
||
db_path, db_sha = str(period_final), build_sha
|
||
else:
|
||
if only_build is None or only_build.retired_at is not None or not Path(only_build.db_path).is_file():
|
||
# 只剩这一期，「先移除这一期」走不通（不能移除唯一的一期），出路只有回到更早的版本（7.4）
|
||
only = rows.get(imports[0])
|
||
when = (f"（{only.period_start} 至 {only.period_end}）"
|
||
if only is not None and only.period_start and only.period_end else "")
|
||
raise PublishError(f"这一期{when}的数据文件已丢失，无法重建当前版本。可以在数据源卡片的「版本」中"
|
||
"启用更早的版本", code="part_missing")
|
||
if not await asyncio.to_thread(_file_matches, only_build.db_path, only_build.db_sha256):
|
||
raise PublishError("这一期的数据文件与登记的不一致，可能被修改过", code="part_tampered")
|
||
db_path, db_sha = only_build.db_path, only_build.db_sha256
|
||
|
||
now = utcnow()
|
||
seq = last_seq + 1 if new_import is not None else None
|
||
reused_snap = revived = False
|
||
if existing is not None:
|
||
# 3. 快照 id 已存在：id 相同则内容必然相同。对不上说明 id 规则被破坏了（不应出现）。
|
||
# 期 3 之前的快照没记 recipe_id，按最后一期导入的算（9.6）
|
||
had_recipe = existing.recipe_id or (rows[imports[-1]].recipe_id if imports[-1] in rows else None)
|
||
same_recipe = (had_recipe or None) == (recipe_id or None)
|
||
if not same_recipe and had_recipe and str(recipe_sha256 or "").strip():
|
||
# 快照 id 按配方**内容**（哈希）算，配方记录却可能是两条：例如按 R0 建了快照，之后改成 R1、又改回
|
||
# 与 R0 逐字相同的 R2（新记录）。移除、作废回到那组导入时 id 正是当初那个，按记录 id 比会误报
|
||
# snapshot_conflict，用户移除不了。所以按登记的配方哈希比：内容相同就是同一个版本
|
||
with session.no_autoflush:
|
||
had_row = await session.get(TableRecipe, had_recipe)
|
||
same_recipe = (had_row is not None and had_row.source_id == source_id
|
||
and had_row.recipe_sha256 == str(recipe_sha256).strip())
|
||
if (existing.source_id != source_id or [str(x) for x in existing.imports or []] != imports
|
||
or not same_recipe
|
||
or (existing.mode or "replace") != mode or not _same_path(existing.db_path, db_path)):
|
||
logger.error("快照 id 已存在但内容对不上：source=%s snapshot=%s", source_id, snap_id)
|
||
raise PublishError("导入失败：已有的同 id 版本与这次的内容不一致，当前版本未受影响",
|
||
code="snapshot_conflict")
|
||
if not await asyncio.to_thread(_file_matches, existing.db_path, existing.db_sha256):
|
||
raise PublishError(_BUILD_CONFLICT, code="build_conflict")
|
||
# 现行配方跟着这个快照记的那条配方记录走（内容相同）：与 activate_snapshot「current_recipe_id 换成
|
||
# 该快照的 recipe_id」一致，免得当前快照记 R0、数据源的现行配方却是 R2，版本页的「第几版」两处对不上
|
||
recipe_id = had_recipe or recipe_id
|
||
revived = existing.retired_at is not None
|
||
reused_snap = not revived
|
||
cache = copy.deepcopy(existing.schema_cache or {})
|
||
db_path, db_sha = existing.db_path, existing.db_sha256
|
||
else:
|
||
# 4. 新快照：先冻结表结构（这之前不动会话里的任何对象，理由同 publish_build）
|
||
info = SnapshotInfo(
|
||
snapshot_id=snap_id, import_id=new_import.import_id if new_import is not None else None,
|
||
seq=seq, build_id=period_build.build_id if period_build is not None else None,
|
||
db_sha256=build_sha, build_reused=build_reused, build_restored=build_restored,
|
||
union_id=union.union_id if union is not None else None, union_db_sha256=union_sha,
|
||
report=(pbuild.report or report) if build_reused and pbuild is not None else report,
|
||
union_report=((ubuild.report or union_report) if union_reused and ubuild is not None
|
||
else union_report),
|
||
)
|
||
view = SourceView(
|
||
id=source_id, name=source.name, database=db_path, options=upload_options(source.options),
|
||
description=source.description or "", snapshot_id=snap_id, expected_sha256=db_sha,
|
||
)
|
||
cache = await schema_cache_for(view, info)
|
||
|
||
# 构建记录：新的才写；回收过、被恢复的补回路径、清掉回收标记
|
||
if period_build is not None:
|
||
if pbuild is None:
|
||
session.add(TableBuild(
|
||
id=period_build.build_id, source_id=source_id, raw_sha256=new_import.raw_sha,
|
||
options_sha256=sha_json(period_build.options), engine_ver=recipe_types.RECIPE_ENGINE_VER,
|
||
options=period_build.options, db_path=str(period_final), db_sha256=build_sha,
|
||
report=report, created_at=now,
|
||
))
|
||
else:
|
||
if not build_reused:
|
||
pbuild.db_sha256, pbuild.report = build_sha, report
|
||
elif not str(pbuild.db_sha256 or "").strip():
|
||
pbuild.db_sha256 = build_sha
|
||
pbuild.db_path, pbuild.retired_at = str(period_final), None
|
||
if union is not None:
|
||
if ubuild is None:
|
||
session.add(TableBuild(
|
||
id=union.union_id, source_id=source_id, raw_sha256="",
|
||
options_sha256=sha_json(union.options), engine_ver=recipe_types.UNION_VER,
|
||
options=union.options, db_path=str(union_final), db_sha256=union_sha,
|
||
report=union_report, created_at=now,
|
||
))
|
||
else:
|
||
if not union_reused:
|
||
ubuild.db_sha256, ubuild.report = union_sha, union_report
|
||
elif not str(ubuild.db_sha256 or "").strip():
|
||
ubuild.db_sha256 = union_sha
|
||
ubuild.db_path, ubuild.retired_at = str(union_final), None
|
||
|
||
if existing is not None:
|
||
existing.retired_at = None
|
||
existing.activated_at = now
|
||
else:
|
||
if new_import is not None:
|
||
session.add(TableImport(
|
||
id=new_import.import_id, source_id=source_id, seq=seq, build_id=period_build.build_id,
|
||
file_name=(new_import.file_name or "")[:500], file_size=int(new_import.file_size),
|
||
raw_sha256=new_import.raw_sha, raw_state="kept", status="active",
|
||
created_at=now, activated_at=now, **new_import.fields,
|
||
))
|
||
manifest = cache.get("snapshot_manifest") if isinstance(cache, dict) else None
|
||
session.add(SourceSnapshot(
|
||
id=snap_id, source_id=source_id, imports=list(imports), db_path=db_path, db_sha256=db_sha,
|
||
schema_cache=cache, created_at=now, mode=mode, recipe_id=recipe_id, activated_at=now,
|
||
manifest_artifact=manifest if isinstance(manifest, str) else None,
|
||
))
|
||
# 5. 状态（新导入记录 add 时已是 active）。提交路径上新配方由 before_commit 写进配方表，
|
||
# 这里先把其余配方置 superseded，before_commit 再加的新配方本来就是 active
|
||
await _switch_statuses(session, source_id, imports, recipe_id, now)
|
||
if before_commit is not None:
|
||
await before_commit(new_import.import_id if new_import is not None else None, snap_id)
|
||
session.add(_activation_row(source_id, snap_id, previous, activation,
|
||
default_import=new_import.import_id if new_import is not None else None))
|
||
source.current_snapshot_id = snap_id
|
||
source.schema_cache, source.schema_synced_at = cache, now
|
||
# database 只作显示：查询一律从快照解析
|
||
source.database = db_path
|
||
if recipe_id:
|
||
source.current_recipe_id = recipe_id
|
||
await session.commit()
|
||
except BaseException:
|
||
try:
|
||
await session.rollback()
|
||
except Exception: # noqa: BLE001 - 回滚失败也要先把文件收拾掉，再抛原来的异常
|
||
logger.exception("上传表格发布多期版本失败后回滚出错")
|
||
for path in linked:
|
||
_remove_db_files(path)
|
||
raise
|
||
finally:
|
||
for tmp in tmps:
|
||
if _under(tmp, settings.uploads_dir):
|
||
_remove_db_files(tmp)
|
||
await engines.invalidate(source_id)
|
||
|
||
try:
|
||
await gc(session)
|
||
except Exception: # noqa: BLE001 - 回收失败不影响这次发布，下次发布或重启再收
|
||
logger.exception("上传表格发布多期版本后的回收失败")
|
||
return SnapshotPublish(
|
||
snapshot_id=snap_id, import_id=new_import.import_id if new_import is not None else None,
|
||
build_id=period_build.build_id if period_build is not None else None,
|
||
union_id=union.union_id if union is not None else None, build_reused=build_reused,
|
||
build_restored=build_restored or union_restored, union_reused=union_reused, seq=seq,
|
||
snapshot_reused=reused_snap, snapshot_revived=revived, union_restored=union_restored,
|
||
)
|
||
|
||
|
||
def mask_lost(source_options: dict[str, Any] | None, schema_cache: dict[str, Any] | None) -> list[str]:
|
||
"""数据源当前的遮罩列里，在这份表结构（快照冻结的 schema_cache）各表的列名中都找不到的（P3-SPEC 7.1）。
|
||
|
||
遮罩按列名生效（不分大小写，同 recipe_imports、evidence 的比法）：回滚到列名不同的版本，遮罩会悄悄失效，
|
||
证据面板和裁判摘录会显示本该遮罩的值。启用、移除、作废之前拿它和目标版本比，丢失的要人确认。
|
||
"""
|
||
wanted = masked_columns(source_options)
|
||
if not wanted:
|
||
return []
|
||
names: set[str] = set()
|
||
for meta in ((schema_cache or {}).get("tables") or {}).values():
|
||
cols = meta.get("columns") if isinstance(meta, dict) else None
|
||
for col in cols or []:
|
||
if isinstance(col, dict) and col.get("name") is not None:
|
||
names.add(str(col["name"]).lower())
|
||
return [c for c in wanted if c.lower() not in names]
|
||
|
||
|
||
_ACTIVATE_TEXT = {
|
||
"not_upload_source": "这个数据源不是上传的表格，没有可以启用的版本",
|
||
"snapshot_not_found": "这个版本不存在，或不属于这个数据源",
|
||
"already_current": "这个版本已是当前版本",
|
||
"retired": "这个版本已回收，无法启用",
|
||
"file_lost": "这个版本的数据文件已丢失，无法启用",
|
||
"snapshot_tampered": "这个版本的数据文件与登记的不一致，可能被修改过，无法启用",
|
||
"contains_revoked": "这个版本包含已作废接受的导入，无法启用",
|
||
}
|
||
|
||
|
||
async def activate_snapshot(
|
||
session: AsyncSession, source: DataSource, snapshot_id: str, *, expected_current: str | None,
|
||
kind: str = "activate", reason: str | None, signed_by: str | None,
|
||
import_id: str | None = None, ack_mask_lost: list[str] | None = None,
|
||
) -> str:
|
||
"""启用一个还保留着的旧快照（回滚），在版本存储锁内原子完成。返回原来的当前快照 id（P3-SPEC 7.2）。
|
||
|
||
1. require_store_writable()；select 重读数据源：不是上传源 not_upload_source；当前快照不等于
|
||
expected_current 就 base_changed（确认框按旧的当前版本给的，不能照旧切过去）；
|
||
2. 快照属于这个源（snapshot_not_found）、不是当前快照（already_current）、没回收、文件在（snapshot_unavailable）、
|
||
文件哈希等于登记值并与快照清单一致（每次都算，snapshot_tampered）、不含作废接受的导入（contains_revoked）；
|
||
遮罩列丢失的集合不为空时必须等于 ack_mask_lost（mask_lost）；
|
||
3. 切 current_snapshot_id、schema_cache 换成快照冻结的那份、database 换成快照库路径（只作显示）、
|
||
current_recipe_id 换成快照的 recipe_id（期 3 之前的快照取最后一期导入的；简单导入为 None，源回到简单导入）；
|
||
4. 快照里的各期导入置 active、其余 superseded；目标配方置 active、其余 superseded；
|
||
5. 写 activated_at 和一行 snapshot_activations（kind、import_id、理由、署名）；提交；
|
||
6. 失效引擎缓存。
|
||
|
||
任何一步失败都回滚、指针不动，抛 ActivationError(code)（只读进程抛 StoreUnavailable）。回滚之后调用方手里的
|
||
ORM 对象都已过期，在异步会话里再读它们的属性会抛 MissingGreenlet：要用的值先取成本地变量。作废接受时，调用方
|
||
可以先在同一个会话里改好那条导入记录的 revoked，再调这里：随这次提交一起生效，失败时一起回滚。
|
||
"""
|
||
source_id = source.id
|
||
if kind not in ACTIVATION_KINDS or kind == "commit":
|
||
raise ValueError(f"启用旧版本的原因不能是 {kind!r}")
|
||
try:
|
||
async with store_lock():
|
||
require_store_writable()
|
||
row = (await session.execute(
|
||
select(DataSource.origin, DataSource.current_snapshot_id, DataSource.options)
|
||
.where(DataSource.id == source_id))).first()
|
||
if row is None or (row[0] or "manual") != "upload":
|
||
raise ActivationError("not_upload_source", _ACTIVATE_TEXT["not_upload_source"])
|
||
previous, options = row[1], row[2]
|
||
if previous != expected_current:
|
||
raise ActivationError("base_changed", _BASE_CHANGED)
|
||
snap = await session.get(SourceSnapshot, snapshot_id)
|
||
if snap is None or snap.source_id != source_id:
|
||
raise ActivationError("snapshot_not_found", _ACTIVATE_TEXT["snapshot_not_found"])
|
||
if snap.id == previous:
|
||
raise ActivationError("already_current", _ACTIVATE_TEXT["already_current"])
|
||
if snap.retired_at is not None:
|
||
raise ActivationError("snapshot_unavailable", _ACTIVATE_TEXT["retired"])
|
||
if not snap.db_path or not Path(snap.db_path).is_file():
|
||
raise ActivationError("snapshot_unavailable", _ACTIVATE_TEXT["file_lost"])
|
||
if not await asyncio.to_thread(_file_matches, snap.db_path, snap.db_sha256):
|
||
raise ActivationError("snapshot_tampered", _ACTIVATE_TEXT["snapshot_tampered"])
|
||
try:
|
||
verify_snapshot_manifest(source, snap)
|
||
except SnapshotManifestMismatch as e:
|
||
raise ActivationError("snapshot_tampered", str(e)) from e
|
||
members = [str(x) for x in snap.imports or []]
|
||
imps = {i.id: i for i in (await session.execute(
|
||
select(TableImport).where(TableImport.id.in_(members)))).scalars()} if members else {}
|
||
if any(i.revoked for i in imps.values()):
|
||
raise ActivationError("contains_revoked", _ACTIVATE_TEXT["contains_revoked"])
|
||
lost = mask_lost(options, snap.schema_cache)
|
||
if lost and sorted(set(lost)) != sorted({str(c) for c in ack_mask_lost or []}):
|
||
raise ActivationError(
|
||
"mask_lost", "以下遮罩列在这个版本中没有同名列：" + "、".join(f"「{c}」" for c in lost)
|
||
+ "。请在确认框中确认，或先调整遮罩设置")
|
||
recipe = snap.recipe_id
|
||
if recipe is None and members and members[-1] in imps:
|
||
recipe = imps[members[-1]].recipe_id
|
||
now = utcnow()
|
||
target = await session.get(DataSource, source_id)
|
||
await _switch_statuses(session, source_id, members, recipe, now)
|
||
target.current_snapshot_id = snap.id
|
||
target.schema_cache, target.schema_synced_at = copy.deepcopy(snap.schema_cache or {}), now
|
||
target.database = snap.db_path
|
||
target.current_recipe_id = recipe
|
||
snap.activated_at = now
|
||
session.add(_activation_row(source_id, snap.id, previous, {
|
||
"kind": kind, "import_id": import_id, "reason": reason, "signed_by": signed_by}))
|
||
await session.commit()
|
||
except BaseException:
|
||
try:
|
||
await session.rollback()
|
||
except Exception: # noqa: BLE001 - 回滚失败也照样抛原来的异常
|
||
logger.exception("启用旧版本失败后回滚出错")
|
||
raise
|
||
finally:
|
||
await engines.invalidate(source_id)
|
||
return previous
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 暂存区：结束、瘦身、过期、原件的存与放
|
||
# --------------------------------------------------------------------------
|
||
|
||
#: 暂存区多久不提交就过期（D9 未拍板，推测；常量可调）
|
||
STAGING_TTL = timedelta(days=7)
|
||
#: 结束（瘦身）后的暂存区行保留多久。之后由回收删掉：用量和同意记录已经抄进配方表和导入清单
|
||
STAGING_KEEP_CLOSED = timedelta(days=90)
|
||
#: 配方源保留最近几次导入的原件（按 seq，被替换的也算）。期 3 的「破坏性变更用新配方重放历史原件」、
|
||
#: 解析器升级的回归重放都要用到历史原件；构建库照常回收，需要时按原件重建。N 的取值待拍板
|
||
RECIPE_RAW_KEEP = 12
|
||
STAGING_OPEN = ("drafting", "trialed", "rejected")
|
||
STAGING_CLOSED = ("committed", "discarded", "expired")
|
||
#: 暂存区结束时清空的字段和清空后的值。网格预览里有数字格的值和隐藏行列，试运行回执里有区域外文字
|
||
#: 全文，回答里有用户写的理由：用完就不该留在库里（接口没有认证）。留下的是 id、来源、文件哈希、
|
||
#: 状态、工作配方及其哈希、用量、同意记录、署名和时间
|
||
STAGING_SLIM: dict[str, Any] = {
|
||
"scan": None, "grid_preview": None, "facts": None, "drafts": None, "trial": None,
|
||
"answers_base": None, "cards": [], "questions": [], "draft_problems": [], "draft_partial": False,
|
||
"answers": {}, "recipe_problems": [], "context_inputs": {}, "trial_key": None, "trial_path": None,
|
||
# 期 3：修改记录（含撤销用的旧 answers_base）、丢弃的回答、重新起草的哈希。提交前修改记录已抄进导入清单
|
||
"edits": [], "answers_dropped": [], "redraft_sha256": None,
|
||
}
|
||
|
||
|
||
def staging_is_open(staging: ImportStaging) -> bool:
|
||
return staging.status in STAGING_OPEN
|
||
|
||
|
||
def close_staging(staging: ImportStaging, status: str, *, now: datetime | None = None) -> str | None:
|
||
"""暂存区进入结束状态并瘦身（不提交）。返回它原来的试运行库路径：提交之后交给 remove_trial_file 删。
|
||
|
||
文件放到提交之后再删：提交失败时暂存区还开着，库还在，用户不用重新试运行。提交成功、删文件失败
|
||
只是留下一个孤儿，回收和启动清理会按「暂存区已结束」把它删掉。
|
||
"""
|
||
if status not in STAGING_CLOSED:
|
||
raise ValueError(f"暂存区的结束状态只能是 {STAGING_CLOSED}，不能是 {status!r}")
|
||
now = now or utcnow()
|
||
old_trial = staging.trial_path
|
||
for name, value in STAGING_SLIM.items():
|
||
setattr(staging, name, copy.deepcopy(value))
|
||
staging.status, staging.closed_at, staging.updated_at = status, now, now
|
||
return old_trial
|
||
|
||
|
||
def remove_trial_file(path: str | None) -> bool:
|
||
"""删一个试运行库（连同日志文件和附属的并集文件）。只删上传目录里 trials/ 下的：记录被改坏了也不能删到别处去。
|
||
|
||
附属的并集文件（union_trial_path）跟着主文件走：暂存区只记主文件的路径，主文件删了它就没人认领了。
|
||
不查 require_store_writable：它只在已经拦过的入口和清理路径里被调用，在清理路径里抛异常反而会盖住原来的错误。
|
||
"""
|
||
if not path:
|
||
return False
|
||
target = Path(path)
|
||
if target.parent.name != TRIALS_DIR or not _under(target, tables_root()):
|
||
logger.warning("没有删除试运行库以外的文件：%s", path)
|
||
return False
|
||
existed = target.exists()
|
||
try:
|
||
_remove_db_files(target)
|
||
_remove_db_files(union_trial_path(target))
|
||
except OSError as e:
|
||
logger.warning("没能删掉试运行库 %s：%s", path, e)
|
||
return False
|
||
return existed
|
||
|
||
|
||
def _expiry_due(now: datetime) -> Any:
|
||
"""「该过期了」的条件。expires_at 没写的按 created_at 加 TTL 算，免得漏写一列就永不过期。"""
|
||
return and_(
|
||
ImportStaging.status.in_(STAGING_OPEN),
|
||
or_(
|
||
and_(ImportStaging.expires_at.is_not(None), ImportStaging.expires_at <= now),
|
||
and_(ImportStaging.expires_at.is_(None), ImportStaging.created_at <= now - STAGING_TTL),
|
||
),
|
||
)
|
||
|
||
|
||
def _closed_long_ago(now: datetime) -> Any:
|
||
"""「结束超过 90 天」的条件。closed_at 没写的按 updated_at 算（同 _expiry_due 的兜底）：
|
||
哪条结束路径只改了状态、没经过 close_staging，行也不会因此永远留着。"""
|
||
cutoff = now - STAGING_KEEP_CLOSED
|
||
return and_(
|
||
ImportStaging.status.in_(STAGING_CLOSED),
|
||
or_(
|
||
and_(ImportStaging.closed_at.is_not(None), ImportStaging.closed_at <= cutoff),
|
||
and_(ImportStaging.closed_at.is_(None), ImportStaging.updated_at <= cutoff),
|
||
),
|
||
)
|
||
|
||
|
||
async def _raw_in_use(session: AsyncSession, sha: str, *, except_staging: str | None = None) -> bool:
|
||
"""这份原件还有没有人要：留着原件的导入记录（raw_state=kept），或者未结束的暂存区。"""
|
||
if (await session.execute(
|
||
select(TableImport.id).where(TableImport.raw_sha256 == sha, TableImport.raw_state == "kept")
|
||
.limit(1)
|
||
)).first() is not None:
|
||
return True
|
||
cond = [ImportStaging.raw_sha256 == sha, ImportStaging.status.in_(STAGING_OPEN)]
|
||
if except_staging:
|
||
cond.append(ImportStaging.id != except_staging)
|
||
return (await session.execute(select(ImportStaging.id).where(*cond).limit(1))).first() is not None
|
||
|
||
|
||
async def _release_raws_locked(session: AsyncSession, shas: set[str]) -> set[str]:
|
||
"""（持锁）这些原件没人要了就删掉，返回删了的。暂存区引用的原件没有导入记录记着，不在这里删就成了孤儿。"""
|
||
unused = {sha for sha in shas if sha and not await _raw_in_use(session, sha)}
|
||
|
||
def _purge() -> set[str]:
|
||
return {sha for sha in unused if raw_store.purge_raw(sha, prune=True)}
|
||
|
||
return await asyncio.to_thread(_purge) if unused else set()
|
||
|
||
|
||
async def _expire_stagings_locked(session: AsyncSession, now: datetime) -> list[str]:
|
||
"""（持锁）过期的暂存区 → expired、瘦身、删试运行库、放掉没人要的原件；结束超过 90 天的行删掉（提交）。"""
|
||
expired = list((await session.execute(
|
||
select(ImportStaging).where(_expiry_due(now)).order_by(ImportStaging.created_at)
|
||
)).scalars())
|
||
ids, shas = [s.id for s in expired], {s.raw_sha256 for s in expired}
|
||
trials = [close_staging(s, "expired", now=now) for s in expired]
|
||
old = (await session.execute(
|
||
select(func.count()).select_from(ImportStaging).where(_closed_long_ago(now))
|
||
)).scalar() or 0
|
||
if old:
|
||
await session.execute(delete(ImportStaging).where(_closed_long_ago(now))
|
||
.execution_options(synchronize_session=False))
|
||
if not expired and not old:
|
||
return []
|
||
await session.commit()
|
||
for path in trials:
|
||
await asyncio.to_thread(remove_trial_file, path)
|
||
await _release_raws_locked(session, shas)
|
||
if expired:
|
||
logger.info("%d 个导入暂存区已过期并清空", len(expired))
|
||
return ids
|
||
|
||
|
||
async def expire_stagings(session: AsyncSession, *, now: datetime | None = None) -> list[str]:
|
||
"""过期的暂存区 → expired（瘦身、删试运行库、原件没人要了就删）；结束超过 90 天的行删除。提交。
|
||
|
||
返回这次过期的暂存区 id。回收（gc）开头会做一遍；但回收只在发布、删源、启动时跑，光靠它 7 天的
|
||
TTL 不一定生效，所以暂存、上传新一期、查看暂存区时也顺手调一次。调用时会话里不要有没提交的改动。
|
||
|
||
先在锁外看一眼有没有要处理的：没有就不去等锁，查看暂存区不该因为别处正在发布大文件而排队。
|
||
|
||
只读进程（没拿到版本存储的守卫）直接跳过、不抛：暂存、上传新一期、修改配方一开头就调它，抛异常的话这些
|
||
接口在报出更具体的原因之前就一律 503；跳过以后，真正写文件的那一步再报 503。
|
||
"""
|
||
if not store_writable():
|
||
return []
|
||
now = now or utcnow()
|
||
pending = (await session.execute(
|
||
select(ImportStaging.id).where(or_(_expiry_due(now), _closed_long_ago(now))).limit(1)
|
||
)).first()
|
||
if pending is None:
|
||
return []
|
||
async with store_lock():
|
||
return await _expire_stagings_locked(session, now)
|
||
|
||
|
||
async def store_staging(session: AsyncSession, staging: ImportStaging, raw: bytes) -> None:
|
||
"""存原件、把暂存区写进库（提交），全程持版本存储的锁。
|
||
|
||
原件和引用它的暂存区必须在同一把锁里落地：回收、清除原件、放弃导入都持着这把锁判断「这份原件
|
||
还有没有人要」，锁外先存原件、过一会儿才提交暂存区，中间插进来的回收会把它当成没人要的删掉。
|
||
expires_at 没写的按现在加 STAGING_TTL 补上。提交失败时，这次新存的原件删掉。
|
||
"""
|
||
sha = hashlib.sha256(raw).hexdigest()
|
||
if staging.raw_sha256 and staging.raw_sha256 != sha:
|
||
raise ValueError("暂存区登记的原件哈希与这份内容不符")
|
||
staging.raw_sha256 = sha
|
||
if staging.file_size in (None, 0):
|
||
staging.file_size = len(raw)
|
||
if staging.expires_at is None:
|
||
staging.expires_at = utcnow() + STAGING_TTL
|
||
async with store_lock():
|
||
require_store_writable()
|
||
raw_new = not raw_store.raw_exists(sha)
|
||
try:
|
||
await asyncio.to_thread(raw_store.put_raw, raw)
|
||
session.add(staging)
|
||
await session.commit()
|
||
except BaseException:
|
||
try:
|
||
await session.rollback()
|
||
except Exception: # noqa: BLE001 - 回滚失败也要先把原件收拾掉，再抛原来的异常
|
||
logger.exception("导入暂存区写入失败后回滚出错")
|
||
if raw_new:
|
||
raw_store.purge_raw(sha, prune=True)
|
||
raise
|
||
|
||
|
||
async def release_staging_raw(session: AsyncSession, staging: ImportStaging) -> bool:
|
||
"""放弃导入之后调用：这份原件已经没有别的引用（没有留着原件的导入记录、没有别的未结束暂存区）就
|
||
当场删掉，不等回收。返回是否删了文件。
|
||
|
||
自己取版本存储的锁，**不要在持锁时调用**。暂存区必须已经结束（一般是刚提交成 discarded），
|
||
还开着的一律不删：它自己就是这份原件的引用。
|
||
"""
|
||
if staging.status not in STAGING_CLOSED or not staging.raw_sha256:
|
||
return False
|
||
sha = staging.raw_sha256
|
||
async with store_lock():
|
||
require_store_writable()
|
||
if await _raw_in_use(session, sha, except_staging=staging.id):
|
||
return False
|
||
return await asyncio.to_thread(lambda: raw_store.purge_raw(sha, prune=True))
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 删除数据源、清除原件
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def _drop_quarantine(source_id: str, build_ids: set[str] | None = None) -> int:
|
||
"""删隔离区里这个源的文件：build_ids 给了只删这些构建的，否则连目录整个删掉。返回删了几个文件。"""
|
||
if not _SOURCE_ID.match(source_id or ""):
|
||
return 0
|
||
folder = quarantine_root() / source_id
|
||
if not folder.is_dir():
|
||
return 0
|
||
removed = 0
|
||
for path in sorted(folder.glob("*.db")):
|
||
if build_ids is not None and path.name.split("-", 1)[0] not in build_ids:
|
||
continue
|
||
try:
|
||
path.unlink()
|
||
removed += 1
|
||
except OSError as e:
|
||
logger.warning("没能删掉隔离文件 %s：%s", path, e)
|
||
raw_store.remove_empty_dir(folder)
|
||
return removed
|
||
|
||
|
||
async def retire_source(session: AsyncSession, source_id: str) -> None:
|
||
"""数据源删除时调用（不提交）：导入记录、配方全部置 retired，未结束的暂存区放弃（瘦身）。
|
||
|
||
文件交给随后的回收：被运行引用的版本会保留；放弃的暂存区留下的试运行库、没人要的原件也由回收删。
|
||
隔离区里这个源的文件当场删掉：它们含整张表的数据，源都删了就没有留着的理由（D13）。
|
||
"""
|
||
require_store_writable()
|
||
await asyncio.to_thread(_drop_quarantine, source_id)
|
||
await session.execute(
|
||
update(TableImport).where(TableImport.source_id == source_id, TableImport.status != "retired")
|
||
.values(status="retired")
|
||
)
|
||
await session.execute(
|
||
update(TableRecipe).where(TableRecipe.source_id == source_id, TableRecipe.status != "retired")
|
||
.values(status="retired")
|
||
)
|
||
now = utcnow()
|
||
for staging in (await session.execute(
|
||
select(ImportStaging).where(ImportStaging.source_id == source_id,
|
||
ImportStaging.status.in_(STAGING_OPEN))
|
||
)).scalars():
|
||
close_staging(staging, "discarded", now=now)
|
||
|
||
|
||
@dataclass
|
||
class RawPurge:
|
||
"""清除原件的结果。按两元组解包得到 (是否删了文件, 一并标成已清除的其他导入记录)，和期 1 一样。"""
|
||
|
||
deleted: bool
|
||
others: list[TableImport]
|
||
#: 引用同一份原件、随之一并放弃的未结束暂存区（已瘦身）
|
||
discarded_stagings: list[ImportStaging] = field(default_factory=list)
|
||
|
||
def __iter__(self) -> Iterator[Any]:
|
||
return iter((self.deleted, self.others))
|
||
|
||
|
||
async def purge_import_raw(
|
||
session: AsyncSession, imp: TableImport, *, reason: str, signed_by: str | None
|
||
) -> RawPurge:
|
||
"""清除一次导入的原件（提交）。按两元组解包得到 (是否删了文件, 一并标成已清除的其他导入记录)，
|
||
discarded_stagings 是一并放弃的暂存区。
|
||
|
||
**按内容清除。** 原件按哈希只存一份，同一个文件传过两次、传给过两个源，共用的是同一个
|
||
文件。清除的目的是让含敏感内容的原件从服务器上消失（D13），所以文件一定删；同一份内容
|
||
下其他仍保留原件的导入一并标成已清除，记录里写明是随哪次导入清除的，回执逐条列出。
|
||
引用同一份原件的未结束暂存区也在同一个事务里放弃并瘦身、删掉试运行库：不这么做，它们随后
|
||
试运行或提交时读不到原件，暂存区里那份网格和回执也照样留着，清除就没有达到目的。
|
||
持版本存储的锁：发布正在把同一份原件登记给新导入时，不能在它提交前把文件删掉。
|
||
这几期构建的隔离文件也一并删掉：隔离文件就是那几期的数据，原件清除了它们不该还留着（第 8 节遗留项 1）。
|
||
"""
|
||
async with store_lock():
|
||
require_store_writable()
|
||
sha = imp.raw_sha256
|
||
others = list((await session.execute(
|
||
select(TableImport).where(
|
||
TableImport.raw_sha256 == sha, TableImport.raw_state == "kept",
|
||
TableImport.id != imp.id,
|
||
).order_by(TableImport.source_id, TableImport.seq)
|
||
)).scalars())
|
||
stagings = list((await session.execute(
|
||
select(ImportStaging).where(
|
||
ImportStaging.raw_sha256 == sha, ImportStaging.status.in_(STAGING_OPEN),
|
||
).order_by(ImportStaging.created_at)
|
||
)).scalars()) if sha else []
|
||
now = utcnow()
|
||
record = {
|
||
"at": now.isoformat(), "reason": reason,
|
||
"signed_by": (signed_by or "").strip() or None, "signed_by_verified": False,
|
||
}
|
||
imp.raw_state, imp.purged = "purged", record
|
||
for other in others:
|
||
other.raw_state, other.purged = "purged", {**record, "via_import": imp.id}
|
||
trials = [close_staging(s, "discarded", now=now) for s in stagings]
|
||
quarantined: dict[str, set[str]] = {}
|
||
for item in (imp, *others):
|
||
if item.build_id:
|
||
quarantined.setdefault(item.source_id, set()).add(item.build_id)
|
||
await session.commit()
|
||
for path in trials:
|
||
await asyncio.to_thread(remove_trial_file, path)
|
||
deleted = await asyncio.to_thread(lambda: raw_store.purge_raw(sha, prune=True))
|
||
for src, bids in quarantined.items():
|
||
await asyncio.to_thread(_drop_quarantine, src, bids)
|
||
return RawPurge(deleted=deleted, others=others, discarded_stagings=stagings)
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 回收
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def _snapshots_in(versions: Any) -> set[str]:
|
||
"""runs.data_versions 里引用的快照 id。形状是 {source_id: {"snapshot": id, ...}}，也认直接写 id 的。"""
|
||
found: set[str] = set()
|
||
if not isinstance(versions, dict):
|
||
return found
|
||
for value in versions.values():
|
||
if isinstance(value, str) and value:
|
||
found.add(value)
|
||
elif isinstance(value, dict):
|
||
sid = value.get("snapshot") or value.get("snapshot_id")
|
||
if isinstance(sid, str) and sid:
|
||
found.add(sid)
|
||
return found
|
||
|
||
|
||
def _delete_store_file(path: str) -> None:
|
||
"""删一个版本库文件。只删上传目录里的：记录被改坏了也不能删到别处去。"""
|
||
if not path or not _under(path, settings.uploads_dir):
|
||
if path:
|
||
logger.warning("回收跳过了上传目录以外的文件：%s", path)
|
||
return
|
||
try:
|
||
_remove_db_files(Path(path))
|
||
except OSError as e:
|
||
logger.warning("回收没能删掉 %s：%s", path, e)
|
||
|
||
|
||
async def gc(session: AsyncSession) -> None:
|
||
"""回收没人用的版本。发布后、删除数据源后、启动时各调一次。
|
||
|
||
引用集合 = 任何状态的运行（排队、执行中、等审批、已结束）在 runs.data_versions 里引用的
|
||
快照 ∪ 各源当前的快照。受保护的是这些快照、它们的导入记录、构建库，以及这些导入记录里
|
||
还留着的原件。其余的：记录先标 retired 并提交，再删文件——删到一半出错，下次回收会接着删
|
||
（已 retired、没被保护的文件照样会被处理）。
|
||
|
||
按配方导入之后多了几条：
|
||
- 开头先让过期的暂存区过期（expire_stagings 的同一套处理）；
|
||
- 原件的保护集合并上未结束暂存区的原件（被拒收、正在修改的那份不能删），以及配方源最近
|
||
RECIPE_RAW_KEEP 次导入的原件（被替换、构建已回收的也留着原件，重放要用）；
|
||
- 已结束的暂存区留下的原件没人要了就删，留下的试运行库也删（放弃、删源时没来得及删的）。
|
||
|
||
期 3 又多了几条：
|
||
- 受保护的快照再加上每个（还在的）源在当前快照、被运行引用的快照之外，按 coalesce(activated_at, created_at)
|
||
倒序的前 SNAPSHOT_KEEP 个：回滚要有东西可回。受保护快照里的各期导入、它们的构建、并集构建（经 kept_paths）、
|
||
原件都受保护；
|
||
- 已回收的快照还可能在「移除」「撤销」时按同一组导入、同一个目标配方被复活（publish_snapshot）；
|
||
- 隔离区里超过 QUARANTINE_DAYS 天的文件删掉。
|
||
只读进程（没拿到守卫）不回收，抛 StoreUnavailable。
|
||
"""
|
||
async with store_lock():
|
||
require_store_writable()
|
||
await _expire_stagings_locked(session, utcnow())
|
||
referenced: set[str] = set()
|
||
for (versions,) in (await session.execute(select(Run.data_versions))).all():
|
||
referenced |= _snapshots_in(versions)
|
||
referenced |= {
|
||
sid for (sid,) in (await session.execute(
|
||
select(DataSource.current_snapshot_id).where(DataSource.current_snapshot_id.is_not(None))
|
||
)).all()
|
||
}
|
||
snaps = list((await session.execute(select(SourceSnapshot))).scalars())
|
||
live_sources = {sid for (sid,) in (await session.execute(select(DataSource.id))).all()}
|
||
referenced |= _recent_snapshots(snaps, live_sources, referenced)
|
||
imports = list((await session.execute(select(TableImport))).scalars())
|
||
builds = list((await session.execute(select(TableBuild))).scalars())
|
||
|
||
kept_imports: set[str] = {i.id for i in imports if i.status == "active"}
|
||
kept_paths: set[str] = set()
|
||
for snap in snaps:
|
||
if snap.id in referenced:
|
||
kept_imports |= {str(x) for x in snap.imports or []}
|
||
kept_paths.add(snap.db_path)
|
||
kept_builds = {i.build_id for i in imports if i.id in kept_imports}
|
||
kept_raw = {i.raw_sha256 for i in imports
|
||
if i.id in kept_imports and i.raw_state == "kept" and i.raw_sha256}
|
||
kept_raw |= _recent_recipe_raws(imports, {
|
||
sid for (sid,) in (await session.execute(
|
||
select(DataSource.id).where(DataSource.current_recipe_id.is_not(None))
|
||
)).all()
|
||
})
|
||
stagings = (await session.execute(
|
||
select(ImportStaging.id, ImportStaging.status, ImportStaging.raw_sha256)
|
||
)).all()
|
||
open_raw = {sha for (_sid, status, sha) in stagings if status in STAGING_OPEN and sha}
|
||
closed_stagings = {sid for (sid, status, _sha) in stagings if status in STAGING_CLOSED}
|
||
kept_raw |= open_raw
|
||
build_paths = {b.db_path for b in builds}
|
||
|
||
now = utcnow()
|
||
files: list[str] = []
|
||
raws: set[str] = set()
|
||
touched_sources: set[str] = set()
|
||
for snap in snaps:
|
||
if snap.id in referenced:
|
||
continue
|
||
if snap.retired_at is None:
|
||
snap.retired_at = now
|
||
touched_sources.add(snap.source_id)
|
||
# 期 1 的快照库就是构建库，由下面的构建处理；以后「按期累积」物化出的独立文件在这里删
|
||
if snap.db_path not in build_paths and snap.db_path not in kept_paths:
|
||
files.append(snap.db_path)
|
||
for build in builds:
|
||
if build.id in kept_builds or build.db_path in kept_paths:
|
||
continue
|
||
if build.retired_at is None:
|
||
build.retired_at = now
|
||
touched_sources.add(build.source_id)
|
||
files.append(build.db_path)
|
||
for imp in imports:
|
||
if imp.id in kept_imports:
|
||
continue
|
||
if imp.status != "retired":
|
||
imp.status = "retired"
|
||
if imp.raw_state == "kept" and imp.raw_sha256 and imp.raw_sha256 not in kept_raw:
|
||
imp.raw_state = "purged"
|
||
imp.purged = {"at": now.isoformat(), "reason": "版本已回收，原件随之删除",
|
||
"signed_by": None, "auto": True}
|
||
raws.add(imp.raw_sha256)
|
||
# 已结束的暂存区引用过的原件：没有导入记录留着它、也没有未结束的暂存区要它，就是没人要了
|
||
still_kept = {i.raw_sha256 for i in imports if i.raw_state == "kept" and i.raw_sha256} | open_raw
|
||
raws |= {sha for (_sid, status, sha) in stagings
|
||
if status in STAGING_CLOSED and sha and sha not in still_kept}
|
||
await session.commit()
|
||
|
||
def _delete() -> None:
|
||
for path in files:
|
||
if Path(path).exists():
|
||
_delete_store_file(path)
|
||
for sha in raws:
|
||
raw_store.purge_raw(sha, prune=True)
|
||
# 只删「暂存区已结束」的试运行库。暂存区不存在的不在这里删：上传新一期可能先试运行、后写暂存区，
|
||
# 发布后的回收撞上这个空档会删掉正要登记的库；这类孤儿留给启动清理（那时没有请求在跑）
|
||
for path in _trial_files():
|
||
if _trial_owner(path) in closed_stagings:
|
||
_remove_db_files(path)
|
||
_expire_quarantine(now)
|
||
|
||
await asyncio.to_thread(_delete)
|
||
# 被删掉文件的快照可能还有引擎开着文件句柄：已删除的文件要等句柄关了才真正释放空间
|
||
for source_id in touched_sources:
|
||
await engines.invalidate(source_id)
|
||
|
||
|
||
# --------------------------------------------------------------------------
|
||
# 启动：清理半成品、迁移老上传、回收
|
||
# --------------------------------------------------------------------------
|
||
|
||
|
||
def _snapshot_time(snap: SourceSnapshot) -> datetime:
|
||
"""快照最近一次成为当前版本的时刻；期 3 之前的快照没有 activated_at，按 created_at。"""
|
||
at = snap.activated_at or snap.created_at
|
||
if at is None:
|
||
return datetime.min.replace(tzinfo=timezone.utc)
|
||
return at if at.tzinfo is not None else at.replace(tzinfo=timezone.utc)
|
||
|
||
|
||
def _recent_snapshots(snaps: list[SourceSnapshot], live_sources: set[str], protected: set[str]) -> set[str]:
|
||
"""每个还在的源在 protected（各源当前的、被运行引用的快照）之外，按 coalesce(activated_at, created_at) 倒序、
|
||
还没回收的前 SNAPSHOT_KEEP 个快照。
|
||
|
||
protected 里的不占名额：它们本来就不回收，占了名额，界面上「除当前版本和被运行引用的版本外，保留最近 3 个」
|
||
就成了假话（用户定案 P3-3）。已回收的也不参与排名：回收不会把它们复活（那是 publish_snapshot 的事），排进来
|
||
只会挤掉还能用的。已删除的源不保留：删源之后只有被运行引用的版本还留着。
|
||
"""
|
||
by_source: dict[str, list[SourceSnapshot]] = {}
|
||
for snap in snaps:
|
||
if snap.retired_at is None and snap.source_id in live_sources and snap.id not in protected:
|
||
by_source.setdefault(snap.source_id, []).append(snap)
|
||
kept: set[str] = set()
|
||
for items in by_source.values():
|
||
items.sort(key=lambda x: (_snapshot_time(x), x.id), reverse=True)
|
||
kept |= {x.id for x in items[:max(SNAPSHOT_KEEP, 0)]}
|
||
return kept
|
||
|
||
|
||
def _expire_quarantine(now: datetime) -> int:
|
||
"""删掉隔离区里修改时间超过 QUARANTINE_DAYS 天的文件（同步，在线程里调）。返回删了几个。"""
|
||
root = quarantine_root()
|
||
if not root.is_dir():
|
||
return 0
|
||
cutoff = (now if now.tzinfo else now.replace(tzinfo=timezone.utc)).timestamp() - QUARANTINE_DAYS * 86400
|
||
removed = 0
|
||
for folder in root.iterdir():
|
||
if not folder.is_dir():
|
||
continue
|
||
for path in folder.glob("*.db"):
|
||
try:
|
||
if path.stat().st_mtime < cutoff:
|
||
path.unlink()
|
||
removed += 1
|
||
logger.info("隔离文件超过 %d 天，已删除：%s", QUARANTINE_DAYS, path)
|
||
except OSError as e:
|
||
logger.warning("没能删掉隔离文件 %s：%s", path, e)
|
||
raw_store.remove_empty_dir(folder)
|
||
return removed
|
||
|
||
|
||
def _recent_recipe_raws(imports: list[TableImport], recipe_sources: set[str]) -> set[str]:
|
||
"""配方源最近 RECIPE_RAW_KEEP 次导入（按 seq，不论状态）还留着的原件。"""
|
||
by_source: dict[str, list[TableImport]] = {}
|
||
for imp in imports:
|
||
if imp.source_id in recipe_sources:
|
||
by_source.setdefault(imp.source_id, []).append(imp)
|
||
kept: set[str] = set()
|
||
for items in by_source.values():
|
||
items.sort(key=lambda i: i.seq or 0, reverse=True)
|
||
kept |= {i.raw_sha256 for i in items[:RECIPE_RAW_KEEP] if i.raw_state == "kept" and i.raw_sha256}
|
||
return kept
|
||
|
||
|
||
def _trial_files() -> list[Path]:
|
||
root = tables_root()
|
||
return sorted(root.glob(f"*/{TRIALS_DIR}/*.db")) if root.is_dir() else []
|
||
|
||
|
||
def _trial_owner(path: Path) -> str:
|
||
"""试运行库文件名里的暂存区 id（<暂存区 id>-<trial_key 前 16 位>.db，附属的并集文件多一个 u）。
|
||
|
||
从右边切：trial_key 只有字母数字，暂存区 id 却可以带「-」。从左边切会把 stg-1 认成 stg，
|
||
启动清理就把一个开着的暂存区的库当孤儿删掉，回收也认不出已结束的暂存区。
|
||
"""
|
||
return path.name.removesuffix(".db").rsplit("-", 1)[0]
|
||
|
||
|
||
def _trial_main(path: Path) -> Path:
|
||
"""试运行库文件对应的主文件：附属的并集文件（键的部分是 16 位加「u」）换回主文件名，主文件就是它自己。"""
|
||
stem = path.name.removesuffix(".db")
|
||
owner, _, key = stem.rpartition("-")
|
||
if owner and len(key) == 17 and key.endswith(_UNION_TRIAL_MARK):
|
||
return path.with_name(f"{owner}-{key[:-1]}.db")
|
||
return path
|
||
|
||
|
||
def _same_path(a: str | os.PathLike[str], b: str | os.PathLike[str]) -> bool:
|
||
try:
|
||
return os.path.realpath(a) == os.path.realpath(b)
|
||
except (OSError, ValueError):
|
||
return False
|
||
|
||
|
||
def _sweep_tmp() -> int:
|
||
"""删掉上次崩溃留下的 *.tmp-* 半成品（库和原件都是先写临时文件再 link）。"""
|
||
removed = 0
|
||
for root in (tables_root(), raw_store.raw_root()):
|
||
if not root.is_dir():
|
||
continue
|
||
for path in root.rglob(f"*{_TMP}*"):
|
||
if path.is_file():
|
||
path.unlink(missing_ok=True)
|
||
removed += 1
|
||
return removed
|
||
|
||
|
||
async def _sweep_orphans(session: AsyncSession) -> None:
|
||
"""删掉没有记录的文件：发布时 link 之后、提交之前进程没了，库文件或原件就成了孤儿。"""
|
||
build_ids = {bid for (bid,) in (await session.execute(select(TableBuild.id))).all()}
|
||
kept_raw = {
|
||
sha for (sha,) in (await session.execute(
|
||
select(TableImport.raw_sha256).where(TableImport.raw_state == "kept")
|
||
)).all() if sha
|
||
}
|
||
rows = (await session.execute(
|
||
select(ImportStaging.id, ImportStaging.status, ImportStaging.trial_path, ImportStaging.raw_sha256)
|
||
)).all()
|
||
staging_rows = {sid: (status, trial_path) for (sid, status, trial_path, _sha) in rows}
|
||
# 未结束的暂存区引用的原件没有导入记录记着，不并进来就会被当成孤儿删掉
|
||
kept_raw |= {sha for (_sid, status, _path, sha) in rows if status in STAGING_OPEN and sha}
|
||
|
||
def _stale_trial(path: Path) -> bool:
|
||
"""试运行库：暂存区不在、已结束、或者它指着的不是这个文件，就是孤儿。附属的并集文件按主文件判断。"""
|
||
row = staging_rows.get(_trial_owner(path))
|
||
main = _trial_main(path)
|
||
return row is None or row[0] not in STAGING_OPEN or not row[1] or not _same_path(row[1], main)
|
||
|
||
def _sweep() -> list[Path]:
|
||
orphans: list[Path] = []
|
||
root = tables_root()
|
||
if root.is_dir():
|
||
# 构建库和并集库（并集也登记成构建）：文件名不在 table_builds.id 里的就是孤儿
|
||
for path in [*root.glob("*/builds/*.db"), *root.glob(f"*/{UNION_DIR}/*.db")]:
|
||
if path.stem not in build_ids:
|
||
orphans.append(path)
|
||
raw_root = raw_store.raw_root()
|
||
if raw_root.is_dir():
|
||
for path in raw_root.glob("*/*"):
|
||
if path.is_file() and path.name not in kept_raw and _TMP not in path.name:
|
||
orphans.append(path)
|
||
orphans.extend(path for path in _trial_files() if _stale_trial(path))
|
||
for path in orphans:
|
||
_remove_db_files(path)
|
||
# 空目录：被拒收的新源留下的 tables/<源 id>/builds/、清除原件后的 raw/<前两位>/。
|
||
# 启动时持着锁、还没开始接请求，删了也不会和正在写的发布撞上（发布会按需重建目录）
|
||
if root.is_dir():
|
||
for builds in [*root.glob("*/builds"), *root.glob(f"*/{TRIALS_DIR}"), *root.glob(f"*/{UNION_DIR}")]:
|
||
if builds.is_dir() and raw_store.remove_empty_dir(builds):
|
||
orphans.append(builds)
|
||
for folder in root.iterdir():
|
||
if folder.is_dir() and raw_store.remove_empty_dir(folder):
|
||
orphans.append(folder)
|
||
if raw_root.is_dir():
|
||
for folder in raw_root.iterdir():
|
||
if folder.is_dir() and raw_store.remove_empty_dir(folder):
|
||
orphans.append(folder)
|
||
return orphans
|
||
|
||
for path in await asyncio.to_thread(_sweep):
|
||
logger.info("清理了没有记录的上传文件（或空目录）：%s", path)
|
||
|
||
|
||
def _legacy_candidate(kind: str | None, database: str | None) -> str | None:
|
||
"""老上传的库：路径直接落在 uploads/tables/ 下、文件名以 .db 结尾。返回 realpath。"""
|
||
if (kind or "").lower() != "sqlite" or not database:
|
||
return None
|
||
real = os.path.realpath(database)
|
||
if not real.endswith(".db") or os.path.dirname(real) != os.path.realpath(tables_root()):
|
||
return None
|
||
return real
|
||
|
||
|
||
def _prepare_legacy(path: str) -> tuple[str, int]:
|
||
"""老库定稿：合并可能残留的日志，改成 0444，返回 (sha256, 字节数)。"""
|
||
p = Path(path)
|
||
if Path(f"{path}-wal").exists() or Path(f"{path}-journal").exists():
|
||
_settle_journal(p)
|
||
os.chmod(p, 0o444)
|
||
return raw_store.sha256_file(p), p.stat().st_size
|
||
|
||
|
||
async def _migrate_legacy(session: AsyncSession) -> int:
|
||
"""给迁移前的上传源补上 v0 版本：构建、导入记录（没有原件）、快照，origin 改成 upload。
|
||
|
||
幂等：已经是 upload 的源跳过；每个源一个事务，中途失败不会留下半套记录。
|
||
|
||
一个源迁不过去（文件属主不对 chmod 报错、日志合并不了、提交失败）不该挡住别的源和整个
|
||
启动。回滚会让会话里所有 ORM 对象过期，之后再读它们的属性就要回库懒加载——在异步会话里
|
||
这一步直接抛 MissingGreenlet。所以先取纯值，每个源在循环里重新 get，日志只用本地变量。
|
||
"""
|
||
candidates = (await session.execute(
|
||
select(DataSource.id, DataSource.name, DataSource.kind, DataSource.database).where(
|
||
DataSource.kind == "sqlite",
|
||
or_(DataSource.origin.is_(None), DataSource.origin != "upload"),
|
||
).order_by(DataSource.name)
|
||
)).all()
|
||
migrated = 0
|
||
for source_id, name, kind, database in candidates:
|
||
path = _legacy_candidate(kind, database)
|
||
if path is None:
|
||
continue
|
||
if not os.path.isfile(path):
|
||
logger.warning("上传表格「%s」的数据文件不存在，未迁移：%s", name, path)
|
||
continue
|
||
try:
|
||
row = await session.get(DataSource, source_id)
|
||
if row is None or row.origin == "upload":
|
||
continue
|
||
file_sha, size = await asyncio.to_thread(_prepare_legacy, path)
|
||
bid = legacy_build_id(source_id, file_sha)
|
||
now = utcnow()
|
||
options = {"legacy": True}
|
||
if await session.get(TableBuild, bid) is None:
|
||
session.add(TableBuild(
|
||
id=bid, source_id=source_id, raw_sha256="", options_sha256=_sha_json(options),
|
||
engine_ver=LEGACY_ENGINE_VER, options=options, db_path=path, db_sha256=file_sha,
|
||
report={}, created_at=now,
|
||
))
|
||
last_seq = (await session.execute(
|
||
select(func.max(TableImport.seq)).where(TableImport.source_id == source_id)
|
||
)).scalar() or 0
|
||
imp_id = new_id()
|
||
snap_id = snapshot_id(source_id, [imp_id], LEGACY_ENGINE_VER)
|
||
source_options = upload_options(row.options)
|
||
cache = dict(row.schema_cache or {})
|
||
if not cache.get("tables"):
|
||
# 没有可用的结构缓存：上传源不能再手动探查，迁移时补探一次
|
||
view = SourceView(id=source_id, name=name, database=path, options=source_options,
|
||
description=row.description or "", snapshot_id=snap_id,
|
||
expected_sha256=file_sha)
|
||
try:
|
||
cache = await _introspect_view(view, {})
|
||
except Exception as e: # noqa: BLE001 - 探不到就带着空结构迁过去，重传可修
|
||
logger.warning("迁移上传表格「%s」时探查结构失败：%s", name, e)
|
||
session.add(TableImport(
|
||
id=imp_id, source_id=source_id, seq=last_seq + 1, build_id=bid, file_name="",
|
||
file_size=size, raw_sha256="", raw_state="absent", status="active",
|
||
created_at=now, activated_at=now,
|
||
))
|
||
session.add(SourceSnapshot(
|
||
id=snap_id, source_id=source_id, imports=[imp_id], db_path=path, db_sha256=file_sha,
|
||
schema_cache=cache, created_at=now,
|
||
))
|
||
row.origin, row.readonly, row.current_snapshot_id = "upload", True, snap_id
|
||
row.schema_cache = cache
|
||
if source_options != (row.options or {}):
|
||
row.options = source_options
|
||
await session.commit()
|
||
migrated += 1
|
||
except Exception: # noqa: BLE001 - 一个源迁不过去不该挡住别的源和整个启动
|
||
try:
|
||
await session.rollback()
|
||
except Exception: # noqa: BLE001 - 回滚也失败时照样记下原因、接着处理下一个
|
||
logger.exception("迁移上传表格「%s」失败后回滚出错", name)
|
||
logger.exception("迁移上传表格「%s」失败", name)
|
||
finally:
|
||
await engines.invalidate(source_id)
|
||
return migrated
|
||
|
||
|
||
async def _lock_manual_in_uploads(session: AsyncSession) -> int:
|
||
"""升级前就指向上传目录、又没迁移成上传源的手工 SQLite 源：强制改成只读（提交）。返回改了几个。
|
||
|
||
新建、修改时指向上传目录会被拒（api/datasources.py），但升级前已经登记的这类源（路径在
|
||
uploads/tables 更深的目录里、带连接参数的别名……）迁移认不出来，原样留着可写，就能往归版本底座管的
|
||
目录里写。方案要求迁移时强制只读并标出：这里改只读、逐个记一条警告日志；之后想改回可写，修改接口
|
||
会拒（同样按 under_uploads 判断）。
|
||
"""
|
||
rows = list((await session.execute(
|
||
select(DataSource).where(
|
||
DataSource.kind == "sqlite", DataSource.readonly.is_(False),
|
||
or_(DataSource.origin.is_(None), DataSource.origin != "upload"),
|
||
)
|
||
)).scalars())
|
||
locked = [row for row in rows if under_uploads(row.database)]
|
||
for row in locked:
|
||
row.readonly = True
|
||
logger.warning("手工登记的 SQLite 数据源「%s」指向上传表格的存放目录（%s），已强制改为只读",
|
||
row.name, row.database)
|
||
if locked:
|
||
await session.commit()
|
||
for row in locked:
|
||
await engines.invalidate(row.id)
|
||
return len(locked)
|
||
|
||
|
||
async def _disable_manual_app_files(session: AsyncSession) -> int:
|
||
"""升级前登记的、指向 AgentLab 自己数据文件的手工 SQLite 源：停用并改成只读（提交）。返回改了几个。
|
||
|
||
新建、修改时会被拒（api/datasources.py，按 reaches_app_files 判断）。这类登记没有正当用途：
|
||
只读也会把元数据库整个交给模型，可写就能改上传源的连接字段和快照登记。只改只读不够，所以停用；
|
||
之后除了改路径和删除，修改接口一律拒。
|
||
"""
|
||
rows = list((await session.execute(
|
||
select(DataSource).where(
|
||
DataSource.kind == "sqlite",
|
||
or_(DataSource.enabled.is_(True), DataSource.readonly.is_(False)),
|
||
or_(DataSource.origin.is_(None), DataSource.origin != "upload"),
|
||
)
|
||
)).scalars())
|
||
hit = [row for row in rows if reaches_app_files(row.database)]
|
||
for row in hit:
|
||
row.readonly, row.enabled = True, False
|
||
logger.warning("手工登记的 SQLite 数据源「%s」指向 AgentLab 自己的数据文件（%s），已停用并改为只读",
|
||
row.name, row.database)
|
||
if hit:
|
||
await session.commit()
|
||
for row in hit:
|
||
await engines.invalidate(row.id)
|
||
return len(hit)
|
||
|
||
|
||
async def startup(session: AsyncSession) -> None:
|
||
"""服务启动时调用一次：清理半成品和孤儿文件、迁移老上传、把指向上传目录的手工源改成只读、
|
||
停用指向应用自己数据文件的手工源、回收。
|
||
|
||
**第一步先取版本存储的守卫**（acquire_store_guard），拿不到就立即返回，什么都不做：同一个数据目录被另一个
|
||
进程占着时，这里的清理会删掉对方正在写的临时文件、已经 link 但记录还没提交的构建库，本该防止损坏的机制
|
||
自己造成损坏（第 8 节遗留项 5）。
|
||
"""
|
||
if not acquire_store_guard():
|
||
logger.error("上传表格的版本存储被另一个进程占用，本进程跳过启动清理、迁移和回收")
|
||
return
|
||
async with _store_lock():
|
||
swept = await asyncio.to_thread(_sweep_tmp)
|
||
if swept:
|
||
logger.info("清理了 %d 个上次未完成的上传临时文件", swept)
|
||
migrated = await _migrate_legacy(session)
|
||
if migrated:
|
||
logger.info("为 %d 个已有的上传表格建立了初始版本", migrated)
|
||
try:
|
||
await _lock_manual_in_uploads(session)
|
||
except Exception: # noqa: BLE001 - 改不成只读不该挡住启动；下次启动再试
|
||
await session.rollback()
|
||
logger.exception("把指向上传目录的手工数据源改成只读时出错")
|
||
try:
|
||
await _disable_manual_app_files(session)
|
||
except Exception: # noqa: BLE001 - 同上
|
||
await session.rollback()
|
||
logger.exception("停用指向应用数据文件的手工数据源时出错")
|
||
await _sweep_orphans(session)
|
||
await gc(session)
|