Die Pufferung des Moduls Streams

Auf Wunsch unterstützt das Modul Streams eine Pufferung, die sehr deutliche Effizienzgewinne bringen kann. Folgende Pufferungs-Modi werden unterstützt:

Streams.nobuf keine Pufferung

Streams.onebuf genau ein Puffer (8 Kilobyte)

Streams.linebuf nur eine Zeile wird gepuffert

Streams.bufpool viele Puffer

Wenn Streams.stdin und/oder Streams.stdout mit einem Terminal unter UNIX verbunden sind, werden sie zeilenweise gepuffert. Das bedeutet, dass Ausgaben erst nach der Ausgabe des Zeilentrenners (z.B. durch Write.Ln) zu sehen sind. Wenn allerdings beide mit einem Terminal verbunden sind, führt auch eine Einlese-Operation zu einer Leerung des Ausgabe-Puffers.

Bei Dateiverbindungen ist Streams.onebuf sinnvoll. Bei vielfachen Zugriff unter verschiedenen Positionen (typisch für Datenbanken) kann auch Streams.bufpool geeignet sein.

Mit der Operation Streams.Flush kann jeweils ein Ausgabe-Puffer geleert werden.