bug in gmp_fprintf?

[Torbjörn Granlund]

nisse at lysator.liu.se (Niels Möller) writes:

  > I don't think we need to lock the stream.
  
  I guess it's still good practice to do. But probably less important for input
  streams than output streams; multiple threads reading from the same
  stream is unlikely to work well anyway.
  
I understand stdio locking poorly.

I understand that if several threads read from the same stream, some
sort of synchronisation will be required for things to stay sane.

If we're to lock the input stream here, it could stay locked for
minutes.  That might perhaps be bad.

-- 
Torbjörn
Please encrypt, key id 0xC8601622