input and output buffers get out of sync in io streams

[Guillaume LE VAILLANT]

(with-open-file (stream "/tmp/foo"
                        :direction :io
                        :if-exists :overwrite
                        :if-does-not-exist :create)
  (write-string "abc" stream)
  (file-position stream 0)
  (write-char #\x stream)
  (read-char stream))
=> #\a

[Guillaume LE VAILLANT (guillaume-le-vaillant)]

Flushing the output buffer by hand before reading seems to work.

(with-open-file (stream "string.txt"
                        :direction :io
                        :if-exists :overwrite
                        :if-does-not-exist :create)
  (write-string "abc" stream)
  (file-position stream 0)
  (write-char #\d stream)
  (finish-output stream)
  (read-char stream))
=> #\b

Maybe the code for flushing the output buffer before reading in the case of a file stream opened in io mode is missing...

[Guillaume LE VAILLANT (guillaume-le-vaillant)]

The attached patch seems to fix the issue. It adds calls to finish-fd-stream-output in input-wrapper and input-wrapper/variable-width. However, I'm not familiar with the internals of SBCL, so it might not be the best place to put them...

[Stas Boukarev (stassats)]

Flushing on each read will kill performance.