summaryrefslogtreecommitdiff
path: root/nchan.ms
diff options
context:
space:
mode:
Diffstat (limited to 'nchan.ms')
-rw-r--r--nchan.ms9
1 files changed, 6 insertions, 3 deletions
diff --git a/nchan.ms b/nchan.ms
index 7b6c1617e..eb49cd3b4 100644
--- a/nchan.ms
+++ b/nchan.ms
@@ -52,6 +52,9 @@ arrow from S3.n to S4.s
52box invis "rcvd OCLOSE/" "-" with .w at last arrow.c 52box invis "rcvd OCLOSE/" "-" with .w at last arrow.c
53ellipse wid .9*ellipsewid ht .9*ellipseht at S4 53ellipse wid .9*ellipsewid ht .9*ellipseht at S4
54arrow "start" "" from S1.w+(-0.5,0) to S1.w 54arrow "start" "" from S1.w+(-0.5,0) to S1.w
55arrow from S2.ne to S4.sw
56box invis "rcvd OCLOSE/ " with .e at last arrow.c
57box invis " send IEOF" with .w at last arrow.c
55.PE 58.PE
56.SH 59.SH
57Channel Output State Diagram 60Channel Output State Diagram
@@ -76,7 +79,7 @@ arrow "start" "" from S1.w+(-0.5,0) to S1.w
76Notes 79Notes
77.PP 80.PP
78The input buffer is filled with data from the socket 81The input buffer is filled with data from the socket
79(the socket represents the local comsumer/producer of the 82(the socket represents the local consumer/producer of the
80forwarded channel). 83forwarded channel).
81The data is then sent over the INPUT-end (transmit-end) of the channel to the 84The data is then sent over the INPUT-end (transmit-end) of the channel to the
82remote peer. 85remote peer.
@@ -85,7 +88,7 @@ saved in the output buffer and written to the socket.
85.PP 88.PP
86If the local protocol instance has forwarded all data on the 89If the local protocol instance has forwarded all data on the
87INPUT-end of the channel, it sends an IEOF message to the peer. 90INPUT-end of the channel, it sends an IEOF message to the peer.
88If the peer receives the IEOF and has comsumed all 91If the peer receives the IEOF and has consumed all
89data he replies with an OCLOSE. 92data he replies with an OCLOSE.
90When the local instance receives the OCLOSE 93When the local instance receives the OCLOSE
91he considers the INPUT-half of the channel closed. 94he considers the INPUT-half of the channel closed.
@@ -94,6 +97,6 @@ The peer has his OUTOUT-half closed.
94A channel can be deallocated by a protocol instance 97A channel can be deallocated by a protocol instance
95if both the INPUT- and the OUTOUT-half on his 98if both the INPUT- and the OUTOUT-half on his
96side of the channel are closed. 99side of the channel are closed.
97Note that when an instance is unable to comsume the 100Note that when an instance is unable to consume the
98received data, he is permitted to send an OCLOSE 101received data, he is permitted to send an OCLOSE
99before the matching IEOF is received. 102before the matching IEOF is received.