litmus_dmesg_dump4

                 Sep 24 19:15:50 luigi kernel: [  401.956426] smpboot: CPU 21 is now offline
                                                                                            Sep 24 19:15:50 luigi kernel: [  401.958614] smpboot: CPU 22 is now offline
                                                               Sep 24 19:15:50 luigi kernel: [  401.960949] smpboot: CPU 23 is now offline
                                  Sep 24 19:15:50 luigi kernel: [  401.982296] gsnedf_deactivate_plugin: 0, 
    Sep 24 19:15:50 luigi kernel: [  401.982302] gsnedf_activate_plugin: 0, 
                                                                            Sep 24 19:15:50 luigi kernel: [  401.982305] Switching to LITMUS^RT plugin GSN-EDF.
                                                       [  402.358764] ------------[ cut here ]------------
[  402.363474] kernel BUG at litmus/bheap.c:279!
[  402.367910] invalid opcode: 0000 [#1] PREEMPT SMP 
[  402.372990] Modules linked in: ipmi_msghandler nfsv3 nfs nfsd nfs_acl lockd exportfs auth_rpcgss oid_registry sunrpc kvm_amd kvm psmouse amd64_edac_mod lp serio_raw parport edac_core hid_generic microcode i2c_piix4 edac_mce_amd usbhid hid usb_storage igb dca i2c_algo_bit ptp ahci pata_atiixp libahci pps_core
[  402.402749] CPU: 0 PID: 1587 Comm: sched_test_app_ Not tainted 3.10.5 #7
[  402.409533] Hardware name: Supermicro H8DGU/H8DGU, BIOS 2.0a       11/08/2011
[  402.416757] task: ffff880116720000 ti: ffff8801110d6000 task.ti: ffff8801110d6000
[  402.424357] RIP: 0010:[<ffffffff813003ea>]  [<ffffffff813003ea>] bheap_delete+0x13a/0x140
[  402.432723] RSP: 0000:ffff88011bc03bc8  EFLAGS: 00010046
[  402.438123] RAX: ffffffff81c7f310 RBX: ffffffff81c7f310 RCX: ffff88011bc2f798
[  402.445351] RDX: 0000000000000000 RSI: ffffffff81c820a0 RDI: ffffffff81301390
[  402.452572] RBP: ffff88011bc03bd8 R08: 0000000000000000 R09: 0000000000000000
[  402.459794] R10: 0000000002255100 R11: 0000005d19f6f4b7 R12: 000000000000f780
[  402.467023] R13: ffff88011bc2f780 R14: ffffffff81c831f0 R15: ffffffff81c83170
[  402.474252] FS:  00007f37b9d1d700(0000) GS:ffff88011bc00000(0000) knlGS:0000000000000000
[  402.482461] CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[  402.488292] CR2: ffffffffff600800 CR3: 0000000115574000 CR4: 00000000000007f0
[  402.495513] DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
[  402.502733] DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400
[  402.509953] Stack:
[  402.512044]  ffff88011bc03c18 ffff88011bc2f780 ffff88011bc03bf8 ffffffff8130110e
[  402.519808]  ffff88011bc03c48 ffff8801197397b0 ffff88011bc03c38 ffffffff81301224
[  402.527585]  0000000000000000 0000000000000000 ffff88011bc2f780 000000000000f780
[  402.535360] Call Trace:
[  402.537883]  <IRQ> 
[  402.539859]  [<ffffffff8130110e>] update_cpu_position+0x2e/0x50
[  402.546206]  [<ffffffff81301224>] link_task_to_cpu+0xf4/0x120
[  402.552039]  [<ffffffff813017da>] check_for_preemptions+0x20a/0x390
[  402.558395]  [<ffffffff81301978>] gsnedf_job_arrival+0x18/0x20
[  402.564313]  [<ffffffff81301a23>] gsnedf_task_wake_up+0xa3/0xc0
[  402.570321]  [<ffffffff81083d8b>] enqueue_task_litmus+0x8b/0xa0
[  402.576328]  [<ffffffff810739ba>] enqueue_task+0x6a/0x80
[  402.581728]  [<ffffffff810739f3>] activate_task+0x23/0x30
[  402.587214]  [<ffffffff81073a21>] ttwu_activate+0x21/0x50
[  402.592701]  [<ffffffff810782cd>] T.1858+0x3d/0x60
[  402.597582]  [<ffffffff81078b64>] try_to_wake_up+0x1c4/0x3e0
[  402.603330]  [<ffffffff81078de7>] wake_up_process+0x27/0x50
[  402.608990]  [<ffffffff8106b402>] hrtimer_wakeup+0x22/0x30
[  402.614562]  [<ffffffff8106bac1>] __run_hrtimer+0x81/0x270
[  402.620135]  [<ffffffff8106b3e0>] ? update_rmtp+0x80/0x80
[  402.625623]  [<ffffffff8106bd76>] hrtimer_run_queues+0xc6/0x1b0
[  402.631632]  [<ffffffff8105154e>] run_local_timers+0xe/0x20
[  402.637292]  [<ffffffff8105159d>] update_process_times+0x3d/0x80
[  402.643384]  [<ffffffff81095a8c>] tick_periodic+0x2c/0x80
[  402.648871]  [<ffffffff81095b04>] tick_handle_periodic+0x24/0x80
[  402.654966]  [<ffffffff81629196>] smp_apic_timer_interrupt+0x66/0x98
[  402.661414]  [<ffffffff8162834a>] apic_timer_interrupt+0x6a/0x70
[  402.667506]  <EOI> 
[  402.669492] Code: ff ff 48 83 c4 08 5b c9 c3 48 c7 46 08 00 00 00 00 c7 40 18 ff ff ff ff 48 83 c4 08 5b c9 c3 48 8b 43 08 48 89 06 e9 79 ff ff ff <0f> 0b eb fe 90 90 55 48 89 e5 66 66 66 66 90 48 8b 57 08 b9 ef 
[  402.693224] RIP  [<ffffffff813003ea>] bheap_delete+0x13a/0x140
[  402.699204]  RSP <ffff88011bc03bc8>
[  402.702779] ---[ end trace 9cdb84aa2d0f872e ]---
[  402.707483] Kernel panic - not syncing: Fatal exception in interrupt