[so2] Bug în checker

[Victor Dodon]

Salutare.

Probabil e un bug în checker. Nu prea cred că e de la mine din cod,
pentru că nu are cum să se facă un rwlock recursion. Extrasul de log
de pe vmchecker:

[   36.699341] BUG: rwlock recursion on CPU#0, tracer_test/1034, c8a672a4
[   36.699822] CPU: 0 PID: 1034 Comm: tracer_test Tainted: G
O 3.13.0 #20
[   36.700019] Hardware name: Bochs Bochs, BIOS Bochs 01/01/2011
[   36.700136]  00000000 00000000 c780bef4 c175dacc c19671c5 c780bf1c
c175af0c c195ee68
[   36.700136]  c19671c5 00000000 c01221bc 0000040a c8a672a4 c8a672a4
c68a0ae0 c780bf28
[   36.700136]  c107ce05 c8a672a4 c780bf44 c1766c2f 00000000 00000001
00000000 c8a661f6
[   36.700136] Call Trace:
[   36.700136]  [] dump_stack+0x41/0x52
[   36.700136]  [] rwlock_bug+0x57/0x5e
[   36.700136]  [] do_raw_write_lock+0x75/0x80
[   36.700136]  [] _raw_write_lock+0x3f/0x50
[   36.700136]  [] ? __tracer_kfree+0x16/0xd0 [tracer]
[   36.700136]  [] __tracer_kfree+0x16/0xd0 [tracer]
[   36.700136]  [] selinux_cred_free+0x1d/0x30
[   36.700136]  [] security_cred_free+0x14/0x20
[   36.700136]  [] put_cred_rcu+0x20/0x90
[   36.700136]  [] rcu_process_callbacks+0x16d/0x460
[   36.700136]  [] __do_softirq+0xbc/0x210
[   36.700136]  [] ? perf_trace_irq_handler_entry+0x120/0x120
[   36.700136]    [] ? irq_exit+0x85/0x90
[   36.700136]  [] ? smp_apic_timer_interrupt+0x38/0x50
[   36.700136]  [] ? apic_timer_interrupt+0x2d/0x34
[   36.700136]  [] ? tracer_ioctl+0x8b/0x110 [tracer]
[   36.700136]  [] ? lock_set_class+0x670/0x670
[   36.700136]  [] ? kmem_cache_alloc_trace+0x2b/0x100
[   36.700136]  [] ? tracer_ioctl+0x8b/0x110 [tracer]
[   36.700136]  [] ? tracer_ioctl+0x8b/0x110 [tracer]
[   36.700136]  [] ? __tracer_kmalloc_ret_handler+0xa0/0xa0 [tracer]
[   36.700136]  [] ? do_vfs_ioctl+0x6f/0x5b0
[   36.700136]  [] ? inode_has_perm.isra.27+0x32/0x40
[   36.700136]  [] ? file_has_perm+0x98/0xb0
[   36.700136]  [] ? putname+0x24/0x40
[   36.700136]  [] ? selinux_file_ioctl+0x48/0xe0
[   36.700136]  [] ? SyS_ioctl+0x78/0x90
[   36.700136]  [] ? sysenter_do_call+0x12/0x2d

Victor Dodon