This kind of stream has two octet buffers, and they do not interact with each other. Terminals and sockets are dual-channel streams.
A dual-channel stream has two buffers, one for the input direction and one for the output direction. Reads will grab data from the input buffer until empty, when device-read is called to fill it up again. Writes place data into the output-buffer until it is full, at which time device-write is called to empty it again.
The documentation is described in introduction.htm and the index is in index.htm.
Copyright (c) 1998-2000, Franz Inc. Berkeley, CA., USA. All rights reserved.
Created 2000.10.5.