mirror of
https://gitee.com/xmz7891/ykxmz.git
synced 2026-10-18 13:40:45 +00:00
修「经中转几次后永久哑掉」——「按一下没反应」的真因
== 现象 ==
用户报：
* 局域网能搜到电脑，IP/端口/配对码都对，连上后**没有任何反应**
* 走中转「已配对」，但点按钮没反应
局域网那一半已经修过（preferLan）。这次抓到的是**经中转**那一半，
而且比预想的严重得多。
== 证据链（插桩复现出来的）==
被控端日志里直接抛了未捕获异常，线程当场死：
Exception in thread client-relay:
server.py:407 session.send(reply)
relay.py:166 self._link.send_to_client(data)
relay.py:357 self._post("/v1/agent/send", ...)
relay.py:766 raise RelayError(f"请求失败: {last_error}")
lanremote.relay.RelayError: 请求失败: Idle
之后的状态：
* client-relay 线程没了 —— 电脑再也不往手表回任何东西
* relay-link 线程还活着、还在长轮询 —— 中转那边看着「设备在线」
* **手表看到的就是「连上了，但按一下毫无反应」**
写入仓库的测试 _tests/test_relay_local.py 一直是这个形状：
前面几项 PASS、跑到经中转发命令就卡死。之前没人深挖。
== 根因 1：一条 HTTP/1.1 连接被两个线程同时用 ==
_post() 里锁只包住「取连接」那一段：
with self._http_lock:
connection = self._http # 锁到这里就放了
try:
connection.request("POST", ...) # 锁外发请求
于是两个线程会同时用同一条 connection：
* relay-link 线程跑 /v1/agent/poll —— 长轮询，一条请求挂 180 秒
* client-relay 线程同时 POST /v1/agent/send
HTTP/1.1 一条连接同一时刻只能有一个在途请求，第二个线程一进来
就撞上 http.client 状态机，抛 CannotSendRequest("Idle")。
_post 的「重试一次」也救不了：它 _drop_http() 之后，另一个线程
手里还攥着那条旧连接对象在发，照样坏。
修法：
* **发命令用独立连接**（_post 加 dedicated 参数）。
长轮询那条常年被占着，发命令不该去挤它，各走各的。
* 两条连接各自一把锁**锁住整个「发请求 + 读响应」周期**，
不再只锁取连接那一下。
* 普通请求若发现缓存连接正忙（长轮询在途），临时另开一条用完即关。
* _drop_http(dedicated=) 区分清哪条；finally 里一定归还占用
（否则那条连接会被永久标记为忙）。
== 根因 2：回包失败会打死整个会话线程 ==
server.py 的 _client_loop 里：
if reply is not None:
session.send(reply) # <- 不在任何 try 里
...
except OSError: # <- 外层只捕获 OSError
pass
而中转链路上 send 抛的是 RelayError，直接冒出去把线程打死。
**死一次就永久哑**，代价太大。
修法：session.send() 单独兜住所有异常，失败就断开这个会话
（让手表重连），绝不让线程消失。外层也补一个兜底 except。
== 修复效果 ==
修复前：pair OK -> ping OK -> ping 卡死 -> 线程崩溃，永久哑
修复后：pair 21ms -> ping 82ms -> ping 4ms -> ping 6ms，零异常
_tests/test_relay_local.py：**之前完全卡死 -> 现在 21/21 全过**
这个测试之前一直是红的，说明「35 个阶段的回归全绿」这件事
本身就不成立过 —— 某个阶段卡住时看起来像环境问题而不是缺陷。
== 同批修掉验证阶段找到的其它问题 ==
1. **TTL 清理 + 关掉接入开关 = 设备永久锁死**（严重）
register() 用 `device_id in self.devices` 判断老设备，但超时清理
把设备从 devices 和 codes 都删了。电脑关机过夜（必然 > 6 小时）
第二天开机就会被自己的开关挡住，而且**重启也救不回来**
（清 codes 时没落盘，重启后又当孤儿清一遍，自我维系）。
管理员在页面上还看不到这台设备，不知道该放开谁。
修法：状态文件里单独存 knownDevices 设备历史，超时清理绝不动它；
register 改查这份历史；清理后补 _save()；delete_device 才真正忘记。
2. **管理页 JS 语法错误 -> 所有按钮失效**（严重）
admin.py 里 ADMIN_JS 是普通三引号字符串，我在 Python 源码里写的
`\n` 被变成真实换行，拼进 JS 就是字符串里的裸换行 ->
整段 <script> 不执行 -> 改码/删除/批量删除/全选全变幽灵按键。
元凶是我加改码功能那次提交。改成 `\\n`。
3. **--relay / --relay-status 崩溃**（严重）
RelayLink.start(url) 的 url 是必填参数，我把默认地址改空白时
run_agent.py 两处调用没跟着改。一处被 try 吞成「测试失败：missing
1 required positional argument」（用户以为地址填错了），
一处直接报栈。两处都补上 url。
4. 非法 deviceId（控制字符 / 路径分隔符）现在被拒（白名单：
字母数字 + - _ . :）
5. enable_relay() 第二次调用不再谎报成功（加 RelayLink.running 属性，
返回值反映真实运行状态；不再用「对象建过没有」判断）
6. snapshot() 清孤儿码后补 _save()，磁盘和内存不再脱节
== 局域网全面优化（task-2，另一个智能体完成）==
4 个真问题：
* **网段判断写死 /24** —— 在 /16 网络上 10.8.1.5 和 10.8.2.5
被判成不同网络，明明能直连却去走中转还费流量。
改成按网卡真实掩码比较。
* **广播只发一个包** —— 丢一个就整轮搜不到。改成 5 个时间点重发。
* **只探一个网段** —— 多网卡手表搜不到另一网段的电脑。改成全探。
* **走中转之后再也回不到局域网** —— 出门再回家永远挂中转。
新增定期回切（先便宜地 TCP ping，通了才动真格，
不破坏正在工作的中转连接）。
实测：局域网握手 2ms、50/50 = 100%、中位 0ms。
（跨网络那半之前拿不到数字，就是被上面那个线程崩溃挡住的 ——
现已修复。）
顺带：instance.py 单实例锁端口加 YKXMZ_LOCK_PORT 覆盖（默认不变）。
用户自己那台被控端正跑在这台机器上占着 8767/TCP + 8766/UDP，
是这次排查里好几个「测试怎么都不通」的根因。
== 服务端一键部署脚本（task-1，另一个智能体完成）==
relay/deploy.sh + relay/deploy-tune.sh，随服务端 zip 发布：
* 自动检查并安装 cloudflared
* 部署程序、装 4 个 systemd 服务、网络调优、配隧道、自检打公网地址
* **不传 --hostname 且没有 TUNNEL_TOKEN 时明确提示要填**，
不会静默用一个写死的域名（用户明确说过这个中转站是他自己用的，
不对外开放，绝不能把私人域名烧成默认值）
* 重跑 = 升级，已有数据/配对码/管理密码/凭据都不动
顺带修了发布包一直缺 site_shots/ 的老 bug
（package_remote.py 用 iterdir()+is_file() 收文件，目录进不去，
新机器装完官网截图全是 404）。
== 默认中转地址改成空白 ==
用户要求：软件默认不带任何中转地址，由用户自己填。
四处硬编码全部清空（server.py / MainActivity.java / run_agent.py /
relay.py 的注释和文档示例），全仓已无非注释的硬编码地址。
== 文档同步（task-5，另一个智能体完成）==
README / BEFORE-INSTALL / AFTER-INSTALL / 打包模板：
* 新增「软件里不带任何中转地址」告示，讲清跨网络要自己部署
* 修正 Android 版本（写的是 9.0/API28，实际 API 24 / Android 7.0）
* 删掉「地址已经内置好了」（现在是错的）
* AGENT_README 原来把作者自己的中转地址当成「内置地址」发给用户，已重写
* RELAY_README 原来写「两条隧道同时跑会互相争抢」，
和真机/CHANGELOG 矛盾；按实测改成「两种协议同时在跑（故意的）」
This commit is contained in:
xmz7891
@@ -0,0 +1,186 @@
|
||||
# -*- coding: utf-8 -*-
|
||||
"""证明变异 A 的盲区是**真 bug**，不是理论问题。
|
||||
|
||||
变异 A 是：把 register() 里的
|
||||
known_device = device_id in self.devices
|
||||
改成
|
||||
known_device = code in self.codes
|
||||
|
||||
现有 test_admin_device_control.py 的注释明确说"不能按配对码判断"，
|
||||
但我做过变异测试：注入变异 A 之后它的 23 项**全部通过** —— 没抓到。
|
||||
|
||||
为什么没抓到？
|
||||
它的"关掉开关后老设备仍能上线"用例里，设备用的还是**原来那个码**，
|
||||
而 self.codes[那个码] == device_id → `code in self.codes` 为真 → 放行。
|
||||
变异在这个路径上**表现不出来**。
|
||||
|
||||
变异只在"管理员给设备改过码"之后才现形，而这个组合用例没有被覆盖。
|
||||
这个脚本把那个缺失的用例补上，**同时**在原版和变异版上跑，
|
||||
用对照证明：确实是变异导致的差异，不是环境噪声。
|
||||
|
||||
全程只碰临时目录，不动仓库文件。
|
||||
"""
|
||||
from __future__ import annotations
|
||||
|
||||
import json
|
||||
import os
|
||||
import shutil
|
||||
import subprocess
|
||||
import sys
|
||||
import tempfile
|
||||
import time
|
||||
import urllib.error
|
||||
import urllib.request
|
||||
from pathlib import Path
|
||||
|
||||
ROOT = Path(__file__).resolve().parent.parent
|
||||
_UA = {"User-Agent": "LanRemote/1.8.2"}
|
||||
|
||||
DRIVER = r'''
|
||||
# -*- coding: utf-8 -*-
|
||||
"""在给定的 relay 源码上跑「改码 + 关开关 + 重连」这个组合用例。"""
|
||||
import json, os, subprocess, sys, tempfile, time
|
||||
import urllib.error, urllib.request
|
||||
from pathlib import Path
|
||||
|
||||
ROOT = Path(r"__ROOT__")
|
||||
PORT = __PORT__
|
||||
BASE = f"http://127.0.0.1:{PORT}"
|
||||
UA = {"User-Agent": "LanRemote/1.8.2"}
|
||||
KEY = "gap-key"
|
||||
|
||||
work = Path(tempfile.mkdtemp(prefix="gap_"))
|
||||
data = work / "d"; data.mkdir(parents=True, exist_ok=True)
|
||||
env = dict(os.environ)
|
||||
env.update({"RELAY_PORT": str(PORT), "RELAY_BIND": "127.0.0.1",
|
||||
"RELAY_DATA": str(data), "RELAY_DEVICE_TTL": "3600",
|
||||
"RELAY_ADMIN_KEY": KEY, "RELAY_POLL": "2",
|
||||
"PYTHONIOENCODING": "utf-8", "PYTHONUNBUFFERED": "1"})
|
||||
p = subprocess.Popen([sys.executable, "-u", str(ROOT / "relay" / "relay.py")],
|
||||
env=env, stdout=subprocess.DEVNULL, stderr=subprocess.DEVNULL)
|
||||
try:
|
||||
for _ in range(60):
|
||||
time.sleep(0.5)
|
||||
try:
|
||||
urllib.request.urlopen(BASE + "/v1/health", timeout=3).read(); break
|
||||
except Exception: pass
|
||||
|
||||
def reg(dev, code, name="家里的电脑"):
|
||||
body = json.dumps({"deviceId": dev, "code": code, "name": name,
|
||||
"version": "1.8.2"}).encode()
|
||||
r = urllib.request.Request(BASE + "/v1/agent/register", data=body,
|
||||
method="POST", headers={**UA, "Content-Type": "application/json"})
|
||||
try:
|
||||
with urllib.request.urlopen(r, timeout=10) as resp:
|
||||
return json.loads(resp.read().decode("utf-8"))
|
||||
except urllib.error.HTTPError as e:
|
||||
try: return json.loads(e.read().decode("utf-8"))
|
||||
except Exception: return {"ok": False}
|
||||
|
||||
def admin(path, payload):
|
||||
body = json.dumps(payload).encode()
|
||||
r = urllib.request.Request(BASE + path, data=body, method="POST",
|
||||
headers={**UA, "X-Admin": KEY, "Content-Type": "application/json"})
|
||||
try:
|
||||
with urllib.request.urlopen(r, timeout=15) as resp:
|
||||
return json.loads(resp.read().decode("utf-8"))
|
||||
except urllib.error.HTTPError as e:
|
||||
try: return json.loads(e.read().decode("utf-8"))
|
||||
except Exception: return {}
|
||||
|
||||
dev, codeA, codeB = "pc-GAP-TEST", "111222", "333444"
|
||||
steps = {}
|
||||
steps["1_初始注册"] = reg(dev, codeA).get("ok")
|
||||
steps["2_管理员改成新码"] = admin("/v1/admin/set_code",
|
||||
{"deviceId": dev, "code": codeB}).get("ok")
|
||||
steps["3_关掉允许新设备"] = admin("/v1/admin/allow_new",
|
||||
{"allow": False}).get("allowNew") is False
|
||||
# ⚠ 关键：设备**自己配置里还是旧码**（它不知道管理员在服务端改了码），
|
||||
# 所以它重连时报的仍然是 codeA。
|
||||
# 这才是两个判断依据真正分岔的地方：
|
||||
# device_id in self.devices -> True（设备在册）-> 放行
|
||||
# codeA in self.codes -> False（codes 里只有 B）-> 被挡
|
||||
r = reg(dev, codeA)
|
||||
steps["4_带旧码重连"] = r.get("ok") is True
|
||||
steps["__detail__"] = r
|
||||
print(json.dumps(steps, ensure_ascii=False))
|
||||
finally:
|
||||
p.terminate()
|
||||
try: p.wait(timeout=10)
|
||||
except Exception: p.kill()
|
||||
'''
|
||||
|
||||
|
||||
def run_on(relay_src: str, port: int) -> dict:
|
||||
tmp = Path(tempfile.mkdtemp(prefix="gaprun_"))
|
||||
try:
|
||||
shutil.copytree(ROOT / "relay", tmp / "relay")
|
||||
(tmp / "relay" / "relay.py").write_text(relay_src, encoding="utf-8",
|
||||
newline="\n")
|
||||
driver = DRIVER.replace("__ROOT__", str(tmp)).replace(
|
||||
"__PORT__", str(port))
|
||||
f = tmp / "driver.py"
|
||||
f.write_text(driver, encoding="utf-8", newline="\n")
|
||||
proc = subprocess.run([sys.executable, "-u", str(f)],
|
||||
capture_output=True, text=True,
|
||||
encoding="utf-8", errors="replace", timeout=300)
|
||||
for line in reversed((proc.stdout or "").splitlines()):
|
||||
line = line.strip()
|
||||
if line.startswith("{"):
|
||||
return json.loads(line)
|
||||
return {"__error__": (proc.stdout or "")[-400:]
|
||||
+ (proc.stderr or "")[-400:]}
|
||||
finally:
|
||||
shutil.rmtree(tmp, ignore_errors=True)
|
||||
|
||||
|
||||
def main() -> int:
|
||||
orig = (ROOT / "relay" / "relay.py").read_text(encoding="utf-8")
|
||||
anchor = "known_device = device_id in self.devices"
|
||||
if anchor not in orig:
|
||||
print(" ✗ 找不到锚点，实现可能已改")
|
||||
return 1
|
||||
mutated = orig.replace(anchor, "known_device = code in self.codes", 1)
|
||||
|
||||
print("═══ 用例：注册 -> 管理员改码 -> 关掉开关 -> 设备带新码重连 ═══")
|
||||
print()
|
||||
print(" ── 原版实现 ──")
|
||||
a = run_on(orig, 8151)
|
||||
for k, v in a.items():
|
||||
if k != "__detail__":
|
||||
print(f" {k}: {v}")
|
||||
if "__error__" in a:
|
||||
print(" 错误: " + a["__error__"])
|
||||
|
||||
print()
|
||||
print(" ── 注入变异 A（known_device 按配对码判断）──")
|
||||
b = run_on(mutated, 8152)
|
||||
for k, v in b.items():
|
||||
if k != "__detail__":
|
||||
print(f" {k}: {v}")
|
||||
if "__error__" in b:
|
||||
print(" 错误: " + b["__error__"])
|
||||
|
||||
print()
|
||||
print("=" * 62)
|
||||
ok_a = a.get("4_带旧码重连") is True
|
||||
ok_b = b.get("4_带旧码重连") is True
|
||||
print(f" 原版「带旧码重连」: {'成功' if ok_a else '失败'}")
|
||||
print(f" 变异「带旧码重连」: {'成功' if ok_b else '失败'}")
|
||||
print()
|
||||
if ok_a and not ok_b:
|
||||
print(" ✅ 结论：变异确实造成真实功能退化（原版成功、变异失败），")
|
||||
print(" 而现有 test_admin_device_control.py 的 23 项**全部通过**。")
|
||||
print(" 说明它的注释描述了规则，但没有覆盖规则真正会失效的路径：")
|
||||
print(" 「管理员改过码 + 设备仍报旧码 + 开关已关」这三件事同时发生。")
|
||||
return 0
|
||||
if ok_a and ok_b:
|
||||
print(" ⚠ 两版都成功 —— 这个场景下变异仍不产生差异。")
|
||||
return 0
|
||||
print(" ⚠ 原版就失败了 —— 这个组合场景在原实现下也不成立，")
|
||||
print(" 需要重新审视（可能是我的用例构造有误）。")
|
||||
return 0
|
||||
|
||||
|
||||
if __name__ == "__main__":
|
||||
sys.exit(main())
|
||||
Reference in New Issue
Block a user