Transcript SDL: Extended FSM

SDL:
Extended FSM
범례
seq = 0
Wait for call
rdt_send(data)
sndpkt = make_pkt(seq, data)
udt_send(sndpkt)
start_timer()
state
Wait for ACK
rdt_rcv(rcvpkt)
event
condition
no
action
not corrupt(rcvpkt) &&
isACK(rcvpkt, seq)
?
timeout
udt_send(sndpkt)
start_timer()
yes
stop_timer()
seq = (seq+1) mod 2
Wait for call
Transport Layer
3-1
Event triggers actions !
rdt_send
data
data
deliver_data
sender
timeout
receiver
udt_send
udt_send
packet
rdt_rcv
event
action (call)
data
Lower layer
rdt_rcv