526互联

log-2023-03-07

发布时间 2023-03-27 17:06:27作者: 机智蛋

TODO:

  • Tiramisu TPG construction
  1. Layer 2: Ifaces have the same prefix (and in the same vlan area, if any):
    @A-(AB link)-out->@B-(AB link)-in, @A-(* link)-in->@A-(* link)-out
  2. Layer 3 to Layer 2:
    • BGP connection using Iface:
    @A-(BGP peer B)->@A-(AB link)-out
    • BGP connection using OSPF peer:
    @A-(BGP peer B)->@A-(OSPF peer B)
    • OSPF connection based on Layer 2, If OSPF runs on the Ifaces:
    @A-(OSPF peer B)->@A-(AB link)-out
  3. Others:
    • Tainted RAG, if a process P@A is tainted in RAG:
    @A-(* link)-in->@A-P
    • src and dst connection:
    @D-(? link)-in->dst
    src->@S-(tainted P)

【Differences between ARC】:

  1. ARC cannot model "BGP connection using OSPF peer", unless there exists route redistribution from BGP to OSPF

  • MaxSAT on IGP-abstract-graph
    ...

  • vlan
    (1)基于端口划分 VLAN
    • 原理:
    根据以太网交换机的端口编号来划分 VLAN，可以将交换机的单个或多个接口划分
    到某一个 VLAN，这些接口可以不连续，甚至可以位于不同的交换机上:交换机的 Access
    接口只能被划分到一个 VLAN 中，而 Trunk 和 Hybrid 接口可以被划分到多个VLAN中:
    缺省情况下，交换机所有接口都被划分在 VLAN 1 中 。
    当一个数据帧进入交换机时，如果没有带 VLAN 标签，该数据帧就会被打上接口缺省 VLAN
    的标签，然后数据帧将在该缺省 VLAN 中传输。如果数据帧带 VLAN 标签，则比较该 VLAN
    和接口的缺省 VLAN，如果一样则接收，否则丢弃。
    [补充：然后转发到其他端口，那些端口不会再随意广播，因为vlan id不一致会丢弃]

PAPERS:

  • (keep following up Aaron's works)

CODE:

CONFUSIONS:
*

OTHERS: