| 292 | | *describe the initial connection setup sequence* |
| | 293 | Here is a diagram illustrating the exchanges and states to initiate |
| | 294 | a connection. The c.* refers to a state in the socket itself, pkt.* |
| | 295 | refers to a field in the packet header. |
| | 296 | |
| | 297 | :: |
| | 298 | |
| | 299 | initiating endpoint accepting endpoint |
| | 300 | |
| | 301 | | c.state = CS_SYN_SENT | |
| | 302 | | c.seq_nr = 1 | |
| | 303 | | c.conn_id_recv = rand() | |
| | 304 | | c.conn_id_send = c.conn_id_recv + 1 | |
| | 305 | | | |
| | 306 | | | |
| | 307 | | ST_SYN | |
| | 308 | | seq_nr=c.seq_nr++ | |
| | 309 | | ack_nr=* | |
| | 310 | | conn_id=c.rcv_conn_id | |
| | 311 | | >-------------------------------------------> | |
| | 312 | | c.receive_conn_id = pkt.conn_id+1 | |
| | 313 | | c.send_conn_id = pkt.conn_id | |
| | 314 | | c.seq_nr = rand() | |
| | 315 | | c.ack_nr = pkt.seq_nr | |
| | 316 | | c.state = CS_CONNECTED | |
| | 317 | | | |
| | 318 | | | |
| | 319 | | | |
| | 320 | | | |
| | 321 | | ST_STATE | |
| | 322 | | seq_nr=c.seq_nr++ | |
| | 323 | | ack_nr=c.ack_nr | |
| | 324 | | conn_id=c.send_conn_id | |
| | 325 | | <------------------------------------------< | |
| | 326 | | c.state = CS_CONNECTED | |
| | 327 | | c.ack_nr = pkt.seq_nr | |
| | 328 | | | |
| | 329 | | | connection established |
| | 330 | .. ..|.. .. .. .. .. .. .. .. .. .. .. .. .. .. .. ..|.. .. |
| | 331 | | | |
| | 332 | | | |
| | 333 | | ST_DATA | |
| | 334 | | seq_nr=c.seq_nr++ | |
| | 335 | | ack_nr=c.ack_nr | |
| | 336 | | conn_id=c.conn_id_send | |
| | 337 | | >-------------------------------------------> | |
| | 338 | | c.ack_nr = pkt.seq_nr | |
| | 339 | | | |
| | 340 | | | |
| | 341 | | | |
| | 342 | | ST_DATA | |
| | 343 | | seq_nr=c.seq_nr++ | |
| | 344 | | ack_nr=c.ack_nr | |
| | 345 | | conn_id=c.send_conn_id | |
| | 346 | | <------------------------------------------< | |
| | 347 | | c.ack_nr = pkt.seq_nr | |
| | 348 | | | |
| | 349 | | | |
| | 350 | V V |
| | 351 | |