Jules Bean
Achim Schneider wrote:
You don't come across space-leaks in strict programs often because data is usually allocated statically even if execution is non-strict.
Piping /dev/zero into a program that just sleeps does leak space, though.
It only leaks 8K or whatever size your system buffers pipes until it suspends the writer though... or do I misunderstand your analogy?
I don't think so. I would say that it leaks 8k memory and infinite time. I did not intend the example to be implementation-dependent, but then that kind of proves my point. -- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited.