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 trace_contention_begin(lock, 0); 648 for (;;) { 649 bool first; 650 651 /* 652 * Once we hold wait_lock, we're serialized against 653 * mutex_unlock() handing the lock off to us, do a trylock 654 * before testing the error conditions to make sure we pick up 655 * the handoff. 656 */ 657 if (__mutex_trylock(lock)) 658 goto acquired; 659 660 /* 661 * Check for signals and kill conditions while holding 662 * wait_lock. This ensures the lock cancellation is ordered 663 * against mutex_unlock() and wake-ups do not go missing. 664 */ 665 if (signal_pending_state(state, current)) { 666 ret = -EINTR; 667 goto err; 668 } 669 670 if (ww_ctx) { 671 ret = __ww_mutex_check_kill(lock, &waiter, ww_ctx); 672 if (ret) 673 goto err; 674 } 675 676 raw_spin_unlock(&lock->wait_lock); 677 schedule_preempt_disabled(); 678 679 first = __mutex_waiter_is_first(lock, &waiter); 680 681 set_current_state(state); 682 /* 683 * Here we order against unlock; we must either see it change 684 * state back to RUNNING and fall through the next schedule(), 685 * or we must see its unlock and acquire. 686 */ 687 if (__mutex_trylock_or_handoff(lock, first) || 688 (first && mutex_optimistic_spin(lock, ww_ctx, &waiter))) 689 break; 690 691 raw_spin_lock(&lock->wait_lock); 692 } 693 raw_spin_lock(&lock->wait_lock); 694 acquired: 695 __set_current_state(TASK_RUNNING); 696 697 if (ww_ctx) { 698 /* 699 * Wound-Wait; we stole the lock (!first_waiter), check the 700 * waiters as anyone might want to wound us. 701 */ 702 if (!ww_ctx->is_wait_die && 703 !__mutex_waiter_is_first(lock, &waiter)) 704 __ww_mutex_check_waiters(lock, ww_ctx); 705 } 706 707 __mutex_remove_waiter(lock, &waiter); 708 709 debug_mutex_free_waiter(&waiter); 710 711 skip_wait: 712 /* got the lock - cleanup and rejoice! */ 713 lock_acquired(&lock->dep_map, ip); 714 trace_contention_end(lock, 0); 715 716 if (ww_ctx) 717 ww_mutex_lock_acquired(ww, ww_ctx); 718 719 raw_spin_unlock(&lock->wait_lock); 720 preempt_enable(); 721 return 0; 722 723 err: 724 __set_current_state(TASK_RUNNING); 725 __mutex_remove_waiter(lock, &waiter); 726 trace_contention_end(lock, ret); 727 err_early_kill: 728 raw_spin_unlock(&lock->wait_lock); 729 debug_mutex_free_waiter(&waiter); 730 mutex_release(&lock->dep_map, ip); 731 preempt_enable(); 732 return ret; 733 } 734 735 static int __sched 736 __mutex_lock(struct mutex *lock, unsigned int state, unsigned int subclass, 737 struct lockdep_map *nest_lock, unsigned long ip) 738 { 739 return __mutex_lock_common(lock, state, subclass, nest_lock, ip, NULL, false); 740 } 741 742 static int __sched 743 __ww_mutex_lock(struct mutex *lock, unsigned int state, unsigned int subclass, 744 unsigned long ip, struct ww_acquire_ctx *ww_ctx) 745 { 746 return __mutex_lock_common(lock, state, subclass, NULL, ip, ww_ctx, true); 747 } 748 749 /** 750 * ww_mutex_trylock - tries to acquire the w/w mutex with optional acquire context 751 * @ww: mutex to lock 752 * @ww_ctx: optional w/w acquire context 753 * 754 * Trylocks a mutex with the optional acquire context; no deadlock detection is 755 * possible. Returns 1 if the mutex has been acquired successfully, 0 otherwise. 756 * 757 * Unlike ww_mutex_lock, no deadlock handling is performed. However, if a @ctx is 758 * specified, -EALREADY handling may happen in calls to ww_mutex_trylock. 759 * 760 * A mutex acquired with this function must be released with ww_mutex_unlock. 761 */ 762 int ww_mutex_trylock(struct ww_mutex *ww, struct ww_acquire_ctx *ww_ctx) 763 { 764 if (!ww_ctx) 765 return mutex_trylock(&ww->base); 766 767 MUTEX_WARN_ON(ww->base.magic != &ww->base); 768 769 /* 770 * Reset the wounded flag after a kill. No other process can 771 * race and wound us here, since they can't have a valid owner 772 * pointer if we don't have any locks held. 773 */ 774 if (ww_ctx->acquired == 0) 775 ww_ctx->wounded = 0; 776 777 if (__mutex_trylock(&ww->base)) { 778 ww_mutex_set_context_fastpath(ww, ww_ctx); 779 mutex_acquire_nest(&ww->base.dep_map, 0, 1, &ww_ctx->dep_map, _RET_IP_); 780 return 1; 781 } 782 783 return 0; 784 } 785 EXPORT_SYMBOL(ww_mutex_trylock); 786 787 #ifdef CONFIG_DEBUG_LOCK_ALLOC 788 void __sched 789 mutex_lock_nested(struct mutex *lock, unsigned int subclass) 790 { 791 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, subclass, NULL, _RET_IP_); 792 } 793 794 EXPORT_SYMBOL_GPL(mutex_lock_nested); 795 796 void __sched 797 _mutex_lock_nest_lock(struct mutex *lock, struct lockdep_map *nest) 798 { 799 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, 0, nest, _RET_IP_); 800 } 801 EXPORT_SYMBOL_GPL(_mutex_lock_nest_lock); 802 803 int __sched 804 mutex_lock_killable_nested(struct mutex *lock, unsigned int subclass) 805 { 806 return __mutex_lock(lock, TASK_KILLABLE, subclass, NULL, _RET_IP_); 807 } 808 EXPORT_SYMBOL_GPL(mutex_lock_killable_nested); 809 810 int __sched 811 mutex_lock_interruptible_nested(struct mutex *lock, unsigned int subclass) 812 { 813 return __mutex_lock(lock, TASK_INTERRUPTIBLE, subclass, NULL, _RET_IP_); 814 } 815 EXPORT_SYMBOL_GPL(mutex_lock_interruptible_nested); 816 817 void __sched 818 mutex_lock_io_nested(struct mutex *lock, unsigned int subclass) 819 { 820 int token; 821 822 might_sleep(); 823 824 token = io_schedule_prepare(); 825 __mutex_lock_common(lock, TASK_UNINTERRUPTIBLE, 826 subclass, NULL, _RET_IP_, NULL, 0); 827 io_schedule_finish(token); 828 } 829 EXPORT_SYMBOL_GPL(mutex_lock_io_nested); 830 831 static inline int 832 ww_mutex_deadlock_injection(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 833 { 834 #ifdef CONFIG_DEBUG_WW_MUTEX_SLOWPATH 835 unsigned tmp; 836 837 if (ctx->deadlock_inject_countdown-- == 0) { 838 tmp = ctx->deadlock_inject_interval; 839 if (tmp > UINT_MAX/4) 840 tmp = UINT_MAX; 841 else 842 tmp = tmp*2 + tmp + tmp/2; 843 844 ctx->deadlock_inject_interval = tmp; 845 ctx->deadlock_inject_countdown = tmp; 846 ctx->contending_lock = lock; 847 848 ww_mutex_unlock(lock); 849 850 return -EDEADLK; 851 } 852 #endif 853 854 return 0; 855 } 856 857 int __sched 858 ww_mutex_lock(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 859 { 860 int ret; 861 862 might_sleep(); 863 ret = __ww_mutex_lock(&lock->base, TASK_UNINTERRUPTIBLE, 864 0, _RET_IP_, ctx); 865 if (!ret && ctx && ctx->acquired > 1) 866 return ww_mutex_deadlock_injection(lock, ctx); 867 868 return ret; 869 } 870 EXPORT_SYMBOL_GPL(ww_mutex_lock); 871 872 int __sched 873 ww_mutex_lock_interruptible(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 874 { 875 int ret; 876 877 might_sleep(); 878 ret = __ww_mutex_lock(&lock->base, TASK_INTERRUPTIBLE, 879 0, _RET_IP_, ctx); 880 881 if (!ret && ctx && ctx->acquired > 1) 882 return ww_mutex_deadlock_injection(lock, ctx); 883 884 return ret; 885 } 886 EXPORT_SYMBOL_GPL(ww_mutex_lock_interruptible); 887 888 #endif 889 890 /* 891 * Release the lock, slowpath: 892 */ 893 static noinline void __sched __mutex_unlock_slowpath(struct mutex *lock, unsigned long ip) 894 { 895 struct task_struct *next = NULL; 896 DEFINE_WAKE_Q(wake_q); 897 unsigned long owner; 898 899 mutex_release(&lock->dep_map, ip); 900 901 /* 902 * Release the lock before (potentially) taking the spinlock such that 903 * other contenders can get on with things ASAP. 904 * 905 * Except when HANDOFF, in that case we must not clear the owner field, 906 * but instead set it to the top waiter. 907 */ 908 owner = atomic_long_read(&lock->owner); 909 for (;;) { 910 MUTEX_WARN_ON(__owner_task(owner) != current); 911 MUTEX_WARN_ON(owner & MUTEX_FLAG_PICKUP); 912 913 if (owner & MUTEX_FLAG_HANDOFF) 914 break; 915 916 if (atomic_long_try_cmpxchg_release(&lock->owner, &owner, __owner_flags(owner))) { 917 if (owner & MUTEX_FLAG_WAITERS) 918 break; 919 920 return; 921 } 922 } 923 924 raw_spin_lock(&lock->wait_lock); 925 debug_mutex_unlock(lock); 926 if (!list_empty(&lock->wait_list)) { 927 /* get the first entry from the wait-list: */ 928 struct mutex_waiter *waiter = 929 list_first_entry(&lock->wait_list, 930 struct mutex_waiter, list); 931 932 next = waiter->task; 933 934 debug_mutex_wake_waiter(lock, waiter); 935 wake_q_add(&wake_q, next); 936 } 937 938 if (owner & MUTEX_FLAG_HANDOFF) 939 __mutex_handoff(lock, next); 940 941 raw_spin_unlock(&lock->wait_lock); 942 943 wake_up_q(&wake_q); 944 } 945 946 #ifndef CONFIG_DEBUG_LOCK_ALLOC 947 /* 948 * Here come the less common (and hence less performance-critical) APIs: 949 * mutex_lock_interruptible() and mutex_trylock(). 950 */ 951 static noinline int __sched 952 __mutex_lock_killable_slowpath(struct mutex *lock); 953 954 static noinline int __sched 955 __mutex_lock_interruptible_slowpath(struct mutex *lock); 956 957 /** 958 * mutex_lock_interruptible() - Acquire the mutex, interruptible by signals. 959 * @lock: The mutex to be acquired. 960 * 961 * Lock the mutex like mutex_lock(). If a signal is delivered while the 962 * process is sleeping, this function will return without acquiring the 963 * mutex. 964 * 965 * Context: Process context. 966 * Return: 0 if the lock was successfully acquired or %-EINTR if a 967 * signal arrived. 968 */ 969 int __sched mutex_lock_interruptible(struct mutex *lock) 970 { 971 might_sleep(); 972 973 if (__mutex_trylock_fast(lock)) 974 return 0; 975 976 return __mutex_lock_interruptible_slowpath(lock); 977 } 978 979 EXPORT_SYMBOL(mutex_lock_interruptible); 980 981 /** 982 * mutex_lock_killable() - Acquire the mutex, interruptible by fatal signals. 983 * @lock: The mutex to be acquired. 984 * 985 * Lock the mutex like mutex_lock(). If a signal which will be fatal to 986 * the current process is delivered while the process is sleeping, this 987 * function will return without acquiring the mutex. 988 * 989 * Context: Process context. 990 * Return: 0 if the lock was successfully acquired or %-EINTR if a 991 * fatal signal arrived. 992 */ 993 int __sched mutex_lock_killable(struct mutex *lock) 994 { 995 might_sleep(); 996 997 if (__mutex_trylock_fast(lock)) 998 return 0; 999 1000 return __mutex_lock_killable_slowpath(lock); 1001 } 1002 EXPORT_SYMBOL(mutex_lock_killable); 1003 1004 /** 1005 * mutex_lock_io() - Acquire the mutex and mark the process as waiting for I/O 1006 * @lock: The mutex to be acquired. 1007 * 1008 * Lock the mutex like mutex_lock(). While the task is waiting for this 1009 * mutex, it will be accounted as being in the IO wait state by the 1010 * scheduler. 1011 * 1012 * Context: Process context. 1013 */ 1014 void __sched mutex_lock_io(struct mutex *lock) 1015 { 1016 int token; 1017 1018 token = io_schedule_prepare(); 1019 mutex_lock(lock); 1020 io_schedule_finish(token); 1021 } 1022 EXPORT_SYMBOL_GPL(mutex_lock_io); 1023 1024 static noinline void __sched 1025 __mutex_lock_slowpath(struct mutex *lock) 1026 { 1027 __mutex_lock(lock, TASK_UNINTERRUPTIBLE, 0, NULL, _RET_IP_); 1028 } 1029 1030 static noinline int __sched 1031 __mutex_lock_killable_slowpath(struct mutex *lock) 1032 { 1033 return __mutex_lock(lock, TASK_KILLABLE, 0, NULL, _RET_IP_); 1034 } 1035 1036 static noinline int __sched 1037 __mutex_lock_interruptible_slowpath(struct mutex *lock) 1038 { 1039 return __mutex_lock(lock, TASK_INTERRUPTIBLE, 0, NULL, _RET_IP_); 1040 } 1041 1042 static noinline int __sched 1043 __ww_mutex_lock_slowpath(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1044 { 1045 return __ww_mutex_lock(&lock->base, TASK_UNINTERRUPTIBLE, 0, 1046 _RET_IP_, ctx); 1047 } 1048 1049 static noinline int __sched 1050 __ww_mutex_lock_interruptible_slowpath(struct ww_mutex *lock, 1051 struct ww_acquire_ctx *ctx) 1052 { 1053 return __ww_mutex_lock(&lock->base, TASK_INTERRUPTIBLE, 0, 1054 _RET_IP_, ctx); 1055 } 1056 1057 #endif 1058 1059 /** 1060 * mutex_trylock - try to acquire the mutex, without waiting 1061 * @lock: the mutex to be acquired 1062 * 1063 * Try to acquire the mutex atomically. Returns 1 if the mutex 1064 * has been acquired successfully, and 0 on contention. 1065 * 1066 * NOTE: this function follows the spin_trylock() convention, so 1067 * it is negated from the down_trylock() return values! Be careful 1068 * about this when converting semaphore users to mutexes. 1069 * 1070 * This function must not be used in interrupt context. The 1071 * mutex must be released by the same task that acquired it. 1072 */ 1073 int __sched mutex_trylock(struct mutex *lock) 1074 { 1075 bool locked; 1076 1077 MUTEX_WARN_ON(lock->magic != lock); 1078 1079 locked = __mutex_trylock(lock); 1080 if (locked) 1081 mutex_acquire(&lock->dep_map, 0, 1, _RET_IP_); 1082 1083 return locked; 1084 } 1085 EXPORT_SYMBOL(mutex_trylock); 1086 1087 #ifndef CONFIG_DEBUG_LOCK_ALLOC 1088 int __sched 1089 ww_mutex_lock(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1090 { 1091 might_sleep(); 1092 1093 if (__mutex_trylock_fast(&lock->base)) { 1094 if (ctx) 1095 ww_mutex_set_context_fastpath(lock, ctx); 1096 return 0; 1097 } 1098 1099 return __ww_mutex_lock_slowpath(lock, ctx); 1100 } 1101 EXPORT_SYMBOL(ww_mutex_lock); 1102 1103 int __sched 1104 ww_mutex_lock_interruptible(struct ww_mutex *lock, struct ww_acquire_ctx *ctx) 1105 { 1106 might_sleep(); 1107 1108 if (__mutex_trylock_fast(&lock->base)) { 1109 if (ctx) 1110 ww_mutex_set_context_fastpath(lock, ctx); 1111 return 0; 1112 } 1113 1114 return __ww_mutex_lock_interruptible_slowpath(lock, ctx); 1115 } 1116 EXPORT_SYMBOL(ww_mutex_lock_interruptible); 1117 1118 #endif /* !CONFIG_DEBUG_LOCK_ALLOC */ 1119 #endif /* !CONFIG_PREEMPT_RT */ 1120 1121 /** 1122 * atomic_dec_and_mutex_lock - return holding mutex if we dec to 0 1123 * @cnt: the atomic which we are to dec 1124 * @lock: the mutex to return holding if we dec to 0 1125 * 1126 * return true and hold lock if we dec to 0, return false otherwise 1127 */ 1128 int atomic_dec_and_mutex_lock(atomic_t *cnt, struct mutex *lock) 1129 { 1130 /* dec if we can't possibly hit 0 */ 1131 if (atomic_add_unless(cnt, -1, 1)) 1132 return 0; 1133 /* we might hit 0, so take the lock */ 1134 mutex_lock(lock); 1135 if (!atomic_dec_and_test(cnt)) { 1136 /* when we actually did the dec, we didn't hit 0 */ 1137 mutex_unlock(lock); 1138 return 0; 1139 } 1140 /* we hit 0, and we hold the lock */ 1141 return 1; 1142 } 1143 EXPORT_SYMBOL(atomic_dec_and_mutex_lock); 1144