Skip to content
Snippets Groups Projects
user avatar
Florian Fischer authored
Each worker thread has it own stringstream per ShardedFileBuffer.
All streams are joined and flushed to the file when a ShardedFileBuffer
is destructed.

Flushing a ShardedFileBuffer is not thread-safe and must not be called
concurrently to any modifications to the ShardedFileBuffer.

Use a ShardedFileBuffer to accumulate and print all paths during fsearch.
2531492e
History
Name Last commit Last update