on a normal unix-like OS, if you write to a pipe more than can be appended to its internal buffer, your write block until the other end of the pipe reads out the data. This provides a good system that avoid unbounded buffer growth in the kernel -- we should implement the same thing. We currently already have logic for having reads from a pipe block, this should be somewhat symmetric with that
on a normal unix-like OS, if you write to a pipe more than can be appended to its internal buffer, your write block until the other end of the pipe reads out the data. This provides a good system that avoid unbounded buffer growth in the kernel -- we should implement the same thing. We currently already have logic for having
read
s from a pipe block, this should be somewhat symmetric with that