Skip to content

Instantly share code, notes, and snippets.

/*
* kernel/sched.c
*
* Kernel scheduler and related syscalls
*
* Copyright (C) 1991-2002 Linus Torvalds
*
* 1996-12-23 Modified by Dave Grothe to fix bugs in semaphores and
* make semaphores SMP safe
* 1998-11-19 Implemented schedule_timeout() and related stuff
/*
* Real-Time Scheduling Class (mapped to the SCHED_FIFO and SCHED_RR
* policies)
*/
#include <linux/chronos_sched.h>
#ifdef CONFIG_SMP
static int pick_rt_task(struct rq *rq, struct task_struct *p, int cpu);
static void deactivate_task(struct rq *rq, struct task_struct *p, int sleep);
#endif
/*
* kernel/sched.c
*
* Kernel scheduler and related syscalls
*
* Copyright (C) 1991-2002 Linus Torvalds
*
* 1996-12-23 Modified by Dave Grothe to fix bugs in semaphores and
* make semaphores SMP safe
* 1998-11-19 Implemented schedule_timeout() and related stuff
/*
* Real-Time Scheduling Class (mapped to the SCHED_FIFO and SCHED_RR
* policies)
*/
#include <linux/chronos_sched.h>
#ifdef CONFIG_SMP
static int pick_rt_task(struct rq *rq, struct task_struct *p, int cpu);
static void deactivate_task(struct rq *rq, struct task_struct *p, int sleep);
#endif
/***************************************************************************
* Copyright (C) 2009-2012 Virginia Tech Real-Time Systems Lab *
* *
* Original version written by Matthew Dellinger *
* [email protected] *
* *
* Re-written by Aaron Lindsay *
* [email protected] *
* *
* This program is free software; you can redistribute it and/or modify *
/***************************************************************************
* Copyright (C) 2009-2012 Virginia Tech Real-Time Systems Lab *
* *
* Original version written by Matthew Dellinger *
* [email protected] *
* *
* Re-written by Aaron Lindsay *
* [email protected] *
* *
* This program is free software; you can redistribute it and/or modify *
[ 0.000000] Initializing cgroup subsys cpuset
[ 0.000000] Initializing cgroup subsys cpu
[ 0.000000] Linux version 3.0.24-chronos (root@luigi) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #24 SMP PREEMPT RT Tue Jul 2 17:49:14 EDT 2013
[ 0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-3.0.24-chronos root=UUID=dfec0e53-ecad-4b86-8304-ac158bffac39 ro console=ttyS0,115200 console=tty0 acpi=off
[ 0.000000] BIOS-provided physical RAM map:
[ 0.000000] BIOS-e820: 0000000000000000 - 000000000009a800 (usable)
[ 0.000000] BIOS-e820: 000000000009a800 - 00000000000a0000 (reserved)
[ 0.000000] BIOS-e820: 00000000000e6000 - 0000000000100000 (reserved)
[ 0.000000] BIOS-e820: 0000000000100000 - 00000000dfe90000 (usable)
[ 0.000000] BIOS-e820: 00000000dfe9e000 - 00000000dfea0000 (reserved)
[ 0.000000] Initializing cgroup subsys cpuset
[ 0.000000] Initializing cgroup subsys cpu
[ 0.000000] Linux version 3.2.21-xenomai (root@luigi) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #20 SMP PREEMPT Fri Jul 19 15:55:07 EDT 2013
[ 0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-3.2.21-xenomai root=UUID=dfec0e53-ecad-4b86-8304-ac158bffac39 ro console=ttyS0,115200 console=tty0 acpi=off
[ 0.000000] BIOS-provided physical RAM map:
[ 0.000000] BIOS-e820: 0000000000000000 - 000000000009a800 (usable)
[ 0.000000] BIOS-e820: 000000000009a800 - 00000000000a0000 (reserved)
[ 0.000000] BIOS-e820: 00000000000e6000 - 0000000000100000 (reserved)
[ 0.000000] BIOS-e820: 0000000000100000 - 00000000dfe90000 (usable)
[ 0.000000] BIOS-e820: 00000000dfe9e000 - 00000000dfea0000 (reserved)
[ 298.616229] Xenomai: stuck on nucleus lock ffffffff81c27dc0
[ 298.616229] waiter = kernel/xenomai/nucleus/shadow.c:2579 (do_taskexit_event(), CPU #20)
[ 298.616229] owner = kernel/xenomai/nucleus/pod.c:2194 (__xnpod_schedule(), CPU #2)
[ 298.616158] Xenomai: stuck on nucleus lock ffffffff81c27dc0
[ 298.616158] waiter = kernel/xenomai/nucleus/shadow.c:2579 (do_taskexit_event(), CPU #23)
[ 298.616158] owner = kernel/xenomai/nucleus/pod.c:2194 (__xnpod_schedule(), CPU #2)
[ 298.616111] Xenomai: stuck on nucleus lock ffffffff81c27dc0
[ 298.616111] waiter = kernel/xenomai/nucleus/shadow.c:2579 (do_taskexit_event(), CPU #17)
[ 298.616111] owner = kernel/xenomai/nucleus/pod.c:2194 (__xnpod_schedule(), CPU #2)
[ 298.616102] Xenomai: stuck on nucleus lock ffffffff81c27dc0
[ 0.000000] Initializing cgroup subsys cpuset
[ 0.000000] Initializing cgroup subsys cpu
[ 0.000000] Linux version 2.6.38.8-rtai (kevinpb@luigi) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #7 SMP PREEMPT Wed Jun 5 19:46:08 EDT 2013
[ 0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-2.6.38.8-rtai root=UUID=dfec0e53-ecad-4b86-8304-ac158bffac39 ro console=ttyS0,115200 console=tty0 acpi=off
[ 0.000000] BIOS-provided physical RAM map:
[ 0.000000] BIOS-e820: 0000000000000000 - 000000000009a800 (usable)
[ 0.000000] BIOS-e820: 000000000009a800 - 00000000000a0000 (reserved)
[ 0.000000] BIOS-e820: 00000000000e6000 - 0000000000100000 (reserved)
[ 0.000000] BIOS-e820: 0000000000100000 - 00000000dfe90000 (usable)
[ 0.000000] BIOS-e820: 00000000dfe9e000 - 00000000dfea0000 (reserved)