On Mon, 2007-08-06 at 13:05 +0200, Marc Dietrich wrote: > Hi, > > Am Monday 06 August 2007 08:24 schrieb Johannes Berg: > > On Fri, 2007-08-03 at 21:21 +0400, Oleg Nesterov wrote: > > > To avoid a possible confusion: it is still OK if work->func() flushes > > > its own workqueue, so strictly speaking this trace is false positive, > > > but it would be very nice if we can get rid of this practice. > > > > I just had a thought: we could get rid of this warning by using a > > read-lock here. That way, flushing from within a work function (which > > would be seen as read-after-read recursive lock) won't trigger this > > warning. Patch below. This would, however, also get rid of any warnings > > for run_workqueue recursion. Which again we may or may not want, the > > code inidicates that it should be allowed up to a depth of three. > > > > However, the question whether we should allow flush_workqueue from > > within a struct work is mainly an API policy issue; it doesn't hurt to > > flush a workqueue from within a work, but it is probably nearer the > > intent to use targeted cancel_work_sync() or such. OTOH, one could > > imagine situations where multiple different work structs are on that > > workqueue belonging to the same subsystem and then the general > > flush_scheduled_work() call is the only way to guarantee nothing is on > > scheduled at a given point... I don't feel qualified to make the > > decision for or against allowing this use of the API at this point. > > > > Marc, do you have an easy way to trigger this warning? Could you verify > > that it goes away with the patch below applied? > > just booting into X is enough. > > I applied the patch, but now I get: > > ================================= > [ INFO: inconsistent lock state ] > 2.6.23-rc1-mm2 #4 > --------------------------------- > inconsistent {softirq-on-W} -> {in-softirq-W} usage. > swapper/0 [HC0[0]:SC1[1]:HE1:SE0] takes: > (rpc_credcache_lock){-+..}, at: [] _atomic_dec_and_lock+0x17/0x60 > {softirq-on-W} state was registered at: > [] __lock_acquire+0x650/0x1030 > [] lock_acquire+0x61/0x80 > [] _spin_lock+0x2c/0x40 > [] _atomic_dec_and_lock+0x17/0x60 > [] put_rpccred+0x5d/0x100 [sunrpc] > [] rpcauth_unbindcred+0x21/0x60 [sunrpc] > [] a0 [sunrpc] > [] rpc_call_sync+0x30/0x40 [sunrpc] > [] rpcb_register+0xdb/0x180 [sunrpc] > [] svc_register+0x93/0x160 [sunrpc] > [] __svc_create+0x1ee/0x220 [sunrpc] > [] svc_create+0x13/0x20 [sunrpc] > [] nfs_callback_up+0x82/0x120 [nfs] > [] nfs_get_client+0x176/0x390 [nfs] > [] nfs4_set_client+0x31/0x190 [nfs] > [] nfs4_create_server+0x63/0x3b0 [nfs] > [] nfs4_get_sb+0x346/0x5b0 [nfs] > [] vfs_kern_mount+0x94/0x110 > [] do_mount+0x1f2/0x7d0 > [] sys_mount+0x66/0xa0 > [] syscall_call+0x7/0xb > [] 0xffffffff > irq event stamp: 5277830 > hardirqs last enabled at (5277830): [] kmem_cache_free+0x8a/0xc0 > hardirqs last disabled at (5277829): [] kmem_cache_free+0x52/0xc0 > softirqs last enabled at (5277798): [] __do_softirq+0xa3/0xc0 > softirqs last disabled at (5277817): [] do_softirq+0x47/0x50 > > other info that might help us debug this: > no locks held by swapper/0. > > stack backtrace: > [] show_trace_log_lvl+0x1a/0x30 > [] show_trace+0x12/0x20 > [] dump_stack+0x15/0x20 > [] print_usage_bug+0x153/0x160 > [] mark_lock+0x449/0x620 > [] __lock_acquire+0x604/0x1030 > [] lock_acquire+0x61/0x80 > [] _spin_lock+0x2c/0x40 > [] _atomic_dec_and_lock+0x17/0x60 > [] put_rpccred+0x5d/0x100 [sunrpc] > [] nfs_free_delegation_callback+0x13/0x20 [nfs] > [] __rcu_process_callbacks+0x6a/0x1c0 > [] rcu_process_callbacks+0x12/0x30 > [] tasklet_action+0x38/0x80 > [] __do_softirq+0x55/0xc0 > [] do_softirq+0x47/0x50 > [] irq_exit+0x35/0x40 > [] smp_apic_timer_interrupt+0x43/0x80 > [] apic_timer_interrupt+0x33/0x38 > [] cpuidle_idle_call+0x6f/0x90 > [] cpu_idle+0x43/0x70 > [] rest_init+0x47/0x50 > [] start_kernel+0x22a/0x2b0 > [<00000000>] 0x0 > ======================= That is a different matter. I assume this patch should suffice to fix the above problem. Trond