問題タブ [stp]

ループのあるトポロジーの SDN ネットワークで OpenFlow 1.3 プロトコルを使用してパケットを送信する方法を探しています。私が選んだコントローラーはRyuです。ARP パケットをキャッチしているホストを特定し、フラッドストームを回避するためにSTPを使用しています。

私の問題は、ルーティング アルゴリズムによって計算されたパスに、STP によってブロック/無効化されたポートが含まれている場合、接続を確立できない (ホストが互いに ping を実行できない) ことです。

熟考した後、ルーティング パス上にある無効化/ブロックされたポートを「アクティブ化」する必要があるという結論に達しました。しかし、私はそれを行う方法を見つけることができません..

では、問題は次のとおりです。どうすれば解決策を達成できますか? Ryuのポートを「アクティブ化」する方法はありますか? または、私の解決策が達成できない場合、この問題を解決するために使用できる他の方法はありますか?

mininetでは、 LinuxBridgefrommininet.nodelib.LinuxBridgeの代わりにfrom を使用してトポロジを構築していOVSKernelSwitchます。

コマンドラインから s1 の stp を有効にするには、次のようにします。

s1CLI ではなく Python スクリプトの記述から直接ブリッジの STP を有効にする方法。

たとえば、OVSKernelSwitch では次のように記述します。

stp がネットワーク トポロジのループを解消できるようにします。

brctl stp enableスクリプトは何ですか？私は試してみました：

ただし、stp を有効にすることはできません。

RSTPを理解するのにいくつか問題があります。IEEE Std 802.1D™-2004を読みましたが、いくつか質問があります。17.3では、次のメモが表示されます。各エッジ ポートは、ループに参加する可能性がないため、 Forwarding Port Stateに直接移行します。

しかし、ステート マシン スキームでは見当たりません。

17.30 Port State Transition ステート マシンには、 Discarding 状態からForwarding状態への直接的な移行方法がありません。

および17.29.3 Designated Port statesでは、 Edge portに対してこの動作は見られません。true operEdgeを持つポートは、最初にDESIGNATED_LEARNに移動し、次に DESIGNATED_FORWARDに移動します。

この瞬間を理解するのを手伝ってもらえますか?

私はシンボリック変数のセットを持っています:

いくつかの公理によって制約される一連の未知の関数:

ここで関数f1、f2、f3は不明ですが、修正されています。したがって、それは の理論ではありませんuninterpreted functions。

次の主張の妥当性を証明したい:

上記の公理的等式に基づく置換を使用します。

関数の解釈を考え出すのではなく、提供された等式のみを使用して答えを結合しようとするような定理の理論はありますか?

もしそうなら、その理論の名前は何ですか? また、どの SMT ソルバーがそれをサポートしていますか?

線形算術のような他の理論と混合できますか?

STP BPDU は、プロトコル ID フィールドとバージョン ID で始まります。バージョンが STP のタイプであることは理解しています。0 は STP、
2 は RSTP
、3 は MSTP を表します。
では、protocol id フィールドは何のために必要なのでしょうか? 0にならないのはいつ？