Open andychu opened 3 years ago
I think this is cheap enough that people could turn it on ALWAYS? Should be easy to measure.
I think we also use gettimeofday().
gettimeofday()
Related: https://github.com/oilshell/oil/blob/master/benchmarks/time-helper.c
http://www.oilshell.org/blog/2020/11/fixes-and-updates.html#why-i-wrote-a-timing-tool-in-c
I wonder if it could be extended with additional information to be able to find bottlenecks in pipelines (e.g. the CPU time that each part of the pipeline took)
Also noticed that this blog post used "time in a shell": https://blog.racket-lang.org/2021/01/racket-status.html
I think this is cheap enough that people could turn it on ALWAYS? Should be easy to measure.
I think we also use
gettimeofday()
.Related: https://github.com/oilshell/oil/blob/master/benchmarks/time-helper.c
http://www.oilshell.org/blog/2020/11/fixes-and-updates.html#why-i-wrote-a-timing-tool-in-c