ARM V8 base instruction -- ldrx stxr

最新推荐文章于 2025-05-21 22:37:34 发布

原创最新推荐文章于 2025-05-21 22:37:34 发布 · 750 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#arm

Assembly 专栏收录该内容

533 篇文章

订阅专栏

本文详细剖析了自旋锁在底层如何通过预取CPU缓存、独占读写操作和循环重试机制来确保线程同步。通过`__ll_sc_atomic_add_return_acquire`和`__ll_sc_atomic_fetch_or_release`两个函数实例，揭示了其核心原理和关键技术细节。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

自旋锁的底层实现。

static inline int
    __ll_sc_atomic_add_return_acquire(int i, atomic_t *v)
    {
       unsigned long tmp;
       int result;

       asm volatile(
    "       // 将v->counter预取到CPU缓存\n"                                   \
    "   prfm    pstl1strm, %2\n"                   \
    "       // 将v->counter独占的读入result中\n"                              \
    "1:   ldaxr    %w0, %2\n"                            \
    "       // result = result + i\n"                                       \
    "   add    %w0, %w0, %w3\n"                                \
    "       // 将result的值独占的存入v->counter中\n"                           \
    "       // 如果存入时独占标记被清除则将tmp置1\n"                             \
    "   stxr   %w1, %w0, %2\n"                            \
    "       // 如果tmp被置1则从头再次执行一遍\n"                                \
    "   cbnz   %w1, 1b\n"                       \
            )                               \
       : "=&r" (result), "=&r" (tmp), "+Q" (v->counter)       \
       : __stringify(I) "r" (i)                        \
       : "memory");                                    \
                                       \
       return result;                           \
    }

   static inline int                           \
   __ll_sc_atomic_fetch_or_release(int i, atomic_t *v)           \
   {                                   \
       unsigned long tmp;                       \
       int val, result;                       \
                                       \
       asm volatile(                                            \
   "       // 将v->counter预取到CPU缓存\n"                                   \
   "   prfm   pstl1strm, %3\n"                   \
   "       // 将v->counter独占的读入result中\n"                              \
   "1:   ldxr   %w0, %3\n"                            \
   "       // val = result | i\n"                                          \
   "   orr   %w1, %w0, %w4\n"                        \
   "       // 将val的值独占的存入v->counter中\n"                              \
   "       // 如果存入时独占标记被清除则将tmp置1\n"                             \
   "   stlxr   %w2, %w1, %3\n"                            \
   "       // 如果tmp被置1则从头再次执行一遍\n"                                \
   "   cbnz   %w2, 1b\n"                       \
       : "=&r" (result), "=&r" (val), "=&r" (tmp), "+Q" (v->counter)   \
       : __stringify(K) "r" (i)                        \
       : "memory");                           \
                                       \
       return result;                           \
   }