1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * kernel/locking/mutex.c 4 * 5 * Mutexes: blocking mutual exclusion locks 6 * 7 * Started by Ingo Molnar: 8 * 9 * Copyright (C) 2004, 2005, 2006 Red Hat, Inc., Ingo Molnar <[email protected]> 10 * 11 * Many thanks to Arjan van de Ven, Thomas Gleixner, Steven Rostedt and 12 * David Howells for suggestions and improvements. 13 * 14 * - Adaptive spinning for mutexes by Peter Zijlstra. (Ported to mainline 15 * from the -rt tree, where it was originally implemented for rtmutexes 16 * by Steven Rostedt, based on work by Gregory Haskins, Peter Morreale 17 * and Sven Dietrich. 18 * 19 * Also see Documentation/locking/mutex-design.rst. 20 */ 21 #include <linux/mutex.h> 22 #include <linux/ww_mutex.h> 23 #include <linux/sched/signal.h> 24 #include <linux/sched/rt.h> 25 #include <linux/sched/wake_q.h> 26 #include <linux/sched/debug.h> 27 #include <linux/export.h> 28 #include <linux/spinlock.h> 29 #include <linux/interrupt.h> 30 #include <linux/debug_locks.h> 31 #include <linux/osq_lock.h> 32 33 #define CREATE_TRACE_POINTS 34 #include <trace/events/lock.h> 35 36 #ifndef CONFIG_PREEMPT_RT 37 #include "mutex.h" 38 39 #ifdef CONFIG_DEBUG_MUTEXES 40 # define MUTEX_WARN_ON(cond) DEBUG_LOCKS_WARN_ON(cond) 41 #else 42 # define MUTEX_WARN_ON(cond) 43 #endif 44 45 void 46 __mutex_init(struct mutex *lock, const char *name, struct lock_class_key *key) 47 { 48 atomic_long_set(&lock->owner, 0); 49 raw_spin_lock_init(&lock->wait_lock); 50 INIT_LIST_HEAD(&lock->wait_list); 51 #ifdef CONFIG_MUTEX_SPIN_ON_OWNER 52 osq_lock_init(&lock->osq); 53 #endif 54 55 debug_mutex_init(lock, name, key); 56 } 57 EXPORT_SYMBOL(__mutex_init); 58 59 /* 60 * @owner: contains: 'struct task_struct *' to the current lock owner, 61 * NULL means not owned. Since task_struct pointers are aligned at 62 * at least L1_CACHE_BYTES, we have low bits to store extra state. 63 * 64 * Bit0 indicates a non-empty waiter list; unlock must issue a wakeup. 65 * Bit1 indicates unlock needs to hand the lock to the top-waiter 66 * Bit2 indicates handoff has been done and we're waiting for pickup. 67 */ 68 #define MUTEX_FLAG_WAITERS 0x01 69 #define MUTEX_FLAG_HANDOFF 0x02 70 #define MUTEX_FLAG_PICKUP 0x04 71 72 #define MUTEX_FLAGS 0x07 73 74 /* 75 * Internal helper function; C doesn't allow us to hide it :/ 76 * 77 * DO NOT USE (outside of mutex code). 78 */ 79 static inline struct task_struct *__mutex_owner(struct mutex *lock) 80 { 81 return (struct task_struct *)(atomic_long_read(&lock->owner) & ~MUTEX_FLAGS); 82 } 83 84 static inline struct task_struct *__owner_task(unsigned long owner) 85 { 86 return (struct task_struct *)(owner & ~MUTEX_FLAGS); 87 } 88 89 bool mutex_is_locked(struct mutex *lock) 90 { 91 return __mutex_owner(lock) != NULL; 92 } 93 EXPORT_SYMBOL(mutex_is_locked); 94 95 static inline unsigned long __owner_flags(unsigned long owner) 96 { 97 return owner & MUTEX_FLAGS; 98 } 99 100 /* 101 * Returns: __mutex_owner(lock) on failure or NULL on success. 102 */ 103 static inline struct task_struct *__mutex_trylock_common(struct mutex *lock, bool handoff) 104 { 105 unsigned long owner, curr = (unsigned long)current; 106 107 owner = atomic_long_read(&lock->owner); 108 for (;;) { /* must loop, can race against a flag */ 109 unsigned long flags = __owner_flags(owner); 110 unsigned long task = owner & ~MUTEX_FLAGS; 111 112 if (task) { 113 if (flags & MUTEX_FLAG_PICKUP) { 114 if (task != curr) 115 break; 116 flags &= ~MUTEX_FLAG_PICKUP; 117 } else if (handoff) { 118 if (flags & MUTEX_FLAG_HANDOFF) 119 break; 120 flags |= MUTEX_FLAG_HANDOFF; 121 } else { 122 break; 123 } 124 } else { 125 MUTEX_WARN_ON(flags & (MUTEX_FLAG_HANDOFF | MUTEX_FLAG_PICKUP)); 126 task = curr; 127 } 128 129 if (atomic_long_try_cmpxchg_acquire(&lock->owner, &owner, task | flags)) { 130 if (task == curr) 131 return NULL; 132 break; 133 } 134 } 135 136 return __owner_task(owner); 137 } 138 139 /* 140 * Trylock or set HANDOFF 141 */ 142 static inline bool __mutex_trylock_or_handoff(struct mutex *lock, bool handoff) 143 { 144 return !__mutex_trylock_common(lock, handoff); 145 } 146 147 /* 148 * Actual trylock that will work on any unlocked state. 149 */ 150 static inline bool __mutex_trylock(struct mutex *lock) 151 { 152 return !__mutex_trylock_common(lock, false); 153 } 154 155 #ifndef CONFIG_DEBUG_LOCK_ALLOC 156 /* 157 * Lockdep annotations are contained to the slow paths for simplicity. 158 * There is nothing that would stop spreading the lockdep annotations outwards 159 * except more code. 160 */ 161 162 /* 163 * Optimistic trylock that only works in the uncontended case. Make sure to 164 * follow with a __mutex_trylock() before failing. 165 */ 166 static __always_inline bool __mutex_trylock_fast(struct mutex *lock) 167 { 168 unsigned long curr = (unsigned long)current; 169 unsigned long zero = 0UL; 170 171 if (atomic_long_try_cmpxchg_acquire(&lock->owner, &zero, curr)) 172 return true; 173 174 return false; 175 } 176 177 static __always_inline bool __mutex_unlock_fast(struct mutex *lock) 178 { 179 unsigned long curr = (unsigned long)current; 180 181 return atomic_long_try_cmpxchg_release(&lock->owner, &curr, 0UL); 182 } 183 #endif 184 185 static inline void __mutex_set_flag(struct mutex *lock, unsigned long flag) 186 { 187 atomic_long_or(flag, &lock->owner); 188 } 189 190 static inline void __mutex_clear_flag(struct mutex *lock, unsigned long flag) 191 { 192 atomic_long_andnot(flag, &lock->owner); 193 } 194 195 static inline bool __mutex_waiter_is_first(struct mutex *lock, struct mutex_waiter *waiter) 196 { 197 return list_first_entry(&lock->wait_list, struct mutex_waiter, list) == waiter; 198 } 199 200 /* 201 * Add @waiter to a given location in the lock wait_list and set the 202 * FLAG_WAITERS flag if it's the first waiter. 203 */ 204 static void 205 __mutex_add_waiter(struct mutex *lock, struct mutex_waiter *waiter, 206 struct list_head *list) 207 { 208 debug_mutex_add_waiter(lock, waiter, current); 209 210 list_add_tail(&waiter->list, list); 211 if (__mutex_waiter_is_first(lock, waiter)) 212 __mutex_set_flag(lock, MUTEX_FLAG_WAITERS); 213 } 214 215 static void 216 __mutex_remove_waiter(struct mutex *lock, struct mutex_waiter *waiter) 217 { 218 list_del(&waiter->list); 219 if (likely(list_empty(&lock->wait_list))) 220 __mutex_clear_flag(lock, MUTEX_FLAGS); 221 222 debug_mutex_remove_waiter(lock, waiter, current); 223 } 224 225 /* 226 * Give up ownership to a specific task, when @task = NULL, this is equivalent 227 * to a regular unlock. Sets PICKUP on a handoff, clears HANDOFF, preserves 228 * WAITERS. Provides RELEASE semantics like a regular unlock, the 229 * __mutex_trylock() provides a matching ACQUIRE semantics for the handoff. 230 */ 231 static void __mutex_handoff(struct mutex *lock, struct task_struct *task) 232 { 233 unsigned long owner = atomic_long_read(&lock->owner); 234 235 for (;;) { 236 unsigned long new; 237 238 MUTEX_WARN_ON(__owner_task(owner) != current); 239 MUTEX_WARN_ON(owner & MUTEX_FLAG_PICKUP); 240 241 new = (owner & MUTEX_FLAG_WAITERS); 242 new |= (unsigned long)task; 243 if (task) 244 new |= MUTEX_FLAG_PICKUP; 245 246 if (atomic_long_try_cmpxchg_release(&lock->owner, &owner, new)) 247 break; 248 } 249 } 250 251 #ifndef CONFIG_DEBUG_LOCK_ALLOC 252 /* 253 * We split the mutex lock/unlock logic into separate fastpath and 254 * slowpath functions, to reduce the register pressure on the fastpath. 255 * We also put the fastpath first in the kernel image, to make sure the 256 * branch is predicted by the CPU as default-untaken. 257 */ 258 static void __sched __mutex_lock_slowpath(struct mutex *lock); 259 260 /** 261 * mutex_lock - acquire the mutex 262 * @lock: the mutex to be acquired 263 * 264 * Lock the mutex exclusively for this task. If the mutex is not 265 * available right now, it will sleep until it can get it. 266 * 267 * The mutex must later on be released by the same task that 268 * acquired it. Recursive locking is not allowed. The task 269 * may not exit without first unlocking the mutex. Also, kernel 270 * memory where the mutex resides must not be freed with 271 * the mutex still locked. The mutex must first be initialized 272 * (or statically defined) before it can be locked. memset()-ing 273 * the mutex to 0 is not allowed. 274 * 275 * (The CONFIG_DEBUG_MUTEXES .config option turns on debugging 276 * checks that will enforce the restrictions and will also do 277 * deadlock debugging) 278 * 279 * This function is similar to (but not equivalent to) down(). 280 */ 281 void __sched mutex_lock(struct mutex *lock) 282 { 283 might_sleep(); 284 285 if (!__mutex_trylock_fast(lock)) 286 __mutex_lock_slowpath(lock); 287 } 288 EXPORT_SYMBOL(mutex_lock); 289 #endif 290 291 #include "ww_mutex.h" 292 293 #ifdef CONFIG_MUTEX_SPIN_ON_OWNER 294 295 /* 296 * Trylock variant that returns the owning task on failure. 297 */ 298 static inline struct task_struct *__mutex_trylock_or_owner(struct mutex *lock) 299 { 300 return __mutex_trylock_common(lock, false); 301 } 302 303 static inline 304 bool ww_mutex_spin_on_owner(struct mutex *lock, struct ww_acquire_ctx *ww_ctx, 305 struct mutex_waiter *waiter) 306 { 307 struct ww_mutex *ww; 308 309 ww = container_of(lock, struct ww_mutex, base); 310 311 /* 312 * If ww->ctx is set the contents are undefined, only 313 * by acquiring wait_lock there is a guarantee that 314 * they are not invalid when reading. 315 * 316 * As such, when deadlock detection needs to be 317 * performed the optimistic spinning cannot be done. 318 * 319 * Check this in every inner iteration because we may 320 * be racing against another thread's ww_mutex_lock. 321 */ 322 if (ww_ctx->acquired > 0 && READ_ONCE(ww->ctx)) 323 return false; 324 325 /* 326 * If we aren't on the wait list yet, cancel the spin 327 * if there are waiters. We want to avoid stealing the 328 * lock from a waiter with an earlier stamp, since the 329 * other thread may already own a lock that we also 330 * need. 331 */ 332 if (!waiter && (atomic_long_read(&lock->owner) & MUTEX_FLAG_WAITERS)) 333 return false; 334 335 /* 336 * Similarly, stop spinning if we are no longer the 337 * first waiter. 338 */ 339 if (waiter && !__mutex_waiter_is_first(lock, waiter)) 340 return false; 341 342 return true; 343 } 344 345 /* 346 * Look out! "owner" is an entirely speculative pointer access and not 347 * reliable. 348 * 349 * "noinline" so that this function shows up on perf profiles. 350 */ 351 static noinline 352 bool mutex_spin_on_owner(struct mutex *lock, struct task_struct *owner, 353 struct ww_acquire_ctx *ww_ctx, struct mutex_waiter *waiter) 354 { 355 bool ret = true; 356 357 lockdep_assert_preemption_disabled(); 358 359 while (__mutex_owner(lock) == owner) { 360 /* 361 * Ensure we emit the owner->on_cpu, dereference _after_ 362 * checking lock->owner still matches owner. And we already 363 * disabled preemption which is equal to the RCU read-side 364 * crital section in optimistic spinning code. Thus the 365 * task_strcut structure won't go away during the spinning 366 * period 367 */ 368 barrier(); 369 370 /* 371 * Use vcpu_is_preempted to detect lock holder preemption issue. 372 */ 373 if (!owner_on_cpu(owner) || need_resched()) { 374 ret = false; 375 break; 376 } 377 378 if (ww_ctx && !ww_mutex_spin_on_owner(lock, ww_ctx, waiter)) { 379 ret = false; 380 break; 381 } 382 383 cpu_relax(); 384 } 385 386 return ret; 387 } 388 389 /* 390 * Initial check for entering the mutex spinning loop 391 */ 392 static inline int mutex_can_spin_on_owner(struct mutex *lock) 393 { 394 struct task_struct *owner; 395 int retval = 1; 396 397 lockdep_assert_preemption_disabled(); 398 399 if (need_resched()) 400 return 0; 401 402 /* 403 * We already disabled preemption which is equal to the RCU read-side 404 * crital section in optimistic spinning code. Thus the task_strcut 405 * structure won't go away during the spinning period. 406 */ 407 owner = __mutex_owner(lock); 408 if (owner) 409 retval = owner_on_cpu(owner); 410 411 /* 412 * If lock->owner is not set, the mutex has been released. Return true 413 * such that we'll trylock in the spin path, which is a faster option 414 * than the blocking slow path. 415 */ 416 return retval; 417 } 418 419 /* 420 * Optimistic spinning. 421 * 422 * We try to spin for acquisition when we find that the lock owner 423 * is currently running on a (different) CPU and while we don't 424 * need to reschedule. The rationale is that if the lock owner is 425 * running, it is likely to release the lock soon. 426 * 427 * The mutex spinners are queued up using MCS lock so that only one 428 * spinner can compete for the mutex. However, if mutex spinning isn't 429 * going to happen, there is no point in going through the lock/unlock 430 * overhead. 431 * 432 * Returns true when the lock was taken, otherwise false, indicating 433 * that we need to jump to the slowpath and sleep. 434 * 435 * The waiter flag is set to true if the spinner is a waiter in the wait 436 * queue. The waiter-spinner will spin on the lock directly and concurrently 437 * with the spinner at the head of the OSQ, if present, until the owner is 438 * changed to itself. 439 */ 440 static __always_inline bool 441 mutex_optimistic_spin(struct mutex *lock, struct ww_acquire_ctx *ww_ctx, 442 struct mutex_waiter *waiter) 443 { 444 if (!waiter) { 445 /* 446 * The purpose of the mutex_can_spin_on_owner() function is 447 * to eliminate the overhead of osq_lock() and osq_unlock() 448 * in case spinning isn't possible. As a waiter-spinner 449 * is not going to take OSQ lock anyway, there is no need 450 * to call mutex_can_spin_on_owner(). 451 */ 452 if (!mutex_can_spin_on_owner(lock)) 453 goto fail; 454 455 /* 456 * In order to avoid a stampede of mutex spinners trying to 457 * acquire the mutex all at once, the spinners need to take a 458 * MCS (queued) lock first before spinning on the owner field. 459 */ 460 if (!osq_lock(&lock->osq)) 461 goto fail; 462 } 463 464 for (;;) { 465 struct task_struct *owner; 466 467 /* Try to acquire the mutex... */ 468 owner = __mutex_trylock_or_owner(lock); 469 if (!owner) 470 break; 471 472 /* 473 * There's an owner, wait for it to either 474 * release the lock or go to sleep. 475 */ 476 if (!mutex_spin_on_owner(lock, owner, ww_ctx, waiter)) 477 goto fail_unlock; 478 479 /* 480 * The cpu_relax() call is a compiler barrier which forces 481 * everything in this loop to be re-loaded. We don't need 482 * memory barriers as we'll eventually observe the right 483 * values at the cost of a few extra spins. 484 */ 485 cpu_relax(); 486 } 487 488 if (!waiter) 489 osq_unlock(&lock->osq); 490 491 return true; 492 493 494 fail_unlock: 495 if (!waiter) 496 osq_unlock(&lock->osq); 497 498 fail: 499 /* 500 * If we fell out of the spin path because of need_resched(), 501 * reschedule now, before we try-lock the mutex. This avoids getting 502 * scheduled out right after we obtained the mutex. 503 */ 504 if (need_resched()) { 505 /* 506 * We _should_ have TASK_RUNNING here, but just in case 507 * we do not, make it so, otherwise we might get stuck. 508 */ 509 __set_current_state(TASK_RUNNING); 510 schedule_preempt_disabled(); 511 } 512 513 return false; 514 } 515 #else 516 static __always_inline bool 517 mutex_optimistic_spin(struct mutex *lock, struct ww_acquire_ctx *ww_ctx, 518 struct mutex_waiter *waiter) 519 { 520 return false; 521 } 522 #endif 523 524 static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsigned long ip); 525 526 /** 527 * mutex_unlock - release the mutex 528 * @lock: the mutex to be released 529 * 530 * Unlock a mutex that has been locked by this task previously. 531 * 532 * This function must not be used in interrupt context. Unlocking 533 * of a not locked mutex is not allowed. 534 * 535 * This function is similar to (but not equivalent to) up(). 536 */ 537 void __sched mutex_unlock(struct mutex *lock) 538 { 539 #ifndef CONFIG_DEBUG_LOCK_ALLOC 540 if (__mutex_unlock_fast(lock)) 541 return; 542 #endif 543 __mutex_unlock_slowpath(lock, _RET_IP_); 544 } 545 EXPORT_SYMBOL(mutex_unlock); 546 547 /** 548 * ww_mutex_unlock - release the w/w mutex 549 * @lock: the mutex to be released 550 * 551 * Unlock a mutex that has been locked by this task previously with any of the 552 * ww_mutex_lock* functions (with or without an acquire context). It is 553 * forbidden to release the locks after releasing the acquire context. 554 * 555 * This function must not be used in interrupt context. Unlocking 556 * of a unlocked mutex is not allowed. 557 */ 558 void __sched ww_mutex_unlock(struct ww_mutex *lock) 559 { 560 __ww_mutex_unlock(lock); 561 mutex_unlock(&lock->base); 562 } 563 EXPORT_SYMBOL(ww_mutex_unlock); 564 565 /* 566 * Lock a mutex (possibly interruptible), slowpath: 567 */ 568 static __always_inline int __sched 569 __mutex_lock_common(struct mutex *lock, unsigned int state, unsigned int subclass, 570 struct lockdep_map *nest_lock, unsigned long ip, 571 struct ww_acquire_ctx *ww_ctx, const bool use_ww_ctx) 572 { 573 struct mutex_waiter waiter; 574 struct ww_mutex *ww; 575 int ret; 576 577 if (!use_ww_ctx) 578 ww_ctx = NULL; 579 580 might_sleep(); 581 582 MUTEX_WARN_ON(lock->magic != lock); 583 584 ww = container_of(lock, struct ww_mutex, base); 585 if (ww_ctx) { 586 if (unlikely(ww_ctx == READ_ONCE(ww->ctx))) 587 return -EALREADY; 588 589 /* 590 * Reset the wounded flag after a kill. No other process can 591 * race and wound us here since they can't have a valid owner 592 * pointer if we don't have any locks held. 593 */ 594 if (ww_ctx->acquired == 0) 595 ww_ctx->wounded = 0; 596 597 #ifdef CONFIG_DEBUG_LOCK_ALLOC 598 nest_lock = &ww_ctx->dep_map; 599 #endif 600 } 601 602 preempt_disable(); 603 mutex_acquire_nest(&lock->dep_map, subclass, 0, nest_lock, ip); 604 605 if (__mutex_trylock(lock) || 606 mutex_optimistic_spin(lock, ww_ctx, NULL)) { 607 /* got the lock, yay! */ 608 lock_acquired(&lock->dep_map, ip); 609 if (ww_ctx) 610 ww_mutex_set_context_fastpath(ww, ww_ctx); 611 preempt_enable(); 612 return 0; 613 } 614 615 raw_spin_lock(&lock->wait_lock); 616 /* 617 * After waiting to acquire the wait_lock, try again. 618 */ 619 if (__mutex_trylock(lock)) { 620 if (ww_ctx) 621 __ww_mutex_check_waiters(lock, ww_ctx); 622 623 goto skip_wait; 624 } 625 626 debug_mutex_lock_common(lock, &waiter); 627 waiter.task = current; 628 if (use_ww_ctx) 629 waiter.ww_ctx = ww_ctx; 630 631 lock_contended(&lock->dep_map, ip); 632 633 if (!use_ww_ctx) { 634 /* add waiting tasks to the end of the waitqueue (FIFO): */ 635 __mutex_add_waiter(lock, &waiter, &lock->wait_list); 636 } else { 637 /* 638 * Add in stamp order, waking up waiters that must kill 639 * themselves. 640 */ 641 ret = __ww_mutex_add_waiter(&waiter, lock, ww_ctx); 642 if (ret) 643 goto err_early_kill; 644 } 645 646 set_current_state(state); 647 for (;;) { 648 bool first; 649 650 /* 651 * Once we hold wait_lock, we're serialized against 652 * mutex_unlock() handing the lock off to us, do a trylock 653 * before testing the error conditions to make sure we pick up 654 * the handoff. 655 */ 656 if (__mutex_trylock(lock)) 657 goto acquired; 658 659 /* 660 * Check for signals and kill conditions while holding 661 * wait_lock. This ensures the lock cancellation is ordered 662 * against mutex_unlock() and wake-ups do not go missing. 663 */ 664 if (signal_pending_state(state, current)) { 665 ret = -EINTR; 666 goto err; 667 } 668 669 if (ww_ctx) { 670 ret = __ww_mutex_check_kill(lock, &waiter, ww_ctx); 671 if (ret) 672 goto err; 673 } 674 675 raw_spin_unlock(&lock->wait_lock); 676 schedule_preempt_disabled(); 677 678 first = __mutex_waiter_is_first(lock, &waiter); 679 680 set_current_state(state); 681 /* 682 * Here we order against unlock; we must either see it change 683 * state back to RUNNING and fall through the next schedule(), 684 * or we must see its unlock and acquire. 685 */ 686 if (__mutex_trylock_or_handoff(lock, first) || 687 (first && mutex_optimistic_spin(lock, ww_ctx, &waiter))) 688 break; 689 690 raw_spin_lock(&lock->wait_lock); 691 } 692 raw_spin_lock(&lock->wait_lock); 693 acquired: 694 __set_current_state(TASK_RUNNING); 695 696 if (ww_ctx) { 697 /* 698 * Wound-Wait; we stole the lock (!first_waiter), check the 699 * waiters as anyone might want to wound us. 700 */ 701 if (!ww_ctx->is_wait_die && 702 !__mutex_waiter_is_first(lock, &waiter)) 703 __ww_mutex_check_waiters(lock, ww_ctx); 704 } 705 706 __mutex_remove_waiter(lock, &waiter); 707 708 debug_mutex_free_waiter(&waiter); 709 710 skip_wait: 711 /* got the lock - cleanup and rejoice! */ 712 lock_acquired(&lock->dep_map, ip); 713 714 if (ww_ctx) 715 ww_mutex_lock_acquired(ww, ww_ctx); 716 717 raw_spin_unlock(&lock->wait_lock); 718 preempt_enable(); 719 return 0; 720 721 err: 722 __set_current_state(TASK_RUNNING); 723 __mutex_remove_waiter(lock, &waiter); 724 err_early_kill: 725 raw_spin_unlock(&lock->wait_lock); 726 debug_mutex_free_waiter(&waiter); 727 mutex_release(&lock->dep_map, ip); 728 preempt_enable(); 729 return ret; 730 } 731 732 static int __sched 733 __mutex_lock(struct mutex *lock, unsigned int state, unsigned int subclass, 734 struct lockdep_map *nest_lock, unsigned long ip) 735 { 736 return __mutex_lock_common(lock, state, subclass, nest_lock, ip, NULL, false); 737 } 738 739 static int __sched 740 __ww_mutex_lock(struct mutex *lock, unsigned int state, unsigned int subclass, 741 unsigned long ip, struct ww_acquire_ctx *ww_ctx) 742 { 743 return __mutex_lock_common(lock, state, subclass, NULL, ip, ww_ctx, true); 744 } 745 746 /** 747 * ww_mutex_trylock - tries to acquire the w/w mutex with optional acquire context 748 * @ww: mutex to lock 749 * @ww_ctx: optional w/w acquire context 750 * 751 * Trylocks a mutex with the optional acquire context; no deadlock detection is 752 * possible. Returns 1 if the mutex has been acquired successfully, 0 otherwise. 753 * 754 * Unlike ww_mutex_lock, no deadlock handling is performed. However, if a @ctx is 755 * specified, -EALREADY handling may happen in calls to ww_mutex_trylock. 756 * 757 * A mutex acquired with this function must be released with ww_mutex_unlock. 758 */ 759 int ww_mutex_trylock(struct ww_mutex *ww, struct ww_acquire_ctx *ww_ctx) 760 { 761 if (!ww_ctx) 762 return mutex_trylock(&ww->base); 763 764 MUTEX_WARN_ON(ww->base.magic != &ww->base); 765 766 /* 767 * Reset the wounded flag after a kill. No other process can 768 * race and wound us here, since they can't have a valid owner 769 * pointer if we don't have any locks held. 770 */ 771 if (ww_ctx->acquired == 0) 772 ww_ctx->wounded = 0; 773 774 if (__mutex_trylock(&ww->base)) { 775 ww_mutex_set_context_fastpath(ww, ww_ctx); 776 mutex_acquire_nest(&ww->base.dep_map, 0, 1, &ww_ctx->dep_map, _RET_IP_); 777 return 1; 778 } 779 780 return 0; 781 } 782 EXPORT_SYMBOL(ww_mutex_trylock); 783 784 #ifdef CONFIG_DEBUG_LOCK_ALLOC 785 void __sched 786 mutex_lock_nested(struct mutex *lock, unsigned int subclass) 787 { 788 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, subclass, NULL, _RET_IP_); 789 } 790 791 EXPORT_SYMBOL_GPL(mutex_lock_nested); 792 793 void __sched 794 _mutex_lock_nest_lock(struct mutex *lock, struct lockdep_map *nest) 795 { 796 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, 0, nest, _RET_IP_); 797 } 798 EXPORT_SYMBOL_GPL(_mutex_lock_nest_lock); 799 800 int __sched 801 mutex_lock_killable_nested(struct mutex *lock, unsigned int subclass) 802 { 803 return __mutex_lock(lock, TASK_KILLABLE, subclass, NULL, _RET_IP_); 804 } 805 EXPORT_SYMBOL_GPL(mutex_lock_killable_nested); 806 807 int __sched 808 mutex_lock_interruptible_nested(struct mutex *lock, unsigned int subclass) 809 { 810 return __mutex_lock(lock, TASK_INTERRUPTIBLE, subclass, NULL, _RET_IP_); 811 } 812 EXPORT_SYMBOL_GPL(mutex_lock_interruptible_nested); 813 814 void __sched 815 mutex_lock_io_nested(struct mutex *lock, unsigned int subclass) 816 { 817 int token; 818 819 might_sleep(); 820 821 token = io_schedule_prepare(); 822 __mutex_lock_common(lock, TASK_UNINTERRUPTIBLE, 823 subclass, NULL, _RET_IP_, NULL, 0); 824 io_schedule_finish(token); 825 } 826 EXPORT_SYMBOL_GPL(mutex_lock_io_nested); 827 828 static inline int 829 ww_mutex_deadlock_injection(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 830 { 831 #ifdef CONFIG_DEBUG_WW_MUTEX_SLOWPATH 832 unsigned tmp; 833 834 if (ctx->deadlock_inject_countdown-- == 0) { 835 tmp = ctx->deadlock_inject_interval; 836 if (tmp > UINT_MAX/4) 837 tmp = UINT_MAX; 838 else 839 tmp = tmp*2 + tmp + tmp/2; 840 841 ctx->deadlock_inject_interval = tmp; 842 ctx->deadlock_inject_countdown = tmp; 843 ctx->contending_lock = lock; 844 845 ww_mutex_unlock(lock); 846 847 return -EDEADLK; 848 } 849 #endif 850 851 return 0; 852 } 853 854 int __sched 855 ww_mutex_lock(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 856 { 857 int ret; 858 859 might_sleep(); 860 ret = __ww_mutex_lock(&lock->base, TASK_UNINTERRUPTIBLE, 861 0, _RET_IP_, ctx); 862 if (!ret && ctx && ctx->acquired > 1) 863 return ww_mutex_deadlock_injection(lock, ctx); 864 865 return ret; 866 } 867 EXPORT_SYMBOL_GPL(ww_mutex_lock); 868 869 int __sched 870 ww_mutex_lock_interruptible(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 871 { 872 int ret; 873 874 might_sleep(); 875 ret = __ww_mutex_lock(&lock->base, TASK_INTERRUPTIBLE, 876 0, _RET_IP_, ctx); 877 878 if (!ret && ctx && ctx->acquired > 1) 879 return ww_mutex_deadlock_injection(lock, ctx); 880 881 return ret; 882 } 883 EXPORT_SYMBOL_GPL(ww_mutex_lock_interruptible); 884 885 #endif 886 887 /* 888 * Release the lock, slowpath: 889 */ 890 static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsigned long ip) 891 { 892 struct task_struct *next = NULL; 893 DEFINE_WAKE_Q(wake_q); 894 unsigned long owner; 895 896 mutex_release(&lock->dep_map, ip); 897 898 /* 899 * Release the lock before (potentially) taking the spinlock such that 900 * other contenders can get on with things ASAP. 901 * 902 * Except when HANDOFF, in that case we must not clear the owner field, 903 * but instead set it to the top waiter. 904 */ 905 owner = atomic_long_read(&lock->owner); 906 for (;;) { 907 MUTEX_WARN_ON(__owner_task(owner) != current); 908 MUTEX_WARN_ON(owner & MUTEX_FLAG_PICKUP); 909 910 if (owner & MUTEX_FLAG_HANDOFF) 911 break; 912 913 if (atomic_long_try_cmpxchg_release(&lock->owner, &owner, __owner_flags(owner))) { 914 if (owner & MUTEX_FLAG_WAITERS) 915 break; 916 917 return; 918 } 919 } 920 921 raw_spin_lock(&lock->wait_lock); 922 debug_mutex_unlock(lock); 923 if (!list_empty(&lock->wait_list)) { 924 /* get the first entry from the wait-list: */ 925 struct mutex_waiter *waiter = 926 list_first_entry(&lock->wait_list, 927 struct mutex_waiter, list); 928 929 next = waiter->task; 930 931 debug_mutex_wake_waiter(lock, waiter); 932 wake_q_add(&wake_q, next); 933 } 934 935 if (owner & MUTEX_FLAG_HANDOFF) 936 __mutex_handoff(lock, next); 937 938 raw_spin_unlock(&lock->wait_lock); 939 940 wake_up_q(&wake_q); 941 } 942 943 #ifndef CONFIG_DEBUG_LOCK_ALLOC 944 /* 945 * Here come the less common (and hence less performance-critical) APIs: 946 * mutex_lock_interruptible() and mutex_trylock(). 947 */ 948 static noinline int __sched 949 __mutex_lock_killable_slowpath(struct mutex *lock); 950 951 static noinline int __sched 952 __mutex_lock_interruptible_slowpath(struct mutex *lock); 953 954 /** 955 * mutex_lock_interruptible() - Acquire the mutex, interruptible by signals. 956 * @lock: The mutex to be acquired. 957 * 958 * Lock the mutex like mutex_lock(). If a signal is delivered while the 959 * process is sleeping, this function will return without acquiring the 960 * mutex. 961 * 962 * Context: Process context. 963 * Return: 0 if the lock was successfully acquired or %-EINTR if a 964 * signal arrived. 965 */ 966 int __sched mutex_lock_interruptible(struct mutex *lock) 967 { 968 might_sleep(); 969 970 if (__mutex_trylock_fast(lock)) 971 return 0; 972 973 return __mutex_lock_interruptible_slowpath(lock); 974 } 975 976 EXPORT_SYMBOL(mutex_lock_interruptible); 977 978 /** 979 * mutex_lock_killable() - Acquire the mutex, interruptible by fatal signals. 980 * @lock: The mutex to be acquired. 981 * 982 * Lock the mutex like mutex_lock(). If a signal which will be fatal to 983 * the current process is delivered while the process is sleeping, this 984 * function will return without acquiring the mutex. 985 * 986 * Context: Process context. 987 * Return: 0 if the lock was successfully acquired or %-EINTR if a 988 * fatal signal arrived. 989 */ 990 int __sched mutex_lock_killable(struct mutex *lock) 991 { 992 might_sleep(); 993 994 if (__mutex_trylock_fast(lock)) 995 return 0; 996 997 return __mutex_lock_killable_slowpath(lock); 998 } 999 EXPORT_SYMBOL(mutex_lock_killable); 1000 1001 /** 1002 * mutex_lock_io() - Acquire the mutex and mark the process as waiting for I/O 1003 * @lock: The mutex to be acquired. 1004 * 1005 * Lock the mutex like mutex_lock(). While the task is waiting for this 1006 * mutex, it will be accounted as being in the IO wait state by the 1007 * scheduler. 1008 * 1009 * Context: Process context. 1010 */ 1011 void __sched mutex_lock_io(struct mutex *lock) 1012 { 1013 int token; 1014 1015 token = io_schedule_prepare(); 1016 mutex_lock(lock); 1017 io_schedule_finish(token); 1018 } 1019 EXPORT_SYMBOL_GPL(mutex_lock_io); 1020 1021 static noinline void __sched 1022 __mutex_lock_slowpath(struct mutex *lock) 1023 { 1024 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, 0, NULL, _RET_IP_); 1025 } 1026 1027 static noinline int __sched 1028 __mutex_lock_killable_slowpath(struct mutex *lock) 1029 { 1030 return __mutex_lock(lock, TASK_KILLABLE, 0, NULL, _RET_IP_); 1031 } 1032 1033 static noinline int __sched 1034 __mutex_lock_interruptible_slowpath(struct mutex *lock) 1035 { 1036 return __mutex_lock(lock, TASK_INTERRUPTIBLE, 0, NULL, _RET_IP_); 1037 } 1038 1039 static noinline int __sched 1040 __ww_mutex_lock_slowpath(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1041 { 1042 return __ww_mutex_lock(&lock->base, TASK_UNINTERRUPTIBLE, 0, 1043 _RET_IP_, ctx); 1044 } 1045 1046 static noinline int __sched 1047 __ww_mutex_lock_interruptible_slowpath(struct ww_mutex *lock, 1048 struct ww_acquire_ctx *ctx) 1049 { 1050 return __ww_mutex_lock(&lock->base, TASK_INTERRUPTIBLE, 0, 1051 _RET_IP_, ctx); 1052 } 1053 1054 #endif 1055 1056 /** 1057 * mutex_trylock - try to acquire the mutex, without waiting 1058 * @lock: the mutex to be acquired 1059 * 1060 * Try to acquire the mutex atomically. Returns 1 if the mutex 1061 * has been acquired successfully, and 0 on contention. 1062 * 1063 * NOTE: this function follows the spin_trylock() convention, so 1064 * it is negated from the down_trylock() return values! Be careful 1065 * about this when converting semaphore users to mutexes. 1066 * 1067 * This function must not be used in interrupt context. The 1068 * mutex must be released by the same task that acquired it. 1069 */ 1070 int __sched mutex_trylock(struct mutex *lock) 1071 { 1072 bool locked; 1073 1074 MUTEX_WARN_ON(lock->magic != lock); 1075 1076 locked = __mutex_trylock(lock); 1077 if (locked) 1078 mutex_acquire(&lock->dep_map, 0, 1, _RET_IP_); 1079 1080 return locked; 1081 } 1082 EXPORT_SYMBOL(mutex_trylock); 1083 1084 #ifndef CONFIG_DEBUG_LOCK_ALLOC 1085 int __sched 1086 ww_mutex_lock(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1087 { 1088 might_sleep(); 1089 1090 if (__mutex_trylock_fast(&lock->base)) { 1091 if (ctx) 1092 ww_mutex_set_context_fastpath(lock, ctx); 1093 return 0; 1094 } 1095 1096 return __ww_mutex_lock_slowpath(lock, ctx); 1097 } 1098 EXPORT_SYMBOL(ww_mutex_lock); 1099 1100 int __sched 1101 ww_mutex_lock_interruptible(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1102 { 1103 might_sleep(); 1104 1105 if (__mutex_trylock_fast(&lock->base)) { 1106 if (ctx) 1107 ww_mutex_set_context_fastpath(lock, ctx); 1108 return 0; 1109 } 1110 1111 return __ww_mutex_lock_interruptible_slowpath(lock, ctx); 1112 } 1113 EXPORT_SYMBOL(ww_mutex_lock_interruptible); 1114 1115 #endif /* !CONFIG_DEBUG_LOCK_ALLOC */ 1116 #endif /* !CONFIG_PREEMPT_RT */ 1117 1118 /** 1119 * atomic_dec_and_mutex_lock - return holding mutex if we dec to 0 1120 * @cnt: the atomic which we are to dec 1121 * @lock: the mutex to return holding if we dec to 0 1122 * 1123 * return true and hold lock if we dec to 0, return false otherwise 1124 */ 1125 int atomic_dec_and_mutex_lock(atomic_t *cnt, struct mutex *lock) 1126 { 1127 /* dec if we can't possibly hit 0 */ 1128 if (atomic_add_unless(cnt, -1, 1)) 1129 return 0; 1130 /* we might hit 0, so take the lock */ 1131 mutex_lock(lock); 1132 if (!atomic_dec_and_test(cnt)) { 1133 /* when we actually did the dec, we didn't hit 0 */ 1134 mutex_unlock(lock); 1135 return 0; 1136 } 1137 /* we hit 0, and we hold the lock */ 1138 return 1; 1139 } 1140 EXPORT_SYMBOL(atomic_dec_and_mutex_lock); 1141