using System; using System.Collections.Concurrent; using IvfTl.Hardware; namespace IvfTl.ControlHost.Debug { /// /// control 端调试会话后端:会话表 + 借用/归还 + 心跳续约 + 超时自动回收 + 命令分发。 /// 安全地基(spec §5):绝不指望 operate 主动还,SweepExpired 超时回收兜底。 /// public sealed class DebugSessionManager { private readonly Func _gateOf; private readonly Func _clock; private readonly int _ttlMs; private readonly Action _log; private readonly ConcurrentDictionary _sessions = new ConcurrentDictionary(); public DebugSessionManager(Func gateOf, Func clock, int ttlMs, Action log) { _gateOf = gateOf; _clock = clock; _ttlMs = ttlMs; _log = log ?? (_ => { }); } public DebugCommandResult Acquire(int houseSn) { var gate = _gateOf(houseSn); if (gate == null) return DebugCommandResult.Fail("NO_HANDLE", $"舱{houseSn}无闸门"); var lease = gate.Acquire(HardwareUser.OperateDebug); if (lease == null) return DebugCommandResult.Fail("BUSY", $"舱{houseSn}被占用,借用超时"); string sid = Guid.NewGuid().ToString("N"); _sessions[sid] = new DebugSession(sid, houseSn, lease, _clock()); _log($"[debug] acquire 舱{houseSn} sid={sid}"); return DebugCommandResult.Okay(sid); } public DebugCommandResult Heartbeat(string sid) { if (sid != null && _sessions.TryGetValue(sid, out var s)) { s.LastSeen = _clock(); return DebugCommandResult.Okay(); } return DebugCommandResult.Fail("SESSION_EXPIRED", "会话不存在或已过期"); } public DebugCommandResult Release(string sid) { if (sid != null && _sessions.TryRemove(sid, out var s)) { try { s.Lease.Dispose(); } catch { } _log($"[debug] release sid={sid} 舱{s.HouseSn}"); } return DebugCommandResult.Okay(); } /// 超时回收:LastSeen + ttl < now 的会话自动归还(spec §5.1)。 public int SweepExpired() { int n = 0; var now = _clock(); foreach (var kv in _sessions) { if ((now - kv.Value.LastSeen).TotalMilliseconds > _ttlMs) { if (_sessions.TryRemove(kv.Key, out var s)) { try { s.Lease.Dispose(); } catch { } _log($"[debug] 会话超时自动回收 sid={kv.Key} 舱{s.HouseSn}"); n++; } } } return n; } } }