Saturday 27 May 2017

Does the C++ standard mandate poor performance for iostreams, or am I just dealing with a poor implementation?

Every time I mention slow performance of C++ standard library iostreams, I get met with a wave of disbelief. Yet I have profiler results showing large amounts of time spent in iostream library code (full compiler optimizations), and switching from iostreams to OS-specific I/O APIs and custom buffer management does give an order of magnitude improvement.



What extra work is the C++ standard library doing, is it required by the standard, and is it useful in practice? Or do some compilers provide implementations of iostreams that are competitive with manual buffer management?



Benchmarks



To get matters moving, I've written a couple of short programs to exercise the iostreams internal buffering:






Note that the ostringstream and stringbuf versions run fewer iterations because they are so much slower.



On ideone, the ostringstream is about 3 times slower than std:copy + back_inserter + std::vector, and about 15 times slower than memcpy into a raw buffer. This feels consistent with before-and-after profiling when I switched my real application to custom buffering.



These are all in-memory buffers, so the slowness of iostreams can't be blamed on slow disk I/O, too much flushing, synchronization with stdio, or any of the other things people use to excuse observed slowness of the C++ standard library iostream.



It would be nice to see benchmarks on other systems and commentary on things common implementations do (such as gcc's libc++, Visual C++, Intel C++) and how much of the overhead is mandated by the standard.




Rationale for this test



A number of people have correctly pointed out that iostreams are more commonly used for formatted output. However, they are also the only modern API provided by the C++ standard for binary file access. But the real reason for doing performance tests on the internal buffering applies to the typical formatted I/O: if iostreams can't keep the disk controller supplied with raw data, how can they possibly keep up when they are responsible for formatting as well?



Benchmark Timing



All these are per iteration of the outer (k) loop.



On ideone (gcc-4.3.4, unknown OS and hardware):





  • ostringstream: 53 milliseconds

  • stringbuf: 27 ms

  • vector and back_inserter: 17.6 ms

  • vector with ordinary iterator: 10.6 ms

  • vector iterator and bounds check: 11.4 ms

  • char[]: 3.7 ms




On my laptop (Visual C++ 2010 x86, cl /Ox /EHsc, Windows 7 Ultimate 64-bit, Intel Core i7, 8 GB RAM):




  • ostringstream: 73.4 milliseconds, 71.6 ms

  • stringbuf: 21.7 ms, 21.3 ms

  • vector and back_inserter: 34.6 ms, 34.4 ms

  • vector with ordinary iterator: 1.10 ms, 1.04 ms

  • vector iterator and bounds check: 1.11 ms, 0.87 ms, 1.12 ms, 0.89 ms, 1.02 ms, 1.14 ms

  • char[]: 1.48 ms, 1.57 ms




Visual C++ 2010 x86, with Profile-Guided Optimization cl /Ox /EHsc /GL /c, link /ltcg:pgi, run, link /ltcg:pgo, measure:




  • ostringstream: 61.2 ms, 60.5 ms

  • vector with ordinary iterator: 1.04 ms, 1.03 ms



Same laptop, same OS, using cygwin gcc 4.3.4 g++ -O3:





  • ostringstream: 62.7 ms, 60.5 ms

  • stringbuf: 44.4 ms, 44.5 ms

  • vector and back_inserter: 13.5 ms, 13.6 ms

  • vector with ordinary iterator: 4.1 ms, 3.9 ms

  • vector iterator and bounds check: 4.0 ms, 4.0 ms

  • char[]: 3.57 ms, 3.75 ms



Same laptop, Visual C++ 2008 SP1, cl /Ox /EHsc:





  • ostringstream: 88.7 ms, 87.6 ms

  • stringbuf: 23.3 ms, 23.4 ms

  • vector and back_inserter: 26.1 ms, 24.5 ms

  • vector with ordinary iterator: 3.13 ms, 2.48 ms

  • vector iterator and bounds check: 2.97 ms, 2.53 ms

  • char[]: 1.52 ms, 1.25 ms




Same laptop, Visual C++ 2010 64-bit compiler:




  • ostringstream: 48.6 ms, 45.0 ms

  • stringbuf: 16.2 ms, 16.0 ms

  • vector and back_inserter: 26.3 ms, 26.5 ms

  • vector with ordinary iterator: 0.87 ms, 0.89 ms

  • vector iterator and bounds check: 0.99 ms, 0.99 ms

  • char[]: 1.25 ms, 1.24 ms




EDIT: Ran all twice to see how consistent the results were. Pretty consistent IMO.



NOTE: On my laptop, since I can spare more CPU time than ideone allows, I set the number of iterations to 1000 for all methods. This means that ostringstream and vector reallocation, which takes place only on the first pass, should have little impact on the final results.



EDIT: Oops, found a bug in the vector-with-ordinary-iterator, the iterator wasn't being advanced and therefore there were too many cache hits. I was wondering how vector was outperforming char[]. It didn't make much difference though, vector is still faster than char[] under VC++ 2010.



Conclusions



Buffering of output streams requires three steps each time data is appended:





  • Check that the incoming block fits the available buffer space.

  • Copy the incoming block.

  • Update the end-of-data pointer.



The latest code snippet I posted, "vector simple iterator plus bounds check" not only does this, it also allocates additional space and moves the existing data when the incoming block doesn't fit. As Clifford pointed out, buffering in a file I/O class wouldn't have to do that, it would just flush the current buffer and reuse it. So this should be an upper bound on the cost of buffering output. And it's exactly what is needed to make a working in-memory buffer.



So why is stringbuf 2.5x slower on ideone, and at least 10 times slower when I test it? It isn't being used polymorphically in this simple micro-benchmark, so that doesn't explain it.

No comments:

Post a Comment

c++ - Does curly brackets matter for empty constructor?

Those brackets declare an empty, inline constructor. In that case, with them, the constructor does exist, it merely does nothing more than t...