mystikos
mystikos copied to clipboard
Process time tracking assumes single process
We have a static process_times variable in kernel/times.c which is tracking the time for the main process. This is insufficient after posix_spawn/fork/vfork support. This affects reporting for SYS_times, SYS_getrusage, /proc/[pid]/stat.