Userspace

This kernel module creates the folder

/proc/sched_deadline/

When a new task starts to be scheduled by SCHED_DEADLINE, a new file inside that folder is created, with the same name of the task's pid.

By reading that file, e.g. by launching the command

cat /proc/sched_deadline/12345

some matrix-like data is returned, in this case the data associated to the task with 12345 PID.

The output will be similar to this one:

1401468028 22757242 10149132 N
1401468028 22757242 86353 N
1401468028 62757243 37679835 Y
1401468028 94757243 26311134 N
1401468028 122757243 19232285 N
1401468028 122757243 59844 N
1401468028 154757243 13267343 N
1401468028 158757243 55370 N
1401468028 166757243 8112582 N
1401468028 190757243 3330278 N
1401468028 190757243 50962 N
1401468028 222757243 14817613 N
1401468028 222757243 50240 N
1401468028 254757243 12516655 N
1401468028 258757243 48769 N
1401468028 290757243 12151041 N
1401468028 290757243 45410 N

• first two rows represent the kernel time (seconds and nanoseconds) at which the measurement was taken,
• third row represents the read job execution time,
• last row nitifies if there was a deadline miss.