# 
# drop-peer.dml
#
# Two ASes, each with one BGP-speaking router.  The Keep Alive Timer Interval
# for one BGP speaker is much longer than for the other, so that the
# one with the shorter intervals won't receive KeepAlive messages often
# enough and will think no peer exists, thus dropping the connection.
# (There is also one host in each AS used solely to force realistic IP
# address allocation.)
#
#        router          router
# 
#        0:0(0) }------{ 1:0(0)
#

_schema [ _find .schemas.Net ]

Net [  # the all-encompassing Net
  
  frequency 1000000   # microsecond simulation frequency

  bgpoptions [
    show_id_data        true  # show AS number and prefix for each BGP router
    show_rcv_update     true  # show when Update msgs are rcvd
    show_snd_update     true  # show when Update msgs are sent
    show_rcv_ka         true  # show when KeepAlive msgs are rcvd
    show_snd_ka         true  # show when KeepAlive msgs are sent
    show_rcv_notif      true  # show when Notification msgs are rcvd
    show_snd_notif      true  # show when Notification msgs are sent
    show_set_ka         true  # show when KeepAlive Timers are set
    show_ka_exp         true  # show when KeepAlive Timers expire
    show_set_hold       true  # show when Hold Timers are set
    show_hold_exp       true  # show when Hold Timers expire
  ]

  Net [
    id 0
    AS_status boundary
    router [
      id 0
      graph [
        ProtocolSession [
          name bgp
          use  SSF.OS.BGP4.BGPSession
          hold_timer_interval  90  # default Hold Timer Interval value
          keep_alive_interval  30  # default Keep Alive Timer Interval value
        ]
        ProtocolSession [ name socket use SSF.OS.Socket.socketMaster ]
        ProtocolSession [ name tcp    use SSF.OS.TCP.tcpSessionMaster ]
        ProtocolSession [ name ip     use SSF.OS.IP ]
      ]
      interface [ idrange [ from 0 to 1 ] ]
    ]
    host [ id 101 _extends .basic_host ]
    link [ attach 0(1) attach 101(0) delay 0.001 ] # attach router to host
  ]

  Net [
    id 1
    AS_status boundary
    router [
      id 0
      graph [
        ProtocolSession [
          name bgp
          use  SSF.OS.BGP4.BGPSession
          hold_timer_interval  90  # default Hold Timer Interval value
          keep_alive_interval 100  # very badly chosen value
        ]
        ProtocolSession [ name socket use SSF.OS.Socket.socketMaster ]
        ProtocolSession [ name tcp    use SSF.OS.TCP.tcpSessionMaster ]
        ProtocolSession [ name ip     use SSF.OS.IP ]
      ]
      interface [ idrange [ from 0 to 1 ] ]
    ]
    host [ id 101 _extends .basic_host ]
    link [ attach 0(1) attach 101(0) delay 0.001 ] # attach router to host
  ]

  link [ attach 0:0(0) attach 1:0(0) ]

] # end of all-encompassing Net