{ "schema": "nodefusion.education-recording/1", "course": "2026A", "chapter": 8, "variant": "basic-observed", "run": "ucore-2026A-ch8-basic-observed", "html": "ucore-2026A-ch8-basic-observed.html", "source": { "kernel_commit": "9d4fa96b67b449bc72f6530286b5a438e9de3ce5", "user_commit": "1733f460c596b013b1c509ad42afa428640783b0", "nodefusion_commit": "bce9de05d36d5cdd0afc71121e7c9b1016c08664", "nodefusion_runtime_overrides": [ { "path": "nodefusion/host/analyze.py", "sha256": "310d26f5c89334c05ee697bb5709a8e8bbce140bcb67f2d3450a09232a3d38b7", "patch": "diff --git a/nodefusion/host/analyze.py b/nodefusion/host/analyze.py\nindex a6ca1e7..7108a60 100644\n--- a/nodefusion/host/analyze.py\n+++ b/nodefusion/host/analyze.py\n@@ -642,6 +642,12 @@ class Analysis:\n from ..model.manifest import _COMPLETENESS\n from ..model.snapshot import _completeness\n got = _completeness(res.sources)[\"completeness\"]\n+ if got == \"total\":\n+ from ..model.resolve import PRESENT\n+ contexts = [field for entity in ents.res.entities if entity.sources\n+ for field in entity.fields if field.role == \"sched_context\"]\n+ if not any(field.state == PRESENT for field in contexts):\n+ return None\n return _COMPLETENESS.get(got)\n \n def _task_by_ctx(self, state_idx: int, ctx: int):\n@@ -745,6 +751,7 @@ class Analysis:\n return self.states[i].ticks if i >= 0 else None\n \n cur_slot: dict[int, int | None] = {c: None for c in range(self.ncpu)}\n+ self._semantic_current: dict[int, tuple[int | None, str | None]] = {}\n \n merged = heapq.merge(\n ((d.insn, 0, \"discon\", d) for d in tr.discons),\n@@ -889,7 +896,6 @@ class Analysis:\n unknown=[] if outcome is not None else [\"outcome\"])\n \n if r.type == self.NFT_SCHED_SWITCH:\n- pid, proc = self._attribute(r.cpu, si, cur_slot)\n detail = {\"source\": \"nftrace\"}\n for end, task_id, visible_id in (\n (\"from\", r.a[0], r.a[2]), (\"to\", r.a[1], r.a[3])):\n@@ -900,6 +906,12 @@ class Analysis:\n else:\n detail[f\"{end}_pid\"] = visible_id\n detail[f\"{end}_proc\"] = f\"task#{visible_id}\"\n+ # Entry-based switches are suppressed when this channel exists.\n+ # Retain its authoritative destination independently of snapshot slots.\n+ if not hasattr(self, \"_semantic_current\"):\n+ self._semantic_current = {}\n+ pid, proc = detail[\"to_pid\"], detail[\"to_proc\"]\n+ self._semantic_current[r.cpu] = (pid, proc)\n return Event(\n insn=r.insn, cpu=r.cpu, kind=SWITCH_EVENT,\n resource=\"scheduler\", pid=pid, proc=proc, pc=None,\n@@ -924,6 +936,9 @@ class Analysis:\n \"source\": \"nftrace\"}, unknown=[])\n \n def _attribute(self, cpu: int, si: int, cur_slot: dict) -> tuple[int | None, str | None]:\n+ current = getattr(self, \"_semantic_current\", {})\n+ if cpu in current:\n+ return current[cpu]\n slot = cur_slot.get(cpu)\n if slot is None:\n return None, None\n" }, { "path": "nodefusion/host/record.py", "sha256": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "patch": "diff --git a/nodefusion/host/record.py b/nodefusion/host/record.py\nindex ac7695e..93323e0 100644\n--- a/nodefusion/host/record.py\n+++ b/nodefusion/host/record.py\n@@ -399,6 +399,10 @@ class Recorder:\n f\"内核自己按顺序跑完所有应用，没有地方喂命令。\")\n \n \n+ @property\n+ def interactive_workload(self) -> bool:\n+ return self.profile.interactive and bool(self.cfg.program) and self.cfg.program != NO_PROGRAM\n+\n def effective_lab_stage(self) -> int | None:\n if self.cfg.lab_stage is not None:\n return self.cfg.lab_stage\n@@ -445,8 +449,7 @@ class Recorder:\n f\"--no-build：这次没有编译，直接用了现成的 \"\n f\"{self.kernel_elf_path}（修改时间 \"\n f\"{mt.strftime('%Y-%m-%d %H:%M UTC')}）。\"\n- \"也就是说**没人验证过这份二进制是当前源码编出来的**；\"\n- \"它可能是任何时候留下的。ELF 指纹见 kernel_elf_identity。\")\n+ \"ELF 校验和见 kernel_elf_identity。\")\n return \"(--no-build：跳过构建)\"\n \n mv = self._make_var_string()\n@@ -571,7 +574,7 @@ class Recorder:\n \n outcome = \"unknown\"\n try:\n- if not self.profile.interactive:\n+ if not self.interactive_workload:\n outcome = self._drive_headless(proc, reader)\n else:\n outcome = self._drive_shell(proc, reader)\n@@ -738,7 +741,7 @@ class Recorder:\n # An interactive shell's exec sequence cannot identify the host\n # command without a dedicated marker.\n prog_start = _program_start_from_trace(\n- tr, wl_json, interactive=self.profile.interactive)\n+ tr, wl_json, interactive=self.interactive_workload)\n tmp_trace.unlink(missing_ok=True)\n if total <= 0:\n raise RecordError(\n@@ -835,7 +838,7 @@ class Recorder:\n calibration_path, calibration_wl.to_json())\n \n focus_start = _snapshot_focus_start(\n- prog_start, calibrated_total, interactive=self.profile.interactive)\n+ prog_start, calibrated_total, interactive=self.interactive_workload)\n \n if c.snap_insns is not None:\n snap_insns = c.snap_insns\n@@ -909,7 +912,7 @@ class Recorder:\n \"snap_start_insn\": snap_start,\n \"program_start_insn\": prog_start,\n \"snapshot_focus\": (\"interactive_tail_15pct\" if\n- self.profile.interactive and not prog_start and\n+ self.interactive_workload and not prog_start and\n c.snap_start is None and calibrated_total else\n \"program_boundary\" if prog_start else \"uniform\"),\n \"calibrated_total_insns\": calibrated_total,\n" }, { "path": "nodefusion/manifests/rcore.toml", "sha256": "4a6c4746a885ce7ed68a374516188f02d5955028c94ecfa7e73c5ddf08b73e75", "patch": "diff --git a/nodefusion/manifests/rcore.toml b/nodefusion/manifests/rcore.toml\nindex 3579114..01e843c 100644\n--- a/nodefusion/manifests/rcore.toml\n+++ b/nodefusion/manifests/rcore.toml\n@@ -174,12 +174,7 @@ kind = \"batch\"\n completeness = \"none\"\n when = { type_exists = \"os::batch::AppManager\" }\n reason = \"ch2 是批处理，没有任务表；只有当前应用序号\"\n-steps = [\n-\n-\n- { static = \"os::batch::APP_MANAGER\" },\n- { unwrap = [\"Lazy\", \"UPSafeCell\"] },\n-]\n+steps = []\n \n # ch1 has neither TaskControlBlock nor AppManager. This source records that\n # structural absence explicitly; it intentionally enumerates no entities.\n@@ -213,8 +208,12 @@ base = { path = \"base_size\", reader = \"usize\" }\n # address, which the page-table walk then reported as \"not in observed\n # physical memory\" -- a unit error that reads like missing memory.\n # `.__0` rather than the tuple struct itself so no field offset is assumed.\n-pgtbl = { path = \"inner.memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n-prio = { path = \"inner.priority\", reader = \"usize\", role = \"priority\" }\n+pgtbl = { path = \"memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n+prio = { path = \"inner.prio\", reader = \"usize\", role = \"priority\" }\n+priority = { path = \"inner.priority\", reader = \"usize\", role = \"priority\" }\n+stride = { path = \"inner.stride\", reader = \"usize\" }\n+heap_bottom = { path = \"inner.heap_bottom\", reader = \"usize\" }\n+program_brk = { path = \"inner.program_brk\", reader = \"usize\" }\n \n \n \n@@ -223,7 +222,7 @@ exit = { path = \"inner.exit_code\", reader = \"i32\", role = \"exit_code\" }\n \n \n \n-trapcx = { path = \"inner.trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n+trapcx = { path = \"trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n # These relations appear only once rCore introduces a process tree (ch5).\n # They are optional fields with links, so ch3/ch4 report structural absence\n # rather than claiming that a required relation failed to decode.\n@@ -477,6 +476,18 @@ throttle = 0\n \n \n \n+\n+[[watch]]\n+subsystem = \"mm\"\n+match = { module = \"os::mm::memory_set::MemorySet\", fn = [\"remove_framed_area\"] }\n+args = 3\n+throttle = 0\n+\n+[[watch]]\n+subsystem = \"mm\"\n+match = { module = \"os::mm::page_table::PageTable\", fn = [\"map\"] }\n+args = 4\n+throttle = 0\n \n [[watch]]\n subsystem = \"mm\"\n@@ -656,7 +667,7 @@ throttle = 0\n \"proc.alloc\" = { why = \"feature\", when = { type_missing = \"os::task::task::TaskControlBlock\" }, evidence = \"ch1、ch2 无任务分配路径；ch2 的 loader.c 复用同一应用内存区依次装入二进制，ch3 起引入 TaskControlBlock。\" }\n \"proc.fork\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 的 os/src/task 尚无 fork 路径；ch5 起有 Processor 与 TaskControlBlock::fork。按当前 ELF 的 Processor 类型核对阶段。\" }\n \"proc.exec\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 静态装入应用，os/src/syscall 无 exec；ch5 起引入进程管理和 exec。按当前 ELF 的 Processor 类型核对阶段。\" }\n-\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch4 的 os/src/syscall/process.rs 中 sys_munmap 明确为 NOT IMPLEMENTED YET；ch5 起有进程内存回收。按当前 ELF 的 Processor 类型区分阶段。\" }\n+\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"未定义 os::mm::memory_set::MemorySet 的早期构建没有分页区域；定义该类型的构建按 os/src/mm/memory_set.rs 中的区域取消映射路径检查，包括 2026A 的 remove_framed_area。\" }\n \"phys.alloc\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器；ch4 起的 os/src/mm/frame_allocator.rs 定义 StackFrameAllocator。按当前 ELF 的该类型核对阶段。\" }\n \"phys.free\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器及逐页归还；ch4 起的 os/src/mm/frame_allocator.rs 实现分配与回收。按当前 ELF 的类型核对阶段。\" }\n \"vm.map\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"rCore ch1–ch3 还没有分页地址空间；ch4 起的 os/src/mm/memory_set.rs 定义 MemorySet 并建立区域映射。按当前 ELF 的类型核对阶段。\" }\n@@ -828,7 +839,7 @@ throttle = 0\n \n \"os::mm::frame_allocator::frame_dealloc\" = \"phys.free\"\n \"os::mm::frame_allocator::frame_alloc\" = \"phys.alloc\"\n-\"os::mm::page_table::PageTable::map\" = \"pagetable.map\"\n+\"os::mm::page_table::PageTable::map\" = { kind = \"pagetable.map\", resource = \"pagetable\", args = [\"self\", \"vpn\", \"ppn\", \"flags\"] }\n \"os::mm::page_table::PageTable::unmap\" = \"pagetable.unmap\"\n \"os::mm::page_table::PageTable::new\" = \"pagetable.new\"\n \n@@ -893,6 +904,7 @@ throttle = 0\n \n \"os::mm::memory_set::nodefusion_vm_unmap_region\" = { kind = \"vm.unmap\", resource = \"vm\", args = [\"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::remove_area_with_start_vpn\" = \"vm.remove_area\"\n+\"os::mm::memory_set::MemorySet::remove_framed_area\" = { kind = \"vm.remove_area\", resource = \"vm\", args = [\"self\", \"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::shrink_to\" = \"vm.shrink\"\n \"os::mm::memory_set::MemorySet::append_to\" = \"vm.grow\"\n \"os::mm::init\" = \"vm.init\"\n@@ -1550,3 +1562,35 @@ opts = [\n [syscalls]\n files = [\"os/src/syscall/mod.rs\"]\n pattern = 'const\\s+SYSCALL_(?P\\w+)\\s*:\\s*usize\\s*=\\s*(?P\\d+)'\n+\n+[[entity]]\n+name = \"batch_manager\"\n+type = \"os::batch::AppManager\"\n+label = \"应用批次\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { type_exists = \"os::batch::AppManager\" }\n+steps = [{ static = \"os::batch::APP_MANAGER\" }, { unwrap = [\"Lazy\", \"UPSafeCell\"] }]\n+\n+[entity.fields]\n+num_app = { path = \"num_app\", reader = \"u64\" }\n+current_app = { path = \"current_app\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"当前没有应用批次。\"\n+ [[entity.table.column]]\n+ key = \"num_app\"\n+ label = \"应用数\"\n+ [[entity.table.column]]\n+ key = \"current_app\"\n+ label = \"下一应用序号\"\n+\n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"os::trap::trap_handler\"] }\n+when = { type_exists = \"os::batch::AppManager\" }\n+snapshot = \"always\"\n+args = 1\n+throttle = 0\n" }, { "path": "nodefusion/manifests/ucore.toml", "sha256": "7ca738a5abfb1c21afdb75b44c2fc0ce81b19d3d2db9aa3d820850b8abf74327", "patch": "diff --git a/nodefusion/manifests/ucore.toml b/nodefusion/manifests/ucore.toml\nindex 4312842..750f358 100644\n--- a/nodefusion/manifests/ucore.toml\n+++ b/nodefusion/manifests/ucore.toml\n@@ -33,17 +33,29 @@ steps = [\n { iter = \"array\" },\n ]\n \n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_missing = \"proc\" }, { symbol_exists = \"clean_bss\" }, { symbol_missing = \"pool\" }, { symbol_missing = \"allocproc\" }, { symbol_missing = \"scheduler\" }] }\n+steps = []\n+\n [entity.liveness]\n-skip_when = { field = \"state\", equals = \"P_UNUSED\" }\n+skip_when = { field = \"state\", one_of = [\"UNUSED\", \"P_UNUSED\"] }\n \n [entity.fields]\n pid = { path = \"pid\", reader = \"i32\", role = \"id\" }\n state = { path = \"state\", reader = \"enum\", enum = \"procstate\", role = \"state\" }\n \n [entity.optional_fields]\n+kstack = { path = \"kstack\", reader = \"u64\" }\n+trapframe = { path = \"trapframe\", reader = \"ptr\", role = \"trap_context\" }\n+context = { path = \"context\", reader = \"struct\", role = \"sched_context\" }\n pagetable = { path = \"pagetable\", reader = \"ptr\", role = \"address_space_root\" }\n max_page = { path = \"max_page\", reader = \"u64\" }\n ustack_base = { path = \"ustack_base\", reader = \"u64\" }\n+ustack = { path = \"ustack\", reader = \"u64\" }\n+heap_bottom = { path = \"heap_bottom\", reader = \"u64\" }\n+program_brk = { path = \"program_brk\", reader = \"u64\" }\n exit_code = { path = \"exit_code\", reader = \"u64\", role = \"exit_code\" }\n files = { path = \"files\", reader = \"array\" }\n \n@@ -112,6 +124,53 @@ empty = \"当前没有活跃线程。\"\n \n # -------------------------------------------------------------- resources\n \n+[[entity]]\n+name = \"batch_context\"\n+type = \"trapframe\"\n+label = \"用户上下文\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { all = [{ type_exists = \"trapframe\" }, { symbol_exists = \"trap_page\" }, { symbol_missing = \"pool\" }] }\n+steps = [{ static = \"trap_page\" }]\n+\n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_exists = \"proc\" }, { symbol_exists = \"pool\" }, { symbol_missing = \"trap_page\" }] }\n+steps = []\n+\n+[entity.fields]\n+epc = { path = \"epc\", reader = \"u64\" }\n+user_sp = { path = \"sp\", reader = \"u64\" }\n+kernel_sp = { path = \"kernel_sp\", reader = \"u64\" }\n+a0 = { path = \"a0\", reader = \"u64\" }\n+a1 = { path = \"a1\", reader = \"u64\" }\n+a2 = { path = \"a2\", reader = \"u64\" }\n+a7 = { path = \"a7\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"本构建没有独立的批处理上下文。\"\n+ [[entity.table.column]]\n+ key = \"epc\"\n+ label = \"返回地址\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"user_sp\"\n+ label = \"用户栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"kernel_sp\"\n+ label = \"内核栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"a7\"\n+ label = \"a7\"\n+ [[entity.table.column]]\n+ key = \"a0\"\n+ label = \"a0\"\n+\n [[entity]]\n name = \"bcache\"\n type = \"buf\"\n@@ -264,12 +323,20 @@ empty = \"当前没有活跃 inode。\"\n # --------------------------------------------------------------- watches\n \n [[watch]]\n-subsystem = \"panic\"\n+subsystem = \"kernel\"\n match = { fn = [\"shutdown\"] }\n snapshot = \"always\"\n-args = 2\n+args = 0\n throttle = 0\n \n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"usertrap\", \"usertrapret\"] }\n+when = { type_missing = \"proc\" }\n+snapshot = \"always\"\n+args = 2\n+throttle = 0\n+\n [[watch]]\n subsystem = \"nftrace\"\n match = { fn = [\"nftrace_commit_point\"] }\n@@ -453,7 +520,7 @@ piperead = { kind = \"pipe.read\", resource = \"pipe\" }\n pipewrite = { kind = \"pipe.write\", resource = \"pipe\" }\n pipeclose = { kind = \"pipe.close\", resource = \"pipe\" }\n \n-shutdown = { kind = \"kernel.panic\", args = [\"reason\"] }\n+shutdown = { kind = \"kernel.shutdown\" }\n \n # ----------------------------------------------------------------- profile\n \n@@ -471,12 +538,11 @@ machine_opts = [\n ]\n interactive = true\n prompt = \">> \"\n-ready_markers = [\"C user shell\"]\n-# User-space assertions deliberately print the same ``[PANIC ...]`` prefix as\n-# the kernel logger and then return a non-zero test status. Treating that text\n-# as a kernel panic truncates aggregate suites halfway through; the shell's\n-# exit line and QEMU termination provide unambiguous outcomes instead.\n-panic_markers = [\"core dumped\"]\n+ready_markers = [\"hello wrold!\", \"C user shell\", \"start scheduler!\"]\n+done_markers = [\"ALL DONE\", \"all app are over!\", \"all apps over\"]\n+# User faults and assertions share the kernel's diagnostic text. Completion\n+# markers, process exit lines and QEMU termination determine the outcome.\n+panic_markers = []\n halt_markers = []\n stdin_preload = true\n stdin_pad = \"\\n\"\n" }, { "path": "nodefusion/model/dwarfsrc.py", "sha256": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "patch": "diff --git a/nodefusion/model/dwarfsrc.py b/nodefusion/model/dwarfsrc.py\nindex 6716ea1..2dd0640 100644\n--- a/nodefusion/model/dwarfsrc.py\n+++ b/nodefusion/model/dwarfsrc.py\n@@ -99,6 +99,10 @@ class DwarfSource:\n if not elf.has_dwarf_info():\n raise RuntimeError(f\"{self.path} 里没有调试信息（.debug_info）\")\n self.e_machine = elf.header[\"e_machine\"]\n+ symtab = elf.get_section_by_name('.symtab')\n+ self.defined_symbols = (None if symtab is None else\n+ {s.name for s in symtab.iter_symbols()\n+ if s.name and s['st_shndx'] != 'SHN_UNDEF'})\n self._exec_ranges = self._exec_sections(elf)\n self._parse(elf.get_dwarf_info())\n self._index_short()\n" }, { "path": "nodefusion/model/kinds.py", "sha256": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "patch": "diff --git a/nodefusion/model/kinds.py b/nodefusion/model/kinds.py\nindex c9da0ea..5551612 100644\n--- a/nodefusion/model/kinds.py\n+++ b/nodefusion/model/kinds.py\n@@ -17,7 +17,7 @@ KINDS: frozenset[str] = frozenset({\n \"inode.write\",\n \"interrupt.clock\", \"interrupt.dispatch\", \"interrupt.external\",\n \"interrupt.other\", \"interrupt.software\", \"interrupt.timer\",\n- \"kernel.alloc_error\", \"kernel.panic\",\n+ \"kernel.alloc_error\", \"kernel.panic\", \"kernel.shutdown\",\n \"log.begin\", \"log.commit\", \"log.end\", \"log.install\", \"log.recover\",\n \"log.write\", \"log.write_blocks\",\n \"pagetable.freewalk\", \"pagetable.map\", \"pagetable.new\", \"pagetable.unmap\",\n" }, { "path": "nodefusion/model/resolve.py", "sha256": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "patch": "diff --git a/nodefusion/model/resolve.py b/nodefusion/model/resolve.py\nindex 5c9b606..a655199 100644\n--- a/nodefusion/model/resolve.py\n+++ b/nodefusion/model/resolve.py\n@@ -127,6 +127,24 @@ def resolve_path(dw: DwarfSource, start: StructLayout, path: str,\n def eval_when(dw: DwarfSource, pred: dict | None) -> tuple[bool, str]:\n if not pred:\n return True, \"无条件\"\n+ if not isinstance(pred, dict) or len(pred) != 1:\n+ return False, \"when 需要一种谓词\"\n+ if 'all' in pred:\n+ children = pred['all']\n+ if not isinstance(children, list) or not children or any(not isinstance(p, dict) or not p for p in children):\n+ return False, \"all 需要非空的谓词数组\"\n+ results = [eval_when(dw, child) for child in children]\n+ return all(hit for hit, _ in results), '；'.join(reason for _, reason in results)\n+ if 'symbol_exists' in pred or 'symbol_missing' in pred:\n+ key = next(iter(pred))\n+ name = pred[key]\n+ if not isinstance(name, str) or not name.strip():\n+ return False, \"符号名不能为空\"\n+ symbols = getattr(dw, 'defined_symbols', None)\n+ if symbols is None:\n+ return False, \"没有完整 ELF 符号表\"\n+ exists = name in symbols\n+ return (exists if key == 'symbol_exists' else not exists), f\"符号 {name} {'在' if exists else '不在'}\"\n \n if \"type_exists\" in pred:\n want = pred[\"type_exists\"]\n" }, { "path": "nodefusion/model/snapshot.py", "sha256": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "patch": "diff --git a/nodefusion/model/snapshot.py b/nodefusion/model/snapshot.py\nindex fa095ef..0bf7cb7 100644\n--- a/nodefusion/model/snapshot.py\n+++ b/nodefusion/model/snapshot.py\n@@ -68,6 +68,8 @@ def is_live(entity: Entity, liveness: dict | None) -> bool:\n return True\n if \"equals\" in sw:\n return f.value != sw[\"equals\"]\n+ if \"one_of\" in sw:\n+ return f.value not in sw[\"one_of\"]\n return True\n \n \n" }, { "path": "nodefusion/host/bundle.py", "sha256": "cec890de70422513db45c7a592e758c9dba368a638fc2b337d0e3156a607f8e0", "patch": "diff --git a/nodefusion/host/bundle.py b/nodefusion/host/bundle.py\nindex a31f11f..f96d198 100644\n--- a/nodefusion/host/bundle.py\n+++ b/nodefusion/host/bundle.py\n@@ -8,13 +8,14 @@ import zlib\n from collections import Counter\n from pathlib import Path\n \n-from ..model.symbols import demangle, demangle_v0\n+from ..model.symbols import display_name\n from . import guest as guest_mod\n from .analyze import Analysis\n \n MAX_EVENTS = 150_000\n \n MIN_SPARE_EVENTS = 25_000\n+MIN_KIND_EVENTS = 64\n \n DIAGNOSTIC_PREFIXES = (\"func.\",)\n \n@@ -57,6 +58,25 @@ class Interner:\n return i\n \n \n+def _kind_budgets(counts: dict[str, int], budget: int) -> tuple[dict[str, int], int]:\n+ if not counts:\n+ return {}, 0\n+ floor = min(MIN_KIND_EVENTS, budget // len(counts))\n+ if floor == 0:\n+ return {kind: int(index < budget) for index, kind in enumerate(counts)}, 0\n+ quotas = {kind: min(count, floor) for kind, count in counts.items()}\n+ remaining = budget - sum(quotas.values())\n+ residual_total = sum(counts.values()) - sum(quotas.values())\n+ cumulative = 0\n+ if residual_total:\n+ for kind, count in counts.items():\n+ residual = count - quotas[kind]\n+ quotas[kind] += ((cumulative + residual) * remaining // residual_total\n+ - cumulative * remaining // residual_total)\n+ cumulative += residual\n+ return quotas, floor\n+\n+\n def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n \"\"\"Bound the interactive event stream while auditing the full raw trace.\"\"\"\n raw_kinds = Counter(e.kind for e in events)\n@@ -65,7 +85,7 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n if len(events) <= MAX_EVENTS:\n return (events if materialize else []), {\n \"applied\": False,\n- \"policy\": \"kind-preserving/systematic-v3\",\n+ \"policy\": \"kind-preserving/systematic-v5\",\n \"raw\": len(events), \"retained\": len(events), \"dropped\": 0,\n \"target_limit\": MAX_EVENTS, \"minimum_spare\": MIN_SPARE_EVENTS,\n \"always_keep\": \"all events when the raw stream fits\",\n@@ -77,37 +97,32 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n }\n \n spare_raw = len(events) - priority_raw\n- semantic_kinds = {k for k in raw_kinds if _is_semantic(k)}\n- reserved_spare = min(MIN_SPARE_EVENTS, spare_raw)\n+ semantic_counts = {k: count for k, count in raw_kinds.items() if _is_semantic(k)}\n+ reserved_spare = min(MIN_SPARE_EVENTS, spare_raw, MAX_EVENTS)\n priority_budget = min(priority_raw, MAX_EVENTS - reserved_spare)\n+ quotas, kind_floor = _kind_budgets(semantic_counts, priority_budget)\n room = MAX_EVENTS - priority_budget\n- step = max(1, spare_raw // room) if room > 0 and spare_raw else 1\n+ diagnostic_counts = {k: count for k, count in raw_kinds.items() if not _is_semantic(k)}\n+ diagnostic_quotas, diagnostic_floor = _kind_budgets(diagnostic_counts, min(room, spare_raw))\n+ quotas.update(diagnostic_quotas)\n chosen: list = []\n retained_kinds: Counter = Counter()\n dropped_kinds: dict[str, int] = {}\n- spare_seen = 0\n- spare_kept = 0\n semantic_seen = 0\n- first_kinds: set[str] = set()\n- nonfirst_seen = 0\n- nonfirst_total = priority_raw - len(semantic_kinds)\n- nonfirst_budget = max(0, priority_budget - len(semantic_kinds))\n+ seen_by_kind: Counter = Counter()\n for e in events:\n if _is_semantic(e.kind):\n semantic_seen += 1\n- if e.kind not in first_kinds:\n- first_kinds.add(e.kind)\n- retain = len(first_kinds) <= priority_budget\n- else:\n- retain = (nonfirst_total > 0 and\n- (nonfirst_seen + 1) * nonfirst_budget // nonfirst_total\n- > nonfirst_seen * nonfirst_budget // nonfirst_total)\n- nonfirst_seen += 1\n+ seen = seen_by_kind[e.kind]\n+ seen_by_kind[e.kind] += 1\n+ quota = quotas[e.kind]\n+ total = raw_kinds[e.kind]\n+ if seen == 0:\n+ retain = quota > 0\n else:\n- retain = room > 0 and spare_kept < room and spare_seen % step == 0\n- spare_seen += 1\n- if retain:\n- spare_kept += 1\n+ retain = (quota > 1 and\n+ seen * (quota - 1) // (total - 1)\n+ > (seen - 1) * (quota - 1) // (total - 1))\n if retain:\n retained_kinds[e.kind] += 1\n if materialize:\n@@ -120,15 +135,19 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n \n return chosen, {\n \"applied\": True,\n- \"policy\": \"kind-preserving/systematic-v3\",\n+ \"policy\": \"kind-preserving/systematic-v5\",\n \"raw\": len(events), \"retained\": retained, \"dropped\": dropped,\n \"target_limit\": MAX_EVENTS, \"minimum_spare\": MIN_SPARE_EVENTS,\n- \"always_keep\": \"first event of each normalized kind within budget\",\n+ \"always_keep\": \"all events of kinds whose count fits their per-kind budget\",\n \"priority_raw\": priority_raw, \"spare_raw\": spare_raw,\n \"semantic_budget\": priority_budget,\n+ \"minimum_per_kind\": kind_floor,\n+ \"semantic_kind_budgets\": {k: quotas[k] for k in sorted(semantic_counts)},\n+ \"diagnostic_kind_budgets\": dict(sorted(diagnostic_quotas.items())),\n+ \"minimum_per_diagnostic_kind\": diagnostic_floor,\n \"semantic_retained\": semantic_seen - sum(v for k, v in dropped_kinds.items()\n if _is_semantic(k)),\n- \"spare_budget\": room, \"stride\": step if room > 0 and spare_raw else None,\n+ \"spare_budget\": room, \"stride\": None,\n \"retained_kinds\": dict(sorted(retained_kinds.items())),\n \"dropped_kinds\": dict(sorted(dropped_kinds.items())),\n }\n@@ -493,7 +512,11 @@ def build(a: Analysis) -> dict:\n a.events, getattr(a.trace, \"function_returns\", ()), a.elf,\n retained_ids={id(e) for e in events})\n metrics = a.metrics()\n- caller_cache: dict[str, str] = {}\n+ display_cache: dict[str, str] = {}\n+ def display(raw):\n+ if raw not in display_cache:\n+ display_cache[raw] = display_name(raw)\n+ return display_cache[raw]\n \n ev = {\n \"insn\": [], \"cpu\": [], \"kind\": [], \"res\": [], \"pid\": [],\n@@ -508,19 +531,14 @@ def build(a: Analysis) -> dict:\n ev[\"res\"].append(res_i(e.resource))\n ev[\"pid\"].append(e.pid if e.pid is not None else -1)\n ev[\"pc\"].append(e.pc or 0)\n- ev[\"func\"].append(fn(e.func))\n+ ev[\"func\"].append(fn(display(e.func)) if e.func else fn(None))\n ev[\"entry\"].append(1 if e.function_entry else 0)\n- ev[\"entry_name\"].append(fn(e.entry_name) if e.entry_name else -1)\n+ ev[\"entry_name\"].append(fn(display(e.entry_name)) if e.entry_name else -1)\n caller = None\n if e.function_entry and e.return_address and a.elf is not None:\n raw, _ = a.elf.resolve_pc(e.return_address)\n if raw:\n- caller = caller_cache.get(raw)\n- if caller is None:\n- caller = (demangle(raw)\n- or demangle_v0(raw, impls=True, generics=True)\n- or raw)\n- caller_cache[raw] = caller\n+ caller = display(raw)\n ev[\"caller\"].append(fn(caller) if caller else -1)\n path = stack_paths.get(id(e))\n ev[\"stack\"].append([fn(label) for label in path] if path else None)\n@@ -657,10 +675,15 @@ def build(a: Analysis) -> dict:\n \n def _samples(a: Analysis) -> dict:\n fn = Interner()\n+ labels = {}\n out = {\"insn\": [], \"cpu\": [], \"pc\": [], \"priv\": [], \"func\": []}\n step = max(1, len(a.trace.samples) // 20000)\n for s in a.trace.samples[::step]:\n name, _ = a.elf.resolve_pc(s.pc)\n+ if name:\n+ if name not in labels:\n+ labels[name] = display_name(name)\n+ name = labels[name]\n out[\"insn\"].append(s.insn)\n out[\"cpu\"].append(s.cpu)\n out[\"pc\"].append(s.pc)\n" }, { "path": "nodefusion/tests/test_bundle_shape.py", "sha256": "55f2f20855a890967caba83581ca1dda43fa6606a5af6ab1ee7b07b074e7c82b", "patch": "diff --git a/nodefusion/tests/test_bundle_shape.py b/nodefusion/tests/test_bundle_shape.py\nindex 40bd9fe..80984c3 100644\n--- a/nodefusion/tests/test_bundle_shape.py\n+++ b/nodefusion/tests/test_bundle_shape.py\n@@ -1,5 +1,6 @@\n \n import sys\n+from collections import Counter\n from pathlib import Path\n from types import SimpleNamespace as NS\n \n@@ -73,6 +74,23 @@ def test_caller_names_demangle_rust_trait_impls():\n \"starry_kernel::mm::aspace::backend::cow::CowBackend::clone_map\"\n \n \n+def test_raw_function_entry_and_pc_names_share_readable_labels():\n+ raw = '_ZN2os4root17h1234567890abcdefE'\n+ a = _analysis(_state())\n+ event = Event(1, 0, 'func.root', 'function', func=raw,\n+ function_entry=True, entry_name=raw, return_address=0x80001000)\n+ a.elf = NS(resolve_pc=lambda addr: (raw, 0))\n+ a.events = [event]\n+ a.trace.samples = [NS(insn=1, cpu=0, pc=0x80001000, priv=1)]\n+ result = B.build(a)\n+ funcs = result['dict']['funcs']\n+ for key in ['func', 'entry_name', 'caller']:\n+ assert funcs[result['events'][key][0]] == 'os::root'\n+ assert event.entry_name == raw\n+ assert event.func == raw\n+ assert result['samples']['funcs'][result['samples']['func'][0]] == 'os::root'\n+\n+\n def test_resources_is_always_there_even_when_empty():\n b = B.build(_analysis(_state(reason=\"没声明\")))\n assert b[\"states\"][0][\"resources\"] == []\n@@ -144,7 +162,8 @@ def test_event_selection_metadata_accounts_for_every_raw_event(monkeypatch):\n assert audit[\"priority_raw\"] == 4\n assert audit[\"spare_raw\"] == 26\n assert audit[\"spare_budget\"] == 6\n- assert audit[\"stride\"] == 4\n+ assert audit[\"stride\"] is None\n+ assert audit['diagnostic_kind_budgets'] == {'func.hot_path': 6}\n assert sum(audit[\"retained_kinds\"].values()) == audit[\"retained\"]\n assert sum(audit[\"dropped_kinds\"].values()) == audit[\"dropped\"]\n assert [e.insn for e in selected[:4]] == [0, 1, 2, 3]\n@@ -156,10 +175,9 @@ def test_bounded_selector_preserves_order_and_systematic_sample(monkeypatch):\n events = [NS(kind=(\"proc.fork\" if i in {2, 7} else \"func.hot\"), insn=i)\n for i in range(12)]\n selected, audit = B._select_events(events)\n- # Ten diagnostics, four spare slots => old spare[::2][:4], interleaved\n- # with both semantic events in original timeline order.\n- assert [event.insn for event in selected] == [0, 2, 3, 5, 7, 8]\n- assert audit[\"stride\"] == 2\n+ # Four per-kind positions include the first and last diagnostic entries.\n+ assert [event.insn for event in selected] == [0, 2, 4, 7, 8, 11]\n+ assert audit[\"stride\"] is None\n assert audit[\"retained\"] == 6\n \n \n@@ -178,6 +196,79 @@ def test_large_semantic_stream_stays_browser_bounded(monkeypatch):\n assert audit[\"raw\"] == audit[\"retained\"] + audit[\"dropped\"]\n \n \n+def test_rare_semantic_events_survive_hot_kinds_without_kernel_allowlists(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 200)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='pagetable.map', insn=i) for i in range(5000)]\n+ events += [NS(kind='future_namespace.branch', insn=5000 + i) for i in range(13)]\n+ events += [NS(kind='trap.page_fault', insn=5013 + i) for i in range(4)]\n+ events += [NS(kind='func.loop', insn=5017 + i) for i in range(1000)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == audit['retained'] == 200\n+ assert audit['retained_kinds']['future_namespace.branch'] == 13\n+ assert audit['retained_kinds']['trap.page_fault'] == 4\n+ assert audit['retained_kinds']['func.loop'] == 25\n+ assert audit['semantic_retained'] == 175\n+ assert audit['semantic_kind_budgets']['pagetable.map'] == 158\n+ hot = [item.insn for item in selected if item.kind == 'pagetable.map']\n+ assert hot[0] == 0 and hot[-1] == 4999\n+ assert [item.insn for item in selected] == sorted(item.insn for item in selected)\n+ assert B._select_events(events)[0] == selected\n+ empty, accounting = B._event_selection(events, materialize=False)\n+ assert empty == [] and accounting == audit\n+ for kind, count in Counter(item.kind for item in events).items():\n+ assert audit['retained_kinds'].get(kind, 0) + audit['dropped_kinds'].get(kind, 0) == count\n+\n+\n+def test_more_semantic_kinds_than_slots_is_still_bounded(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 7)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 2)\n+ events = [NS(kind=f'new.kind{i}', insn=i) for i in range(20)]\n+ events += [NS(kind='func.noise', insn=20 + i) for i in range(20)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 7\n+ assert audit['semantic_retained'] == 5 and audit['retained_kinds']['func.noise'] == 2\n+ assert sum(audit['semantic_kind_budgets'].values()) == 5\n+ assert [item.kind for item in selected[:5]] == [f'new.kind{i}' for i in range(5)]\n+ assert sum(audit['dropped_kinds'].values()) == 33\n+ assert B._event_selection(events, materialize=False)[1] == audit\n+\n+\n+def test_rare_function_entries_survive_hot_diagnostic_functions(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 100)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='syscall.enter', insn=i) for i in range(1000)]\n+ events += [NS(kind='func.format', insn=1000 + i) for i in range(2000)]\n+ events += [NS(kind='func.unmap', insn=3000 + i) for i in range(2)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 100\n+ assert audit['retained_kinds']['func.unmap'] == 2\n+ assert audit['retained_kinds']['func.format'] == 23\n+ assert not audit['dropped_kinds'].get('func.unmap')\n+ assert selected[-1] is events[-1]\n+\n+\n+def test_kind_quotas_use_the_budget_without_exceeding_raw_counts():\n+ for counts in [{'one': 1}, {'a': 2, 'b': 1000, 'c': 9},\n+ {str(index): index + 1 for index in range(100)}]:\n+ total = sum(counts.values())\n+ for budget in range(min(total, 300) + 1):\n+ quotas, floor = B._kind_budgets(counts, budget)\n+ assert sum(quotas.values()) == budget\n+ assert all(0 <= quotas[kind] <= count for kind, count in counts.items())\n+ assert all(quotas[kind] == count for kind, count in counts.items() if count <= floor)\n+\n+\n+def test_diagnostic_reservation_cannot_exceed_total_budget(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 4)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='syscall.enter', insn=0)]\n+ events += [NS(kind='func.hot', insn=i) for i in range(1, 30)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 4 and audit['semantic_budget'] == 0\n+ assert audit['dropped_kinds']['syscall.enter'] == 1\n+\n+\n def test_interactive_sampling_does_not_erase_raw_semantic_coverage(monkeypatch):\n monkeypatch.setattr(B, \"MAX_EVENTS\", 10)\n monkeypatch.setattr(B, \"MIN_SPARE_EVENTS\", 3)\n" }, { "path": "nodefusion/tests/test_kernel_integrations.py", "sha256": "8e3ecdcf6ad5ea3b7fa44a3e3244a2c9678255b62c02d8cd48de9cfc1189b376", "patch": "diff --git a/nodefusion/tests/test_kernel_integrations.py b/nodefusion/tests/test_kernel_integrations.py\nindex a285e88..b33e6b0 100644\n--- a/nodefusion/tests/test_kernel_integrations.py\n+++ b/nodefusion/tests/test_kernel_integrations.py\n@@ -64,7 +64,7 @@ def test_rcore_patch_and_manifest_agree_on_the_per_region_hook():\n assert manifest.events[symbol].kind == \"vm.unmap\"\n assert manifest.events[symbol].args == [\"start_vpn\", \"end_vpn\"]\n assert manifest.absent[\"vm.unmap\"].when == {\n- \"type_missing\": \"os::task::processor::Processor\"}\n+ \"type_missing\": \"os::mm::memory_set::MemorySet\"}\n \n \n def test_rcore_patch_exports_exact_physical_allocation_results():\n@@ -79,6 +79,38 @@ def test_rcore_patch_exports_exact_physical_allocation_results():\n assert \"nodefusion_trace_sched_switch\" in patch\n \n \n+def test_rcore_reference_region_removal_is_an_attempt_not_a_success_event():\n+ manifest = load(ROOT / 'manifests/rcore.toml')\n+ symbol = 'os::mm::memory_set::MemorySet::remove_framed_area'\n+ assert manifest.events[symbol].kind == 'vm.remove_area'\n+ assert manifest.events[symbol].args == ['self', 'start_vpn', 'end_vpn']\n+ dedicated = next(index for index, watch in enumerate(manifest.watches)\n+ if watch.match.get('fn') == ['remove_framed_area'])\n+ inline = next(index for index, watch in enumerate(manifest.watches)\n+ if watch.match.get('fn') == ['frame_alloc', 'frame_dealloc', 'unmap', 'init_heap'])\n+ assert dedicated < inline\n+ assert manifest.watches[dedicated].args == 3\n+ assert not manifest.watches[dedicated].inlined\n+\n+\n+def test_rcore_2026a_ch4_observation_patch_preserves_region_acceptance():\n+ patch = (INTEGRATIONS / 'rcore-2026a-ch4-observation.patch').read_text()\n+ assert patch.index('})?;') < patch.index('nodefusion_vm_unmap_region(start.0, end.0);')\n+ assert patch.index('nodefusion_vm_unmap_region(start.0, end.0);') < patch.index('let mut area = self.areas.remove(index);')\n+ assert 'const NFT_ALLOCATOR_STATE: u64 = 6;' in patch\n+ assert 'a: [free_pages as u64, used_pages as u64, 0, 0]' in patch\n+ assert 'nodefusion_trace_page(NFT_KALLOC, paddr, free_pages, used_pages)' in patch\n+ assert 'nodefusion_trace_page(NFT_KFREE, PhysAddr::from(ppn).0, free_pages, used_pages)' in patch\n+ assert 'GlobalAlloc::alloc(&self.0, layout)' in patch\n+ assert 'GlobalAlloc::dealloc(&self.0, ptr, layout)' in patch\n+ manifest = load(ROOT / 'manifests/rcore.toml')\n+ event = manifest.events['os::mm::page_table::PageTable::map']\n+ assert event.kind == 'pagetable.map' and event.args == ['self', 'vpn', 'ppn', 'flags']\n+ rule = next(watch for watch in manifest.watches\n+ if watch.match == {'module': 'os::mm::page_table::PageTable', 'fn': ['map']})\n+ assert rule.args == 4 and not rule.inlined\n+\n+\n def test_rcore_chapter_patches_preserve_per_region_and_scheduler_identity():\n for chapter in (6, 8):\n patch = (INTEGRATIONS / f\"rcore-ch{chapter}-nodefusion.patch\").read_text(\n@@ -94,6 +126,43 @@ def test_rcore_chapter_patches_preserve_per_region_and_scheduler_identity():\n assert \"block_current_and_run_next\" in ch8\n \n \n+def test_2026a_ch5_observation_preserves_allocator_and_switch_semantics():\n+ rust = (INTEGRATIONS / 'rcore-2026a-ch5-observation.patch').read_text()\n+ c = (INTEGRATIONS / 'ucore-2026a-ch5-observation.patch').read_text()\n+ for patch in (rust, c):\n+ assert 'nftrace_commit_point' in patch\n+ assert 'nodefusion_pagetable_map' in patch or '#[inline(never)]' in patch\n+ assert 'self.allocated -= 1;' in rust\n+ assert 'self.allocated += 1;' in rust\n+ assert 'if result.is_some()' in rust\n+ assert 'frame.as_ref().map_or(0, |frame| PhysAddr::from(frame.ppn).0)' in rust\n+ assert 'pub(crate) const NO_TASK: usize = usize::MAX;' in rust\n+ assert 'emit(4, [from_task as u64, to_task as u64, from_pid as u64, to_pid as u64])' in rust\n+ assert 'crate::nftrace::NO_TASK, next_pid' in rust\n+ assert 'crate::nftrace::sched_switch(task_id, idle, pid, crate::nftrace::NO_TASK)' in rust\n+ assert rust.index('add_task(new_task);') < rust.index('crate::nftrace::process_fork(current_task.getpid(), new_pid);')\n+ assert 'nf_used_pages--;' in c\n+ assert 'nf_used_pages++;' in c\n+ assert c.index('nf_used_pages--;') < c.index('nftrace_page_free((uint64)pa, nf_free_pages, nf_used_pages);')\n+ assert c.index('add_task(np);') < c.index('nftrace_proc_fork(p->pid, np->pid);')\n+ assert 'nftrace_sched_switch((uint64)&idle, (uint64)p, (uint64)-1, p->pid);' in c\n+ assert 'nftrace_sched_switch((uint64)p, (uint64)&idle, p->pid, (uint64)-1);' in c\n+ assert c.index('*pte = PA2PTE(pa) | perm | PTE_V;') < c.index('nodefusion_pagetable_map(a, pa, perm | PTE_V);')\n+\n+\n+def test_rcore_2026a_ch5_region_hooks_only_describe_explicit_pte_removal():\n+ patch = (INTEGRATIONS / 'rcore-2026a-ch5-observation.patch').read_text()\n+ assert 'if mapped_end > area.vpn_range.get_start()' in patch\n+ assert 'nodefusion_vm_unmap_region(area.vpn_range.get_start().0, mapped_end.0);' in patch\n+ assert 'if self.vpn_range.get_start() < self.vpn_range.get_end()' in patch\n+ assert 'nodefusion_vm_unmap_region(self.vpn_range.get_start().0, self.vpn_range.get_end().0);' in patch\n+ assert 'if new_end < self.vpn_range.get_end()' in patch\n+ assert 'nodefusion_vm_unmap_region(new_end.0, self.vpn_range.get_end().0);' in patch\n+ # Releasing data-frame ownership on exit leaves the zombie page table alive.\n+ # Do not invent explicit PTE-removal events for that separate operation.\n+ assert 'self.areas.clear();' not in patch\n+\n+\n def test_rcore_ch8_keeps_applicable_vm_and_signal_watchpoints_callable():\n patch = (INTEGRATIONS / \"rcore-page-table-observation-points.patch\").read_text()\n assert patch.count(\"#[inline(never)]\") == 6\n@@ -161,7 +230,7 @@ def test_rcore_filesystem_absence_depends_on_the_resolved_build(monkeypatch):\n (\"proc.alloc\", \"os::task::task::TaskControlBlock\"),\n (\"proc.fork\", \"os::task::processor::Processor\"),\n (\"proc.exec\", \"os::task::processor::Processor\"),\n- (\"vm.unmap\", \"os::task::processor::Processor\"),\n+ (\"vm.unmap\", \"os::mm::memory_set::MemorySet\"),\n (\"phys.alloc\", \"os::mm::frame_allocator::StackFrameAllocator\"),\n (\"phys.free\", \"os::mm::frame_allocator::StackFrameAllocator\"),\n (\"vm.map\", \"os::mm::memory_set::MemorySet\"),\n@@ -189,6 +258,28 @@ def test_ucore_patch_and_manifest_supply_exact_semantics():\n assert manifest.absent[\"log.commit\"].why == \"feature\"\n \n \n+def test_ucore_2026a_ch4_patch_observes_allocator_results_and_committed_ptes():\n+ patch = (INTEGRATIONS / 'ucore-2026a-ch4-observation.patch').read_text()\n+ paths = [line.split(' b/', 1)[1] for line in patch.splitlines() if line.startswith('diff --git ')]\n+ assert set(paths) == {'os/kalloc.c', 'os/vm.c', 'os/nftrace.c', 'os/nftrace.h'}\n+ assert 'NFT_KALLOC = 1' in patch and 'NFT_KFREE = 5' in patch and 'NFT_ALLOCATOR_STATE = 6' in patch\n+ assert 'nftrace_page_alloc((uint64)l, 1, nf_free_pages, nf_used_pages)' in patch\n+ assert 'nftrace_page_free((uint64)pa, 1, nf_free_pages, nf_used_pages)' in patch\n+ assert 'nftrace_allocator_state(nf_free_pages, nf_used_pages)' in patch\n+ assert patch.index('*pte = PA2PTE(pa) | perm | PTE_V;') < patch.index('nodefusion_pagetable_map(a, pa, perm | PTE_V);')\n+ assert 'const struct nftrace_record record = { type, { a0, a1, a2, a3 } }' in patch\n+\n+\n+def test_ucore_2026a_ch4_page_table_experiment_owns_and_reclaims_its_pages():\n+ patch = (INTEGRATIONS / 'ucore-2026a-ch4-pagetable-experiment.patch').read_text()\n+ assert patch.index('uvmunmap(table, va, 1, 0)') < patch.index('uvmunmap(table, va, 1, 1)')\n+ assert patch.index('uvmunmap(table, TRAMPOLINE, 1, 0)') < patch.index('freewalk(table)')\n+ assert 'walkaddr(table, va + 0x123) != (uint64)frame' in patch\n+ assert 'useraddr(table, va + 0x123) != (uint64)frame + 0x123' in patch\n+ assert 'frame[0x123] != 0x5a' in patch\n+ assert patch.index('kvm_init();') < patch.index('nodefusion_pagetable_experiment();', patch.index('kvm_init();'))\n+\n+\n def test_ucore_showcase_fixes_remain_separate_from_observation_patch():\n observation = (INTEGRATIONS / \"ucore-nodefusion.patch\").read_text()\n kernel_fix = (INTEGRATIONS / \"ucore-ch8-showcase.patch\").read_text()\n@@ -204,6 +295,13 @@ def test_ucore_manifest_covers_all_eight_measured_shapes():\n manifest = load(ROOT / \"manifests\" / \"ucore.toml\")\n assert manifest.detect == {\"all_symbol\": [\"digits\", \"SBI_SHUTDOWN\"]}\n assert manifest.derive_feature_absence_from_symbols is True\n+ process = manifest.entity(\"process\")\n+ assert process.liveness[\"skip_when\"] == {\n+ \"field\": \"state\", \"one_of\": [\"UNUSED\", \"P_UNUSED\"]}\n+ fields = {field.name: field for field in process.fields}\n+ assert fields[\"context\"].role == \"sched_context\"\n+ assert fields[\"trapframe\"].role == \"trap_context\"\n+ assert all(fields[name].optional for name in (\"context\", \"trapframe\", \"kstack\"))\n parent = next(field for field in manifest.entity(\"process\").relations\n if field.name == \"parent\")\n assert parent.optional is True\n" }, { "path": "nodefusion/tests/test_resolve.py", "sha256": "b14f432eb380c5514b73431978b01b0d715ed9a49f92deb547358fb35dd4d8ec", "patch": "diff --git a/nodefusion/tests/test_resolve.py b/nodefusion/tests/test_resolve.py\nindex 0eeed28..585b0a8 100644\n--- a/nodefusion/tests/test_resolve.py\n+++ b/nodefusion/tests/test_resolve.py\n@@ -97,6 +97,30 @@ def test_missing_field_is_absent_not_a_failure():\n assert resolve_path(dw, tcb, \"inner.priority\").state == ABSENT\n \n \n+def test_rcore_priority_spellings_resolve_without_kernel_branches():\n+ from nodefusion.model.manifest import builtin_dir, load\n+ from nodefusion.model.snapshot import Entity, Field\n+\n+ manifest = load(builtin_dir() / \"rcore.toml\")\n+ specs = [field for entity in manifest.entities if entity.name == \"task\"\n+ for field in entity.fields if field.role == \"priority\"]\n+ assert {field.path for field in specs} == {\"inner.prio\", \"inner.priority\"}\n+ assert all(field.optional for field in specs)\n+ for spelling in (\"prio\", \"priority\", None):\n+ dw, tcb = chain()\n+ if spelling:\n+ dw._s[6].fields[spelling] = 136\n+ fields = {}\n+ for spec in specs:\n+ resolved = resolve_path(dw, tcb, spec.path)\n+ fields[spec.name] = Field(spec.name, resolved.state,\n+ value=16 if resolved.state == PRESENT else None,\n+ role=spec.role)\n+ entity = Entity(\"task\", 0x1000, fields=fields)\n+ assert entity.role(\"priority\") == (16 if spelling else None)\n+ assert sum(field.ok for field in fields.values()) == (1 if spelling else 0)\n+\n+\n def test_missing_field_names_the_payload_type_not_just_the_wrapper():\n dw, tcb = chain()\n why = resolve_path(dw, tcb, \"inner.priority\").reason or \"\"\n" }, { "path": "nodefusion/host/assets/app.css", "sha256": "4a6f97f6046f1658f683e28107b5e524cf64507c57e7ad76035a7e8d745740eb", "patch": "diff --git a/nodefusion/host/assets/app.css b/nodefusion/host/assets/app.css\nindex 88f5f82..f2adda9 100644\n--- a/nodefusion/host/assets/app.css\n+++ b/nodefusion/host/assets/app.css\n@@ -415,7 +415,7 @@ tr.sel td { background: color-mix(in oklch, var(--accent) 12%, var(--bg)); }\n .detail-empty-icon { display: grid; place-items: center; width: 32px; height: 32px; border: 1px solid var(--line); border-radius: 6px; color: var(--accent); font-size: 21px; }\n .detail-empty h2 { color: var(--fg); font-size: 14px; margin: 16px 0 5px; }\n .detail-empty p { max-width: 28ch; margin: 0; line-height: 1.55; }\n-.trace-controls { display: flex; gap: 8px; margin: 0 0 16px; }\n+.trace-controls { display: flex; gap: 8px; margin: 0 0 16px; position: sticky; top: -22px; z-index: 2; background: var(--bg); padding-block: 8px; border-bottom: 1px solid var(--line); }\n .trace-controls input, .trace-controls select { height: 34px; min-width: 150px; padding: 6px 9px; border: 1px solid var(--line); border-radius: 5px; background: var(--bg2); color: var(--fg); }\n .trace-controls input { flex: 1; min-width: 220px; }\n .trace-grid { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 14px; min-height: 420px; }\n@@ -460,8 +460,8 @@ tr.sel td { background: color-mix(in oklch, var(--accent) 12%, var(--bg)); }\n .right { width: 100%; max-height: 340px; border-left: 0; border-top: 1px solid var(--line); padding: 14px; }\n .main.detail-collapsed .right { display: none; }\n #evscroll { height: 54vh; }\n- .trace-grid { grid-template-columns: 1fr; }\n- .function-tree, .function-sequence { max-height: 42vh; }\n+ .trace-grid { grid-template-columns: 1fr; min-height: 0; align-items: start; }\n+ .function-tree, .function-sequence { min-height: 0; max-height: 42vh; }\n }\n @media (max-width: 560px) {\n .brand-kicker, .shortcut-hint { display: none; }\n" }, { "path": "nodefusion/host/assets/app.js", "sha256": "c253b16d88ddc73d1c78ec3729800800ad255b923712893dbe12f66faab2aca2", "patch": "diff --git a/nodefusion/host/assets/app.js b/nodefusion/host/assets/app.js\nindex 7f1256e..a87dcd9 100644\n--- a/nodefusion/host/assets/app.js\n+++ b/nodefusion/host/assets/app.js\n@@ -28,6 +28,7 @@ const NF = {\n selPage: null,\n selPid: null,\n filters: { text: '', kind: '', res: '', pid: '', cpu: '', group: '', from: '', to: '' },\n+ functionFilters: {text: '', cpu: '', limit: '80', grouping: null},\n };\n \n /* ------------------------------------------------------------------ 工具 */\n@@ -1641,6 +1642,10 @@ function renderFunctions() {\n if (returns.nested_entries) grouping.appendChild(new Option('观测调用链', 'stack'));\n if (returns.nested_entries) grouping.value = 'stack';\n else if (!entries.some((e) => e.caller)) grouping.value = 'namespace';\n+ search.value = NF.functionFilters.text;\n+ cpu.value = NF.functionFilters.cpu;\n+ limit.value = NF.functionFilters.limit;\n+ if ([...grouping.options].some(option => option.value === NF.functionFilters.grouping)) grouping.value = NF.functionFilters.grouping;\n controls.appendChild(search); controls.appendChild(cpu); controls.appendChild(grouping);\n controls.appendChild(limit); p.appendChild(controls);\n \n@@ -1658,6 +1663,7 @@ function renderFunctions() {\n grid.appendChild(treePanel); grid.appendChild(sequencePanel); p.appendChild(grid);\n \n function paint() {\n+ NF.functionFilters = {text: search.value, cpu: cpu.value, limit: limit.value, grouping: grouping.value};\n const q = search.value.trim().toLowerCase();\n const selectedCpu = cpu.value;\n const filtered = entries.filter((e) => (!q || e.fn.toLowerCase().includes(q) || e.caller.toLowerCase().includes(q) || (e.path || []).some((name) => name.toLowerCase().includes(q))) && (selectedCpu === '' || String(e.cpu) === selectedCpu));\n" }, { "path": "nodefusion/tests/test_phys_alloc_gate.py", "sha256": "a1b68458d8268d052082ad92b80f86753c46423eec7c86c3bdd6019e23b8186a", "patch": "diff --git a/nodefusion/tests/test_phys_alloc_gate.py b/nodefusion/tests/test_phys_alloc_gate.py\nindex 3cb406d..ec2bc43 100644\n--- a/nodefusion/tests/test_phys_alloc_gate.py\n+++ b/nodefusion/tests/test_phys_alloc_gate.py\n@@ -128,6 +128,51 @@ def test_sched_semantic_record_fills_both_endpoints_without_snapshots():\n assert event.detail[\"from_proc\"] == \"kernel-task#41\"\n assert event.detail[\"to_task_id\"] == 42\n assert event.detail[\"to_pid\"] == 7\n+ assert event.pid == 7\n+ assert a._attribute(0, -1, {}) == (7, \"task#7\")\n+\n+\n+def test_semantic_switch_attribution_survives_missing_and_reused_snapshot_slots():\n+ a = object.__new__(A.Analysis)\n+ a._pid_by_slot_at = lambda *_: (99, \"stale slot\")\n+ slots = {0: 3, 1: 4}\n+ assert a._attribute(0, 0, slots) == (99, \"stale slot\")\n+ a._nftrace_event(NfTraceRec(insn=100, cpu=0, type=a.NFT_SCHED_SWITCH,\n+ a=(10, 20, a.NFT_NO_TASK, 7)), -1, slots)\n+ assert a._attribute(0, -1, {}) == (7, \"task#7\")\n+ assert a._attribute(0, 200, slots) == (7, \"task#7\")\n+ assert a._attribute(1, 0, slots) == (99, \"stale slot\")\n+ alloc = a._nftrace_event(NfTraceRec(insn=101, cpu=0, type=a.NFT_KALLOC,\n+ a=(0x81234000, 1, 9, 1)), -1, {})\n+ assert alloc.pid == 7\n+\n+\n+def test_semantic_switches_track_each_cpu_and_distinguish_pid_zero_from_idle():\n+ a = object.__new__(A.Analysis)\n+ for cpu, pid in [(0, 0), (1, 7)]:\n+ a._nftrace_event(NfTraceRec(insn=100 + cpu, cpu=cpu, type=a.NFT_SCHED_SWITCH,\n+ a=(10 + cpu, 20 + cpu, a.NFT_NO_TASK, pid)), -1, {})\n+ assert a._attribute(0, -1, {}) == (0, \"task#0\")\n+ assert a._attribute(1, -1, {}) == (7, \"task#7\")\n+ a._nftrace_event(NfTraceRec(insn=102, cpu=0, type=a.NFT_SCHED_SWITCH,\n+ a=(20, 10, 0, a.NFT_NO_TASK)), -1, {})\n+ assert a._attribute(0, -1, {}) == (None, \"kernel-task#10\")\n+ assert a._attribute(1, -1, {}) == (7, \"task#7\")\n+\n+\n+def test_rebuilding_events_resets_semantic_ownership_without_using_future_switches():\n+ a = object.__new__(A.Analysis)\n+ a.ncpu = 1\n+ a.states = []\n+ a.events = []\n+ a._semantic_current = {0: (99, \"previous analysis\")}\n+ a.trace = NS(discons=[], watch_hits=[], nftrace=[\n+ NfTraceRec(insn=1, cpu=0, type=a.NFT_KALLOC, a=(0x81234000, 1, 9, 1)),\n+ NfTraceRec(insn=2, cpu=0, type=a.NFT_SCHED_SWITCH, a=(10, 20, a.NFT_NO_TASK, 7)),\n+ NfTraceRec(insn=3, cpu=0, type=a.NFT_KALLOC, a=(0x81235000, 1, 8, 2)),\n+ ])\n+ a.build_events()\n+ assert [event.pid for event in a.events] == [None, 7, 7]\n \n \n def test_kfree_semantic_record_has_physical_range():\n" }, { "path": "nodefusion/host/callstack.py", "sha256": "7a1ce5d70940e2c98792f57543e3df2cbc7b9f96ec5d8c7b280ccf17c78f9bde", "patch": "diff --git a/nodefusion/host/callstack.py b/nodefusion/host/callstack.py\nindex edae6fe..6f42814 100644\n--- a/nodefusion/host/callstack.py\n+++ b/nodefusion/host/callstack.py\n@@ -4,7 +4,7 @@ from __future__ import annotations\n \n import heapq\n \n-from ..model.symbols import demangle, demangle_v0\n+from ..model.symbols import display_name\n from . import nftrace\n \n \n@@ -20,6 +20,11 @@ def observed_stacks(events, returns, elf, retained_ids=None):\n matched = 0\n nested = 0\n caller_cache = {}\n+ label_cache = {}\n+ def label(name):\n+ if name not in label_cache:\n+ label_cache[name] = display_name(name)\n+ return label_cache[name]\n if not returns:\n return paths, {\"raw\": 0, \"matched\": 0, \"nested_entries\": 0}\n entries = ((e.insn, 0, e.cpu, e) for e in events\n@@ -49,10 +54,13 @@ def observed_stacks(events, returns, elf, retained_ids=None):\n parent = frames[-1] if frames else None\n if obj.return_address not in caller_cache:\n raw = elf.resolve_pc(obj.return_address)[0] if elf else None\n- caller_cache[obj.return_address] = (\n- demangle(raw) or demangle_v0(raw) or raw) if raw else None\n+ caller_cache[obj.return_address] = raw\n caller = caller_cache[obj.return_address]\n- if (parent is None or parent.entry_name != caller or\n+ # Raw symbols distinguish Rust instantiations with the same display\n+ # name. Older producers may already supply a decoded entry name.\n+ caller_matches = (parent is not None and caller is not None and\n+ (parent.entry_name == caller or parent.entry_name == label(caller)))\n+ if (not caller_matches or\n parent.address_space != obj.address_space or\n obj.stack_pointer > parent.stack_pointer):\n frames.clear()\n@@ -60,7 +68,7 @@ def observed_stacks(events, returns, elf, retained_ids=None):\n frames.clear()\n frames.append(obj)\n if retained_ids is None or id(obj) in retained_ids:\n- paths[id(obj)] = tuple(f.entry_name or f.func or f.kind for f in frames[-16:])\n+ paths[id(obj)] = tuple(label(f.entry_name or f.func or f.kind) for f in frames[-16:])\n if len(frames) > 1:\n nested += 1\n return paths, {\"raw\": len(returns), \"matched\": matched,\n" }, { "path": "nodefusion/model/symbols.py", "sha256": "39f23be73d754e52221a4889c0101d50d8d8962ec21f1628d1cc36f07acdecb8", "patch": "diff --git a/nodefusion/model/symbols.py b/nodefusion/model/symbols.py\nindex 8bf19dc..7310e65 100644\n--- a/nodefusion/model/symbols.py\n+++ b/nodefusion/model/symbols.py\n@@ -41,6 +41,10 @@ def demangle(sym: str) -> str | None:\n return _demangle_legacy(sym) or demangle_v0(sym)\n \n \n+def display_name(sym: str) -> str:\n+ return demangle(sym) or demangle_v0(sym, impls=True, generics=True) or sym\n+\n+\n def _demangle_legacy(sym: str) -> str | None:\n s = _LLVM_SUFFIX.sub(\"\", sym)\n if not s.startswith(\"_ZN\") or not s.endswith(\"E\"):\n" }, { "path": "nodefusion/tests/test_callstack.py", "sha256": "78bc55f0ccf1a6dde2836aaa256ca0ce9fc0f9b4c6dcc4b144732460144d901e", "patch": "diff --git a/nodefusion/tests/test_callstack.py b/nodefusion/tests/test_callstack.py\nindex 4e2b5f5..9c91f75 100644\n--- a/nodefusion/tests/test_callstack.py\n+++ b/nodefusion/tests/test_callstack.py\n@@ -55,3 +55,27 @@ def test_unretained_entries_still_shape_retained_stack():\n Elf(), retained_ids={id(child)})\n assert paths == {id(child): (\"root\", \"child\")}\n assert counts[\"matched\"] == 1\n+\n+\n+def test_rust_raw_symbols_match_and_display_as_function_names():\n+ raw_root = '_ZN2os4root17h1234567890abcdefE'\n+ raw_child = '_ZN2os5child17h1234567890abcdefE'\n+ root = entry(1, raw_root, 0x99, 100)\n+ child = entry(2, raw_child, 0x10, 80)\n+ elf = type('RustElf', (), {'resolve_pc': lambda self, pc: (raw_root, 0) if pc == 0x10 else (None, 0)})()\n+ paths, counts = observed_stacks([root, child], [ret(3, 0x10, 80)], elf)\n+ assert paths[id(child)] == ('os::root', 'os::child')\n+ assert counts['nested_entries'] == 1\n+ assert root.entry_name == raw_root\n+ assert child.entry_name == raw_child\n+\n+\n+def test_decoded_names_do_not_merge_distinct_raw_rust_symbols():\n+ raw_root = '_ZN2os4root17h1234567890abcdefE'\n+ other_root = '_ZN2os4root17hfedcba0987654321E'\n+ root = entry(1, raw_root, 0x99, 100)\n+ child = entry(2, 'child', 0x10, 80)\n+ elf = type('RustElf', (), {'resolve_pc': lambda self, pc: (other_root, 0) if pc == 0x10 else (None, 0)})()\n+ paths, counts = observed_stacks([root, child], [ret(3, 0x10, 80)], elf)\n+ assert paths[id(child)] == ('child',)\n+ assert counts['nested_entries'] == 0\n" }, { "path": "nodefusion/tests/test_event_kinds.py", "sha256": "67eee9315e36a7484d1141590701ad8e4e23c4be212b1ac9c0c4949983beef52", "patch": "diff --git a/nodefusion/tests/test_event_kinds.py b/nodefusion/tests/test_event_kinds.py\nindex c681f50..0117daf 100644\n--- a/nodefusion/tests/test_event_kinds.py\n+++ b/nodefusion/tests/test_event_kinds.py\n@@ -104,6 +104,23 @@ def test_a_manifest_without_the_section_still_loads(tmp_path):\n assert _load(tmp_path, \"\").events == {}\n \n \n+def test_ucore_shutdown_is_not_a_panic_or_an_argument_bearing_call():\n+ man = M.load(DRAFTS / \"ucore.toml\")\n+ event = man.events[\"shutdown\"]\n+ assert event.kind == \"kernel.shutdown\"\n+ assert event.args == []\n+ watches = [w for w in man.watches if \"shutdown\" in w.match.get(\"fn\", [])]\n+ assert watches and all(w.args == 0 for w in watches)\n+ for name, symbol in [(\"xv6\", \"panic\"), (\"rcore\", \"os::lang_items::panic\")]:\n+ assert M.load(DRAFTS / f\"{name}.toml\").events[symbol].kind == \"kernel.panic\"\n+\n+\n+def test_new_manifest_does_not_relabel_a_historical_recording():\n+ events = M.load(DRAFTS / \"ucore.toml\").events\n+ assert event_shape(\"shutdown\", {\"kind\": \"kernel.panic\", \"params\": [\"reason\"]},\n+ kernel_kind=\"ucore\", events=events)[0] == \"kernel.panic\"\n+\n+\n \n def _shape(name, *, kind=\"\", resource=\"kernel\", params=(), kernel):\n entry = {\"resource\": resource, \"params\": list(params)}\n" }, { "path": "nodefusion/tests/test_no_build.py", "sha256": "4bc6168bfe29297a6cb93ec91824dcbb9764c9ae8551f3d71446cd97e619d4ad", "patch": "diff --git a/nodefusion/tests/test_no_build.py b/nodefusion/tests/test_no_build.py\nindex 5fa5c28..d5a3c25 100644\n--- a/nodefusion/tests/test_no_build.py\n+++ b/nodefusion/tests/test_no_build.py\n@@ -48,7 +48,7 @@ def test_it_records_without_building(tmp_path):\n assert \"跳过构建\" in out\n \n \n-def test_it_says_out_loud_that_nothing_was_built(tmp_path):\n+def test_warning_identifies_the_existing_build_and_checksum_record(tmp_path):\n r = _recorder(tmp_path, _tree(tmp_path))\n r.build_kernel()\n assert len(r.warnings) == 1\n@@ -56,7 +56,8 @@ def test_it_says_out_loud_that_nothing_was_built(tmp_path):\n assert \"--no-build\" in w\n assert \"kernel.elf\" in w\n assert \"UTC\" in w\n- assert \"没人验证过\" in w\n+ assert \"这次没有编译\" in w\n+ assert \"kernel_elf_identity\" in w\n \n \n def test_a_missing_elf_is_fatal(tmp_path):\n" }, { "path": "nodefusion/tests/test_record_icount.py", "sha256": "f76528d2c5a7fc18938d0afc88b5ee9e9626d63801bccc6ced57c1e4b2c823a0", "patch": "diff --git a/nodefusion/tests/test_record_icount.py b/nodefusion/tests/test_record_icount.py\nindex 8e8d223..25ae2a0 100644\n--- a/nodefusion/tests/test_record_icount.py\n+++ b/nodefusion/tests/test_record_icount.py\n@@ -1,9 +1,46 @@\n from pathlib import Path\n from types import SimpleNamespace\n \n-from nodefusion.host.record import (Recorder, RunConfig, _calibration_watchlist,\n+import pytest\n+\n+from nodefusion.host.record import (NO_PROGRAM, Recorder, RunConfig, _calibration_watchlist,\n _program_start_from_trace,\n _snapshot_focus_start)\n+\n+\n+@pytest.mark.parametrize('capability,program,expected', [\n+ (True, NO_PROGRAM, 'headless'),\n+ (True, '', 'headless'),\n+ (True, 'usertest', 'shell'),\n+ (False, 'usertest', 'headless'),\n+])\n+def test_driver_uses_workload_mode_not_only_kernel_capability(monkeypatch, tmp_path,\n+ capability, program, expected):\n+ class Reader:\n+ def __init__(self, *args):\n+ pass\n+\n+ def start(self):\n+ pass\n+\n+ def join(self, **kwargs):\n+ pass\n+\n+ def text(self):\n+ return ''\n+\n+ monkeypatch.setattr('nodefusion.host.record._ConsoleReader', Reader)\n+ recorder = Recorder.__new__(Recorder)\n+ recorder.cfg = SimpleNamespace(program=program)\n+ recorder.profile = SimpleNamespace(interactive=capability)\n+ process = SimpleNamespace(stdout=None, stderr=None, poll=lambda: 0)\n+ recorder.sh = SimpleNamespace(popen=lambda cmd: process)\n+ recorder._qemu_cmd = lambda *args: 'qemu'\n+ recorder._drive_headless = lambda *args: 'headless'\n+ recorder._drive_shell = lambda *args: 'shell'\n+ outcome, _, _ = recorder._drive(tmp_path / 'trace.nfb', None, 100,\n+ tmp_path / 'console.log', tmp_path / 'qemu.log')\n+ assert outcome == expected\n from nodefusion.host.watchlist import NFTRACE_COMMIT, WatchEntry, WatchList\n \n \n" }, { "path": "nodefusion/tests/test_regenerate_artifact.py", "sha256": "0098a8fc52b7cd42889036de78ca54cec00064396d701eadd224b3febd3c043b", "patch": "diff --git a/nodefusion/tests/test_regenerate_artifact.py b/nodefusion/tests/test_regenerate_artifact.py\nindex 566d3f5..12e6f80 100644\n--- a/nodefusion/tests/test_regenerate_artifact.py\n+++ b/nodefusion/tests/test_regenerate_artifact.py\n@@ -17,6 +17,12 @@ EXPECTED_RUNS = {\n *{f\"rcore-ch{n}\" for n in range(1, 9)},\n *{f\"ucore-ch{n}\" for n in range(1, 9)},\n }\n+COURSE_RUNS = {\"rcore-2026A-ch3-observed\", \"ucore-2026A-ch3-batch\",\n+ \"rcore-2026A-ch1-verified\", \"ucore-2026A-ch1-verified\",\n+ \"rcore-2026A-ch2-reference\", \"ucore-2026A-ch2-reference\",\n+ \"ucore-2026A-ch2-stack-fixed\", \"ucore-2026A-ch2-faults\",\n+ \"rcore-2026A-ch4-observed\", \"ucore-2026A-ch4-observed\",\n+ \"ucore-2026A-ch4-pagetable\"}\n \n \n def report_sidecars():\n@@ -43,14 +49,31 @@ def record_from(path):\n \n def test_all_chapter_and_app_artifacts_are_present():\n entries = report_sidecars()\n- assert len(entries) == 24\n+ assert len(entries) == len(EXPECTED_RUNS) + len(COURSE_RUNS)\n runs = {record_from(path)[\"run\"] for path, _ in entries}\n- assert len(runs) == 24\n+ assert len(runs) == len(entries)\n+ assert COURSE_RUNS <= runs\n normalized = {name if not name.startswith((\"rcore-\", \"ucore-\"))\n else \"-\".join(name.split(\"-\")[:2]) for name in runs}\n assert EXPECTED_RUNS <= normalized\n \n \n+def test_course_artifacts_keep_commands_source_identity_and_raw_counts():\n+ records = [record for path, _ in report_sidecars()\n+ if (record := json.loads(path.read_text())).get(\"schema\") == \"nodefusion.education-recording/1\"]\n+ assert {record[\"run\"] for record in records} == COURSE_RUNS\n+ for record in records:\n+ assert record[\"schema\"] == \"nodefusion.education-recording/1\"\n+ expected = {\"rcore-2026A-ch1-verified\": \"qemu_exited\",\n+ \"ucore-2026A-ch2-reference\": \"timeout\"}.get(record[\"run\"], \"completed\")\n+ assert record[\"outcome\"] == expected and record[\"trace_complete\"]\n+ assert len(record[\"source\"][\"kernel_commit\"]) == 40\n+ assert len(record[\"source\"][\"plugin_sha256\"]) == 64\n+ assert \"--watch-all\" in record[\"record_command\"]\n+ assert \"--function-returns\" in record[\"record_command\"]\n+ assert record[\"observations\"][\"raw_events\"] == record[\"report\"][\"event_selection\"][\"raw\"]\n+\n+\n def test_tracecomplete_reuses_its_recording_folder():\n folder = ARTIFACTS / \"arceos/apps/tracecomplete\"\n manifest = json.loads((folder / \"manifest.json\").read_text(encoding=\"utf-8\"))\n" }, { "path": "nodefusion/tests/test_snapshot.py", "sha256": "a1e5383c15e3c3c18222f6e07991712b1f22dfebd3ec67178eb58e4710a921ea", "patch": "diff --git a/nodefusion/tests/test_snapshot.py b/nodefusion/tests/test_snapshot.py\nindex f6ee7e9..3f17d86 100644\n--- a/nodefusion/tests/test_snapshot.py\n+++ b/nodefusion/tests/test_snapshot.py\n@@ -235,6 +235,19 @@ def test_liveness_only_skips_on_an_exact_match():\n assert is_live(E(2149793408), spec)\n \n \n+def test_liveness_supports_declared_state_names_across_kernel_versions():\n+ from nodefusion.model.snapshot import Entity\n+\n+ spec = {\"skip_when\": {\"field\": \"state\", \"one_of\": [\"UNUSED\", \"P_UNUSED\"]}}\n+ for value, live in ((\"UNUSED\", False), (\"P_UNUSED\", False),\n+ (\"RUNNABLE\", True), (\"P_RUNNING\", True), (0, True)):\n+ entity = Entity(\"process\", 0, fields={\"state\": Field(\"state\", PRESENT, value)})\n+ assert is_live(entity, spec) is live\n+ for state in (ABSENT, EMPTY, UNDECODABLE):\n+ entity = Entity(\"process\", 0, fields={\"state\": Field(\"state\", state)})\n+ assert is_live(entity, spec)\n+\n+\n @needs_elf\n def test_entity_count_comes_from_dwarf_not_a_constant(xv6):\n dw, m, res, syms = xv6\n" }, { "path": "nodefusion/tests/test_units.py", "sha256": "9bf99f5d3080ed458a97e736e30b84025eb99c1e43e693d9aa33f519896106b3", "patch": "diff --git a/nodefusion/tests/test_units.py b/nodefusion/tests/test_units.py\nindex f10392d..8d86a2d 100644\n--- a/nodefusion/tests/test_units.py\n+++ b/nodefusion/tests/test_units.py\n@@ -40,6 +40,49 @@ def test_rcore_booted_needs_the_kernel_marker(console, booted):\n assert K.by_kind('rcore').booted(console) is booted\n \n \n+@pytest.mark.parametrize(\"marker\", [\"ALL DONE\", \"all app are over!\", \"all apps over\"])\n+def test_ucore_batch_completion(marker):\n+ assert K.by_kind('ucore').classify(f\"[PANIC 5] os/loader.c:14: {marker}\\n\") == 'completed'\n+\n+\n+@pytest.mark.parametrize(\"console, booted\", [\n+ (\"\\x1b[34m[INFO 0]start scheduler!\\x1b[0m\\n\", True),\n+ (\"C user shell\\n>> \", True),\n+ (\"OpenSBI v1.7\\n\", False),\n+])\n+def test_ucore_shell_and_scheduler_boot_markers(console, booted):\n+ assert K.by_kind('ucore').booted(console) is booted\n+\n+\n+def test_ucore_batch_without_completion_is_not_complete():\n+ assert K.by_kind('ucore').classify(\"start scheduler!\\nTest write A OK!\\n\") == 'qemu_exited'\n+\n+\n+@pytest.mark.parametrize('diagnostic', ['IllegalInstruction in application, core dumped.',\n+ '[PANIC 0] user assertion failed'])\n+def test_ucore_user_diagnostics_are_not_kernel_stop_markers(diagnostic):\n+ profile = K.by_kind('ucore')\n+ assert profile.booted('hello wrold!\\n')\n+ assert profile.classify(diagnostic) == 'qemu_exited'\n+ assert profile.classify(diagnostic + '\\nALL DONE\\n') == 'completed'\n+\n+\n+def test_ucore_headless_keeps_recording_after_user_fault(monkeypatch):\n+ from types import SimpleNamespace\n+ from nodefusion.host.record import Recorder\n+\n+ reader = SimpleNamespace(eof=False)\n+ consoles = iter(['hello wrold!\\nIllegalInstruction in application, core dumped.\\n',\n+ 'hello wrold!\\nIllegalInstruction in application, core dumped.\\nALL DONE\\n'])\n+ reader.text = lambda: next(consoles)\n+ monkeypatch.setattr('nodefusion.host.record.time.sleep', lambda seconds: None)\n+ recorder = Recorder.__new__(Recorder)\n+ recorder.cfg = SimpleNamespace(timeout=10, boot_timeout=5)\n+ recorder.profile = K.by_kind('ucore')\n+ process = SimpleNamespace(poll=lambda: None)\n+ assert recorder._drive_headless(process, reader) == 'completed'\n+\n+\n # ----------------------------------------------------------------- xv6 classify\n \n def test_xv6_panic():\n" } ], "deployed_source_files": { "nodefusion/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/__init__.py": "9385fdca231d9ad83e27a59aa1bc59b252efad8c24cf08c9f39e0b543f675746", "nodefusion/_vendor/elftools/common/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/common/construct_utils.py": "d1de2461e60636b52cfc446d00f7a31f152f2ccc43c1a53bc2ba82187ca1e460", "nodefusion/_vendor/elftools/common/exceptions.py": "bedd7aa994281100ba13a40dfaad8b03eec17a725a1c4cb23893572d99bbd1ef", "nodefusion/_vendor/elftools/common/utils.py": "36a5f64bfb3aab0dba30d9fa05aa1b3f9fbbf86f297eee27c7c12652f5ac308b", "nodefusion/_vendor/elftools/construct/__init__.py": "15104eb011a640e4268a9b9221d07201a0360ff0b1c8b49e252ef41fdfbb35de", "nodefusion/_vendor/elftools/construct/adapters.py": "5745745b25eb849174ee5c3179b9867b03e0471633e9eac8276aa439fe4c8841", "nodefusion/_vendor/elftools/construct/core.py": "df9719893de6454f5bc4c912afc892bcc278ef45ac1553bf4a409278ba347c9d", "nodefusion/_vendor/elftools/construct/debug.py": "491486779e464e0f4a59cfd429d8e93c577a0f0d9b969847e69400a3c86acb1c", "nodefusion/_vendor/elftools/construct/lib/__init__.py": "973420ec247c18b9e5488743bb099ae82f19c7287ef31dcb529a7283b6e42eb3", "nodefusion/_vendor/elftools/construct/lib/binary.py": "f18e4161a11bc95732bd01c577cbe98373081afd5b4112b02fec51a0e1df2e11", "nodefusion/_vendor/elftools/construct/lib/bitstream.py": "ee8081769bed1d00a086399c8749a847c1a48b8d08637506bf7d1229b6e1808a", "nodefusion/_vendor/elftools/construct/lib/container.py": "0385a420febf5bac714153ceaadd192ff9d09862bc7e17c203bf759aa18b2bb4", "nodefusion/_vendor/elftools/construct/lib/hex.py": "55f82dc36f273347c08e9e469fd497368241453b7a63e69e167ad6b316e5e2c7", "nodefusion/_vendor/elftools/construct/macros.py": "0244e84cf4f598ac8da7c3d8f1f09b06112a508e71fb8d381b377f1c0472a4e3", "nodefusion/_vendor/elftools/dwarf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/dwarf/abbrevtable.py": "d7d338a6eddd4c1fe02c66d9c2b1c202c36ebcfda28f438a0ac0546dc5a63eb1", "nodefusion/_vendor/elftools/dwarf/aranges.py": "399d17d0e3cc18527337d60c1ffc0cfcfc8d5ddcf86af1ef6c359453538344e3", "nodefusion/_vendor/elftools/dwarf/callframe.py": "6c77dd3c1b482434d8d86f35922f0c88b1a71c1c19055fa512224d44876a4b5a", "nodefusion/_vendor/elftools/dwarf/compileunit.py": "2681263026c2bdd3fd9033e60230024e6b25ca90280df91c3ae0b0fe97bdb9d3", "nodefusion/_vendor/elftools/dwarf/constants.py": "30377a1636c5ac41b7a09f7c79c6bae67b49696c4e9b9d904a1a0acaba7dabdb", "nodefusion/_vendor/elftools/dwarf/datatype_cpp.py": "b3df1fc9ef56f941e0b38a9ad5da05a3c3821dd1cdc4b440c7c1934bee00a770", "nodefusion/_vendor/elftools/dwarf/descriptions.py": "6692ed493344018f4d96fdb70e9b04bdb3ec1428df0448f17fc8ffab2a205851", "nodefusion/_vendor/elftools/dwarf/die.py": "b653e8091a49f6926a955d8c05f26c36798ece3d902c00d2b5da10af637bfce7", "nodefusion/_vendor/elftools/dwarf/dwarf_expr.py": "db6d4cb9f3f1ee7e85ac1f9286831093d1b65f8c472fe0f9331a7aa164782bcb", "nodefusion/_vendor/elftools/dwarf/dwarf_util.py": "2e1cc3030a3cc669e0832e3cb5d4b1e3c82e22ff5a1164e6a878931f8531ce0d", "nodefusion/_vendor/elftools/dwarf/dwarfinfo.py": "3cfff046c35f7b063ba4288f1d9bb5167be4f3fdda0af756a299d832d660b75f", "nodefusion/_vendor/elftools/dwarf/enums.py": "10d18e4acabc383b8e8527cf4c011874dc9459c3bc30bd65b9212885a146bd7a", "nodefusion/_vendor/elftools/dwarf/lineprogram.py": "d9472d85b8c62fe56a7d6371d8cdb8af6268416970bdf909898ccb2606fa850c", "nodefusion/_vendor/elftools/dwarf/locationlists.py": "5167c3fb6208e3bafe0a52fc4d48eb164dc84dbd4980643acec19be26639a194", "nodefusion/_vendor/elftools/dwarf/namelut.py": "4b62eb965afd3e099835eb8bb9112f2d1ec89cb42adc6b55c1f113b6068d17b3", "nodefusion/_vendor/elftools/dwarf/ranges.py": "da3856ee646cf5b305751fa73a2d5fd9b0a21413377ca11cf93ce20e7040386e", "nodefusion/_vendor/elftools/dwarf/structs.py": "dfb1d6d755bcc7cf9a0363620e470c5b4a74bf7499a32d82f261652ffe71bef8", "nodefusion/_vendor/elftools/dwarf/typeunit.py": "c1bae01e11001941ebd0a10b72d569b4a0800600b3006b20a0b37f88536d1bc9", "nodefusion/_vendor/elftools/ehabi/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/ehabi/constants.py": "a386df95ebe53338db1cdfe498a06acf8e976007b5fab5c4eed2b8904932caa8", "nodefusion/_vendor/elftools/ehabi/decoder.py": "3380c750ed972e33510a42a1d4de725f744cfc156e44a5d50ae199239cacb10e", "nodefusion/_vendor/elftools/ehabi/ehabiinfo.py": "e442ea16826888c9903893db8ccd9cb47f9f634476c1837812c84b6ce4be1b4c", "nodefusion/_vendor/elftools/ehabi/structs.py": "5ebdda74af71d7637d41eb0510403d8776d3b7ea70f715edc58aabc836aaae87", "nodefusion/_vendor/elftools/elf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/elf/constants.py": "d805c36820815a58fce8593206a5527c46009756b9397298d086679b6a9d9f23", "nodefusion/_vendor/elftools/elf/descriptions.py": "02771b6d1d4eb829b7334e417f580f78eb253c14f895c427c99b870537d363ef", "nodefusion/_vendor/elftools/elf/dynamic.py": "13c2621f118f30c6a8b6a0d999bdf8a7d082f0c2b7713eb4203d7b877082f0f7", "nodefusion/_vendor/elftools/elf/elffile.py": "0b8629b86828f0f05dea1200261ffaf1849ae675e52943e88a37e6a5e0b73d51", "nodefusion/_vendor/elftools/elf/enums.py": "9beb3eb13c4dfe6e2e75ed5db7a75dbb6da7917ed7ea7ad9c2ab7b697c284256", "nodefusion/_vendor/elftools/elf/gnuversions.py": "d22136e3242cf4ff379154b5c830706f3be1d77ee41ffab7efeed57e4876c740", "nodefusion/_vendor/elftools/elf/hash.py": "538c9b253f89a4b200eeb9c7d82f9cd0c3ae08146b3295538363ba5fced3627a", "nodefusion/_vendor/elftools/elf/notes.py": "17cf2c2a9ec9a0bf8f3415cbaeca42d3ab8f1102556251b290a2814e86f16f63", "nodefusion/_vendor/elftools/elf/relocation.py": "b0fd391fe0e293ac7dc5bdad495a8d2e72454442c35291781952fa5016f77b0f", "nodefusion/_vendor/elftools/elf/sections.py": "5acbfe427062f3f80cad1d556c4113d60136cbe526636e621a6e820ade5d6ab5", "nodefusion/_vendor/elftools/elf/segments.py": "103f945c2c7d67eff713609ea189601e94c0e7122274110c6b20d038a5b8bf74", "nodefusion/_vendor/elftools/elf/structs.py": "a0f439925915d7f1a69938673da2cebefd0d10860d60caddc81370ce017d8623", "nodefusion/host/__init__.py": "eb4e72c7ca2b3242527b39bd840ced588631e97404cea0e72e3131406cdeec59", "nodefusion/host/__main__.py": "13a1a5b340cdcfc1902b62be90e508c7c71886000d5bf087e7854aadf09fb35e", "nodefusion/host/analyze.py": "310d26f5c89334c05ee697bb5709a8e8bbce140bcb67f2d3450a09232a3d38b7", "nodefusion/host/assets/app.css": "4a6f97f6046f1658f683e28107b5e524cf64507c57e7ad76035a7e8d745740eb", "nodefusion/host/assets/app.js": "c253b16d88ddc73d1c78ec3729800800ad255b923712893dbe12f66faab2aca2", "nodefusion/host/bundle.py": "cec890de70422513db45c7a592e758c9dba368a638fc2b337d0e3156a607f8e0", "nodefusion/host/callstack.py": "7a1ce5d70940e2c98792f57543e3df2cbc7b9f96ec5d8c7b280ccf17c78f9bde", "nodefusion/host/cdp.py": "983be57750320be8265405b3fa4c3490288a34bba5b2f0c32820d51895210264", "nodefusion/host/cli.py": "6a2f09d5d4ea15299e3f9cbc0f7a2312a322e9c43beb3837d61b2276787af9dd", "nodefusion/host/dwarf.py": "158545b640bd312050c9cef773a19f0de839229cb08925a0298a5bb2751b5993", "nodefusion/host/elfid.py": "43c44bed9a69fa2b92fc7520342843e71caf0c6a3849d2b23b54e9a22dfdcfa0", "nodefusion/host/guest.py": "6871f08f11b9eda17b8a0618e8b8f43a544ddf05a37d7b530daa18d30d4c455a", "nodefusion/host/kernels.py": "10dcd1d97aae33b5b389d4106bdf5867468df41a39ce769300448f6d1727b103", "nodefusion/host/layout.py": "2f74bd4970af88fa38519c850fbcc494b8a1e4f5ddf7ed87897a442175f0ab82", "nodefusion/host/nfelf.py": "5495b1bc5e3406268ba66054e831dfb3fc8857c47b881d95cd995bafa65c5315", "nodefusion/host/nftrace.py": "d4fa97efd6527535ab90e4c623e8211bf8b9bf7d189beee47b56b216718c2f76", "nodefusion/host/procview.py": "ae1874f57bafa6b694c50aa3c0185671e60fcf0f784d139ee5e807e2f98e9689", "nodefusion/host/record.py": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "nodefusion/host/render.py": "46d000d2f40eb934180fba10ec8d8ccb8cc5d1e53e558304fdba941bfcff7dd8", "nodefusion/host/resources.py": "019a7be1fc7d86f221f2a67c3a5f7df271d1901500371a02a2113518483fb702", "nodefusion/host/shell.py": "08a9b0318ab79c0642d9a0b29683dc65b86c4e529f547530baf4e60b1e67f0af", "nodefusion/host/video.py": "1f49810a036f9388ae10153b8691504ed79c3e8b0e19a6bc2818de2ef1fe699d", "nodefusion/host/watchlist.py": "1b820dd5d741a118b28959b44d95b886e5fe7518dd5beef3e5561e3cf39822d1", "nodefusion/host/wslenv.py": "6b8f5d9e3f71b292e51c980f921dd498315c510d952ef90b24dfbf775b3afa6c", "nodefusion/manifests/alien.toml": "da290fe1014168a7e8f44844f30430c3041a14550449c5d51fa06847f23f7aeb", "nodefusion/manifests/arceos.toml": "cad48257d081aa1c660d3e7af2f4fbec79bbe232322c71453a9a5b1c9ac7be44", "nodefusion/manifests/axvisor.toml": "d6cd2cc9d9662f74a5d25f29e8d02591ae5a205fe18166307ef430edbc7432b3", "nodefusion/manifests/rcore.toml": "4a6c4746a885ce7ed68a374516188f02d5955028c94ecfa7e73c5ddf08b73e75", "nodefusion/manifests/rel4.toml": "ca43c2847a9ca757542ef3ed3e276dc7130c92b25150c73deb3e2a20faf8c37e", "nodefusion/manifests/starry.toml": "8a3ce9735d4c948322962b8c532be334034ad608aac28a041bb58876012dcae8", "nodefusion/manifests/ucore.toml": "7ca738a5abfb1c21afdb75b44c2fc0ce81b19d3d2db9aa3d820850b8abf74327", "nodefusion/manifests/xv6.toml": "0f501a4441214a2de3b1b50d39665ee23faad6f93024b3b92d30f542bc9b7964", "nodefusion/model/__init__.py": "9864ab2acb9890ed2fcbf815f30042fd97e3bd5ce069531f8c76fa2eed60b9d0", "nodefusion/model/ctxbuild.py": "552c0d3d87d640e73bfb4c3fc237453c7b84298c721f2d37594c85d1ab5eb86d", "nodefusion/model/dwarfsrc.py": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "nodefusion/model/exec.py": "148e68fa1c7054716e4fcb3e7bddb7c0d384ab6a6bfcb00bd15f7a869f6d86ec", "nodefusion/model/kinds.py": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "nodefusion/model/layout.py": "cd2639282b0c4fac684d06309e11e95922213d3d32698f275e65dd060f677fd6", "nodefusion/model/manifest.py": "d592aaac9ae308760cda947327c0d7c0e964a26d517740ed66838747e2334a22", "nodefusion/model/plan.py": "374fbb225a6717c2c391ac8bdda54aa957638821a45b2865b40a7be9bcc808c6", "nodefusion/model/probe.py": "30546d56bbd47ef12567826b49dd910de07e2af8fffc5c4350e04a57f70da5b8", "nodefusion/model/readers/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/model/readers/containers.py": "6eec01bd4f30858e1eda2ee7de890a9d93f94eda25e02d0a1bdf3558d31a1610", "nodefusion/model/readers/pointers.py": "72f989d643df6bdd477494023aac2da851f2d1f123d5e1e64b7629a0be6eae6b", "nodefusion/model/readers/registry.py": "2c35cc0b1f8db857e67c08e9c7976bf47c6ab21faabb4e242d8a0be42f9634ee", "nodefusion/model/readers/scalars.py": "a145fe5c4a250cc11fe44d0a4caabae908fbc44994335663955230296f695cbc", "nodefusion/model/resolve.py": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "nodefusion/model/roles.py": "8d35b0497bd0b2d9abf639d9803fc6b7bd1e1ee5153c0f47ff53a26356dcc8c5", "nodefusion/model/rt.py": "3d62e9c6169e89a2593b29ff49919e84a2dda1df1b6fc16d3e54c7cc5d1744af", "nodefusion/model/snapshot.py": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "nodefusion/model/symbols.py": "39f23be73d754e52221a4889c0101d50d8d8962ec21f1628d1cc36f07acdecb8", "nodefusion/model/watchsel.py": "bc3a9d6763950c265efaacce3f0c98194f54808d676b449c5b320b3a90cc7bf1", "nodefusion/tests/conftest.py": "2dfa19b096e309beadff0df9a05761d412ec6234e74968854292d7bfecf1b7a5", "nodefusion/tests/crosscheck_artifacts.py": "6ee173a31795c3875f93af0a0eaebcb27346c185c24e3f1d32846f5ca89d60a0", "nodefusion/tests/fuzz_trace.py": "af6189a6538747d369f982dfb86016f5e48842da0ce73f651b63c0b482b1c37e", "nodefusion/tests/kernelelf.py": "9a35d1389243849c6ed16f801a007568eb1304eee3d2cf3bcb8d1e38e12e2aed", "nodefusion/tests/stress_pagetable.py": "5db6d3671739ad5d0a3f76908049126185ea000726d0044d4d87ef215f26f737", "nodefusion/tests/test_absent_declaration.py": "535d4ace194fc5f923ba989e18634b55cffd0660eaefdfc7a59dcb4377eac266", "nodefusion/tests/test_analysis_lookup_cache.py": "aa4fbc0b8f06c64278bc5b11edf21cfe3ec737e3f0d88901b52478aca29765f3", "nodefusion/tests/test_analyze_alias.py": "345f6cbd8fae2a7c7729130460112a08a23599461234865f2da72055c3621064", "nodefusion/tests/test_arg_names.py": "a0f4cd7c7017da1926fc317d6c73bcb6bd4bacde579e3818fa277079991a4af4", "nodefusion/tests/test_artifact_guard.py": "8b53fababf688ceaf4afd1556d3c1352d3a13c60ea43fe14e3d3eae24698d1d0", "nodefusion/tests/test_artifact_output_safety.py": "cbed1bfa5928e7b12edc85b506f8018dd3216f017c43461525daf0a299bea9aa", "nodefusion/tests/test_bundle_shape.py": "55f2f20855a890967caba83581ca1dda43fa6606a5af6ab1ee7b07b074e7c82b", "nodefusion/tests/test_cache_hit_contract.py": "087277fe75bf38d8e83453b3671da4825f7586382fc1fa5300b3dc79272fbee7", "nodefusion/tests/test_calibration_failure_reason.py": "02449f59da919dc09781a66ad57789a98775b3888d1480f4f3064b4d8a1139da", "nodefusion/tests/test_callstack.py": "78bc55f0ccf1a6dde2836aaa256ca0ce9fc0f9b4c6dcc4b144732460144d901e", "nodefusion/tests/test_capability_notes.py": "a2fb61afdc826c0c5408ea3b385761f896b27191e54881c3e10b10a2f01cc272", "nodefusion/tests/test_compact_capability_ui.py": "07542f2beb95353f3dd3861ca3ffcec93d1f46c966c3dd74c82d27fc3b6427ad", "nodefusion/tests/test_consolidate_artifacts.py": "5ffa4d01f5adb051f2153c3097d2264dfa7c63533f4cf6c09159fc50cd843cdd", "nodefusion/tests/test_context_switch_snapshot.py": "db5c77b5ab4ad93d34a96266386dbeec80694db7482bfa5856c1547f773ccb9d", "nodefusion/tests/test_corpus_selection.py": "1717ce9682ecde7a05675b790914a8e5a590e1d83556944ddbfff1e38918d050", "nodefusion/tests/test_coverage_evidence.py": "fdbb041e7339f8d94a52a1833b01e315657a749e9bc7d21fee6a2724f23a86f3", "nodefusion/tests/test_demangle_v0.py": "9f91c7ab6d2f681368c63d2bde9109cb4dd501f4d5df3e1f728a7b8975a0b061", "nodefusion/tests/test_dwarf_generic_base.py": "f9204c883a298151406288885c32c04fd1e7db423fe6cb0747f0f4392ba0fef5", "nodefusion/tests/test_dwarf_tombstones.py": "ed608be359e8180a5355cafe93e64d417543cc014461710f55fcd5997bef7295", "nodefusion/tests/test_dwarfsrc_location.py": "bcd7c6e8cf00a086fd9c712ffa35aebfbb4e09aaf20ddaedc4f2f5b41604cad9", "nodefusion/tests/test_elf_archive.py": "573747576adf2bf4daf66d5f99b6a149eff663ebcd6743b79b4b39d57d20dda5", "nodefusion/tests/test_elfid.py": "3efd46b3688e79f7ccc376abb32f20b495b7c074dbd84c5181d67fade3db729c", "nodefusion/tests/test_event_kind_pairs_measured_from_runs.py": "ef1a4ce55dc22b8f1073f3d4ac9120b30c68cf0877ba6e4dc5788f81217cdf55", "nodefusion/tests/test_event_kind_registry.py": "276bb984ee002622d0284558df13234328a3779853c5b1681d71d827069bfd9d", "nodefusion/tests/test_event_kinds.py": "67eee9315e36a7484d1141590701ad8e4e23c4be212b1ac9c0c4949983beef52", "nodefusion/tests/test_event_snapshot_throttle.py": "2709d806da483ef8bcdb57ddb6c59a73da83a859b793d7cd5d15891ccfcedd87", "nodefusion/tests/test_event_when_branches.py": "0b866c908cbc40deca18830293d161eb9b1f3401792d3fed1b1041e7e9b5e2de", "nodefusion/tests/test_exec_iter_map.py": "026e1e908df1884c4d241902c845dd72a43c095e5ab28e94fb7069f621698562", "nodefusion/tests/test_exec_walk.py": "67fc662f5b36cff81c1c1ab6a1dfe842081a05a1c3f69a64e8d212da0b7cb985", "nodefusion/tests/test_func_events_scope.py": "de9f69b6673c312537ce72cfd6c91baa4355749558609ca0b696c21d8f790198", "nodefusion/tests/test_kernel_elf_fixture.py": "ada3976b4b49734884bdb9b3844886e92251240671fe8ae219ed1f70c32c935b", "nodefusion/tests/test_kernel_image_fit.py": "32c7bd1bf3b66c7071b36582ca32838af2777157f1ae999a46785e6a39675476", "nodefusion/tests/test_kernel_integrations.py": "8e3ecdcf6ad5ea3b7fa44a3e3244a2c9678255b62c02d8cd48de9cfc1189b376", "nodefusion/tests/test_kernel_view.py": "4cc544296573cab8df9858947e6d7040fb22aba4b29aac1b43a565b39d9e7ab5", "nodefusion/tests/test_kind_three_states.py": "64764f687af895b3b37bc69179f2729f49efe2fb5fc5a24ecc09c41ea38e70ed", "nodefusion/tests/test_layout_routing.py": "14631aae85b75dcb1c1c5cec92c344f1c01433e2ae6eb90a3c105ac583372a5c", "nodefusion/tests/test_list_arceos.py": "22dbff8051cf7076ad5be6f919ed6d9a0c7a70bd1b6e09ca2f6589b5fb94493f", "nodefusion/tests/test_list_wiring.py": "e5f187b746738a5ca027936468df8ab7d2e48e32fe550eca3fa57f217c60d5cb", "nodefusion/tests/test_manifest_docs.py": "9be0200ca41d0f0512519356c81911cbbaf2aca63530d99e2aba53de9a1eea37", "nodefusion/tests/test_manifest_lint.py": "ad03a1e3519feb79fbeacdbe6576f90b05e7c6c9cb3034c44bd1032163b69888", "nodefusion/tests/test_manifest_roles.py": "b1a8fca196f9b37b614f3cd39abe33ad64c58894d1c933996d553c8f573d147e", "nodefusion/tests/test_manifest_vocabulary.py": "834eb61d446df47b1c6ebcd4e8a7347eabc24486da052b4be8f5b0660b0f631d", "nodefusion/tests/test_metric_deps_are_kinds_not_xv6_names.py": "07f411bb3fcbb14c2eb6c222f4a4928426a86a45d82f11cb242130c49eb6c717", "nodefusion/tests/test_no_build.py": "4bc6168bfe29297a6cb93ec91824dcbb9764c9ae8551f3d71446cd97e619d4ad", "nodefusion/tests/test_pagetable_arch.py": "9946ed7788d72107d6c6ea81fa4204843e1a0ae291add95259f3e96a0f661eb2", "nodefusion/tests/test_path_index_gate.py": "8486e4f1d0d8f91800321a7907ae6797a59d6576cae0614c8db6f91c8ecee9ae", "nodefusion/tests/test_percpu_layout.py": "4ecfcf97552e678173bca5fe81eb661bc7f417ba2f4ea4de3c540ba956152495", "nodefusion/tests/test_percpu_runtime_layout.py": "ba54784385c6a6716eb3f3317635c8b2dd09b40e5e3e5e6112ca5b92d4e7c62c", "nodefusion/tests/test_phys_alloc_gate.py": "a1b68458d8268d052082ad92b80f86753c46423eec7c86c3bdd6019e23b8186a", "nodefusion/tests/test_plan_iter_map.py": "58fcacc67e31cf6638ce4d846dccf32312ae17caed1d9470d0ba468fd95a4b5a", "nodefusion/tests/test_plan_percpu.py": "5ece34163ede167484cc5edd5d3255d8514935af7a385b171b1b64c6e928140e", "nodefusion/tests/test_plan_steps.py": "0241755b6c85983779fad700e2eba5332ab595cc64e6297e8358ba4d15f9dfb7", "nodefusion/tests/test_procs_gate.py": "8acd3d3e2398fcd008dd4f5bae735183008eb4cecf6f4c09d0fffaefdf50cd8d", "nodefusion/tests/test_procview.py": "9f48157ccc96833a83a42f2f3c3eb26a82bd7f6918c0c3c91a6052c5d9657428", "nodefusion/tests/test_profile_from_manifest.py": "9f7cf3aa6cb931445e9e6c763bf2c30b1505e4b728f759514033994b5b60b16c", "nodefusion/tests/test_rcore_fs_vocabulary.py": "48c49c9f091d4c964715cf55216b8354ea59697a0ef58ec18850f5e8e89f80c5", "nodefusion/tests/test_rcore_inlined_halves.py": "fd61e489c857fcaa5cdbe2466e74b1ba6a547eb7b18fd12fbda80ce927c6f516", "nodefusion/tests/test_readers_containers.py": "b0f882dd388f9bc3796b8f5d8c29d72c7dd6b5d8b7866055f810a7bbb2295d2f", "nodefusion/tests/test_readers_pointers.py": "e15d27e41ca320d960720f6760ffd0ff6216f658c74ab373148dc3307fa24fd8", "nodefusion/tests/test_readers_registry.py": "b139bcca13c15f203e73a427d9d6dc5804b97fc76a28d14025325f191cc4a6a5", "nodefusion/tests/test_readers_scalars.py": "3a15bf0648767fb8e7d24044aeb61eb312ace64ab51f834e0a2dfe39072b9cd5", "nodefusion/tests/test_record_icount.py": "f76528d2c5a7fc18938d0afc88b5ee9e9626d63801bccc6ced57c1e4b2c823a0", "nodefusion/tests/test_recording_tail.py": "833b8e33c6d111b49790beea1ba7ab81b23bd7ea907a2155f981967bcb61a614", "nodefusion/tests/test_regenerate_artifact.py": "0098a8fc52b7cd42889036de78ca54cec00064396d701eadd224b3febd3c043b", "nodefusion/tests/test_resolve.py": "b14f432eb380c5514b73431978b01b0d715ed9a49f92deb547358fb35dd4d8ec", "nodefusion/tests/test_resources.py": "0860476f362a770bd04355592a83fdb15aa9df3787c6c740d407cb8ee4fc817e", "nodefusion/tests/test_sampled_counts_are_not_exact.py": "7bd598eb07ef0b067cee3460ef0c61d18b8b918ae697d80b01617cf73eaf0a9a", "nodefusion/tests/test_shell_verdict.py": "22baff1ad7cb43b5c5574b424812c40b194e30e3800921429659f7b31cbe20f4", "nodefusion/tests/test_snapshot.py": "a1e5383c15e3c3c18222f6e07991712b1f22dfebd3ec67178eb58e4710a921ea", "nodefusion/tests/test_source_combine.py": "506ebb5c6dda153e92b854887fb671cf4aa08d33fd8305b359139a1d38ee4349", "nodefusion/tests/test_spec_nftrace_registry.py": "c529a4ed1f86bee4951e4699b09d466d51a5bd0623accc49bff9abcfdf15e615", "nodefusion/tests/test_split_rawvec.py": "e80f55fc42e246f3f638979500c7c40548eb0f630c512a93b8eaa00df312eac4", "nodefusion/tests/test_switch_attribution.py": "c773376888e9dc2ce87ddbebc14ccb0649ea77da189319692e20aff16eddb73d", "nodefusion/tests/test_symbols_static_wrapper.py": "cf634a6545564e8949b9129cee0c5f01f3dcf60effd49883c3b908aa28af7f82", "nodefusion/tests/test_trace_complete.py": "ac33d1da9aba97c98c68502188522a253709e96cf3fbb8d3c94b85c661cea366", "nodefusion/tests/test_trace_streaming.py": "6c972f95a790afac5b9aa84320038bf0eab41b926126334db7290d095f2b1e10", "nodefusion/tests/test_units.py": "9bf99f5d3080ed458a97e736e30b84025eb99c1e43e693d9aa33f519896106b3", "nodefusion/tests/test_unobservable_does_not_speak_for_the_kernel.py": "448c03147a2306d8205762bdc9a9e0d9e8d5eb0e0c5199d17d80c2f076f87547", "nodefusion/tests/test_video_sections.py": "c84c17b471460ae45a25341a8f893768816f57a9eb94e9f9a90e7e20406c4a31", "nodefusion/tests/test_watchlist_wire.py": "1e01dd4fde92169c0ab1296dbd249865cddde4173ec8de3c71c39f61356f74c3", "nodefusion/tests/test_watchsel.py": "89c8bb635534d079e0502d1c118f32eaa806250d74195a9d99bb71d07aabcd2d", "nodefusion/tools/crosscheck_decoder.py": "2f69a3f636d910f93f24939bcd03b41d9b0a17184ce4a4b15250e00f65b47a28", "nodefusion/tools/crosscheck_dwarf.py": "b30ecfa371c6959b2522db6d9edabf7e0c7be238feef34ff9411d76a4b4fdf01", "nodefusion/tools/crosscheck_layout.py": "d77ebd7aaa1ace070392eca0051f1b34dbf65d08c355edf87101b7e449aa7106", "nodefusion/tools/crosscheck_offsetof.py": "732e30d19129e0a1f15e33a2c1f96d940abaa1a26829b8f0d7bc44bf873cdc87", "nodefusion/tools/crosscheck_procinfo.py": "c3d6dd588b28d9252ddb712dea0ab8d3212dffed7f9256b9b936860fa0dfb8a9", "nodefusion/tools/crosscheck_procs.py": "b497c8fd050c0d6d1e4154eda00c1eef05502d3826546b1165b8a740c6fee562", "nodefusion/tools/crosscheck_resources.py": "98b04ac869e3c9e38020728473d480b8ed0b15385bc1d530e466919807ad1ac3", "nodefusion/tools/crosscheck_watchsel.py": "52142d49e919f2f040371b404cabdef0d0edbbf977abdcb1af5063b910d0aad8", "nodefusion/tools/survey_chapters.py": "6952dbdb8036916acd17bd5f642ea0b62aa10cbbec2bb4227e58f5132683589b", "scripts/benchmark_trace.py": "0faf86ba735bc31a20ee8e7ae3d3aad8aef78f0f43cdd33e831658f4e2a71494", "scripts/consolidate_artifacts.py": "31700c7f0a1f21fef653e061115b0091aa1a4ce539b9baa9cb48ad914889dadd", "scripts/finalize_artifacts.py": "a10224f43e0554eeb347a201dfd29781fbe0a39b979f890cccbec65e76cea9eb", "scripts/regenerate_artifact.py": "aed10d1eedc5689b6fd68e84a9bb8ae0c98f7bb8456fd8bd280e8bae470b8e9a" }, "plugin_sha256": "f1d1d8e375ed789b57f0fa06285da182b90951324e09e3f0c3716a38353112f2", "source_archive": { "path": "/home/joseph/nf/education-2026A-20260927/ucore-2026A-ch8-basic-observed-source.tar.gz", "sha256": "690ca9e615a887944ea7291073380e4ef793a2515c8d17ae0706290ce431ed49", "bytes": 1107342 } }, "kernel_patch_sha256": "3d588f16eaaf4eb70497e7d1df58690459515dc147fedfc5fb5e7ae0eb020a80", "integration_patch": "nodefusion/integrations/ucore-2026a-ch8-observation.patch", "build_command": { "argv": [ "make", "build", "LOG=info", "CHAPTER=8", "INIT_PROC=ch8b_usertest" ], "cwd": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed", "environment": {}, "log": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed-kernel-build.log", "returncode": 0, "log_sha256": "534cef6318f6a699f8f12e958d3de83e14d02d3fe86a4b86fa5165de29537f7a" }, "record_command": [ "/home/joseph/nf/venv313/bin/python", "-m", "nodefusion.host.cli", "record", "--kernel", "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed", "--kernel-kind", "ucore", "--runs", "/home/joseph/nf/education-2026A-20260927/runs", "--name", "ucore-2026A-ch8-basic-observed", "--no-build", "--function-returns", "--watch-all", "--profile", "uniform", "--snapshots", "80", "--max-ram-bytes", "268435456", "--timeout", "600", "--no-render", "--event-stream", "never" ], "record_cwd": "/home/joseph/nf/education-2026A-20260927/tool", "analysis_command": [ "/home/joseph/nf/venv313/bin/python", "-m", "scripts.regenerate_artifact", "--run", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch8-basic-observed", "--out", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch8-basic-observed/ucore-2026A-ch8-basic-observed.html" ], "analysis_cwd": "/home/joseph/nf/education-2026A-20260927/tool", "record_driver_sha256": "4e4bac1a9dd62db5a2d6d74b144ab2af0ccdebf39ce79eb196a4323d9b17f308", "build_driver_sha256": "f92b28d5205bf74cdb42dc47933c56f596211a802697f2a055d8fd3cd3b4adc4", "source_provenance_sha256": "ad90c8e3469d4d88e8e14c906308e4147e851835c0f891716691a409a8defeb2", "workload": { "course_verifier": "tools/run_lab.py::verify_positive", "verifier_sha256": "ee65ff4e4e69d7792619278ea7d2028efd11843f59c18d50fd67eaf49d6338db" }, "ordinary_course_check": { "status": "PASS", "tests": 23 }, "filesystem_before": { "sha256": "b91eb14a0d07b9d8e5e6b9d43aab112b0baeaa7a488afe63c80b05e62a60a8c5", "files": [ { "name": "ch2b_exit", "inode": 2, "size": 6721, "type": 2, "nlink": null, "sha256": "fd5768245c9dd2a2b65bf5ac912efbd2f1a9bb895cbe683aedce417511e88275", "data_block_ids": [ 17, 18, 19, 20, 21, 22, 23 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch2b_exit" }, { "name": "ch2b_hello_wor", "inode": 3, "size": 6785, "type": 2, "nlink": null, "sha256": "39199165fcbc64552f96fb7a49ea9c8913c55c30fb7f119e6e79f18213224a9c", "data_block_ids": [ 24, 25, 26, 27, 28, 29, 30 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch2b_hello_world" }, { "name": "ch2b_power", "inode": 4, "size": 6905, "type": 2, "nlink": null, "sha256": "9ea19faf875515fb97db7c256087265645dd7372a4cee1273dbeb3d012bd5a42", "data_block_ids": [ 31, 32, 33, 34, 35, 36, 37 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch2b_power" }, { "name": "ch3b_sleep", "inode": 5, "size": 7001, "type": 2, "nlink": null, "sha256": "2534ccb0ef30af6579d86a1cae8af540e91a7f5c1b1f8b657c1df64d966330cd", "data_block_ids": [ 38, 39, 40, 41, 42, 43, 44 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch3b_sleep" }, { "name": "ch3b_sleep1", "inode": 6, "size": 6873, "type": 2, "nlink": null, "sha256": "262d4cfbc5406180a1e007be5a7404e05a35fcf0cc4d4d8f5739b64e07d8cf08", "data_block_ids": [ 45, 46, 47, 48, 49, 50, 51 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch3b_sleep1" }, { "name": "ch3b_yield0", "inode": 7, "size": 6841, "type": 2, "nlink": null, "sha256": "4bc125e3c107fba332d57072e9d886a66a8c3b4b884efe7a808888025ea422b6", "data_block_ids": [ 52, 53, 54, 55, 56, 57, 58 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch3b_yield0" }, { "name": "ch3b_yield1", "inode": 8, "size": 6841, "type": 2, "nlink": null, "sha256": "f98594d3d80a99c83d10abd6607cdaa78381c2dba5022e27aab48be83ea759f1", "data_block_ids": [ 59, 60, 61, 62, 63, 64, 65 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch3b_yield1" }, { "name": "ch3b_yield2", "inode": 9, "size": 6841, "type": 2, "nlink": null, "sha256": "0557906dfb7254ab30bb3a3209bf2585bda470a09b36ea9240d217f1d3edc272", "data_block_ids": [ 66, 67, 68, 69, 70, 71, 72 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch3b_yield2" }, { "name": "ch5b_exec_simp", "inode": 10, "size": 6769, "type": 2, "nlink": null, "sha256": "44bb8daf309463e3e17135e6b71199c59c8b252dfd37f423ae6e620d3ac43e2e", "data_block_ids": [ 73, 74, 75, 76, 77, 78, 79 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_exec_simple" }, { "name": "ch5b_exit", "inode": 11, "size": 7105, "type": 2, "nlink": null, "sha256": "027c653d7e50a21085b8c097eb09983874da0eb721132eb8f5a616cdb31bbe6f", "data_block_ids": [ 80, 81, 82, 83, 84, 85, 86 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_exit" }, { "name": "ch5b_forktest0", "inode": 12, "size": 7417, "type": 2, "nlink": null, "sha256": "81ae5afb897ba240a87cc5cc0036f0eba7eccdfa3035df3cfe17308bbaef7708", "data_block_ids": [ 87, 88, 89, 90, 91, 92, 93, 94 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_forktest0" }, { "name": "ch5b_forktest1", "inode": 13, "size": 7153, "type": 2, "nlink": null, "sha256": "c30c71822064c4a1fce6740507fcd1e9229eed8c8bc98980923e982fc5df91cd", "data_block_ids": [ 95, 96, 97, 98, 99, 100, 101 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_forktest1" }, { "name": "ch5b_forktest2", "inode": 14, "size": 7265, "type": 2, "nlink": null, "sha256": "93ed5bdd825af80a5cb7ed16115a3dc950179d1fc05bb7a66c0bb5b90b3e0eaf", "data_block_ids": [ 102, 103, 104, 105, 106, 107, 108, 109 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_forktest2" }, { "name": "ch5b_getpid", "inode": 15, "size": 7041, "type": 2, "nlink": null, "sha256": "505755c3ed43119c763277985eb259ec513e5472f9c264d6f2b8b05ecd730b8d", "data_block_ids": [ 110, 111, 112, 113, 114, 115, 116 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_getpid" }, { "name": "ch5b_usertest", "inode": 16, "size": 7881, "type": 2, "nlink": null, "sha256": "f16e726511ccff939144774570b428a88317831c704f0b0cc27a2d35b10346cc", "data_block_ids": [ 117, 118, 119, 120, 121, 122, 123, 124 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch5b_usertest" }, { "name": "ch6b_args", "inode": 17, "size": 6793, "type": 2, "nlink": null, "sha256": "8f8f391c071df05c3219eaba7c7e07aff406d0c34a986f2c850254722d3048b8", "data_block_ids": [ 125, 126, 127, 128, 129, 130, 131 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_args" }, { "name": "ch6b_assert", "inode": 18, "size": 6881, "type": 2, "nlink": null, "sha256": "abd95b2d30a394d5f5677daa3c68a0d6e6f3ba47af160353e551415a20578b5d", "data_block_ids": [ 132, 133, 134, 135, 136, 137, 138 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_assert" }, { "name": "ch6b_cat", "inode": 19, "size": 6833, "type": 2, "nlink": null, "sha256": "876220fce662b18ef8d302f2cfbf68f63bf98c187316e19f1ebb01eeafffa2a9", "data_block_ids": [ 139, 140, 141, 142, 143, 144, 145 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_cat" }, { "name": "ch6b_exec", "inode": 20, "size": 6881, "type": 2, "nlink": null, "sha256": "b691df2f8761fcea40e8cfb1ab3cd2eabdda69b0afa01d7b7cfc6e8bec7b7e61", "data_block_ids": [ 146, 147, 148, 149, 150, 151, 152 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_exec" }, { "name": "ch6b_filetest", "inode": 21, "size": 7089, "type": 2, "nlink": null, "sha256": "9e56506c7feeef1157a2e2b0f2d19b74d759fba4f6d52ebf2cc7f2b82e88a5c3", "data_block_ids": [ 153, 154, 155, 156, 157, 158, 159 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_filetest" }, { "name": "ch6b_filetest_", "inode": 22, "size": 7385, "type": 2, "nlink": null, "sha256": "78aa21fb8afb9513690f2f9d78935f29cb64d5a0738a8664e7caa29868299bf5", "data_block_ids": [ 160, 161, 162, 163, 164, 165, 166, 167 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_filetest_simple" }, { "name": "ch6b_panic", "inode": 23, "size": 6897, "type": 2, "nlink": null, "sha256": "9bf5a0e58f6f21d3f11fd11c326ca75fafce2e5b862053f0625fe2da45d4215c", "data_block_ids": [ 168, 169, 170, 171, 172, 173, 174 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_panic" }, { "name": "ch6b_usertest", "inode": 24, "size": 7961, "type": 2, "nlink": null, "sha256": "48b2e336819425490db80883cf250b30fc16eaeb5a808cf3a840ef23b0d85007", "data_block_ids": [ 175, 176, 177, 178, 179, 180, 181, 182 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch6b_usertest" }, { "name": "ch7b_pipetest", "inode": 25, "size": 7561, "type": 2, "nlink": null, "sha256": "ea8bd94b87b71d99bcc04b388be37fdfe172591660e791876707dc3750ae5c71", "data_block_ids": [ 183, 184, 185, 186, 187, 188, 189, 190 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch7b_pipetest" }, { "name": "ch7b_usertest", "inode": 26, "size": 7969, "type": 2, "nlink": null, "sha256": "2e7dbfd885293de512d62c2d01c999435ab7c834ba24bb7a34300e594af5705d", "data_block_ids": [ 191, 192, 193, 194, 195, 196, 197, 198 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch7b_usertest" }, { "name": "ch8b_mpsc_sem", "inode": 27, "size": 8673, "type": 2, "nlink": null, "sha256": "fb7a5d0be04f7cf5fb9ca528d815d860b863a4fb31d7e90f790a8c880f60eca5", "data_block_ids": [ 199, 200, 201, 202, 203, 204, 205, 206, 207 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_mpsc_sem" }, { "name": "ch8b_mut_phi_d", "inode": 28, "size": 8377, "type": 2, "nlink": null, "sha256": "58cd776513625b7a33dfa5a26f734f48aed3f85ffa472eb7d4cd35c41ca2ecb2", "data_block_ids": [ 208, 209, 210, 211, 212, 213, 214, 215, 216 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_mut_phi_din" }, { "name": "ch8b_mut_race", "inode": 29, "size": 7769, "type": 2, "nlink": null, "sha256": "dda084500a3e7da88ffea2fc783cb35e3de3d7af14ac567532f56cdb4cb876e7", "data_block_ids": [ 217, 218, 219, 220, 221, 222, 223, 224 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_mut_race" }, { "name": "ch8b_spin_mut_", "inode": 30, "size": 7705, "type": 2, "nlink": null, "sha256": "82691c016aaf6cb33e2d69906c02503f07ef72b90fc4c15db75e2d5734aec5d4", "data_block_ids": [ 225, 226, 227, 228, 229, 230, 231, 232 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_spin_mut_race" }, { "name": "ch8b_sync_sem", "inode": 31, "size": 7457, "type": 2, "nlink": null, "sha256": "1ccb973f61509784acc49e8005a4ab214cdfef0537378ff6c4c50dc535d3ce7b", "data_block_ids": [ 233, 234, 235, 236, 237, 238, 239, 240 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_sync_sem" }, { "name": "ch8b_test_cond", "inode": 32, "size": 8169, "type": 2, "nlink": null, "sha256": "ec260370755648cb5aa854d753db5fb65af992d6299f7d173332789e6ef0d739", "data_block_ids": [ 241, 242, 243, 244, 245, 246, 247, 248 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_test_condvar" }, { "name": "ch8b_threads", "inode": 33, "size": 7185, "type": 2, "nlink": null, "sha256": "6e60a12b0eca8fb4af5cb856d0fa5b724bac28defab1138ca1e6df2ed0368529", "data_block_ids": [ 249, 250, 251, 252, 253, 254, 255, 256 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_threads" }, { "name": "ch8b_threads_a", "inode": 34, "size": 7185, "type": 2, "nlink": null, "sha256": "18262d0e1cc3fb840334f0e04a4253ca32ba24dc50860139880659843fed5b7d", "data_block_ids": [ 257, 258, 259, 260, 261, 262, 263, 264 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_threads_arg" }, { "name": "ch8b_usertest", "inode": 35, "size": 8185, "type": 2, "nlink": null, "sha256": "c87adb348815c6c1ea8581168c8d33e14a276223173c31c2244c5149dbd882aa", "data_block_ids": [ 265, 266, 267, 268, 269, 270, 271, 272 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/ch8b_usertest" }, { "name": "usershell", "inode": 36, "size": 8273, "type": 2, "nlink": null, "sha256": "3d9b129be21ac6fd84e307dc63210257572af6fdfee00b32f7aad856a70b8b48", "data_block_ids": [ 273, 274, 275, 276, 277, 278, 279, 280, 281 ], "compiled_payload": "/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed/user/target/bin/usershell" } ] }, "filesystem_after": { "sha256": "d7a493f765bca86337fc3cab76009448fe2c593911ee844256dfd2c4e8744d4b", "added_files": [ "filea" ] }, "observation_check": { "command": [ "/home/joseph/nf/venv313/bin/python", "/home/joseph/nf/education-2026A-20260927/inspect-ch8-raw-v2.py", "ucore-2026A-ch8-basic-observed" ], "driver_sha256": "5cbabb1c8d5cbc4b190f419d20f52d66c8f28d133814b5ceabe8cce20996cee1" }, "observations": { "schema": "nodefusion.thread-observations/1", "run": "ucore-2026A-ch8-basic-observed", "driver_sha256": "5cbabb1c8d5cbc4b190f419d20f52d66c8f28d133814b5ceabe8cce20996cee1", "inputs": { "trace.nfb": "c9f5a5c0f0fe2bfaa3c0e2a356c47b2b55be10bb370b332628e0ccc945693c09", "watchlist.json": "a302b599802495433826ca77353d531f5c916622396771032851a9f0d416dad6", "manifest.json": "d052ac159617c7badd0073e3991102fd0c3f169941fc25cc1de6889e0549ef4a" }, "preflight_sha256": "8886064361ac490b5e208dca8042905d16a32072e27f473252ba41cfb380b3a1", "kernel_elf_sha256": "302ce59cf45f933b7d19908c830ffad9063b1c608d9db73a1ce1e3dfb03dae1d", "record_counts": { "meta": 23, "vcpu": 1, "return": 18298766, "sample": 5441, "discon": 599191, "snapmark": 803, "rampage": 67445, "watchpc": 18744395, "nftrace": 1016882, "end": 1 }, "end": { "total_insns": 1088394072, "watch_drops": 0 }, "function_counts": { "main": 1, "clean_bss": 1, "memset": 30732, "printf": 68, "consputc": 1839, "console_putchar": 16050, "proc_init": 1, "init_queue": 13, "kinit": 1, "freerange": 1, "kfree": 28664, "nftrace_allocator_state": 1, "nftrace_commit_point": 1016882, "kvm_init": 1, "kvmmake": 1, "kalloc": 795, "nftrace_page_alloc": 795, "kvmmap": 5, "mappages": 588, "walk": 292603, "nodefusion_pagetable_map": 33865, "procid": 32, "threadid": 2, "printint": 97, "trap_init": 1, "plicinit": 1, "cpuid": 431, "virtio_disk_init": 1, "binit": 1, "fsinit": 1, "bread": 1023, "bget@0": 1023, "virtio_disk_rw": 215, "kerneltrap": 219, "dummy": 3322663, "devintr": 646, "set_next_timer": 432, "set_timer": 432, "plic_claim": 215, "virtio_disk_intr": 215, "plic_complete": 215, "free_desc": 645, "memmove": 258071, "brelse": 1023, "timer_init": 1, "load_init_app": 1, "allocproc": 73, "allocpid": 73, "uvmcreate": 73, "init_stdio": 1, "stdio_init": 3, "filealloc": 7, "namei": 31, "root_dir": 33, "iget": 65, "ivalid": 68, "dirlookup": 33, "readi": 782, "bmap": 947, "either_copyout": 945, "curr_proc": 912694, "strncmp": 561, "bin_loader": 30, "allocthread": 152, "uvmmap": 80, "useraddr": 236, "walkaddr": 257439, "iput": 33, "push_argv": 30, "strlen": 14, "copyout": 256871, "add_task": 507620, "task_to_id": 508586, "push_queue": 508586, "show_all_files": 1, "dirls": 1, "scheduler": 1, "fetch_task": 507621, "pop_queue": 509358, "id_to_task": 509358, "nftrace_sched_switch": 1015240, "swtch": 1015240, "usertrapret": 582470, "curr_thread": 3516248, "get_thread_trapframe_va": 582470, "usertrap": 582470, "syscall": 582043, "sys_write": 295, "console_write": 293, "copyinstr": 330, "sys_clone": 72, "fork": 72, "uvmcopy": 72, "nftrace_proc_fork": 72, "sys_wait": 77, "wait": 77, "sched": 507620, "sys_exec": 29, "exec": 29, "freethread": 152, "uvmunmap": 479, "nftrace_page_free": 724, "exit": 123, "freeproc": 73, "freepagetable": 73, "uvmfree": 73, "freewalk": 365, "fileclose": 225, "yield": 278470, "sys_gettimeofday": 256831, "get_cycle": 256831, "sys_getpid": 2, "sys_getppid": 2, "sys_openat": 2, "fileopen": 2, "ialloc": 1, "bwrite": 8, "iupdate": 3, "dirlink": 1, "strncpy": 1, "writei": 2, "either_copyin": 2, "fdalloc": 4, "inodewrite": 1, "balloc": 1, "copyin": 2, "sys_close": 5, "sys_read": 2, "inoderead": 1, "sys_pipe": 1, "pipealloc": 1, "pipewrite": 1, "pipeclose": 2, "piperead": 1, "sys_semaphore_create": 4, "semaphore_create": 4, "sys_mutex_create": 16, "mutex_create": 16, "sys_thread_create": 50, "nftrace_thread_create": 50, "sys_mutex_lock": 10962, "mutex_lock": 10963, "sys_mutex_unlock": 10962, "mutex_unlock": 10963, "sys_semaphore_down": 1601, "semaphore_down": 1601, "sys_semaphore_up": 1601, "semaphore_up": 1601, "sys_waittid": 21386, "sys_condvar_create": 1, "condvar_create": 1, "sys_condvar_wait": 1, "cond_wait": 1, "sys_condvar_signal": 1, "cond_signal": 1, "sys_gettid": 3, "shutdown": 1 }, "entry_examples": { "threadid": [ { "insn": 412874824, "cpu": 0, "pc": 2149589362, "satp": 9223372036855332863, "a": [ 0, 2149605376, 11, 2149605376, 2281414656, 2166587392, 5, 1 ] }, { "insn": 413285635, "cpu": 0, "pc": 2149589362, "satp": 9223372036855332863, "a": [ 1, 0, 1, 0, 2166587568, 2166587392, 2281377792, 2167242752 ] } ], "allocthread": [ { "insn": 413259214, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166587392, 4096, 1, 2281381888, 18446744073709547520, 3, 2, 2167242752 ] }, { "insn": 413749676, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166592384, 0, 0, 2, 0, 2166587568, 10, 0 ] }, { "insn": 414015975, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166592384, 4096, 1, 2281361408, 18446744073709547520, 3, 2, 2167242752 ] }, { "insn": 414477365, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166592384, 0, 0, 2, 0, 2166587568, 10, 0 ] }, { "insn": 414768374, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166592384, 4096, 1, 2281357312, 18446744073709547520, 3, 2, 2167242752 ] }, { "insn": 416778544, "cpu": 0, "pc": 2149590134, "satp": 9223372036855332863, "a": [ 2166592384, 0, 0, 2, 0, 2166587568, 10, 0 ] } ], "curr_thread": [ { "insn": 413509767, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 2149806120, 2166587608, 18446744073709551615, 1, 2166587568, 274877902848, 1, 1 ] }, { "insn": 413509782, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 2166587568, 2166587608, 18446744073709551615, 1, 2166587568, 9223372036855332863, 1, 1 ] }, { "insn": 413509827, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 2166587392, 2166587608, 18446744073709551615, 1, 4096, 9223372036854775808, 1, 1 ] }, { "insn": 413510777, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 274877898752, 11392, 36, 10, 10, 2149604928, 0, 64 ] }, { "insn": 413510843, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 0, 9916, 36, 8, 45137, 9920, 0, 64 ] }, { "insn": 413525701, "cpu": 0, "pc": 2149589432, "satp": 9223372036855332863, "a": [ 36, 0, 0, 123182720, 10, 2158202404, 0, 1 ] } ], "get_thread_trapframe_va": [ { "insn": 413509840, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 2166587608, 18446744073709551615, 1, 4096, 9223372036854775808, 1, 1 ] }, { "insn": 413525823, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 0, 0, 123182720, 4096, 9223372036854775808, 0, 1 ] }, { "insn": 413763084, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 220, 2, 0, 4096, 9223372036854775808, 0, 11864 ] }, { "insn": 413764476, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 2166592600, 18446744073709551615, 2, 4096, 9223372036854775808, 10, 0 ] }, { "insn": 414042019, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 221, 0, 2158267264, 4096, 9223372036854775808, 2281345024, 2167242752 ] }, { "insn": 414057747, "cpu": 0, "pc": 2149590102, "satp": 9223372036855332863, "a": [ 0, 0, 0, 123095904, 4096, 9223372036854775808, 18446744071570489472, 1 ] } ], "freethread": [ { "insn": 413784570, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 3, 2149806024, 1, 0, 1, 1, 1 ] }, { "insn": 414067514, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 0, 0, 10592, 2149613676, 5, 10, 12414 ] }, { "insn": 414509784, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 4, 2149806024, 1, 0, 1, 1, 1 ] }, { "insn": 416371183, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 0, 0, 10712, 2149613676, 5, 10, 12560 ] }, { "insn": 416811657, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 5, 2149806024, 1, 0, 1, 1, 1 ] }, { "insn": 885814724, "cpu": 0, "pc": 2149591274, "satp": 9223372036855332863, "a": [ 2166592560, 0, 0, 10808, 2149613676, 5, 10, 12522 ] } ], "sys_semaphore_create": [ { "insn": 931910773, "cpu": 0, "pc": 2149597756, "satp": 9223372036855332863, "a": [ 1, 467, 1, 24560, 2149613620, 2149599332, 0, 0 ] }, { "insn": 931911324, "cpu": 0, "pc": 2149597756, "satp": 9223372036855332863, "a": [ 8, 467, 8, 24560, 2149613620, 2149599332, 0, 13218 ] }, { "insn": 931911875, "cpu": 0, "pc": 2149597756, "satp": 9223372036855332863, "a": [ 0, 467, 0, 24560, 2149613620, 2149599332, 0, 13236 ] }, { "insn": 948917902, "cpu": 0, "pc": 2149597756, "satp": 9223372036855332863, "a": [ 0, 467, 0, 20464, 2149613620, 2149599332, 0, 0 ] } ], "semaphore_create": [ { "insn": 931910780, "cpu": 0, "pc": 2149594450, "satp": 9223372036855332863, "a": [ 1, 467, 1, 24560, 2149613620, 2149599332, 0, 0 ] }, { "insn": 931911331, "cpu": 0, "pc": 2149594450, "satp": 9223372036855332863, "a": [ 8, 467, 8, 24560, 2149613620, 2149599332, 0, 13218 ] }, { "insn": 931911882, "cpu": 0, "pc": 2149594450, "satp": 9223372036855332863, "a": [ 0, 467, 0, 24560, 2149613620, 2149599332, 0, 13236 ] }, { "insn": 948917909, "cpu": 0, "pc": 2149594450, "satp": 9223372036855332863, "a": [ 0, 467, 0, 20464, 2149613620, 2149599332, 0, 0 ] } ], "sys_mutex_create": [ { "insn": 931912444, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] }, { "insn": 936638528, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 1, 463, 1, 0, 2149613620, 2149599284, 1000, 995 ] }, { "insn": 936639100, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 1000, 0 ] }, { "insn": 948918467, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] }, { "insn": 951288208, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 1, 463, 1, 20464, 2149613620, 2149599284, 0, 12890 ] }, { "insn": 951288775, "cpu": 0, "pc": 2149597340, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] } ], "mutex_create": [ { "insn": 931912451, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] }, { "insn": 936638535, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 1, 463, 1, 0, 2149613620, 2149599284, 1000, 995 ] }, { "insn": 936639107, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 1000, 0 ] }, { "insn": 948918474, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] }, { "insn": 951288215, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 1, 463, 1, 20464, 2149613620, 2149599284, 0, 12890 ] }, { "insn": 951288782, "cpu": 0, "pc": 2149594038, "satp": 9223372036855332863, "a": [ 0, 463, 0, 0, 2149613620, 2149599284, 0, 0 ] } ], "sys_thread_create": [ { "insn": 931912978, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4098, 0, 4098, 0, 2149613620, 2149599240, 11020, 1 ] }, { "insn": 931939164, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4098, 1, 4098, 1, 2149613620, 2149599240, 11020, 1 ] }, { "insn": 932015149, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4098, 2, 4098, 2, 2149613620, 2149599240, 11020, 1 ] }, { "insn": 932041343, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4098, 3, 4098, 3, 2149613620, 2149599240, 11020, 1 ] }, { "insn": 932067542, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4546, 0, 4546, 0, 2149613620, 2149599240, 11020, 1 ] }, { "insn": 936639634, "cpu": 0, "pc": 2149596922, "satp": 9223372036855332863, "a": [ 4098, 0, 4098, 0, 2149613620, 2149599240, 10338, 1 ] } ], "nftrace_thread_create": [ { "insn": 931938698, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 1, 66, 1, 2166592720, 761, 2281172992, 1 ] }, { "insn": 931964889, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 2, 66, 2, 2166592880, 762, 2281168896, 1 ] }, { "insn": 932040879, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 3, 66, 3, 2166593040, 765, 2281160704, 1 ] }, { "insn": 932067078, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 4, 66, 4, 2166593200, 766, 2281156608, 1 ] }, { "insn": 932093282, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 5, 66, 5, 2166593360, 767, 2281164800, 1 ] }, { "insn": 936665354, "cpu": 0, "pc": 2149587564, "satp": 9223372036855332863, "a": [ 0, 1, 67, 1, 2166592720, 138, 2281177088, 1 ] } ], "sys_mutex_lock": [ { "insn": 931967319, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 11577, 2149613620, 2149599300, 0, 1 ] }, { "insn": 931968484, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 11577, 2149613620, 2149599300, 32, 1 ] }, { "insn": 931969543, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 1, 2149613620, 2149599300, 15, 1 ] }, { "insn": 931970665, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 11593, 2149613620, 2149599300, 48, 1 ] }, { "insn": 931999420, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 11577, 2149613620, 2149599300, 0, 1 ] }, { "insn": 932000585, "cpu": 0, "pc": 2149597476, "satp": 9223372036855332863, "a": [ 0, 464, 0, 11577, 2149613620, 2149599300, 32, 1 ] } ], "mutex_lock": [ { "insn": 931967365, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 11577, 2752, 2752, 0, 1 ] }, { "insn": 931968530, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 11577, 2752, 2752, 32, 1 ] }, { "insn": 931969589, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 1, 2752, 2752, 15, 1 ] }, { "insn": 931970711, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 11593, 2752, 2752, 48, 1 ] }, { "insn": 931999466, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 11577, 2752, 2752, 0, 1 ] }, { "insn": 932000631, "cpu": 0, "pc": 2149594180, "satp": 9223372036855332863, "a": [ 2166595136, 464, 0, 11577, 2752, 2752, 32, 1 ] } ], "sys_mutex_unlock": [ { "insn": 931967967, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 9, 2149613620, 2149599316, 32, 12472 ] }, { "insn": 931969002, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 0, 2149613620, 2149599316, 32, 1 ] }, { "insn": 931970098, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 1, 2149613620, 2149599316, 48, 12473 ] }, { "insn": 931981726, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 12464, 2149613620, 2149599316, 10, 11352 ] }, { "insn": 932000068, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 9, 2149613620, 2149599316, 32, 12472 ] }, { "insn": 932001103, "cpu": 0, "pc": 2149597616, "satp": 9223372036855332863, "a": [ 0, 466, 0, 0, 2149613620, 2149599316, 32, 1 ] } ], "mutex_unlock": [ { "insn": 931968013, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 9, 2752, 2752, 32, 12472 ] }, { "insn": 931969048, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 0, 2752, 2752, 32, 1 ] }, { "insn": 931970144, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 1, 2752, 2752, 48, 12473 ] }, { "insn": 931981772, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 12464, 2752, 2752, 10, 11352 ] }, { "insn": 932000114, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 9, 2752, 2752, 32, 12472 ] }, { "insn": 932001149, "cpu": 0, "pc": 2149594338, "satp": 9223372036855332863, "a": [ 2166595136, 466, 0, 0, 2752, 2752, 32, 1 ] } ], "sys_semaphore_down": [ { "insn": 931982248, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 1, 470, 1, 12464, 2149613620, 2149599364, 10, 0 ] }, { "insn": 931982754, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 0, 470, 0, 12464, 2149613620, 2149599364, 10, 0 ] }, { "insn": 931984288, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 1, 470, 1, 12464, 2149613620, 2149599364, 12408, 1 ] }, { "insn": 931984794, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 0, 470, 0, 12464, 2149613620, 2149599364, 12408, 1 ] }, { "insn": 931986328, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 1, 470, 1, 12464, 2149613620, 2149599364, 12412, 2 ] }, { "insn": 931986834, "cpu": 0, "pc": 2149598032, "satp": 9223372036855332863, "a": [ 0, 470, 0, 12464, 2149613620, 2149599364, 12412, 2 ] } ], "semaphore_down": [ { "insn": 931982294, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166596000, 470, 1, 12464, 3520, 3616, 10, 0 ] }, { "insn": 931982800, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166595904, 470, 0, 12464, 3520, 3520, 10, 0 ] }, { "insn": 931984334, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166596000, 470, 1, 12464, 3520, 3616, 12408, 1 ] }, { "insn": 931984840, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166595904, 470, 0, 12464, 3520, 3520, 12408, 1 ] }, { "insn": 931986374, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166596000, 470, 1, 12464, 3520, 3616, 12412, 2 ] }, { "insn": 931986880, "cpu": 0, "pc": 2149594742, "satp": 9223372036855332863, "a": [ 2166595904, 470, 0, 12464, 3520, 3520, 12412, 2 ] } ], "sys_semaphore_up": [ { "insn": 931983272, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 0, 468, 0, 12464, 2149613620, 2149599348, 12408, 1 ] }, { "insn": 931983779, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 2, 468, 2, 12464, 2149613620, 2149599348, 12408, 1 ] }, { "insn": 931985312, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 0, 468, 0, 12464, 2149613620, 2149599348, 12412, 2 ] }, { "insn": 931985819, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 2, 468, 2, 12464, 2149613620, 2149599348, 12412, 2 ] }, { "insn": 931987352, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 0, 468, 0, 12464, 2149613620, 2149599348, 12416, 3 ] }, { "insn": 931987859, "cpu": 0, "pc": 2149597892, "satp": 9223372036855332863, "a": [ 2, 468, 2, 12464, 2149613620, 2149599348, 12416, 3 ] } ], "semaphore_up": [ { "insn": 931983318, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166595904, 468, 0, 12464, 3520, 3520, 12408, 1 ] }, { "insn": 931983825, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166596096, 468, 2, 12464, 3520, 3712, 12408, 1 ] }, { "insn": 931985358, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166595904, 468, 0, 12464, 3520, 3520, 12412, 2 ] }, { "insn": 931985865, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166596096, 468, 2, 12464, 3520, 3712, 12412, 2 ] }, { "insn": 931987398, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166595904, 468, 0, 12464, 3520, 3520, 12416, 3 ] }, { "insn": 931987905, "cpu": 0, "pc": 2149594582, "satp": 9223372036855332863, "a": [ 2166596096, 468, 2, 12464, 3520, 3712, 12416, 3 ] } ], "sys_condvar_create": [ { "insn": 951287665, "cpu": 0, "pc": 2149598172, "satp": 9223372036855332863, "a": [ 0, 471, 0, 20464, 2149613620, 2149599380, 0, 0 ] } ], "condvar_create": [ { "insn": 951287672, "cpu": 0, "pc": 2149594862, "satp": 9223372036855332863, "a": [ 0, 471, 0, 20464, 2149613620, 2149599380, 0, 0 ] } ], "sys_condvar_wait": [ { "insn": 951379527, "cpu": 0, "pc": 2149598454, "satp": 9223372036855332863, "a": [ 0, 0, 0, 0, 2149613620, 2149599408, 10, 0 ] } ], "sys_condvar_signal": [ { "insn": 952873020, "cpu": 0, "pc": 2149598314, "satp": 9223372036855332863, "a": [ 0, 472, 0, 11968, 2149613620, 2149599392, 255, 94489280512 ] } ] }, "nftrace_counts": { "6": 1, "1": 795, "4": 1015240, "2": 72, "5": 724, "3": 50 }, "forks": [ { "insn": 413762912, "parent_pid": 1, "child_pid": 2 }, { "insn": 414490601, "parent_pid": 1, "child_pid": 3 }, { "insn": 416791780, "parent_pid": 1, "child_pid": 4 }, { "insn": 886235741, "parent_pid": 1, "child_pid": 5 }, { "insn": 902671056, "parent_pid": 1, "child_pid": 6 }, { "insn": 903489320, "parent_pid": 1, "child_pid": 7 }, { "insn": 904209494, "parent_pid": 1, "child_pid": 8 }, { "insn": 904901394, "parent_pid": 1, "child_pid": 9 }, { "insn": 905367556, "parent_pid": 9, "child_pid": 10 }, { "insn": 905962990, "parent_pid": 1, "child_pid": 11 }, { "insn": 906458920, "parent_pid": 11, "child_pid": 12 }, { "insn": 907079974, "parent_pid": 1, "child_pid": 13 }, { "insn": 907545829, "parent_pid": 13, "child_pid": 14 }, { "insn": 907793215, "parent_pid": 13, "child_pid": 15 }, { "insn": 908040605, "parent_pid": 13, "child_pid": 16 }, { "insn": 908287999, "parent_pid": 13, "child_pid": 17 }, { "insn": 908535397, "parent_pid": 13, "child_pid": 18 }, { "insn": 908782799, "parent_pid": 13, "child_pid": 19 }, { "insn": 909862282, "parent_pid": 13, "child_pid": 20 }, { "insn": 910109692, "parent_pid": 13, "child_pid": 21 }, { "insn": 910357106, "parent_pid": 13, "child_pid": 22 }, { "insn": 911021530, "parent_pid": 13, "child_pid": 23 }, { "insn": 911268952, "parent_pid": 13, "child_pid": 24 }, { "insn": 911516378, "parent_pid": 13, "child_pid": 25 }, { "insn": 911763808, "parent_pid": 13, "child_pid": 26 }, { "insn": 912011242, "parent_pid": 13, "child_pid": 27 }, { "insn": 912954110, "parent_pid": 13, "child_pid": 28 }, { "insn": 913201552, "parent_pid": 13, "child_pid": 29 }, { "insn": 913448998, "parent_pid": 13, "child_pid": 30 }, { "insn": 913696448, "parent_pid": 13, "child_pid": 31 }, { "insn": 914500981, "parent_pid": 13, "child_pid": 32 }, { "insn": 914748439, "parent_pid": 13, "child_pid": 33 }, { "insn": 914995901, "parent_pid": 13, "child_pid": 34 }, { "insn": 915243367, "parent_pid": 13, "child_pid": 35 }, { "insn": 915490837, "parent_pid": 13, "child_pid": 36 }, { "insn": 916434183, "parent_pid": 13, "child_pid": 37 }, { "insn": 916681661, "parent_pid": 13, "child_pid": 38 }, { "insn": 916929143, "parent_pid": 13, "child_pid": 39 }, { "insn": 917176629, "parent_pid": 13, "child_pid": 40 }, { "insn": 917981216, "parent_pid": 13, "child_pid": 41 }, { "insn": 918228710, "parent_pid": 13, "child_pid": 42 }, { "insn": 918476208, "parent_pid": 13, "child_pid": 43 }, { "insn": 918723710, "parent_pid": 13, "child_pid": 44 }, { "insn": 918971216, "parent_pid": 13, "child_pid": 45 }, { "insn": 919914616, "parent_pid": 13, "child_pid": 46 }, { "insn": 920162130, "parent_pid": 13, "child_pid": 47 }, { "insn": 920409648, "parent_pid": 13, "child_pid": 48 }, { "insn": 920657170, "parent_pid": 13, "child_pid": 49 }, { "insn": 921461811, "parent_pid": 13, "child_pid": 50 }, { "insn": 921709341, "parent_pid": 13, "child_pid": 51 }, { "insn": 921956875, "parent_pid": 13, "child_pid": 52 }, { "insn": 922204413, "parent_pid": 13, "child_pid": 53 }, { "insn": 923724649, "parent_pid": 1, "child_pid": 54 }, { "insn": 924252655, "parent_pid": 54, "child_pid": 55 }, { "insn": 924489897, "parent_pid": 54, "child_pid": 56 }, { "insn": 924727143, "parent_pid": 54, "child_pid": 57 }, { "insn": 924964393, "parent_pid": 54, "child_pid": 58 }, { "insn": 925201647, "parent_pid": 54, "child_pid": 59 }, { "insn": 927421667, "parent_pid": 1, "child_pid": 60 }, { "insn": 927965728, "parent_pid": 60, "child_pid": 61 }, { "insn": 928608495, "parent_pid": 1, "child_pid": 62 }, { "insn": 929454293, "parent_pid": 1, "child_pid": 63 }, { "insn": 930399514, "parent_pid": 1, "child_pid": 64 }, { "insn": 930931149, "parent_pid": 64, "child_pid": 65 }, { "insn": 931578457, "parent_pid": 1, "child_pid": 66 }, { "insn": 936394436, "parent_pid": 1, "child_pid": 67 }, { "insn": 948672426, "parent_pid": 1, "child_pid": 68 }, { "insn": 951038999, "parent_pid": 1, "child_pid": 69 }, { "insn": 953420874, "parent_pid": 1, "child_pid": 70 }, { "insn": 958866039, "parent_pid": 1, "child_pid": 71 }, { "insn": 964143055, "parent_pid": 1, "child_pid": 72 }, { "insn": 974247220, "parent_pid": 1, "child_pid": 73 } ], "threads": [ { "insn": 931938711, "pid": 66, "parent_tid": 0, "child_tid": 1 }, { "insn": 931964902, "pid": 66, "parent_tid": 0, "child_tid": 2 }, { "insn": 932040892, "pid": 66, "parent_tid": 0, "child_tid": 3 }, { "insn": 932067091, "pid": 66, "parent_tid": 0, "child_tid": 4 }, { "insn": 932093295, "pid": 66, "parent_tid": 0, "child_tid": 5 }, { "insn": 936665367, "pid": 67, "parent_tid": 0, "child_tid": 1 }, { "insn": 937274659, "pid": 67, "parent_tid": 0, "child_tid": 2 }, { "insn": 937300853, "pid": 67, "parent_tid": 0, "child_tid": 3 }, { "insn": 937327052, "pid": 67, "parent_tid": 0, "child_tid": 4 }, { "insn": 937353256, "pid": 67, "parent_tid": 0, "child_tid": 5 }, { "insn": 937379465, "pid": 67, "parent_tid": 0, "child_tid": 6 }, { "insn": 937405679, "pid": 67, "parent_tid": 0, "child_tid": 7 }, { "insn": 937431898, "pid": 67, "parent_tid": 0, "child_tid": 8 }, { "insn": 937458122, "pid": 67, "parent_tid": 0, "child_tid": 9 }, { "insn": 937484351, "pid": 67, "parent_tid": 0, "child_tid": 10 }, { "insn": 937510585, "pid": 67, "parent_tid": 0, "child_tid": 11 }, { "insn": 937536824, "pid": 67, "parent_tid": 0, "child_tid": 12 }, { "insn": 937563068, "pid": 67, "parent_tid": 0, "child_tid": 13 }, { "insn": 937589317, "pid": 67, "parent_tid": 0, "child_tid": 14 }, { "insn": 937615571, "pid": 67, "parent_tid": 0, "child_tid": 15 }, { "insn": 948944734, "pid": 68, "parent_tid": 0, "child_tid": 1 }, { "insn": 948970920, "pid": 68, "parent_tid": 0, "child_tid": 2 }, { "insn": 951315042, "pid": 69, "parent_tid": 0, "child_tid": 1 }, { "insn": 951341228, "pid": 69, "parent_tid": 0, "child_tid": 2 }, { "insn": 953780729, "pid": 70, "parent_tid": 0, "child_tid": 1 }, { "insn": 953806918, "pid": 70, "parent_tid": 0, "child_tid": 2 }, { "insn": 953833110, "pid": 70, "parent_tid": 0, "child_tid": 3 }, { "insn": 959128542, "pid": 71, "parent_tid": 0, "child_tid": 1 }, { "insn": 959154729, "pid": 71, "parent_tid": 0, "child_tid": 2 }, { "insn": 959180919, "pid": 71, "parent_tid": 0, "child_tid": 3 }, { "insn": 964533276, "pid": 72, "parent_tid": 0, "child_tid": 1 }, { "insn": 964559465, "pid": 72, "parent_tid": 0, "child_tid": 2 }, { "insn": 964585657, "pid": 72, "parent_tid": 0, "child_tid": 3 }, { "insn": 964611854, "pid": 72, "parent_tid": 0, "child_tid": 4 }, { "insn": 964638056, "pid": 72, "parent_tid": 0, "child_tid": 5 }, { "insn": 964664263, "pid": 72, "parent_tid": 0, "child_tid": 6 }, { "insn": 964690475, "pid": 72, "parent_tid": 0, "child_tid": 7 }, { "insn": 964716692, "pid": 72, "parent_tid": 0, "child_tid": 8 }, { "insn": 964742914, "pid": 72, "parent_tid": 0, "child_tid": 9 }, { "insn": 964769141, "pid": 72, "parent_tid": 0, "child_tid": 10 }, { "insn": 964795373, "pid": 72, "parent_tid": 0, "child_tid": 11 }, { "insn": 964821610, "pid": 72, "parent_tid": 0, "child_tid": 12 }, { "insn": 964847852, "pid": 72, "parent_tid": 0, "child_tid": 13 }, { "insn": 966445964, "pid": 72, "parent_tid": 0, "child_tid": 14 }, { "insn": 966472216, "pid": 72, "parent_tid": 0, "child_tid": 15 }, { "insn": 974655358, "pid": 73, "parent_tid": 0, "child_tid": 1 }, { "insn": 974681549, "pid": 73, "parent_tid": 0, "child_tid": 2 }, { "insn": 974707743, "pid": 73, "parent_tid": 0, "child_tid": 3 }, { "insn": 974733942, "pid": 73, "parent_tid": 0, "child_tid": 4 }, { "insn": 974760146, "pid": 73, "parent_tid": 0, "child_tid": 5 } ], "switches": { "idle_to_thread": 507620, "thread_to_idle": 507620 }, "allocation_balance": { "initial_free_pages": 27940, "successful_allocations": 795, "frees": 724, "allocation_failures": 0, "peak_used_pages": 135, "final_used_pages": 71, "every_record_balanced": true } }, "report": { "schema": "nodefusion.artifact-evidence/1", "run": "ucore-2026A-ch8-basic-observed", "kernel_kind": "ucore", "source_sha256": { "trace.nfb": "c9f5a5c0f0fe2bfaa3c0e2a356c47b2b55be10bb370b332628e0ccc945693c09", "manifest.json": "d052ac159617c7badd0073e3991102fd0c3f169941fc25cc1de6889e0549ef4a", "watchlist.json": "a302b599802495433826ca77353d531f5c916622396771032851a9f0d416dad6", "kernel_layout.json": "b93d22b253ef5d2117e664ced101103631ba0308dea63123a073de64207762e0" }, "kernel_elf_sha256": "302ce59cf45f933b7d19908c830ffad9063b1c608d9db73a1ce1e3dfb03dae1d", "archive_bytes": { "trace.nfb": 3443141383, "kernel_elf": 191912 }, "html_sha256": "acc3c5fdb42f827f843e3a197af230e88f6a75d4c5ebd3f134536f2ddacc4db2", "html_bytes": 2612810, "function_trace": { "kind": "return-matched observed frames", "raw": 16682742, "retained": 107873, "returns": 18298766, "matched_returns": 13429474, "nested_entries": 13453971 }, "event_selection": { "applied": true, "policy": "kind-preserving/systematic-v5", "raw": 18298814, "retained": 150000, "dropped": 18148814, "target_limit": 150000, "minimum_spare": 25000, "always_keep": "all events of kinds whose count fits their per-kind budget", "priority_raw": 4732283, "spare_raw": 13566531, "semantic_budget": 125000, "minimum_per_kind": 64, "semantic_kind_budgets": { "bcache.get": 89, "bcache.init": 1, "bcache.read": 89, "bcache.release": 89, "bcache.write": 8, "disk.balloc": 1, "disk.interrupt": 68, "disk.io": 68, "file.alloc": 7, "file.close": 68, "file.read": 1, "file.write": 1, "firmware.trap": 19, "inode.alloc": 1, "inode.bmap": 86, "inode.dirlookup": 33, "inode.get": 64, "inode.namei": 31, "inode.put": 33, "inode.read": 83, "inode.update": 3, "inode.write": 2, "interrupt.clock": 73, "interrupt.dispatch": 79, "interrupt.external": 68, "interrupt.timer": 73, "kernel.shutdown": 1, "pagetable.map": 933, "phys.alloc": 83, "phys.free": 81, "pipe.alloc": 1, "pipe.close": 2, "pipe.read": 1, "pipe.write": 1, "proc.alloc": 64, "proc.exec": 29, "proc.exit": 65, "proc.fork": 64, "proc.free": 65, "proc.initproc": 1, "proc.wait": 65, "sbi.call": 486, "sched.enter": 1, "sched.switch": 26172, "sched.yield": 7224, "sched.yield_to_scheduler": 13117, "syscall.close": 5, "syscall.condvar_create": 1, "syscall.condvar_signal": 1, "syscall.condvar_wait": 1, "syscall.dispatch": 15032, "syscall.enter": 15031, "syscall.exec": 29, "syscall.fork": 65, "syscall.mutex_create": 16, "syscall.mutex_lock": 344, "syscall.mutex_unlock": 344, "syscall.open": 2, "syscall.pipe": 1, "syscall.read": 2, "syscall.semaphore_create": 4, "syscall.semaphore_down": 104, "syscall.semaphore_up": 104, "syscall.thread_create": 50, "syscall.waitpid": 64, "syscall.write": 70, "thread.alloc_res": 67, "thread.create": 50, "thread.free_res": 66, "trap.init": 1, "trap.kerneltrap": 68, "trap.userret": 15042, "trap.usertrap": 15042, "vm.copy": 64, "vm.copyin": 2, "vm.copyout": 6669, "vm.free": 64, "vm.from_elf": 30, "vm.grow": 64, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 77, "vm.translate_buffer": 6683, "vm.translate_str": 70, "vm.unmap": 75 }, "diagnostic_kind_budgets": { "func.add_task": 891, "func.allocpid": 64, "func.clean_bss": 1, "func.cond_signal": 1, "func.cond_wait": 1, "func.condvar_create": 1, "func.console_putchar": 90, "func.console_write": 65, "func.consputc": 67, "func.cpuid": 64, "func.curr_proc": 1549, "func.curr_thread": 5788, "func.dirlink": 1, "func.dirls": 1, "func.dummy": 5472, "func.either_copyin": 2, "func.either_copyout": 66, "func.fdalloc": 4, "func.fetch_task": 890, "func.fileopen": 2, "func.free_desc": 65, "func.freepagetable": 64, "func.freerange": 1, "func.freewalk": 64, "func.fsinit": 1, "func.get_cycle": 482, "func.get_thread_trapframe_va": 1011, "func.id_to_task": 893, "func.init_queue": 13, "func.init_stdio": 1, "func.ivalid": 64, "func.kinit": 1, "func.kvmmap": 5, "func.load_init_app": 1, "func.main": 1, "func.memmove": 484, "func.memset": 113, "func.mutex_create": 16, "func.mutex_lock": 82, "func.mutex_unlock": 82, "func.nftrace_allocator_state": 1, "func.nftrace_page_alloc": 66, "func.nftrace_page_free": 65, "func.nftrace_proc_fork": 64, "func.nftrace_sched_switch": 1716, "func.nftrace_thread_create": 50, "func.plic_claim": 64, "func.plic_complete": 64, "func.plicinit": 1, "func.pop_queue": 893, "func.printf": 64, "func.printint": 64, "func.procid": 32, "func.push_argv": 30, "func.push_queue": 892, "func.root_dir": 33, "func.semaphore_create": 4, "func.semaphore_down": 66, "func.semaphore_up": 67, "func.set_next_timer": 65, "func.show_all_files": 1, "func.stdio_init": 3, "func.strlen": 14, "func.strncmp": 65, "func.strncpy": 1, "func.sys_getpid": 2, "func.sys_getppid": 2, "func.sys_gettid": 3, "func.sys_gettimeofday": 482, "func.sys_waittid": 99, "func.task_to_id": 891, "func.threadid": 2, "func.timer_init": 1, "func.useraddr": 64, "func.uvmcreate": 64, "func.virtio_disk_init": 1, "func.walk": 540 }, "minimum_per_diagnostic_kind": 64, "semantic_retained": 125000, "spare_budget": 25000, "stride": null, "retained_kinds": { "bcache.get": 89, "bcache.init": 1, "bcache.read": 89, "bcache.release": 89, "bcache.write": 8, "disk.balloc": 1, "disk.interrupt": 68, "disk.io": 68, "file.alloc": 7, "file.close": 68, "file.read": 1, "file.write": 1, "firmware.trap": 19, "func.add_task": 891, "func.allocpid": 64, "func.clean_bss": 1, "func.cond_signal": 1, "func.cond_wait": 1, "func.condvar_create": 1, "func.console_putchar": 90, "func.console_write": 65, "func.consputc": 67, "func.cpuid": 64, "func.curr_proc": 1549, "func.curr_thread": 5788, "func.dirlink": 1, "func.dirls": 1, "func.dummy": 5472, "func.either_copyin": 2, "func.either_copyout": 66, "func.fdalloc": 4, "func.fetch_task": 890, "func.fileopen": 2, "func.free_desc": 65, "func.freepagetable": 64, "func.freerange": 1, "func.freewalk": 64, "func.fsinit": 1, "func.get_cycle": 482, "func.get_thread_trapframe_va": 1011, "func.id_to_task": 893, "func.init_queue": 13, "func.init_stdio": 1, "func.ivalid": 64, "func.kinit": 1, "func.kvmmap": 5, "func.load_init_app": 1, "func.main": 1, "func.memmove": 484, "func.memset": 113, "func.mutex_create": 16, "func.mutex_lock": 82, "func.mutex_unlock": 82, "func.nftrace_allocator_state": 1, "func.nftrace_page_alloc": 66, "func.nftrace_page_free": 65, "func.nftrace_proc_fork": 64, "func.nftrace_sched_switch": 1716, "func.nftrace_thread_create": 50, "func.plic_claim": 64, "func.plic_complete": 64, "func.plicinit": 1, "func.pop_queue": 893, "func.printf": 64, "func.printint": 64, "func.procid": 32, "func.push_argv": 30, "func.push_queue": 892, "func.root_dir": 33, "func.semaphore_create": 4, "func.semaphore_down": 66, "func.semaphore_up": 67, "func.set_next_timer": 65, "func.show_all_files": 1, "func.stdio_init": 3, "func.strlen": 14, "func.strncmp": 65, "func.strncpy": 1, "func.sys_getpid": 2, "func.sys_getppid": 2, "func.sys_gettid": 3, "func.sys_gettimeofday": 482, "func.sys_waittid": 99, "func.task_to_id": 891, "func.threadid": 2, "func.timer_init": 1, "func.useraddr": 64, "func.uvmcreate": 64, "func.virtio_disk_init": 1, "func.walk": 540, "inode.alloc": 1, "inode.bmap": 86, "inode.dirlookup": 33, "inode.get": 64, "inode.namei": 31, "inode.put": 33, "inode.read": 83, "inode.update": 3, "inode.write": 2, "interrupt.clock": 73, "interrupt.dispatch": 79, "interrupt.external": 68, "interrupt.timer": 73, "kernel.shutdown": 1, "pagetable.map": 933, "phys.alloc": 83, "phys.free": 81, "pipe.alloc": 1, "pipe.close": 2, "pipe.read": 1, "pipe.write": 1, "proc.alloc": 64, "proc.exec": 29, "proc.exit": 65, "proc.fork": 64, "proc.free": 65, "proc.initproc": 1, "proc.wait": 65, "sbi.call": 486, "sched.enter": 1, "sched.switch": 26172, "sched.yield": 7224, "sched.yield_to_scheduler": 13117, "syscall.close": 5, "syscall.condvar_create": 1, "syscall.condvar_signal": 1, "syscall.condvar_wait": 1, "syscall.dispatch": 15032, "syscall.enter": 15031, "syscall.exec": 29, "syscall.fork": 65, "syscall.mutex_create": 16, "syscall.mutex_lock": 344, "syscall.mutex_unlock": 344, "syscall.open": 2, "syscall.pipe": 1, "syscall.read": 2, "syscall.semaphore_create": 4, "syscall.semaphore_down": 104, "syscall.semaphore_up": 104, "syscall.thread_create": 50, "syscall.waitpid": 64, "syscall.write": 70, "thread.alloc_res": 67, "thread.create": 50, "thread.free_res": 66, "trap.init": 1, "trap.kerneltrap": 68, "trap.userret": 15042, "trap.usertrap": 15042, "vm.copy": 64, "vm.copyin": 2, "vm.copyout": 6669, "vm.free": 64, "vm.from_elf": 30, "vm.grow": 64, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 77, "vm.translate_buffer": 6683, "vm.translate_str": 70, "vm.unmap": 75 }, "dropped_kinds": { "bcache.get": 934, "bcache.read": 934, "bcache.release": 934, "disk.interrupt": 147, "disk.io": 147, "file.close": 157, "func.add_task": 506729, "func.allocpid": 9, "func.console_putchar": 15960, "func.console_write": 228, "func.consputc": 1772, "func.cpuid": 367, "func.curr_proc": 911145, "func.curr_thread": 3510460, "func.dummy": 3317191, "func.either_copyout": 879, "func.fetch_task": 506731, "func.free_desc": 580, "func.freepagetable": 9, "func.freewalk": 301, "func.get_cycle": 256349, "func.get_thread_trapframe_va": 581459, "func.id_to_task": 508465, "func.ivalid": 4, "func.memmove": 257587, "func.memset": 30619, "func.mutex_lock": 10881, "func.mutex_unlock": 10881, "func.nftrace_page_alloc": 729, "func.nftrace_page_free": 659, "func.nftrace_proc_fork": 8, "func.nftrace_sched_switch": 1013524, "func.plic_claim": 151, "func.plic_complete": 151, "func.pop_queue": 508465, "func.printf": 4, "func.printint": 33, "func.push_queue": 507694, "func.semaphore_down": 1535, "func.semaphore_up": 1534, "func.set_next_timer": 367, "func.strncmp": 496, "func.sys_gettimeofday": 256349, "func.sys_waittid": 21287, "func.task_to_id": 507695, "func.useraddr": 172, "func.uvmcreate": 9, "func.walk": 292063, "inode.bmap": 861, "inode.get": 1, "inode.read": 699, "interrupt.clock": 359, "interrupt.dispatch": 567, "interrupt.external": 147, "interrupt.timer": 358, "pagetable.map": 32932, "phys.alloc": 712, "phys.free": 643, "proc.alloc": 9, "proc.exit": 58, "proc.fork": 8, "proc.free": 8, "proc.wait": 12, "sbi.call": 15997, "sched.switch": 989068, "sched.yield": 271246, "sched.yield_to_scheduler": 494503, "syscall.dispatch": 567011, "syscall.enter": 567012, "syscall.fork": 7, "syscall.mutex_lock": 10618, "syscall.mutex_unlock": 10618, "syscall.semaphore_down": 1497, "syscall.semaphore_up": 1497, "syscall.waitpid": 13, "syscall.write": 225, "thread.alloc_res": 85, "thread.free_res": 86, "trap.kerneltrap": 151, "trap.userret": 567428, "trap.usertrap": 567428, "vm.copy": 8, "vm.copyout": 250202, "vm.free": 9, "vm.grow": 16, "vm.map": 511, "vm.translate_buffer": 250756, "vm.translate_str": 260, "vm.unmap": 404 } }, "coverage": { "status": "complete", "percent": 100.0, "passed": 4759030, "total": 4759030, "metrics": { "covered": 18, "applicable": 18, "not_applicable": [ "log_commits" ], "missing": [], "sampled": [] }, "semantic_events": { "raw": 4732283, "unknown": 0, "unknown_fields": {}, "dropped_from_interactive": 4607283 }, "snapshots": { "checked": 803, "incomplete": 0, "physical_memory": 0, "physical_counters": 0, "processes": 0, "resources": 0, "pre_initialization": { "physical_memory": 0, "physical_counters": 286, "processes": 0, "resources": 0 } }, "snapshot_not_applicable": [], "manifest_fields": { "cells": 19782, "states": { "absent": 8478, "empty": 856, "present": 10448 }, "not_applicable": 8478, "unresolved": 0 }, "full_watch_scope": true, "function_watch_drops": 0, "function_stacks_available": true, "observation_points": { "unresolved": [], "reported_missing": 0, "layout_missing": [] }, "blockers": [] }, "source_view": { "run": "ucore-2026A-ch8-basic-observed", "files": 22, "locations": 453, "revision": "9d4fa96b67b449bc72f6530286b5a438e9de3ce5" } }, "console_sha256": "48b5d34cabced4b5d9800da5dae5d804258f672d8d0429d8da2813710f2892e6", "outcome": "completed", "trace_complete": true, "started_utc": "2026-09-27T18:35:24.396287+00:00", "qemu_command": "cd \"/home/joseph/nf/education-2026A-20260927/ucore-ch8-observed\" && exec qemu-system-riscv64 -machine virt -bios default -kernel build/kernel -m 128M -drive file=nfs/fs-copy.img,if=none,format=raw,id=x0 -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0 -smp 1 -nographic -qmp tcp:127.0.0.1:54189,server=on,wait=off -plugin /home/joseph/nf/education-2026A-20260927/tool/nodefusion/plugin/libnf.so,out=/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch8-basic-observed/trace.nfb,sample=200000,snap=1425164,maxram=268435456,returns=1,snapstart=0,bootsnap=0,ramsize=134217728,watch=/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch8-basic-observed/watchlist.txt -icount shift=3", "archive": { "run_path": "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch8-basic-observed", "trace_sha256": "c9f5a5c0f0fe2bfaa3c0e2a356c47b2b55be10bb370b332628e0ccc945693c09", "trace_bytes": 3443141383 } }