Skip to content
Snippets Groups Projects
  1. Feb 23, 2022
  2. Feb 22, 2022
    • Florian Fischer's avatar
      implement a sharded file buffer · 2531492e
      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
  3. Feb 21, 2022
  4. Feb 19, 2022
  5. Feb 18, 2022
  6. Feb 17, 2022
  7. Feb 16, 2022
  8. Feb 15, 2022
  9. Feb 14, 2022
  10. Feb 12, 2022
Loading