如果两个序列同时出现在同一个文件中，则节点将两者都视为分隔符。
If both appear in the same file then the node treats both as delimiters.
在任何的时间 t，如果 t > T(n)，则节点 n 具有供应资格。
At any time t, a node n is eligible for provisioning if t > T(n).
如果文件以分隔符开始，则节点将该分隔符之前的(零长度)文件内容视为一个记录，并向流传播一个空记录。
If the file begins with a delimiter, the node treats the (zero length) file contents preceding that delimiter as a record and propagates an empty record to the flow.
应用推荐