mcs_spinlock.h 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118
  1. /*
  2. * MCS lock defines
  3. *
  4. * This file contains the main data structure and API definitions of MCS lock.
  5. *
  6. * The MCS lock (proposed by Mellor-Crummey and Scott) is a simple spin-lock
  7. * with the desirable properties of being fair, and with each cpu trying
  8. * to acquire the lock spinning on a local variable.
  9. * It avoids expensive cache bouncings that common test-and-set spin-lock
  10. * implementations incur.
  11. */
  12. #ifndef __LINUX_MCS_SPINLOCK_H
  13. #define __LINUX_MCS_SPINLOCK_H
  14. #include <asm/mcs_spinlock.h>
  15. struct mcs_spinlock {
  16. struct mcs_spinlock *next;
  17. int locked; /* 1 if lock acquired */
  18. int count; /* nesting count, see qspinlock.c */
  19. };
  20. #ifndef arch_mcs_spin_lock_contended
  21. /*
  22. * Using smp_load_acquire() provides a memory barrier that ensures
  23. * subsequent operations happen after the lock is acquired.
  24. */
  25. #define arch_mcs_spin_lock_contended(l) \
  26. do { \
  27. while (!(smp_load_acquire(l))) \
  28. cpu_relax_lowlatency(); \
  29. } while (0)
  30. #endif
  31. #ifndef arch_mcs_spin_unlock_contended
  32. /*
  33. * smp_store_release() provides a memory barrier to ensure all
  34. * operations in the critical section has been completed before
  35. * unlocking.
  36. */
  37. #define arch_mcs_spin_unlock_contended(l) \
  38. smp_store_release((l), 1)
  39. #endif
  40. /*
  41. * Note: the smp_load_acquire/smp_store_release pair is not
  42. * sufficient to form a full memory barrier across
  43. * cpus for many architectures (except x86) for mcs_unlock and mcs_lock.
  44. * For applications that need a full barrier across multiple cpus
  45. * with mcs_unlock and mcs_lock pair, smp_mb__after_unlock_lock() should be
  46. * used after mcs_lock.
  47. */
  48. /*
  49. * In order to acquire the lock, the caller should declare a local node and
  50. * pass a reference of the node to this function in addition to the lock.
  51. * If the lock has already been acquired, then this will proceed to spin
  52. * on this node->locked until the previous lock holder sets the node->locked
  53. * in mcs_spin_unlock().
  54. */
  55. static inline
  56. void mcs_spin_lock(struct mcs_spinlock **lock, struct mcs_spinlock *node)
  57. {
  58. struct mcs_spinlock *prev;
  59. /* Init node */
  60. node->locked = 0;
  61. node->next = NULL;
  62. /*
  63. * We rely on the full barrier with global transitivity implied by the
  64. * below xchg() to order the initialization stores above against any
  65. * observation of @node. And to provide the ACQUIRE ordering associated
  66. * with a LOCK primitive.
  67. */
  68. prev = xchg(lock, node);
  69. if (likely(prev == NULL)) {
  70. /*
  71. * Lock acquired, don't need to set node->locked to 1. Threads
  72. * only spin on its own node->locked value for lock acquisition.
  73. * However, since this thread can immediately acquire the lock
  74. * and does not proceed to spin on its own node->locked, this
  75. * value won't be used. If a debug mode is needed to
  76. * audit lock status, then set node->locked value here.
  77. */
  78. return;
  79. }
  80. WRITE_ONCE(prev->next, node);
  81. /* Wait until the lock holder passes the lock down. */
  82. arch_mcs_spin_lock_contended(&node->locked);
  83. }
  84. /*
  85. * Releases the lock. The caller should pass in the corresponding node that
  86. * was used to acquire the lock.
  87. */
  88. static inline
  89. void mcs_spin_unlock(struct mcs_spinlock **lock, struct mcs_spinlock *node)
  90. {
  91. struct mcs_spinlock *next = READ_ONCE(node->next);
  92. if (likely(!next)) {
  93. /*
  94. * Release the lock by setting it to NULL
  95. */
  96. if (likely(cmpxchg_release(lock, node, NULL) == node))
  97. return;
  98. /* Wait until the next pointer is set */
  99. while (!(next = READ_ONCE(node->next)))
  100. cpu_relax_lowlatency();
  101. }
  102. /* Pass lock to next waiter. */
  103. arch_mcs_spin_unlock_contended(&next->locked);
  104. }
  105. #endif /* __LINUX_MCS_SPINLOCK_H */