Pacifist117

# If you change this file, run 'update-grub' afterwards to update
# /boot/grub/grub.cfg.

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
#GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT=""
GRUB_CMDLINE_LINUX="console=ttyS0,115200 console=tty0 acpi=off"

Pacifist117

[ 1569.723173] ------------[ cut here ]------------
[ 1569.723752] kernel BUG at litmus/preempt.c:32!
[ 1569.723752] invalid opcode: 0000 [#1] PREEMPT SMP 
[ 1569.723752] CPU 19 
[ 1569.723752] Modules linked in: ipmi_msghandler nfs nfsd lockd auth_rpcgss nfs_acl sunrpc exportfs amd64_edac_mod psmouse lp edac_core parport i2c_piix4 serio_raw edac_mce_amd usbhid hid usb_storage igb pata_atiixp ahci libahci dca
[ 1569.723752] 
[ 1569.723752] Pid: 1700, comm: cyclictest Not tainted 3.0.0-litmus #2 Supermicro H8DGU/H8DGU
[ 1569.723752] RIP: 0010:[<ffffffff812c994c>]  [<ffffffff812c994c>] sched_state_will_schedule+0x9c/0xa0
[ 1569.723752] RSP: 0018:ffff88019a9dbe48  EFLAGS: 00010046
[ 1569.723752] RAX: 0000000000000013 RBX: ffff880199d35e80 RCX: 0000000000000000

Pacifist117

#include <linux/sched.h>

#include <litmus/litmus.h>
#include <litmus/preempt.h>

/* The rescheduling state of each processor.
 */
DEFINE_PER_CPU_SHARED_ALIGNED(atomic_t, resched_state);

void sched_state_will_schedule(struct task_struct* tsk)

Pacifist117

[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 2.6.38.8-rtai (rlyerly@luigi) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #6 SMP PREEMPT Mon Sep 17 12:14:30 EDT 2012
[    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)

Pacifist117

[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Linux version 2.6.38.8-rtai (rlyerly@luigi) (gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5.1) ) #6 SMP PREEMPT Mon Sep 17 12:14:30 EDT 2012
[    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)

Pacifist117

/*
 * Antonio Barbalace
 * periodic segments benchmark
 * this work was done in the integration phase of the AUV code with ChronOS
 *
 * The whole code derive from the sched_test_app (Aaron version)
 * This version is terrible system with just one periodic thread
 */

Pacifist117

[  629.132854] BUG: unable to handle kernel NULL pointer dereference at           (null)
[  629.132854] IP: [<          (null)>]           (null)
[  629.132854] PGD 0 
[  629.132854] Oops: 0010 [#1] PREEMPT SMP 
[  629.132854] last sysfs file: /sys/devices/pci0000:00/0000:00:14.4/0000:01:04.0/local_cpus
[  629.132854] CPU 22 
[  629.132854] Modules linked in: rtai_sem calibrate_rt rtai_fifos rtai_lxrt rtai_hal ipmi_msghandler nfs nfsd lockd nfs_acl exportfs auth_rpcgss sunrpc psmouse lp amd64_edac_mod parport serio_raw edac_core i2c_piix4 edac_mce_amd usbhid igb usb_storage hid ahci pata_atiixp libahci dca
[  629.132854] 
[  629.132854] Pid: 0, comm: kworker/0:1 Not tainted 2.6.38.8-rtai #6 Supermicro H8DGU/H8DGU
[  629.132854] RIP: 0010:[<0000000000000000>]  [<          (null)>]           (null)

Pacifist117

/*
 *  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

Pacifist117

/*
 *  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

Pacifist117

/*
 * 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