Thread.dump_to_file time

[Alan Bateman]

On 06/09/2023 10:36, Gillespie, Oli wrote:
> Some quick profiling suggests the main cost (on my aarch64 mac and also my x86 linux) is the huge number of write syscalls. It seems the file output stream is unbuffered.

It's using a BufferedWriter already but more tuning may be needed. There 
is a fix in progress to address the issue that Heinz brought up 
yesterday. Most of it the overhead of the formatter.

-Alan