亚洲国产日韩欧美一区二区三区,精品亚洲国产成人av在线,国产99视频精品免视看7,99国产精品久久久久久久成人热,欧美日韩亚洲国产综合乱

directory search
Algorithms Algorithms(算法) bsearch bsearch_s qsort qsort_s Atomic operations Atomic operations library(原子操作庫) ATOMIC_*_LOCK_FREE atomic_compare_exchange_strong atomic_compare_exchange_strong_explicit atomic_compare_exchange_weak atomic_compare_exchange_weak_explicit atomic_exchange atomic_exchange_explicit atomic_fetch_add atomic_fetch_add_explicit atomic_fetch_and atomic_fetch_and_explicit atomic_fetch_or atomic_fetch_or_explicit atomic_fetch_sub atomic_fetch_sub_explicit atomic_fetch_xor atomic_fetch_xor_explicit atomic_flag atomic_flag_clear atomic_flag_clear_explicit ATOMIC_FLAG_INIT atomic_flag_test_and_set atomic_flag_test_and_set_explicit atomic_init atomic_is_lock_free atomic_load atomic_load_explicit atomic_signal_fence atomic_store atomic_store_explicit atomic_thread_fence(線程圍欄) ATOMIC_VAR_INIT kill_dependency memory_order(內(nèi)存排序) C keywords auto(自動(dòng)存儲(chǔ)) break(跳出循環(huán)) C keywords(關(guān)鍵詞) case char const(常量修飾符) continue default(預(yù)設(shè)運(yùn)算式) do double(雙精度浮點(diǎn)型) else enum(枚舉類型) extern(全局變量) float(浮點(diǎn)數(shù)) for fortran goto(goto語句) if(if語句) inline(行內(nèi)函式) int long(長整型) register(寄存器變量) restrict( restrict類型限定符) return short signed sizeof(sizeof運(yùn)算符) static(靜態(tài)變量) struct(結(jié)構(gòu)體) switch(switch語句) typedef(typedef關(guān)鍵字) union(聯(lián)合體) unsigned(無符號(hào)) void(空類型) volatile(volatile變量) while(while語句) _Alignas _Alignof _Atomic _Bool _Complex _Generic _Imaginary _Noreturn _Static_assert _Thread_local C language #define directive #elif directive #else directive #endif directive #error directive #if directive #ifdef directive #ifndef directive #include directive #line directive #pragma directive alignas(對(duì)齊指定符) Alternative operators and tokens(替代運(yùn)算符和令牌) Analyzability Arithmetic operators Arithmetic types Array declaration(數(shù)組聲明) Array initialization(陣列初始化) ASCII Chart Assignment operators(賦值運(yùn)算符) types(atomic類型限定符) Basic concepts Bit fields(位域) break statement C language C Operator Precedence cast operator character constant(字符字面量) Comments(注釋符) Comparison operators(比較運(yùn)算符) compound literals(符合字面量) Conditional inclusion(條件包含) Conformance(一致性) const type qualifier(const 限定符) Constant expressions(常量表達(dá)) continue statement Declarations(聲明) do-while loop Enumerations(枚舉類型) Escape sequences(轉(zhuǎn)義字符) Expressions(表達(dá)式) External and tentative definitions(外部和暫定的定義) File scope(文件范圍) floating constant(浮點(diǎn)常量) for loop Function declarations(函數(shù)聲明) Function definitions(函數(shù)聲明) Functions Generic selection泛型選擇 goto statement Identifier(標(biāo)示符) if statement Implicit conversions(隱式轉(zhuǎn)換) Increment/decrement operators(前置/后置操作符) Initialization(初始化) inline function specifier(內(nèi)聯(lián)函式) integer constant Lifetime(生命期) Logical operators(邏輯運(yùn)算符) Lookup and name spaces Main function(主函式) Member access operators(會(huì)員接入運(yùn)營商) Memory model Objects and alignment(字節(jié)對(duì)齊) Order of evaluation(評(píng)估順序) Other operators Phases of translation(翻譯階段) Pointer declaration Preprocessor(預(yù)處理) restrict type qualifier(restrict類型限定符) return statement Scalar initialization(標(biāo)量類型初始化) Scope(范圍) sizeof operator(sizeof運(yùn)算符) Statements(陳述) static assert declaration(靜態(tài)斷言聲明) Static storage duration(靜態(tài)存儲(chǔ)周期) Storage-class specifiers(存儲(chǔ)類說明符) string literals(字符串字面量) Struct and union initialization(結(jié)構(gòu)體與聯(lián)合體初始化) Struct declaration(結(jié)構(gòu)體聲明) switch statement Thread storage duration(線程存儲(chǔ)時(shí)間) Type Type(類型) Typedef declaration(Typedef聲明) Undefined behavior(未定義行為) Union declaration(聯(lián)合體聲明) Value categories(值類別) Variadic arguments(變長參數(shù)宏) volatile type qualifier(volatile 類型限定符) while loop _Alignof operator _Noreturn function specifier Date and time asctime(asctime函數(shù)) asctime_s clock CLOCKS_PER_SEC clock_t ctime(ctime函數(shù)) ctime_s Date and time utilities(日期和時(shí)間庫) difftime(計(jì)算兩個(gè)時(shí)間的間隔) gmtime gmtime_s localtime localtime_s mktime(將時(shí)間結(jié)構(gòu)數(shù)據(jù)轉(zhuǎn)換成經(jīng)過的秒數(shù)的函數(shù)) strftime(格式化輸出時(shí)間函數(shù)) time timespec timespec_get time_t tm wcsftime(格式化時(shí)間寬字符) Dynamic memory management aligned_alloc C memory management library(內(nèi)存管理庫) calloc free(釋放動(dòng)態(tài)分配空間的函數(shù)) malloc(動(dòng)態(tài)分配內(nèi)存空間的函數(shù)) realloc(重新分配內(nèi)存空間的函數(shù)) Error handling abort_handler_s assert(斷言) constraint_handler_t errno(錯(cuò)誤報(bào)告) Error handling(錯(cuò)誤處理) Error numbers(錯(cuò)誤個(gè)數(shù)) ignore_handler_s set_constraint_handler_s static_assert File input/output clearerr(清除/復(fù)位) fclose feof ferror fflush(清空文件緩沖區(qū)) fgetc fgetpos fgets fgetwc fgetws File input/output fopen fopen_s fprintf fprintf_s fputc fputs fputwc fputws fread freopen freopen_s fscanf fscanf_s fseek fsetpos ftell fwide fwprintf fwprintf_s fwrite fwscanf fwscanf_s getc getchar gets gets_s getwchar perror printf printf_s putc putchar puts putwc putwchar remove rename rewind scanf scanf_s setbuf setvbuf snprintf sprintf sscanf sscanf_s swprintf swprintf_s swscanf swscanf_s tmpfile tmpfile_s tmpnam tmpnam_s ungetc ungetwc vfprintf vfprintf_s vfscanf vfscanf_s vfwprintf vfwprintf_s vfwscanf vfwscanf_s vprintf vprintf_s vscanf vscanf_s vsnprintf vsprintf vsscanf vsscanf_s vswprintf vswprintf_s vswscanf vswscanf_s vwprintf vwprintf_s vwscanf vwscanf_s wprintf wprintf_s wscanf wscanf_s Localization support lconv LC_ALL LC_COLLATE LC_CTYPE LC_MONETARY LC_NUMERIC LC_TIME localeconv Localization support setlocale Numerics abs acos acosf acosh acoshf acoshl acosl asin asinf asinh asinhf asinhl asinl atan atan2 atan2f atan2l atanf atanh atanhf atanhl atanl cabs cabsf cabsl cacos cacosf cacosh cacoshf cacoshl cacosl carg cargf cargl casin casinf casinh casinhf casinhl casinl catan catanf catanh catanhf catanhl catanl cbrt cbrtf cbrtl ccos ccosf ccosh ccoshf ccoshl ccosl ceil ceilf ceill cexp cexpf cexpl cimag cimagf cimagl clog clogf clogl CMPLX CMPLXF CMPLXL Common mathematical functions complex Complex number arithmetic conj conjf conjl copysign copysignf copysignl cos cosf cosh coshf coshl cosl cpow cpowf cpowl cproj cprojf cprojl creal crealf creall csin csinf csinh csinhf csinhl csinl csqrt csqrtf csqrtl ctan ctanf ctanh ctanhf ctanhl ctanl div double_t erf erfc erfcf erfcl erff erfl exp exp2 exp2f exp2l expf expl expm1 expm1f expm1l fabs fabsf fabsl fdim feclearexcept fegetenv fegetexceptflag fegetround feholdexcept feraiseexcept fesetenv fesetexceptflag fesetround fetestexcept feupdateenv FE_ALL_EXCEPT FE_DFL_ENV FE_DIVBYZERO FE_DOWNWARD FE_INEXACT FE_INVALID FE_OVERFLOW FE_TONEAREST FE_TOWARDZERO FE_UNDERFLOW FE_UPWARD Floating-point environment float_t floor floorf floorl fma fmaf fmal fmax fmaxf fmaxl fmin fminf fminl fmod fmodf fmodl fpclassify FP_INFINITE FP_NAN FP_NORMAL FP_SUBNORMAL FP_ZERO frexp frexpf frexpl HUGE_VAL HUGE_VALF HUGE_VALL hypot hypotf hypotl I ilogb ilogbf ilogbl imaginary imaxabs imaxdiv INFINITY isfinite isgreater isgreaterequal isinf isless islessequal islessgreater isnan isnormal isunordered labs ldexp ldexpf ldexpl ldiv lgamma lgammaf lgammal llabs lldiv llrint llrintf llrintl llround llroundf llroundl log log10 log10f log10l log1p log1pf log1pl log2 log2f log2l logb logbf logbl logf logl lrint lrintf lrintl lround lroundf lroundl MATH_ERREXCEPT math_errhandling MATH_ERRNO modf modff modfl nan NAN nanf nanl nearbyint nearbyintf nearbyintl nextafter nextafterf nextafterl nexttoward nexttowardf nexttowardl Numerics pow powf powl Pseudo-random number generation rand RAND_MAX remainder remainderf remainderl remquo remquof remquol rint rintf rintl round roundf roundl scalbln scalblnf scalblnl scalbn scalbnf scalbnl signbit sin sinf sinh sinhf sinhl sinl sqrt sqrtf sqrtl srand tan tanf tanh tanhf tanhl tanl tgamma tgammaf tgammal trunc truncf truncl Type-generic math _Complex_I _Imaginary_I Program support abort atexit at_quick_exit exit EXIT_FAILURE EXIT_SUCCESS getenv getenv_s jmp_buf longjmp Program support utilities quick_exit raise setjmp SIGABRT SIGFPE SIGILL SIGINT signal SIGSEGV SIGTERM sig_atomic_t SIG_DFL SIG_ERR SIG_IGN system _Exit Strings atof atoi atol atoll btowc c16rtomb c32rtomb char16_t char32_t isalnum isalpha isblank iscntrl isdigit isgraph islower isprint ispunct isspace isupper iswalnum iswalpha iswblank iswcntrl iswctype iswdigit iswgraph iswlower iswprint iswpunct iswspace iswupper iswxdigit isxdigit mblen mbrlen mbrtoc16 mbrtoc32 mbrtowc mbsinit mbsrtowcs mbsrtowcs_s mbstate_t mbstowcs mbstowcs_s mbtowc memchr memcmp memcpy memcpy_s memmove memmove_s memset memset_s Null-terminated byte strings Null-terminated multibyte strings Null-terminated wide strings strcat strcat_s strchr strcmp strcoll strcpy strcpy_s strcspn strerror strerrorlen_s strerror_s Strings library strlen strncat Thread support call_once cnd_broadcast cnd_destroy cnd_init cnd_signal cnd_timedwait cnd_wait mtx_destroy mtx_init mtx_lock mtx_plain mtx_recursive mtx_timed mtx_timedlock mtx_trylock mtx_unlock once_flag ONCE_FLAG_INIT thrd_busy thrd_create thrd_current thrd_detach thrd_equal thrd_error thrd_exit thrd_join thrd_nomem thrd_sleep thrd_success thrd_timedout thrd_yield Thread support library thread_local tss_create tss_delete TSS_DTOR_ITERATIONS tss_get tss_set Type support Boolean type support library Fixed width integer types FLT_EVAL_METHOD FLT_ROUNDS max_align_t NULL Numeric limits offsetof ptrdiff_t size_t Type support Variadic functions Variadic functions va_arg va_copy va_end va_list va_start
characters

在頭文件<stdatomic.h>中定義



enum memory_order {memory_order_relaxed,memory_order_consume,memory_order_acquire,memory_order_release,memory_order_acq_rel,memory_order_seq_cst};


(自C11以來)

memory_order指定如何在原子操作周圍定期進(jìn)行非原子內(nèi)存訪問。在多核系統(tǒng)上不存在任何約束時(shí),當(dāng)多個(gè)線程同時(shí)讀取和寫入多個(gè)變量時(shí),一個(gè)線程可以按照與另一個(gè)線程寫入它們的順序不同的順序觀察值的變化。事實(shí)上,在多個(gè)讀者線程中,更改的順序甚至可能不同。由于內(nèi)存模型允許的編譯器轉(zhuǎn)換,即使在單處理器系統(tǒng)上也會(huì)出現(xiàn)類似的效果。

語言和庫中的所有原子操作的默認(rèn)行為提供了順序一致的排序(參見下面的討論)。該默認(rèn)值可能會(huì)損害性能,但可以給庫的原子操作提供額外的memory_order參數(shù),以指定編譯器和處理器必須為該操作強(qiáng)制執(zhí)行的確切約束,而不僅限于原子性。

常量

| 在頭文件<stdatomic.h> |中定義

|:----|

| Value | Explanation |

| memory_order_relaxed | 輕松的操作:對(duì)其他讀取或?qū)懭霙]有同步或排序約束,只保證此操作的原子性(請(qǐng)參閱下面的輕松排序)。

| memory_order_consume | 使用此內(nèi)存順序的加載操作會(huì)在受影響的內(nèi)存位置執(zhí)行消耗操作:根據(jù)當(dāng)前加載的值,當(dāng)前線程中的讀取或?qū)懭氩僮髟诖思虞d之前可以重新排序。在釋放相同原子變量的其他線程中寫入數(shù)據(jù)相關(guān)變量在當(dāng)前線程中可見。在大多數(shù)平臺(tái)上,這僅影響編譯器優(yōu)化(請(qǐng)參閱下面的Release-Consume命令)|

| memory_order_acquire | 使用此內(nèi)存順序的加載操作對(duì)受影響的內(nèi)存位置執(zhí)行獲取操作:在此加載之前,當(dāng)前線程中的讀取或?qū)懭氩僮鞑荒苤匦屡判?。在?dāng)前線程中可以看到釋放相同原子變量的其他線程中的所有寫入操作(請(qǐng)參閱下面的Release-Acquire命令)|

| memory_order_release | 與此存儲(chǔ)器順序的存儲(chǔ)操作執(zhí)行釋放操作:沒有讀取或在當(dāng)前線程可以在此存儲(chǔ)之后被重新排序?qū)懭?。在?dāng)前線程所有寫是在獲得相同的原子變量其他線程可見(見發(fā)布 - 采集以下的訂購)和寫攜帶的依賴到原子變量中消耗相同的原子其他線程變得可見(見釋放,消費(fèi)訂購如下)。|

| memory_order_acq_rel | 使用該存儲(chǔ)器命令的讀取 - 修改 - 寫入操作既是獲取操作又是釋放操作。在當(dāng)前線程中沒有內(nèi)存讀取或?qū)懭肟梢栽谠摯鎯?chǔ)之前或之后重新排序。在其他線程中釋放相同原子變量的所有寫操作在修改之前都是可見的,并且修改在獲取相同原子變量的其他線程中可見。|

| memory_order_seq_cst | 此存儲(chǔ)器訂單的任何操作都是采集操作和釋放操作,并且存在單個(gè)總訂單,其中所有線程都以相同的順序觀察所有修改(請(qǐng)參見下面的按順序一致的排序)。

輕松訂購

標(biāo)記的原子操作memory_order_relaxed不是同步操作; 它們不會(huì)在并發(fā)內(nèi)存訪問中強(qiáng)加一個(gè)順序。他們只保證原子性和修改順序的一致性。

例如,對(duì)于xy最初為零,

// Thread 1:

r1 = atomic_load_explicit(y, memory_order_relaxed); // A

atomic_store_explicit(x, r1, memory_order_relaxed); // B

// Thread 2:

r2 = atomic_load_explicit(x, memory_order_relaxed); // C

atomic_store_explicit(y, 42, memory_order_relaxed); // D.

被允許產(chǎn)生r1 == r2 == 42,因?yàn)楸M管A被測(cè)序-之前線程1中B和C 之前測(cè)序線程2內(nèi)d,沒有什么阻止d從在y的修改次序出現(xiàn)A之前和B從在修改次序出現(xiàn)在C之前的x。線程1中的負(fù)載A可以看到D對(duì)y的副作用,而線程2中的負(fù)載C可以看到B對(duì)x的副作用。

松散內(nèi)存排序的典型用法是遞增計(jì)數(shù)器,如引用計(jì)數(shù)器,因?yàn)檫@只需要原子性,但不需要排序或同步(注意遞減shared_ptr計(jì)數(shù)器需要與析構(gòu)函數(shù)進(jìn)行獲取釋放同步)。

發(fā)布 - 消費(fèi)訂購

如果線程A中的原子存儲(chǔ)被標(biāo)記memory_order_release并且來自同一變量的線程B中的原子加載被標(biāo)記memory_order_consume,則所有存儲(chǔ)器從原子存儲(chǔ)之前寫入(非原子和放寬原子)線程A 在線程B中的那些操作內(nèi)成為可見的副作用,負(fù)載操作攜帶依賴性,即一旦原子加載完成,線程B中的那些使用從加載獲得的值的運(yùn)算符和函數(shù)被保證為看看寫到內(nèi)存的線程是什么。

同步僅在釋放使用相同原子變量的線程之間建立。其他線程可以看到不同的存儲(chǔ)器訪問順序,而不是任何一個(gè)或兩個(gè)同步線程。

在DEC Alpha以外的所有主流CPU上,依賴性排序是自動(dòng)的,不會(huì)為此同步模式發(fā)出額外的CPU指令,只會(huì)影響某些編譯器優(yōu)化(例如,禁止編譯器對(duì)涉及依賴項(xiàng)的對(duì)象執(zhí)行推測(cè)性加載鏈)。

這種排序的典型用例涉及讀取訪問很少寫入的并發(fā)數(shù)據(jù)結(jié)構(gòu)(路由表,配置,安全策略,防火墻規(guī)則等)以及使用指針中介發(fā)布的發(fā)布者訂閱者情況,也就是說,當(dāng)生產(chǎn)者發(fā)布指針時(shí)消費(fèi)者可以訪問這些信息:不需要將生產(chǎn)者寫入內(nèi)存的所有內(nèi)容都寫入消費(fèi)者可以看到的內(nèi)存中(這可能是對(duì)弱排序架構(gòu)的昂貴操作)。這種情況的一個(gè)例子是rcu_dereference。

請(qǐng)注意,目前(2015年2月)沒有已知的生產(chǎn)編譯器跟蹤依賴鏈:消耗操作被解除以獲取操作。

Release sequence

如果一些原子被存儲(chǔ)釋放并且其他幾個(gè)線程對(duì)該原子執(zhí)行讀 - 修改 - 寫操作,則形成“release sequence”:執(zhí)行讀取 - 修改的所有線程 - 寫入相同的原子與第一線程同步并且即使他們沒有memory_order_release語義,也是如此。這使單個(gè)生產(chǎn)者 - 多個(gè)消費(fèi)者情況成為可能,而不會(huì)在各個(gè)消費(fèi)者線程之間施加不必要的同步。

發(fā)布 - 獲取訂購

如果線程A中的原子存儲(chǔ)被標(biāo)記memory_order_release并且來自同一變量的線程B中的原子加載被標(biāo)記memory_order_acquire,則所有存儲(chǔ)從線程A的角度在原子存儲(chǔ)之前寫入(非原子和放寬原子)在線程B中變成可見的副作用,也就是說,一旦完成了原子加載,線程B就會(huì)保證看到線程A寫入內(nèi)存的所有內(nèi)容。

同步僅在釋放獲取相同原子變量的線程之間建立。其他線程可以看到不同的存儲(chǔ)器訪問順序,而不是任何一個(gè)或兩個(gè)同步線程。

在高度有序的系統(tǒng)(x86,SPARC TSO,IBM大型機(jī))上,大多數(shù)操作的發(fā)布采集排序是自動(dòng)的。對(duì)于此同步模式,不會(huì)發(fā)出額外的CPU指令,只會(huì)影響某些編譯器優(yōu)化(例如,禁止編譯器將原子存儲(chǔ)釋放移出原子存儲(chǔ)釋放或在原子載入獲取之前執(zhí)行非原子加載)。在弱有序的系統(tǒng)(ARM,Itanium,PowerPC)上,必須使用特殊的CPU負(fù)載或內(nèi)存防護(hù)指令。

相互排斥鎖(如互斥鎖或原子螺旋鎖)是發(fā)布 - 獲取同步的一個(gè)示例:當(dāng)鎖由線程A釋放并由線程B獲取時(shí),上下文中關(guān)鍵部分(釋放之前)發(fā)生的所有事件線程A必須對(duì)正在執(zhí)行相同關(guān)鍵部分的線程B(獲取之后)可見。

順序一致的排序

原子操作memory_order_seq_cst不僅以與釋放/獲取順序相同的方式標(biāo)記內(nèi)存(發(fā)生的所有事情 -在一個(gè)線程中的存儲(chǔ)變成執(zhí)行加載的線程中的可見副作用之前),而且還建立了所有的修改順序原子操作如此標(biāo)記。

從形式上看,

memory_order_seq_cst從原子變量M加載的每個(gè)操作B都遵循以下之一:

  • 最后一個(gè)操作A的結(jié)果是修改后的M,它出現(xiàn)在單個(gè)總訂單中的B之前

  • 或者,如果有這樣一個(gè)A,那么B可以觀察到M上的一些修改的結(jié)果,memory_order_seq_cst而不是 A 之前發(fā)生并且不發(fā)生

  • 或者,如果沒有這樣的A,則B可以觀察到M的一些不相關(guān)的修改的結(jié)果 memory_order_seq_cst

如果 B 之前有一個(gè)排序memory_order_seq_cst atomic_thread_fence操作X ,則B會(huì)觀察以下之一:

  • memory_order_seq_cst在單個(gè)總訂單中出現(xiàn)在X之前的M 的最后修改

  • M的修改順序中稍后出現(xiàn)的一些與M無關(guān)的修改

對(duì)于M上的一對(duì)稱為A和B的原子操作,其中A寫入并且B讀取M的值,如果有兩個(gè)memory_order_seq_cst atomic_thread_fences X和Y,并且如果A被排序 - 在 X 之前,Y被排序 - 在 B 之前,并且X出現(xiàn)在單一全部訂單中Y之前,則B觀察到:

  • A的效果

  • M在M的修改順序中出現(xiàn)在A后面的一些不相關(guān)的修改

對(duì)于稱為A和B的M的一對(duì)原子修飾,B在M的修飾順序?yàn)锳之后發(fā)生。

  • 有一個(gè)memory_order_seq_cst atomic_thread_fenceX使得A被排序 - 在 X和X出現(xiàn)在單個(gè)全部順序中的B之前

  • 或者,有一個(gè)memory_order_seq_cst atomic_thread_fenceY使得Y 排序 - 在 B和A之前出現(xiàn)在單個(gè)總排序中的Y 之前

  • 或者,存在memory_order_seq_cst atomic_thread_fenceS和X,使得A被排序 - 在 X 之前,Y B 之前排序,并且X在單個(gè)總排序中出現(xiàn)在Y之前。

請(qǐng)注意,這意味著:

1)一旦沒有標(biāo)記的原子操作memory_order_seq_cst進(jìn)入圖片,就會(huì)失去順序一致性

2)順序一致的柵欄只為柵欄本身建立總排序,而不是針對(duì)一般情況下的原子操作(順序 - 之前不是跨線程關(guān)系,不像以前發(fā)生的那樣)

對(duì)于多個(gè)生產(chǎn)者 - 多個(gè)消費(fèi)者情況,序列排序可能是必要的,其中所有消費(fèi)者都必須遵守以相同順序出現(xiàn)的所有生產(chǎn)者的行為。

全部順序排序需要在所有多核系統(tǒng)上提供完整的內(nèi)存圍欄CPU指令。這可能會(huì)成為性能瓶頸,因?yàn)樗鼤?huì)迫使受影響的內(nèi)存訪問傳播到每個(gè)內(nèi)核。

與volatile關(guān)系

在一個(gè)執(zhí)行線程中,通過易變的左值訪問(讀寫)不能重新排序超過由相同線程中的序列點(diǎn)分隔的可觀察副作用(包括其他易失性訪問),但不保證此順序被觀察到由另一個(gè)線程,因?yàn)橐资栽L問不建立線程間同步。

此外,易失性訪問不是原子性的(并發(fā)讀寫是數(shù)據(jù)競(jìng)爭(zhēng)),也不會(huì)對(duì)內(nèi)存進(jìn)行排序(非易失性內(nèi)存訪問可以在易失性訪問周圍自由重新排序)。

一個(gè)值得注意的例外是Visual Studio,其中默認(rèn)設(shè)置下,每個(gè)易失性寫入都具有釋放語義,每個(gè)易失性讀取都獲取語義(MSDN,因此揮發(fā)性可用于線程間同步,標(biāo)準(zhǔn)volatile語義不適用于多線程編程,盡管它們足以用于與signal應(yīng)用于sig_atomic_t變量時(shí)在同一線程中運(yùn)行的處理程序進(jìn)行通信。

示例

參考

  • C11標(biāo)準(zhǔn)(ISO/IEC 9899:2011):

    • 7.17.1/4 memory_order(p: 273)

    • 7.17.3訂單和一致性(p: 275-277)

另請(qǐng)參閱

| 用于記憶順序的C ++文檔|

Previous article: Next article: