compiler.h 5.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145
  1. #pragma once
  2. #include <common/compiler_attributes.h>
  3. #define likely(x) __builtin_expect(!!(x), 1)
  4. #define unlikely(x) __builtin_expect(!!(x), 0)
  5. #ifndef barrier
  6. // 内存屏障
  7. #define barrier() __asm__ __volatile__("" :: \
  8. : "memory");
  9. #endif
  10. /**
  11. * @brief 编译时断言,如果condition不为1,则输出msg
  12. *
  13. * @param prefix 一个“不存在的函数名”的前缀
  14. * @param suffix 一个“不存在的函数名”的后缀
  15. */
  16. #define __compiletime_assert(condition, msg, prefix, suffix) \
  17. do \
  18. { \
  19. /** \
  20. * 声明一个不存在的函数的extern,如果assert失败,就调用它,从而导致 \
  21. * 链接时出错,进而达到“编译时断言”的功能。 \
  22. */ \
  23. __noreturn extern void prefix##suffix(void) \
  24. __compiletime_error(msg); \
  25. if (!(condition)) \
  26. prefix##suffix(); \
  27. } while (0)
  28. /**
  29. * @brief 当condition是false时,中断编译,并输出指定的错误信息
  30. *
  31. * @param condition assert的情况
  32. * @param msg condition为false时输出的错误信息
  33. */
  34. #define complietime_assert(condition, msg) \
  35. __compiletime_assert(condition, msg, __compiletime_assert__, __COUNTER__)
  36. /**
  37. * @brief 从src读取数据到dst,该过程避免编译器优化。
  38. *
  39. * @param dst 目标地址指针
  40. * @param src 源地址指针
  41. * @param size 要读取的数据大小(建议1、2、4、8字节,若不满足要求,则采用memcpy读取。)
  42. */
  43. static __always_inline void __read_once_size(void *dst, const volatile void *src, int size)
  44. {
  45. switch (size)
  46. {
  47. case 1:
  48. *(__u8_alias_t *)dst = *(volatile __u8_alias_t *)src;
  49. break;
  50. case 2:
  51. *(__u16_alias_t *)dst = *(volatile __u16_alias_t *)src;
  52. break;
  53. case 4:
  54. *(__u32_alias_t *)dst = *(volatile __u32_alias_t *)src;
  55. break;
  56. case 8:
  57. *(__u64_alias_t *)dst = *(volatile __u64_alias_t *)src;
  58. break;
  59. default:
  60. barrier();
  61. __builtin_memcpy((void *)dst, (const void *)src, size);
  62. barrier();
  63. break;
  64. }
  65. }
  66. /**
  67. * @brief 把src处的数据到dst,该过程避免编译器优化。
  68. *
  69. * @param dst 目标地址指针
  70. * @param src 源地址指针
  71. * @param size 要写入的数据大小(建议1、2、4、8字节,若不满足要求,则采用memcpy传输。)
  72. */
  73. static __always_inline void __write_once_size(volatile void *dst, void *src, int size)
  74. {
  75. switch (size)
  76. {
  77. case 1:
  78. *(volatile __u8_alias_t *)dst = *(__u8_alias_t *)src;
  79. break;
  80. case 2:
  81. *(volatile __u16_alias_t *)dst = *(__u16_alias_t *)src;
  82. break;
  83. case 4:
  84. *(volatile __u32_alias_t *)dst = *(__u32_alias_t *)src;
  85. break;
  86. case 8:
  87. *(volatile __u64_alias_t *)dst = *(__u64_alias_t *)src;
  88. break;
  89. default:
  90. barrier();
  91. __builtin_memcpy((void *)dst, (const void *)src, size);
  92. barrier();
  93. break;
  94. }
  95. }
  96. /**
  97. * 这两个宏能够避免编译器重排序、合并涉及到的读写操作,从而避免由于编译器优化导致的多线程读写顺序错误。
  98. * 通过将有顺序要求的两个读/写操作放置在READ_ONCE()和WRITE_ONCE()之中,能够让编译器知道这些操作具有顺序要求。
  99. *
  100. * 这两个宏同样适用于Union或struct。如果要访问的数据大小不是1、2、4、8字节,则会使用memcpy来处理。
  101. *
  102. * 这两个宏的主要使用场景:
  103. * 1.两个进程或者中断处理函数之间的信息交流与沟通
  104. * 2.确保编译器不会折叠、旋转或以其他方式对代码进行优化,从而破坏数据访问顺序。
  105. *
  106. * 这两个宏的union __u内的__c用作这个union的地址的指针
  107. *
  108. * 关于READ_ONCE和WRITE_ONCE的简单说明,请转到:https://bbs.dragonos.org/forum.php?mod=viewthread&tid=24
  109. */
  110. /**
  111. * @brief 读取变量x (避免编译器优化)
  112. */
  113. #define READ_ONCE(x) \
  114. ({ \
  115. union \
  116. { \
  117. typeof(x) __val; \
  118. char __c[1]; \
  119. } __u = {.__c = {0}}; \
  120. __read_once_size(__u.__c, &(x), sizeof(x)); \
  121. __u.__val; \
  122. })
  123. /**
  124. * @brief 将val写入变量x (避免编译器优化)
  125. */
  126. #define WRITE_ONCE(x, val) \
  127. ({ \
  128. union \
  129. { \
  130. typeof(x) __val; \
  131. char __c[1]; \
  132. } __u = {.val = (val)}; \
  133. __write_once_size(&(x), __u.__c, sizeof(x)); \
  134. __u.__val; \
  135. })