demikernel
demikernel copied to clipboard
[perftools] Support Custom Output Format
Description
Output format for the profiler tool is currently hardcoded.
It would be nice to enable one to use a custom output format.
Notes
- Add an optional parameter to
profiler::write()
that shall be used to output formatting. - Enable one to register a output formatting callback function