Commit 9e8a0d5f authored by Linus Torvalds's avatar Linus Torvalds

Merge branch 'locking-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip

Pull locking fixes from Ingo Molnar:
 "Tone down mutex debugging complaints, and annotate/fix spinlock
  debugging data accesses for KCSAN"

* 'locking-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip:
  Revert "locking/mutex: Complain upon mutex API misuse in IRQ contexts"
  locking/spinlock/debug: Fix various data races
parents a114a18c c571b72e
...@@ -733,9 +733,6 @@ static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsigne ...@@ -733,9 +733,6 @@ static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsigne
*/ */
void __sched mutex_unlock(struct mutex *lock) void __sched mutex_unlock(struct mutex *lock)
{ {
#ifdef CONFIG_DEBUG_MUTEXES
WARN_ON(in_interrupt());
#endif
#ifndef CONFIG_DEBUG_LOCK_ALLOC #ifndef CONFIG_DEBUG_LOCK_ALLOC
if (__mutex_unlock_fast(lock)) if (__mutex_unlock_fast(lock))
return; return;
...@@ -1416,7 +1413,6 @@ int __sched mutex_trylock(struct mutex *lock) ...@@ -1416,7 +1413,6 @@ int __sched mutex_trylock(struct mutex *lock)
#ifdef CONFIG_DEBUG_MUTEXES #ifdef CONFIG_DEBUG_MUTEXES
DEBUG_LOCKS_WARN_ON(lock->magic != lock); DEBUG_LOCKS_WARN_ON(lock->magic != lock);
WARN_ON(in_interrupt());
#endif #endif
locked = __mutex_trylock(lock); locked = __mutex_trylock(lock);
......
...@@ -51,19 +51,19 @@ EXPORT_SYMBOL(__rwlock_init); ...@@ -51,19 +51,19 @@ EXPORT_SYMBOL(__rwlock_init);
static void spin_dump(raw_spinlock_t *lock, const char *msg) static void spin_dump(raw_spinlock_t *lock, const char *msg)
{ {
struct task_struct *owner = NULL; struct task_struct *owner = READ_ONCE(lock->owner);
if (lock->owner && lock->owner != SPINLOCK_OWNER_INIT) if (owner == SPINLOCK_OWNER_INIT)
owner = lock->owner; owner = NULL;
printk(KERN_EMERG "BUG: spinlock %s on CPU#%d, %s/%d\n", printk(KERN_EMERG "BUG: spinlock %s on CPU#%d, %s/%d\n",
msg, raw_smp_processor_id(), msg, raw_smp_processor_id(),
current->comm, task_pid_nr(current)); current->comm, task_pid_nr(current));
printk(KERN_EMERG " lock: %pS, .magic: %08x, .owner: %s/%d, " printk(KERN_EMERG " lock: %pS, .magic: %08x, .owner: %s/%d, "
".owner_cpu: %d\n", ".owner_cpu: %d\n",
lock, lock->magic, lock, READ_ONCE(lock->magic),
owner ? owner->comm : "<none>", owner ? owner->comm : "<none>",
owner ? task_pid_nr(owner) : -1, owner ? task_pid_nr(owner) : -1,
lock->owner_cpu); READ_ONCE(lock->owner_cpu));
dump_stack(); dump_stack();
} }
...@@ -80,16 +80,16 @@ static void spin_bug(raw_spinlock_t *lock, const char *msg) ...@@ -80,16 +80,16 @@ static void spin_bug(raw_spinlock_t *lock, const char *msg)
static inline void static inline void
debug_spin_lock_before(raw_spinlock_t *lock) debug_spin_lock_before(raw_spinlock_t *lock)
{ {
SPIN_BUG_ON(lock->magic != SPINLOCK_MAGIC, lock, "bad magic"); SPIN_BUG_ON(READ_ONCE(lock->magic) != SPINLOCK_MAGIC, lock, "bad magic");
SPIN_BUG_ON(lock->owner == current, lock, "recursion"); SPIN_BUG_ON(READ_ONCE(lock->owner) == current, lock, "recursion");
SPIN_BUG_ON(lock->owner_cpu == raw_smp_processor_id(), SPIN_BUG_ON(READ_ONCE(lock->owner_cpu) == raw_smp_processor_id(),
lock, "cpu recursion"); lock, "cpu recursion");
} }
static inline void debug_spin_lock_after(raw_spinlock_t *lock) static inline void debug_spin_lock_after(raw_spinlock_t *lock)
{ {
lock->owner_cpu = raw_smp_processor_id(); WRITE_ONCE(lock->owner_cpu, raw_smp_processor_id());
lock->owner = current; WRITE_ONCE(lock->owner, current);
} }
static inline void debug_spin_unlock(raw_spinlock_t *lock) static inline void debug_spin_unlock(raw_spinlock_t *lock)
...@@ -99,8 +99,8 @@ static inline void debug_spin_unlock(raw_spinlock_t *lock) ...@@ -99,8 +99,8 @@ static inline void debug_spin_unlock(raw_spinlock_t *lock)
SPIN_BUG_ON(lock->owner != current, lock, "wrong owner"); SPIN_BUG_ON(lock->owner != current, lock, "wrong owner");
SPIN_BUG_ON(lock->owner_cpu != raw_smp_processor_id(), SPIN_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
lock, "wrong CPU"); lock, "wrong CPU");
lock->owner = SPINLOCK_OWNER_INIT; WRITE_ONCE(lock->owner, SPINLOCK_OWNER_INIT);
lock->owner_cpu = -1; WRITE_ONCE(lock->owner_cpu, -1);
} }
/* /*
...@@ -187,8 +187,8 @@ static inline void debug_write_lock_before(rwlock_t *lock) ...@@ -187,8 +187,8 @@ static inline void debug_write_lock_before(rwlock_t *lock)
static inline void debug_write_lock_after(rwlock_t *lock) static inline void debug_write_lock_after(rwlock_t *lock)
{ {
lock->owner_cpu = raw_smp_processor_id(); WRITE_ONCE(lock->owner_cpu, raw_smp_processor_id());
lock->owner = current; WRITE_ONCE(lock->owner, current);
} }
static inline void debug_write_unlock(rwlock_t *lock) static inline void debug_write_unlock(rwlock_t *lock)
...@@ -197,8 +197,8 @@ static inline void debug_write_unlock(rwlock_t *lock) ...@@ -197,8 +197,8 @@ static inline void debug_write_unlock(rwlock_t *lock)
RWLOCK_BUG_ON(lock->owner != current, lock, "wrong owner"); RWLOCK_BUG_ON(lock->owner != current, lock, "wrong owner");
RWLOCK_BUG_ON(lock->owner_cpu != raw_smp_processor_id(), RWLOCK_BUG_ON(lock->owner_cpu != raw_smp_processor_id(),
lock, "wrong CPU"); lock, "wrong CPU");
lock->owner = SPINLOCK_OWNER_INIT; WRITE_ONCE(lock->owner, SPINLOCK_OWNER_INIT);
lock->owner_cpu = -1; WRITE_ONCE(lock->owner_cpu, -1);
} }
void do_raw_write_lock(rwlock_t *lock) void do_raw_write_lock(rwlock_t *lock)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment