Hi Anna,
Thanks for your reply. I was going through this email chain. I
understand the 3 techniques that you told. I was wondering about this
particular question of Chris: "In the initial thread I can use the timer
as it is shown in the tutorial about timers since I do have the
bootinfo, vka, allocman and so on. Is it possible to share the timer or
create new ones in the other threads?"
Can you please suggest is it possible to share or create a new timer in
the other thread? Creating a timer in the other thread will require vka,
allocman etc. This boils down to, if it is possible to share vka,
allocman etc. with the other thread or create new ones in the other
thread. If yes, how can we do that?
--
Thanks and Regards,
Amit Goyal
On 2018-07-10 06:55, [email protected] wrote:
Hi Chris,
It depends on your use case. If you are looking to monitor the
execution times of threads for debugging and/or benchmarking
purposes,
you can use our kernel benchmarking support, detailed here [1].
Otherwise, you could consider using the mcs branch of the kernel,
which allows you to obtain the execution time of a thread via the
seL4_SchedContext_Consumed invocation [2].
If you need to use the master branch of the kernel, then you would
need to intercept the scheduler on thread switch, by running a high
priority thread which enables other threads.
Cheers
Anna.
[1] https://docs.sel4.systems/BenchmarkingGuide.html#cpu-utilisation
[2] https://github.com/seL4/seL4/releases/tag/9.0.0-mcs?
________________________________
From: Devel <[email protected]> on behalf of Mr. Peace
<[email protected]>
Sent: Monday, 9 July 2018 3:34 AM
To: [email protected]
Subject: [seL4] seL4 - getting the execution time of different
threads
Hello together,
I was wondering how you do get the execution time in seL4 if you are
using multiple threads.
In the initial thread I can use the timer as it is shown in the
tutorial about timers since I do have the bootinfo, vka, allocman and
so on.
But how do I use the timer to measure the execution time of the other
threads without stopping their execution to "pull" the time from the
initial thread? Is it possible to share the timer or create new ones
in the other threads? Or is there another way to measure the
execution
time?
Some background information:
The threads have different VSpace's and CSpace's.
Used tutorials: seL4-tutorial 4, seL4-tutorial timer.
The other threads do not have a bootinfo in their environment.
Kind regards,
Chris
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
