Rfc0689
TitleTenex NCP finite state machine for connections
AuthorR. Clements
DateMay 1975
Format:TXT, HTML
Status:UNKNOWN

Request for Comments: 689                                              May 1975
NIC #32656






             TENEX NCP Finite State Machine for connections
                        TENEX Memo Number 155









TENEX NCP Finite State Machine for Connections                           Page 2



The components of a finite state machine (FSM) are States,
Events, and Actions. These are listed below:

States Events Actions

01 CLZD 00 RRFC 00 ANOP
02 PNDO 01 CLSR 01 AFNY
03 LSNG 02 CLSS 02 ACLS
04 RFCR 03 CLZR 03 ARFC
05 CLW1 04 CLZS 04 AOPB
06 RFCS 05 ACPT 05 AOPL
07 OPND 06 CONN 06 ACLL
10 CLSW 07 LISN 07 ACLO
11 DATW 10 RRFN 10 AEOR
12 RFN1 11 TIME 11 AEOS
13 CLZW 12 RRFB 12 AES1
16 FREE 13 AABT
14 ACKA

Note that there are two kinds of "close" events and actions: a close
at the JSYS level (CLOSF) and one at the host-to-host protocol level
(CLS). The names in the above list contain "CLS" if they are
concerned with host-to-host CLS, and CLZ if the are concerned with
CLOSF.

Each state will be briefly described below, along with events
which may occur while a connection is in that state, and actions which
are taken as the state is advanced.

A few overall notes: Actions are shown on the state diagram
following a "/''. Any transition without an action shown generates
"ANOP", a null action. The action "AFNY" means a "funny" event (i.e.,
one not expected in this state -- probably a bug) has occurred. The
result of this action is an IMPBUG error printout. Any event NOT
shown on the state diagram causes the state to loop back to itself and
an AFNY to be generated. These are not shown explicitly on the
diagram. Another "funny" event is the execution of an "accept" MTOPR
by the user program when the state is not RFCR. However, an errant
user program can do this, and no IMPBUG should be generated as a
result, so most states show a loop to self with no action (i.e., an
"ANOP") as a result of the ACPT event. The event "TIME" (also called
"HUNG") simply means that the socket has not changed state for a
specified time interval and may need to be prodded along. This time
is currently two minutes, except for connections in error states where
the FSM is stepped faster to clear the connection out.

TENEX NCP Finite State Machine for Connections                           Page 3



to move into the CLZD state.

State 01 - CLZD - Closed
This state is very transitory. Events which cause a socket to be
created also immediately cause a further state change to either PNDG
(if the event was the receipt of an RFC), LSNG if the event was a
Listen JSYS - i.e., an OPENF with a null extension), or RFCS (if the
event was an OPENF with a foreign socket specified). In the latter
case, an RFC is sent to the foreign socket (ARFC).

State 02 - PNDG - Pending
In this state, an RFC has been received, but no local program has
indicated any interest in it. Events which may occur here are:
LISN - a program decides to listen on the socket. Since an RFC has
arrived, the FSM is stepped to the same place it would have been if
the LISN and RRFC had occurred in the other order; namely RFCR.
CONN - a program decides to connect to the foreign socket. This steps
the FSM to OPND and causes the AOPB action (open the link and send the
matching RFC).
TIME - The RFC (which was unsolicited) has sat around for two minutes
without any local program deigning to act upon it. Therefore, to
clear out the tables, it is refused (ACLS - a close is sent) and the
next state is CLSW to await the matching CLS.
CLSR or CLSS - The site who sent the RFC has changed its mind and sent
a CLS, so we send the matching CLS and return the socket to the FREE
state.

State 10 - CLSW - Wait for CLS
This state is entered when no further activity is required on a
connection except the receipt of a CLS from the far end. The CLS has
already been sent to the far end. In some cases, the file system
CLOSF has not been done, so events CLZR and CLZS cause loops into
CLSW. The expected events are CLSR or CLSS, the receipt of the CLS
from the far end of the connection, and these step the connection to
state FREE. Also, if two minutes go by without the CLS, it is assumed
that the required CLS response was lost by the foreign site so TIME
causes the same action.


TENEX NCP Finite State Machine for Connections                           Page 4


State 06 - RFCS - An RFC has been sent.
This state is entered when a program does a Connect (an OPENF with a
specific foreign socket). The RFC has been sent, and the matching RFC
is awaited. If the foreign site refuses the request for connection,
sending a CLS, events CLSR and CLSS cause the matching CLS to be sent
(ACLS) and the socket is stepped to FREE state. If the user program
gives up waiting for the acceptance of the connection (events CLZS or
CLZR), a timeout happens (TIME) or an RFC arrives but has the wrong
byte size (RRFB), the socket is stepped to CLSW and a CLS is sent
(ACLS). In the case of a properly accepted connection (event RRFC),
the link tables are opened (AOPL) and the connection state goes to
OPND.

State 04 - RFCR - An RFC has been received.
This state is reached when a Listen has been done by the user, and an
RFC (with matching byte size) has been received. This state and the
PNDG state make up the queueing mechanism for received RFC's. Queued
RFC's in PNDG state are for sockets which are not listening (although
another connection with the same socket number may have been listening
-- this is just not the first one), so they time out after two
minutes. In RFCR, though, a program has done a listen. Therefore,
timeouts are suppressed to allow the accept to be done (event TIME
loops to RFCR).
If the foreign site tires of waiting for the accept, it may send a CLS
(events CLSR or CLSS) in which case the matching CLS is sent (ACLS)
and the socket moves to state FREE.
Also, while in this state, the program may examine the foreign host
and socket and decide to refuse the connection by doing a CLOSF
(events CLZR and CLZS). This causes a CLS to be sent (action ACLS)
and the socket steps to CLSW to await the matching CLS.
If the program likes the request for connection, it will accept it
with an MTOPR JSYS (event ACPT), causing action AOPB (sending the
matching RFC and opening the link tables), and the socket steps to
state OPND.


TENEX NCP Finite State Machine for Connections                           Page 5


back.
CLZS - The local program closes a connection which has been sending.
The state is stepped to DATW and action AEOS is performed. AEOS
(action end of send) sets a done flag which lower level routines use
to signal the FSM when the last data has been sent and acknowledged by
RFNM.
CLSR - a CLS is received on a receive connection. This is the normal
"end of file" case. Action AEOR (end of receive) occurs and the state
moves to CLZW. AEOR causes the same flags to be set as AEOS, and in
addition (if this connection is hooked to an NVT) causes an NVT DETACH
to be performed.
CLSS - a CLS is received on a send connection, before we (the sending
end) had closed it. Action AESl occurs, which is the same as AEOS
except that messages queued to go out are discarded. The state moves
to RFN2 to await the final RFNM.

State 05 - CLW1 - Close wait sub 1.
This state is the same as CLSW except that a link table entry remains
to be cleared out. A CLS has been sent and we await the matching CLS.
When it arrives, or two minutes go by, the state is stepped to FREE
and action ACLL (close link) is performed.

State 11 - DATW - Final data wait.
This state is NOT the normal waiting for data on an open connection.
It is only during the sending of the last of the data on a send
connection which has been locally closed but which has not yet had all
the data accepted by the far end.
RRFN - Received final RFNM - event is the desired one. When this
occurs, all the data has been sent so we send a CLS (ACLS) and go to
state CLW1 to await the matching CLS.
TIME may also occur. If it does, we pretend we had seen the final
RFNM and act as for RRFN. This timeout may occur either because an
RFNM has been lost by the IMP or the subnet, or because of
unresposiveness on the part of the foreign host. The latter could
occur if the amount of data to be sent when the CLOSF is done exceeds
the available allocation at that time. If the foreign host does not
send allocation, or disagrees with us and thinks allocation is
outstanding, the timeout will free the socket.
CLSS may occur. If so, the far end has not accepted all the data, but
wants to abort the connection. This is treated about as it was when
it occurred from the OPND state, namely AES1 action, but must go to a
different next state, RFN1, to distinguish the fact that a local CLOSF
has already occurred.

TENEX NCP Finite State Machine for Connections                           Page 6


timeout from state DATW above.
While waiting for the RFNM, the local program may try to CLOSF the
connection (CLZR, CLZS). If so, we go to state RFN1 and continue to
await the final RFNM.

State 12 - RFN1 - Final RFNM wait sub 1. In this state, it's all
over but the final RFNM. When it arrives (RRFN) or two minutes go by
(TIME), we close the link tables and send a CLS to the foreign site
(ACLO). Since the CLS has already been received, the connection is
now gone and we step it to FREE.