b1494eb10c
三批同笔的理由:它们是同一份权威构建(Linker run 04:5x,Code=233,900 / RW=1,536)里的内容,中间态从未 单独编译过,拆开提任何一段都没有对应的构建凭证。按道分述如下。 **① 算法层(ui-maint):写值与置脏成对,不留可单独调用的置脏口**。新增 run_par_cal_k_set() / run_par_cal_b_set(),被拒时副本不动也不置脏(= 不承诺持久化);104 的 run_par_104_write() k/b 两支 同批改调 setter,函数内自己碰 s_dirty 的两处删净——**消除两份置脏逻辑才是本段的目的**。刻意**没有**新增 公开 run_par_mark_dirty():作者的理由我采纳并原文保留——「一旦存在就一定有人只调它」,与今天删掉的零消费 者接口是同一失效机理。另新增合法域唯一出口 run_par_db_range()、粗守上限 RUN_PAR_K_MAX_UV、毫→工程换算 单点 s_milli_to_eng(),并改正了头文件里「除以 1000 唯一在此」那条在加 db_range 后会变假陈述的说法。 **顺带满足 task-43 第①项**:adc_cal 落盘口的缺口由本段 setter 解决(写值必置脏),task-43 剩余项 = 可诊断 性与文档。 **② 日志层(log-maint):卷锁 fail-open 的 defaultTask 侧边沿留痕**。syslog_drain() 尾部紧跟既有 s_quiet_ drop 差值块之后读 vol_lock_get_stats(),水位新增才算一个 episode、每上电一条,投 SYSLOG_SELFTEST,文本 vollock failopen=%lu。三条硬约束都落了且**有牙**:失败调用点零改动(wdev.log 自己也要这把非递归卷锁); 不打错级、**不打 [ERR]**(断言里 g_sys_err_count == 0 就是机器判据,把「改成 DBG_ERROR」注入后四条用例 全红);锁层只自增、唯一写者消费。作者一度按我的要求准备造 obs_first_ms/obs_last_ms 字段,我撤了那条 要求——记录自带 ts 就是被观测时刻,**再造一个时间戳字段等于造第二个「看起来像发生时刻」的东西**。 成本 .bss +48 B、**零栈增量**(缓冲全静态),已由本笔权威构建的 after 表证实:9 条链全 PASS, iec104Task 1,464 / margin 1,096、defaultTask 3,040 与提交态逐项一致。 **③ 控制台与中断(log-maint,纯注释/文档)**:b623a406 之后的编号写法整理,把裸形态号改为可校验形式, 零代码行为改动。 实测:@build 0 错误 0 警告;run_par 67/67、sys_log_mcu 141/141、console_log 套件零回归 覆盖率只增不减 (sys_log_mcu.c 410/413 = 99.3%、函数 22/22);cppcheck / coding-standard / doc-links / bom / mojibake / nested-comment 全 0;编号五项式错误差值 0、不可判定绝对数 **1,156**(上限 1,166 未动,本笔没吃余量)。 台账随本笔回填:ram_baseline --write 与 mem-numbers --write 同批(RW_IRAM1 80,920 B 61.7% / RW_CCM 57,376 B 87.9% / ER_IROM1 260,004 B 24.8%)。
App/log/ — 日志子系统
两类日志:持久化运行日志(
sys_log,落 NAND)与控制台日志(console_log,走串口)。 两者都遵循单写者模型,避免多任务交错输出。
文件一览
| 文件 | 作用 |
|---|---|
sys_log.h |
日志接口(平台无关):定长 64B 记录,七类各一个 /log 文件(run / selftest / accid / alarm / start / oper / yk) |
sys_log_mcu.c |
sys_log 的 MCU 端后端实现(NAND + FatFs) |
console_log.c/h |
控制台单写者日志:多任务日志经队列汇入唯一写者,避免串口输出交错 |
soe_rec.c/h |
SOE 记录纯编解码(B9):64B 定长记录(CP56Time2a 时标 + 类型 + 元件号 + 单调序号 + 值 + sum8 撕裂校验),零 I/O 零 OS 依赖,主机单测覆盖 |
soe_store.c/h |
SOE 落盘胶水(B9):/log/soe.log,protectTask 投递(零文件系统)→ defaultTask 排空落盘 |
关键机制
syslog(运行/自检记录)
- 唯一写者 = defaultTask;其它任务只投递,不直接写盘
- 单记录定长 64 B,循环写;待机页可显示记录
- 内核启动前的日志走无锁静态缓冲
s_preboot[8]暂存(因为内核启动前不能建队列), 内核启动后由syslog_drain惰性创建真队列并排空 - ⚠️ 写盘必须校验
f_write返回的字节数(该 FatFs 移植在簇分配失败时返回FR_OK+ 短写, 不报错误码);追加写必须FA_WRITE|FA_OPEN_APPEND(FA_OPEN_APPEND单独用不含写位) - 清除记录 = 请求 / 落地分离:非写者上下文(uiTask 等)只能
syslog_request_clear(id)置一个标志(零盘触点、零卷锁),真正的f_unlink在 defaultTask 的syslog_drain()尾部执行——顺序也是判据的一部分:排在条目排空之后,否则本轮刚排空的旧记录会被 写回去、syslog_count()不归零。结果读syslog_clear_state(id)(NONE/OK/WAIT/FAIL),事实复核读syslog_count()。 落地函数syslog_clear_apply(id)是 MCU 后端专属(模拟器不实现 → 共享代码误调在 链接期就报错):卷锁一律 try,卷占用返 -1 且不动原文件;幂等只认FR_NO_FILE,FR_NO_PATH如实返 -1 且不做任何卷级动作(不补目录、不重格式化) - 删除的作用域 = 上表七个记录文件(
syslog_request_clear(id)逐 id 独立请求);取证文件wdev.log与soe.log各有各的属主与通道,不在本 API 作用域,想清它们要另开 API。 清除成功会往操作记录里落一条clear <文件>——但清oper.log自己时刻意不投, 否则"我清除了记录"这条会把刚删空的文件又写成 1 条,直接砸掉「删除后syslog_count()归零」这条判据(TC-SYSLOG-133b钉住) - ⚠ 宿主后端(
simulator/sim/sim_syslog.c)与 MCU 端判据相同、时序不同:模拟器单线程, 七类对应工作目录下七份宿主文件(sim_accid.log等),syslog_post_quiet()在本端 等价于syslog_post()(宿主进程没有那条栈硬线,也没有队列与丢弃);syslog_request_clear()调用内就删完了,因此WAIT态在模拟器上永不出现 (同syslog_post在两端"有队列 / 直写无队列"的差异)
五类记录与「记录类型 = 日志 ID」(道F task-10,2026-10-26;task-11 记录 5 页按此做)
决策一:记录类型就是 syslog_id_t 本身,一类记录 = /log 下一个严格 8.3 短名的文件。
64B 定长记录体里没有类型字段位:[0..18] 时标 / [19] 空格 / [20..29] epoch /
[30] 空格 / [31..58] 描述 / 尾部补零,这个布局被 UI 记录页与主机解码工具按固定偏移
读了了很久(run.log / selftest.log 是既有文件,既有读者)。塞类型字节要么挪走 epoch
(上电/重启分类就断),要么挪走描述(屏上少字),且两端读者同批改——所以
"这条记录是什么类型"由它在哪个文件里回答。TC-SYSLOG-136 把这条钉成机器断言:
同一条内容在七类之间逐字节相同,记录体不编码类型。
决策二:不动 soe_type_t(二进制 SOE 通道保持现有 8 型)。 加 SOE 类型必须同步 UI 侧
ui_w_soe.c 的类型名表(那是另一位队友的写域),而 SOE 页与这五页本就是两套读者
(二进制解码器 vs 文本列表)。别把新类型顺手加进 SOE:那会同时造出
"同一个事件两个真源"。
| 记录 | 日志 ID / 文件 | 容量上限 | 写入点 | 触发判据 |
|---|---|---|---|---|
| 事故 | SYSLOG_ACCIDENT / accid.log |
512 | App/task/protect_task.c:181 |
asserted 上升沿且该元件跳闸投退项 = 1 |
| 保护告警 | SYSLOG_ALARM / alarm.log |
1024 | 同文件 184 |
asserted 上升沿且跳闸投退项 = 0 或该元件无此项 |
| 保护启动 | SYSLOG_START / start.log |
1024 | 同文件 176 |
picked 上升沿(越限电平,早于/等于动作) |
| 操作 | SYSLOG_OPER / oper.log |
512 | App/protocol/iec104/iec104_pts.c:574/602、App/task/default_task.c:242、App/log/sys_log_mcu.c:646(宿主 sim_syslog.c:245) |
强制复归受理 / 软压板投退落地 / 定值真落盘成功 / 清除记录成功 |
| 遥控 | SYSLOG_YK / yk.log |
256 | App/protocol/iec104/iec104_pts.c:573/576/582/586/596/598/609 |
104 双点命令的选择段、执行段、非法 DPC、未知 IOA 各一条 |
- "哪些元件算跳闸"只有一个真源:定值表
g_prot_set_meta里的PS_*_TRIP(枚举注释 即"0 告警 / 1 跳闸")+ 实例表k_pe[]的trip_ctl列。分类入口prot_elm_record_kind()(App/algo/prot_elm.c)里没有第二份元件名单, 没有该投退项的五项(OV/UV/3U0/OF/UF)填PROT_ELM_NO_TRIP=0xFF→ 恒告警;TC-PROTELEM-015逐元钉住"逐项独立 / 改定值即改类别 / 无此项者不受别人定值影响"。 - 描述只用 ROM 常量或
prot_elm_name()直传:所有写入点零snprintf、零拼接。 最长一条 20 字节 <SYSLOG_DESC_MAX(28);TC-IEC104-030逐条量长度(超 28 会被 投递侧静默截断,屏上少几个字,没人会去数)。 - ⚠️ 两个投递口,按调用者的栈预算选:
syslog_post()的两个"满态丢弃留痕"分支 内联着日志行缓冲(每处约 216 B 栈),因此syslog_post_quiet()给静态最坏链吃紧的 任务用(protectTask、iec104Task 必须用它),丢弃只累加syslog_post_dropped()、 由唯一写者 defaultTask 在syslog_drain()里按差值补一条留痕——同soe_store_post当年那条872 → 1192 B FAIL的实证纪律。收/丢判据两个口完全一致。 - 读侧契约(给 task-11):
syslog_count(id)+syslog_get_record(id, idx, ts, ts_len, desc, desc_len)与运行/自检记录同一枚 reader,"最近 20 条"= 从count-20起读;count()==0就是空态,页面显示"无记录"。不要在共享代码里调 MCU 专属的syslog_clear_apply()(模拟器不实现 → 链接期报错是故意的);清除一律走syslog_request_clear()+syslog_clear_state(),并把WAIT当正常态看(模拟器端 永不出现WAIT,见下条)。
console_log(控制台单写者)
- 多任务的生产者 → 单写者消费者,消除任务间日志行交错
- 设计详见
docs/子系统设计/控制台单写者日志设计说明.md
soe(SOE 事件顺序记录,B9)
- 记录 = 64 B 定长二进制(
soe_rec.h布局),落/log/soe.log; 与 run.log 分文件——run.log 是文本记录、有 UI/主机读取方,二进制 SOE 混入会破坏读取器;分文件保持"定长 64B + 条数=fsize/64 + 满删重建 + FTP 下载 + 主机解码"同一套先例 - 生产者 = protectTask(元件动作/返回、软压板投退、采样闭锁/恢复六类
边沿):
soe_store_post()纯 RAM(取时标 + 组记录 + 队列/待发环), 零 NAND I/O;⚠️ post 内禁DBG_*——会把 protectTask 静态最坏链 垫高一帧(实证 872→1192 B FAIL),丢弃留痕由 drain(defaultTask)差值上报 - 唯一写者 = defaultTask:挂
syslog_drain()尾部(继承其卷就绪门), 50 ms 节拍 → SOE 落盘延迟 ≤50 ms;写盘纪律全套照 syslog(卷锁 try /FA_WRITE|FA_OPEN_APPEND/ 校验字节数 / 满删重建 / 失败留痕去重), 绝不把名字/参数类错误码归入卷损坏触发集 - 时标口径:sys_clock 秒域时基 → CP56 ms 域 = 秒×1000(亚秒恒 0, 不造假);墙钟未建 → IV 位如实置位;seq 仅上电生命周期内单调 (容量重建不重置,仅复位重置——主机解码按 boot 段分段断言)
- 主机侧:
test/host/soe/decode_soe.py解码 + 断言(校验和/seq 单调/ CP56↔epoch UTC 交叉);⚠️ 交叉校验用calendar.timegm,不是本地时区的dt.timestamp()(+08 机差 28800 s,首跑实证坑)
相关文档
docs/子系统设计/控制台单写者日志设计说明.mddocs/子系统设计/运行与自检记录设计说明.md- FatFs 陷阱:
AGENTS.md「平台约束」