The function elapsed_ms gives you the time that has passed since the creation of the corresponding timer session. So, yes, you can measure time intervals with this if you use the same session for t1 and t2.
If you merely aim for performance comparison and are not interested in concrete time values, you could also use the performance counter. The performance counter is enabled by adding the specifier 'perf_counter' to your <build_dir>/etc/specs.conf file. Once enabled, the performance counter is fully accessible by the (secure world) userland.
Cheers, Martin
Am 16.08.2016 um 00:25 schrieb John David:
Hello,
I want to measure execution time of a function in the secure world of tz_vmm demo. I was wondering if I could use elapsed_ms( ) method in timer_session to measure t1 and t2 so that I can take the difference (t2 -t1). Is there any other way?
Best regards, John
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main