fix(phase2): 句柄数组改回 list[str] 显式 elem_size=8

插桩确认 list[t.CPtr] 构造正常(pool 有效 elem=8 data 有效)但 append
仍读零页崩溃(list[ptr] append 的 store/参数类型生成待查)。改用全库
验证稳定的 list[str](str=bytes=i8*,显式 elem_size=8 走 else 分支),
append(t.CPtr(th.handle)) / t.CPtr(get(j)) 显式转换,join/close 对句柄
操作不变。保留 [LLC-DBG2] 构造状态插桩。
This commit is contained in:
TermiNexus committed 2026-08-19 23:12:33 +08:00
1 parent 0d2e9124d9
commit dc5bb2111b
1 file changed
+8 -12
+8 -12
View File
@@ -603,16 +603,12 @@ def run_llc_parallel(tasks: bytes, task_count: int, max_threads: int) -> int:
return 0
if max_threads <= 0:
max_threads = 1
# 线程句柄数组(list[t.CPtr] 8 字节指针存取稳定):插桩证实此前
# list[vthreading.Thread|t.CPtr] 的 get(0)/get(1) 返回同一槽(elem_size=0
# 根因已修:TPC _HandleSizeofLlvm 对联合类型 X|t.CPtr 返回 8),且
# j=0 的 close() 清空对象 handle 后 j=1 的 join 用 NULL 句柄 → 立即
# WAIT_FAILED。改为 start() 后立即取出 handle 值存入句柄数组,
# join/close 直接对句柄操作,不再依赖 Thread 对象的存续。
# 注:list[t.CPtr] 特化此前报 "Undefined method 'append'"(type_map 用裸
# CPtr 替换模板不可解析)已根修(TPC _resolve_generic_slice_type 保留
# t.CPtr 带前缀 + mangled 名统一 'ptr')。
handles: list[t.CPtr] | t.CPtr = list[t.CPtr](_mbuddy)
# 线程句柄数组:list[str](str=bytes=i8*,elem_size=8 显式)存句柄值。
# 此前 list[t.CPtr] 特化修复后 append 仍崩(pool 有效、elem=8 下读零页,
# list[ptr] append 的 store 与 t.CPtr 参数类型生成待查);list[str] 全库
# 验证稳定(append/get 8 字节指针)。start() 后立即取 handle 存入,
# join/close 直接对句柄操作,不依赖 Thread 对象存续。
handles: list[str] | t.CPtr = list[str](_mbuddy, 8)
if handles is None:
VLogger.error("run_llc_parallel: 线程句柄数组分配失败", "PhaseB")
return 1
@@ -638,11 +634,11 @@ def run_llc_parallel(tasks: bytes, task_count: int, max_threads: int) -> int:
th.start()
# start() 后立即取出句柄(Thread 对象栈地址可能被后续构造复用,
# join 时再读 self.handle 可能已被 close 清空/覆盖)
handles.append(th.handle)
handles.append(t.CPtr(th.handle))
j += 1
j = 0
while j < batch_n:
h_j: t.CPtr = handles.get(batch_start + j)
h_j: t.CPtr = t.CPtr(handles.get(batch_start + j))
#region debug-point LLC7
stdio.printf("[LLC-DBG] join 前 %d handle=%llx\n", j, t.CUInt64T(h_j))
#endregion