qs

[cv-cat]

By what means can we know the actual memory overhead and runtime while the emulator is running? Where does the source code provide a measure of these two functions?

[shwestrick]

For timings:

• I believe it's in the launch function for C++:

  delayed-seq/cpp-new/benchmarkShared.hpp

  Line 70 in cb156b1

  void launch(const Bench& bench) {

• and, see the Benchmark.run function for MPL:

  delayed-seq/ml/lib/Benchmark.sml

  Line 21 in cb156b1

  fun run msg f =

For memory, we typically use the "resident set size" as reported by Linux, e.g., /usr/bin/env time -v COMMAND which will report the maximum resident set size of COMMAND. This gives you the peak memory usage of the entire program.