Linux systemd-analyze verify 报依赖循环时怎么定位涉及的 unit

遇到 systemd-analyze verify 报依赖循环时，先不要急着删掉某个 After=。更稳妥的顺序是：确认 verify 实际加载了哪些 unit，把“拉起关系”和“启动排序”分开，再用依赖图定位闭环。这样能避免把正常的 Wants= 误判成排序错误。

官方地址：https://www.freedesktop.org/software/systemd/man/latest/systemd-analyze.html

先确认 systemd-analyze verify 检查了哪些 unit

verify 的输入可以是一个或多个 unit 文件。它会读取指定文件，同时加载这些文件引用到的其他 unit，并对未知段、未知指令、缺少依赖等问题给出警告。因此，命令行只写一个入口文件，并不代表检查范围只有这一个文件。

# 从入口 unit 开始检查，并把被引用的 unit 一并纳入加载范围
systemd-analyze verify ./alpha.service ./beta.service

# 查看当前 systemd 可能搜索 unit、drop-in 和 wants/requires 链接的目录
systemd-analyze unit-paths

# 离线目录有独立根路径时，避免把宿主机的 unit 混进判断
systemd-analyze --root=/srv/test-root verify /etc/systemd/system/alpha.service

如果结果里出现“找不到某个 unit”，先核对文件名、别名和搜索路径；如果出现未知指令，则先回到对应 unit 的段落检查拼写。此时还不能把它们统称为“依赖循环”。

把依赖循环拆成排序边和需求边

systemd 的依赖关系至少要按两个维度阅读。Requires= 和 Wants= 表示一个 unit 激活时需要或希望拉起另一个 unit；After= 和 Before= 只表示启动、停止的先后约束。官方文档明确说明，需求依赖不会自动带来排序关系。

例如，下面的最小示例同时写入了需求和排序关系。代码块中的注释只解释每个关系的含义，不代表这就是实际机器上的配置。

# alpha.service：需要 beta，并要求 beta 先完成启动
[Unit]
Description=Alpha demo service
Requires=beta.service
After=beta.service

# beta.service：反向要求 alpha 先启动，形成排序闭环
[Unit]
Description=Beta demo service
Requires=alpha.service
After=alpha.service

这里真正闭合的是 After= 排序边：alpha 等 beta，beta 又等 alpha。Requires= 会影响事务中的拉起与失败传播，但不能单独证明存在排序循环。

用 dot 图缩小涉及的 unit 范围

当告警链较长时，可以先输出指定 unit 相关的依赖图，再分别观察排序边和需求边。输出是静态关系描述，重点是找到闭环中的节点，不是把图当作执行时间线。

# 同时查看指定 unit 相关的需求和排序关系
systemd-analyze dot 'alpha.service' 'beta.service'

# 只保留 After/Before，优先寻找 ordering cycle 的闭环
systemd-analyze dot --order 'alpha.service' 'beta.service'

# 只保留 Requires、Requisite、Wants 和 Conflicts 等需求关系
systemd-analyze dot --require 'alpha.service' 'beta.service'

排查时可以做一张很小的关系表：

修改后只做同范围复查

找到闭环后，先改动造成闭环的那一条排序关系，再用原来的入口和同一组依赖重新检查。不要一上来执行全机范围的重载，把新告警和原问题混在一起。

# 修改 unit 文件后，先用同一组入口复查语法和引用关系
systemd-analyze verify ./alpha.service ./beta.service

# 复查排序关系仍然存在时，再重新输出最小关系图
systemd-analyze dot --order 'alpha.service' 'beta.service'

如果 verify 不再报告循环，但出现新的“找不到 unit”或未知指令，说明修复动作引入了另一类配置问题，应单独处理。验证目标是“原循环消失且没有新增加载错误”，不是让输出完全没有任何提示。

相关问题

Requires= 和 After= 可以只写一个吗？

可以，但语义不同。只写 Requires= 不保证启动顺序；只写 After= 也不会自动拉起对方。需要同时表达“拉起”和“先后”时才组合使用。

为什么 verify 只写一个文件却提示另一个 unit？

因为 verify 会加载命令行文件引用的其他 unit。应沿着告警中的 unit 名称检查搜索路径、别名和 drop-in，而不是把提示当成无关噪声。

看到 Wants= 就说明有循环吗？

不说明。Wants= 是需求关系，循环通常要结合 After/Before 的方向一起判断；用 dot --order 单独查看排序边更容易定位。