Re: Is RCU_PREEMPT working in 2.6.30.9 ?

[Mathieu Desnoyers]

* Paul E. McKenney (paulmck@xxxxxxxxxxxxxxxxxx) wrote:

> Classic RCU does have known bugs in its dyntick interface, which was one
> of the factors motivating its removal from mainline.  ;-)
> 
> 							Thanx, Paul

Recreated the problem with a simple test-case not involving lttng:

kernel 2.6.30.9
TREE RCU

loading this hacky module:

/*
 * test-rcu-bug.c
 */

#include <linux/module.h>
#include <linux/proc_fs.h>
#include <linux/sched.h>
#include <linux/timex.h>
#include <linux/rcupdate.h>
#include <asm/ptrace.h>

struct proc_dir_entry *pentry = NULL;

static int my_open(struct inode *inode, struct file *file)
{
	unsigned int i;

	for (i = 0; i < 1000; i++)
		synchronize_sched();

	return -EPERM;
}


static struct file_operations my_operations = {
	.open = my_open,
};

int init_module(void)
{
	pentry = create_proc_entry("testrcu", 0444, NULL);
	if (pentry)
		pentry->proc_fops = &my_operations;

	return 0;
}

void cleanup_module(void)
{
	remove_proc_entry("testrcu", NULL);
}

MODULE_LICENSE("GPL");
MODULE_AUTHOR("Mathieu Desnoyers");
MODULE_DESCRIPTION("rcu test");

Running, in loops:

One console:
for a in $(seq 1 7); do echo 0 > /sys/devices/system/cpu/cpu$a/online; done
for a in $(seq 1 7); do echo 1 > /sys/devices/system/cpu/cpu$a/online; done

Another console:
for a in $(seq 1 10000); do cat /proc/testrcu; done

I eventually get a hang for the cat loop. Sysrq-W shows:


[ 1337.118630] SysRq : Show Blocked State                             
[ 1337.118644]   task                        PC stack   pid father              
[ 1337.118644] md1_resync    D 0000000000000000     0  1255      2
[ 1337.118644]  ffffffff807eb360 0000000000000046 fffffb7fa3c41757 ffff880439150
[ 1337.118644]  ffff88043e028860 00ffffff803f4b88 0000000000010a80 0000000000008
[ 1337.118644]  0000000000010a80 00ff88043e028860 ffff88043e485b00 ffff88043e488
[ 1337.118644] Call Trace:
[ 1337.118644]  [<ffffffff80684638>] ? schedule+0x18/0x40
[ 1337.118644]  [<ffffffff8052b3dc>] ? raise_barrier+0x9c/0x1a0
[ 1337.118644]  [<ffffffff80236720>] ? default_wake_function+0x0/0x10
[ 1337.118644]  [<ffffffff8052c4f6>] ? sync_request+0x126/0x6c0
[ 1337.118644]  [<ffffffff8054609a>] ? is_mddev_idle+0xda/0x160
[ 1337.118644]  [<ffffffff805467f7>] ? md_do_sync+0x6d7/0xc90
[ 1337.118644]  [<ffffffff80252400>] ? autoremove_wake_function+0x0/0x30
[ 1337.118644]  [<ffffffff80547677>] ? md_thread+0x47/0x120
[ 1337.118644]  [<ffffffff8022e8db>] ? __wake_up_common+0x5b/0x90
[ 1337.118644]  [<ffffffff80547630>] ? md_thread+0x0/0x120
[ 1337.118644]  [<ffffffff80547630>] ? md_thread+0x0/0x120
[ 1337.118644]  [<ffffffff80547630>] ? md_thread+0x0/0x120
[ 1337.118644]  [<ffffffff80251f24>] ? kthread+0x54/0x90
[ 1337.118644]  [<ffffffff80251ed0>] ? kthread+0x0/0x90
[ 1337.118644]  [<ffffffff8020d00a>] ? child_rip+0xa/0x20
[ 1337.118644]  [<ffffffff80251ed0>] ? kthread+0x0/0x90
[ 1337.118644]  [<ffffffff80251ed0>] ? kthread+0x0/0x90
[ 1337.118644]  [<ffffffff8020d000>] ? child_rip+0x0/0x20
[ 1337.118644] cat           D 0000000000000000     0 28861   4758
[ 1337.118644]  ffff88043f84b330 0000000000000082 0000000000000000 ffff88043f570
[ 1337.118644]  0000000000000019 00ffffff80293013 0000000000010a80 0000000000008
[ 1337.118644]  0000000000010a80 00ffffff80293887 ffff88043dd885b0 ffff88043dd88
[ 1337.118644] Call Trace:
[ 1337.118644]  [<ffffffff802df5be>] ? inode_init_always+0xfe/0x1a0
[ 1337.118644]  [<ffffffff802df692>] ? alloc_inode+0x32/0xa0
[ 1337.118644]  [<ffffffff80684638>] ? schedule+0x18/0x40
[ 1337.118644]  [<ffffffff806849ed>] ? schedule_timeout+0x15d/0x190
[ 1337.118644]  [<ffffffff8031a1fc>] ? proc_lookup_de+0xac/0x100
[ 1337.118644]  [<ffffffff80683b2c>] ? wait_for_common+0x15c/0x190
[ 1337.118644]  [<ffffffff80236720>] ? default_wake_function+0x0/0x10
[ 1337.118644]  [<ffffffff802dba90>] ? dput+0xb0/0x180
[ 1337.118644]  [<ffffffffa007c050>] ? my_open+0x0/0x20 [test_rcu_bug]
[ 1337.118644]  [<ffffffff8024f8d3>] ? synchronize_rcu+0x43/0x50
[ 1337.118644]  [<ffffffff8024f730>] ? wakeme_after_rcu+0x0/0x10
[ 1337.118644]  [<ffffffffa007c05d>] ? my_open+0xd/0x20 [test_rcu_bug]          
[ 1337.118644]  [<ffffffff80313d52>] ? proc_reg_open+0xa2/0x190                 
[ 1337.118644]  [<ffffffff80313cb0>] ? proc_reg_open+0x0/0x190                  
[ 1337.118644]  [<ffffffff802c6a77>] ? __dentry_open+0x127/0x350                
[ 1337.118644]  [<ffffffff802d6664>] ? do_filp_open+0x2b4/0xa00                 
[ 1337.118644]  [<ffffffff802e0e22>] ? alloc_fd+0x122/0x150                     
[ 1337.118644]  [<ffffffff802c6816>] ? do_sys_open+0x86/0x180                   
[ 1337.118644]  [<ffffffff8020beeb>] ? system_call_fastpath+0x16/0x1b           

This might be a race between queued callbacks that discards a
completion.

Thanks,

Mathieu

-- 
Mathieu Desnoyers
OpenPGP key fingerprint: 8CD5 52C3 8E3C 4140 715F  BA06 3F25 A8FE 3BAE 9A68
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/