命令消息格式

各站点应当确立自己的约定, 即何时发送监控程序命令串, 以及以多大的块发送。在执行例行操作时, 人们可能想把若干命令行作为一条消息发送。如果像平常那样与监控程序打交道, 一个合理的断点可能是每个回车符处。在使用 QED 这类高度交互的语言时, 人们可能认为必须逐字符传输。我们认为每个用户都应能在这三种方法（以及可能更多方法）之间选择。此外, 用户应当能够随意在这些模式之间切换。应当注意上文提到的发送消息命令在语法上的差异。对于第一种, 必须定义一个专用的发送消息命令字符, 并且它不应随消息一起发送。对于第二种, 回车符兼作发送消息命令和命令分隔符。因此它必须随消息一起发送。最后, 逐字符传输及其隐含的发送命令应当不会带来什么大问题。

上述讨论还意味着, 接收方必须能够把上述各类传输缓冲成其自身监控程序接口可接受的形式。

此外, 所有回显都应在本地主机完成, 而外部机器则抑制其回显（如果它能做到）。