Half-Buffer
Handshaking
CE-653 - Handshake Channel
Design
21
}Handshaking constraint that leads to a
half-buffer
}Output channel must be acknowledged (e.g.,
c2ack+)
}indicating that the output
token (e.g., on channel c2) has been consumed (and
thus is in the subsequent channel (e.g., in channel
c3))
}Before the reset phases of
the input channel is complete (e.g., before c1ack-)
which is before
}A new token on the input channel (e.g., c1) can be generated.
Handshaking assuming very slow
Bit Bucket