• Manba's avatar
    feat: V6.0 到 V7.0 —— 运行观测、教学分析与创新点闭环 · 41ec8999
    Manba authored
    这个版本我们完成了六项创新任务,把平台从评测工具升级为教学分析系统。
    
    队友模块接口预留:
    - 新增 oslearn/contracts.py 和 oslearn/extensions.py
    - 知识库检索、自适应调度、学情分析和分层提示全部预留即插即用接口
    - 默认 no-op 实现,插件异常不影响主流程
    - 新增 scheduler_decisions、learning_events 表
    
    任务一:高性能运行观测
    - strace + cgroup v2 + PSI + 进程资源 + eBPF collector 五层观测
    - 统一写入 trace_summary.runtime_observation
    - 新增 oslearn_ebpf_collector.py,真实验证通过
    - Docker 容器 create/start/inspect/wait/logs/rm 生命周期
    - cgroup 精确映射和 eBPF 指标归属
    - systemd 托管服务,异常重启和心跳检测
    - 环境不支持时自动降级,不影响评测
    
    任务二:测试矩阵扩展
    - 六类实验按常规/异常/边界/压力/安全/行为约束六维度扩展
    - 教师矩阵总览页,中文标签展示
    - 已有数据库幂等追加,不覆盖旧配置
    - dangerous 用例只记录不自动执行
    
    任务三:课堂案例库自动沉淀
    - 失败提交自动生成候选案例,同规则同知识点的错误自动聚合
    - 教师精选、归档、Markdown/CSV 导出
    - hidden 用例脱敏,不导出源码
    
    创新点 4:可复现实验指纹
    - 提交完成时固化配置/环境/产物 hash
    - 支持提交时快照和动态降级对比
    - API 和页面展示可复现状态
    
    创新点 5:诊断规则可视化
    - 动态构建 diagnosis_graph,Cytoscape 交互图谱
    - 班级错误图谱、规则分组讲解、图例筛选
    - 布局保存、快照固定、PNG/SVG 导出
    - 一键演示图谱生成
    
    创新点 6:教师讲评包
    - 结构化 Markdown/CSV 一键导出
    - 班级概览、高频错误、知识点、典型案例、课堂追问、课后任务
    
    测试从 28 个扩到 89 个。eBPF collector 已完成真实服务器端到端验证。
    41ec8999