问题标签 [stp]

我正在为 .stp/.step 文件寻找某种规范、文档、解释等。更多的是关于每行包含哪些信息，而不是一般信息。

我似乎无法自己弄清楚每个值的含义。有谁知道一些关于 STEP 文件的好读物？

我已经搜索了谷歌，但我得到的只是关于一般结构的信息，而不是每个特定值。

我正在寻找在带有环路的拓扑中使用 SDN 网络中的 OpenFlow 1.3 协议发送数据包的方法。我选择的控制器是 Ryu。为了识别我正在捕获 ARP 数据包的主机并避免洪水风暴，我正在使用STP。

我的问题是，当我的路由算法计算的路径包含被 STP 阻止/禁用的端口时，连接无法完成（主机无法相互 ping 通）。

经过思考后，我得出一个结论，即我需要“激活”我的路由路径上的禁用/阻塞端口。但我找不到任何方法来做到这一点..

所以现在的问题是：我怎样才能实现我的解决方案？有没有办法“激活” Ryu 中的端口？或者，如果我的解决方案无法实现，还有其他方法可以用来解决这个问题吗？

在 mininet 中，我正在使用LinuxBridgefrom mininet.nodelib.LinuxBridge) 而不是OVSKernelSwitch.

我们可以通过命令行启用 s1 的 stp

如何s1直接通过编写 python 脚本而不是 CLI 来启用网桥的 STP。

例如，在 OVSKernelSwitch 中，我们编写：

使 stp 能够打破网络拓扑中的环路。

brctl stp enable脚本是什么？我尝试过：

但它无法启用stp。

在给定的拓扑中，只有 s3 和 s4 是 OFSwitches 和其他 Non-OF 交换机。对于非 OF 交换机，我在超类 Switch 下创建了 L2_switch 子类，类似于启用了 stp 的 LinuxBridge(nodelib.py)。

这里只有 h2 和 h4 能够相互 ping 通。其他主机无法ping通。为什么？

但是把 s2 和 s5 改成 OF-Switch 所有的主机都可以互相 ping 通。为什么？

这是我的代码：

我有一些理解 RSTP 的问题。我阅读了IEEE Std 802.1D™-2004并有一些问题。在17.3中，我看到了以下注释：每个Edge Port都直接转换为Forwarding Port State，因为它不可能参与循环。

但我在状态机方案中看不到它。

17.30 端口状态转换状态机在没有学习状态的情况下没有直接的方式从丢弃状态转换到转发状态。

在17.29.3 指定端口状态中，我看不到Edge port的这种行为。具有真正operEdge的端口首先转到DESIGNATED_LEARN，然后转到 DESIGNATED_FORWARD。

你能帮我理解这些时刻吗？

我想将我的项目从 SpaceClaim2014 导出到 STEP 文件，但我不知道如何 - 我尝试简单地将文件另存为，但没有选项将文件另存为 .step 或 .stp 文件，当我尝试将 .step 放入文件名时导致输出文件如 myproject.step.scdoc 或其他时间 myproject.step.jpg，我无法将具有 3D 几何图形的项目导出到其他 CAD 解决方案，但我 SpaceClaim 对我来说还不够，我转移到另一个程序不想错过我花费大量工作的复杂而大的项目。

我有一组符号变量：

一组未知函数，受许多公理约束：

这里的函数f1, f2,f3是未知的，但是是固定的。所以它不是一个理论uninterpreted functions。

我想证明以下断言的有效性：

使用基于上述公理等式的替换。

对于这样的定理，是否有一种理论只会使用提供的等式来尝试组合答案，而不是对函数进行解释？

如果是这样，该理论的名称是什么，什么 SMT 求解器支持它？

它可以与其他理论混合，比如线性算术吗？

STP BPDU 以协议 id 字段和版本 id 开头。我知道版本是STP的类型：0代表STP，
2代表RSTP
，3代表MSTP。
那么我们真正需要协议 id 字段是为了什么？什么时候不为0？

在 STP 中，我们有 MAX 年龄计时器。它告诉我们在假定根网桥或链路已死之前等待上级 BPDU（在根或阻塞端口上）多长时间。给定那个计时器，为什么每个网桥也必须知道 Hello 计时器？他们如何从中受益？

我正在尝试使用 SCAPY 实现生成树协议、快速生成树协议和多生成树协议。有人可以发布代码来实现相同的。