Запитання з тегом «memory-model»

C ++ 11 представив стандартизовану модель пам'яті, але що це саме означає? І як це вплине на програмування на C ++? У цій статті (від Гевіна Кларка, який цитує Герба Саттера ) сказано, що: Модель пам'яті означає, що код C ++ тепер має стандартизовану бібліотеку для виклику незалежно від того, …

1894 c++  multithreading  c++11  language-lawyer  memory-model 

Нещодавно я відповідав на запитання щодо невизначеної поведінки p < qв C pі коли qвказують на різні об'єкти / масиви. Це змусило мене задуматися: C ++ має таку саму (невизначену) поведінку <в цьому випадку, але також пропонує стандартний шаблон бібліотеки, std::lessякий гарантовано повертає те саме, що і <тоді, коли покажчики …

26 c  pointers  undefined-behavior  memory-model  memory-segmentation 

Поки намагалися зрозуміти, як SubmissionPublisher( вихідний код у Java SE 10, OpenJDK | docs ), новий клас, доданий до Java SE у версії 9, реалізований, я натрапив на кілька викликів API, про які VarHandleраніше не знав: fullFence, acquireFence, releaseFence, loadLoadFenceІ storeStoreFence. Провівши деякі дослідження, особливо стосовно концепції бар'єрів / огорожі …

18 java  concurrency  memory-barriers  memory-model  java-memory-model 

Я бореться з розділом 5.1.2.4 стандарту C11, зокрема з семантикою випуску / придбання. Зауважу, що https://preshing.com/20120913/acquire-and-release-semantics/ (серед інших) зазначено, що: ... Семантика випуску запобігає переупорядкуванню пам'яті запису-релізу з будь-якою операцією читання або запису, яка передує їй у порядку програми. Отже, для наступного: typedef struct test_struct { _Atomic(bool) ready ; int …

10 c  x86-64  memory-barriers  memory-model  stdatomic 

Словосполучення "сильно буває раніше" вживається кілька разів у проекті стандарту C ++. Наприклад: Припинення [basic.start.term] / 5 Якщо завершення ініціалізації об'єкта зі статичною тривалістю зберігання сильно відбувається перед викликом до std :: atexit (див. [Support.start.term]), виклик до функції, переданої в std :: atexit секвенується перед викликом деструктора для об'єкта. Якщо …

9 c++  multithreading  language-lawyer  memory-model  happens-before