SpectralSequences / sseq

The root repository for the SpectralSequences project.
Apache License 2.0
25 stars 10 forks source link

Introduce instrumentation using `tracing` #150

Closed JoeyBF closed 9 months ago

JoeyBF commented 9 months ago

This is a more systematic solution than our previous homemade logging mechanism. I was worrying that the overhead might be too large, but the performance impact is only on a per-callsite basis. Even adding a few spans in the hottest code in fp doesn't measurably affect runtime.