Re: personal webpage for L4-Hurd

[Niels Möller]

OKUJI Yoshinori <address@hidden> writes:

> struct thread_basic_info {
>         time_value_t    user_time;      /* user run time */
>         time_value_t    system_time;    /* system run time */

...

What should "system time" mean under the hurd? I mean, the values
reported to ordinary processes using rusage and similar functions. A
reasonable (although perhaps hard to implement) definition is that
system time is the cpu time spent by Hurd servers on the process'
behalf (where "Hurd servers" is some subset of all processes). Perhaps
the time spent inside the micro-kernel itself is of secondary
importance? I imagine the cpu time spent inside the micro-kernel will
be significantly smaller for L4 than Mach.

/Niels