| 1 |
|
| 2 |
machine_name : "TCP/IP"; |
| 3 |
machine_reference : "http://www.texample.net/tikz/examples/tcp-state-machine/"; |
| 4 |
machine_version : 1.0.0; |
| 5 |
|
| 6 |
machine_author : "John Haugeland <stonecypher@gmail.com>"; |
| 7 |
machine_license : MIT; |
| 8 |
|
| 9 |
jssm_version : >= 5.0.0; |
| 10 |
|
| 11 |
|
| 12 |
|
| 13 |
Closed 'Passive open' -> Listen; |
| 14 |
Closed 'Active Open / SYN' -> SynSent; |
| 15 |
|
| 16 |
Listen 'Close' -> Closed; |
| 17 |
Listen 'Send / SYN' -> SynSent; |
| 18 |
Listen 'SYN / SYN+ACK' -> SynRcvd; |
| 19 |
|
| 20 |
SynSent 'Close' -> Closed; |
| 21 |
SynSent 'SYN / SYN+ACK' -> SynRcvd; |
| 22 |
SynSent 'SYN+ACK / ACK' -> Established; |
| 23 |
|
| 24 |
SynRcvd 'Timeout / RST' -> Closed; |
| 25 |
SynRcvd 'Close / FIN' -> FinWait1; |
| 26 |
SynRcvd 'ACK' -> Established; |
| 27 |
|
| 28 |
Established 'Close / FIN' -> FinWait1; |
| 29 |
Established 'FIN / ACK' -> CloseWait; |
| 30 |
|
| 31 |
FinWait1 'FIN / ACK' -> Closing; // the source diagram has this action wrong |
| 32 |
FinWait1 'FIN+ACK / ACK' -> TimeWait; |
| 33 |
FinWait1 'ACK / Nothing' -> FinWait2; // see http://www.cs.odu.edu/~cs779/spring17/lectures/architecture_files/image009.jpg |
| 34 |
|
| 35 |
FinWait2 'FIN / ACK' -> TimeWait; |
| 36 |
|
| 37 |
Closing 'ACK' -> TimeWait; |
| 38 |
|
| 39 |
TimeWait 'Up to 2*MSL' -> Closed; |
| 40 |
|
| 41 |
CloseWait 'Close / FIN' -> LastAck; |
| 42 |
|
| 43 |
LastAck 'ACK' -> Closed; |
| 44 |
|
| 45 |
|
| 46 |
|
| 47 |
# From https://github.com/StoneCypher/jssm/blob/main/src/machines/linguist/tcp%20ip.fsl |
