Слабые модели памяти: буферизации записи на x86

Об авторе

Антон Подкопаев является постдоком в MPI-SWS, руководителем группы слабых моделей памяти в лаборатории языковых инструментов JetBrains Research и преподавателем Computer Science Center.

Еще в 1979 году Лесли Лампорт в статье «How to make a multiprocessor computer that correctly executes multiprocess programs» ввел, как следует из названия, идеализированную семантику многопоточности — модель последовательной консистентности (sequential consistency, SC). Согласно данной модели, любой результат исполнения многопоточной программы может быть получен как последовательное исполнение некоторого чередования инструкций потоков этой программы. (Предполагается, что чередование сохраняет порядок между инструкциями, относящимися к одному потоку.)

Рассмотрим следующую программу SB:

В этой программе два потока, в каждом из которых первая инструкция — инструкция записи в разделяемую локацию (x или y), а вторая — инструкция чтения из другой разделяемой локации. Для этой программы существует шесть чередований инструкций потоков:


Читать дальше →
Слабые модели памяти: буферизации записи на x86
Source: habrahabr

Пост №4542133

Автор: Stanivuk

14-ARMOR288/366Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/4542133″ }, «headline»: «14-ARMOR / Stanivuk (Станивук) :: Каляки-Маляки (каляки-маляки, Каляки-Маляки,) :: марафон366 :: artist :: inktober2020 :: inktober :: фэндомы», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/inktober-%D1%84%D1%8D%D0%BD%D0%B4%D0%BE%D0%BC%D1%8B-inktober2020-%D0%9A%D0%B0%D0%BB%D1%8F%D0%BA%D0%B8-%D0%9C%D0%B0%D0%BB%D1%8F%D0%BA%D0%B8-6239198.jpeg», «height»: 1280, «width»: 960 }, «datePublished»: «2020-10-14T19:53:57+03:00», «dateModified»: «2020-10-14T19:53:57+03:00», «author»: { «@type»: «Person», «name»: «Stanivuk» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «288/366» }
Комментировать 
Пост №4542133
Source: Joyreactor

Пост №4542124

Автор: 2pik

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/4542124″ }, «headline»: «. ч. 7 / Traditional art :: StudioBezombie :: art (арт)», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/Traditional-art-art-StudioBezombie-6239184.jpeg», «height»: 1465, «width»: 1980 }, «datePublished»: «2020-10-14T19:48:11+03:00», «dateModified»: «2020-10-14T19:48:11+03:00», «author»: { «@type»: «Person», «name»: «2pik» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №4542124
Source: Joyreactor

Пост №4542115

Автор: Эл Банди

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/4542115″ }, «headline»: «I can 4 caí Ы anymore .rvy / She-Ra and the Princesses of Power :: saccharinerose :: Masters of the Universe :: Мультфильмы :: Rogelio :: lonnie», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/lonnie-Rogelio-She-Ra-and-the-Princesses-of-Power-%D0%9C%D1%83%D0%BB%D1%8C%D1%82%D1%84%D0%B8%D0%BB%D1%8C%D0%BC%D1%8B-6239168.png», «height»: 1300, «width»: 1200 }, «datePublished»: «2020-10-14T19:41:36+03:00», «dateModified»: «2020-10-14T19:41:36+03:00», «author»: { «@type»: «Person», «name»: «Эл Банди» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №4542115
Source: Joyreactor

[Перевод] Аварии космических ракет, связанные с топливом: заправлять до полного?

image
Запуск ракеты «Протон» в 2010 не удался не потому, что ей не хватило топлива, а потому, что его было слишком много

Автор статьи – Уэйн Элиазер, проработал в ВВС США 25 лет, был менеджером программы «Тор», директором испытаний ракет семейства «Атлас», главой отдела космических запусков в управлении по снабжению ВВС секретариата Пентагона.

Одна из самых распространённых проблем, приводивших к крушениям самолётов, заключалась в том, что пилот спокойно сидел в кабине, пока топливо в машине не заканчивалось. С космическими запусками подобные неудачи происходят реже, однако в некоторых особо показательных случаях во время первых запусков были зафиксированы отключения двигательных установок ввиду нехватки топлива.

У большинства из запускавшихся ракет-носителей на жидком топливе отсутствовала система отслеживания уровня горючего – даже такая несложная, как сбитый с толку пилот, пялящийся на падающие показатели датчика топлива. Двигатели испытывали, их потребление записывали, и необходимое количество топлива и окислителя подсчитывали по простым формулам. Аппаратам с жидким кислородом в качестве окислителя заливали просто полный бак – это было необходимо, поскольку кислород испарялся до последних секунд перед стартом, когда закрывали клапан. Топлива грузили расчётное количество плюс ещё немного, на всякий случай. Таким образом работали ракеты семейств «Тор», «Титан» и «Дельта», как и большая часть ракет вне США.
Читать дальше →
[Перевод] Аварии космических ракет, связанные с топливом: заправлять до полного?
Source: geektimes

[Перевод] Vulkan-tutorial. Урок 1.1 — Вступление

В связи с тем, что у меня не так много времени для ресерча каких-то новых штук и написания статей о них, я решил перевести серию уроков по Vulkan. Надеюсь, что мои переводы будут кому-то полезны и не очень плохого качества. Для начала обучения — прошу под кат.

Автор оригинала дал свое согласие на перевод. Так же, когда я доперевожу все статьи и у меня будет время отформатировать их для github, он добавит русский перевод на свой сайт.

Читать дальше →
[Перевод] Vulkan-tutorial. Урок 1.1 — Вступление
Source: habrahabr

Пост №4542109

Автор: Мандалай

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/4542109″ }, «headline»: «If you were elected to manage a private city, what would be your policy on guns? Heavily Re / приколы для даунов со знанием английского», «image»: { «@type»: «ImageObject», «url»: «http://img1.joyreactor.cc/pics/post/full/%D0%BF%D1%80%D0%B8%D0%BA%D0%BE%D0%BB%D1%8B-%D0%B4%D0%BB%D1%8F-%D0%B4%D0%B0%D1%83%D0%BD%D0%BE%D0%B2-%D1%81%D0%BE-%D0%B7%D0%BD%D0%B0%D0%BD%D0%B8%D0%B5%D0%BC-%D0%B0%D0%BD%D0%B3%D0%BB%D0%B8%D0%B9%D1%81%D0%BA%D0%BE%D0%B3%D0%BE-%D0%BF%D0%B5%D1%81%D0%BE%D1%87%D0%BD%D0%B8%D1%86%D0%B0-6239163.jpeg», «height»: 798, «width»: 600 }, «datePublished»: «2020-10-14T19:33:55+03:00», «dateModified»: «2020-10-14T19:33:55+03:00», «author»: { «@type»: «Person», «name»: «Мандалай» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «stricted 6% Moderate Restrictions 14% Minimal Restrictions 29% RPGs for sale at Walmart 0 51% 892 votes • 7 lx>urs 34 minutes left» }
Комментировать 
Пост №4542109
Source: Joyreactor

Пост №4542103

Автор: dreggman

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»http://fox.reactor.cc/post/4542103″ }, «headline»: «конкурс_лисичек :: Каляки-Маляки (каляки-маляки, Каляки-Маляки,) :: Лиса (лис, лисы, лиска, лиса) :: нарисовал сам :: радио :: inktober2020 :: фэндомы», «image»: { «@type»: «ImageObject», «url»: «http://img1.joyreactor.cc/pics/post/full/%D0%BA%D0%BE%D0%BD%D0%BA%D1%83%D1%80%D1%81_%D0%BB%D0%B8%D1%81%D0%B8%D1%87%D0%B5%D0%BA-%D0%9B%D0%B8%D1%81%D0%B0-%D1%84%D1%8D%D0%BD%D0%B4%D0%BE%D0%BC%D1%8B-%D0%9A%D0%B0%D0%BB%D1%8F%D0%BA%D0%B8-%D0%9C%D0%B0%D0%BB%D1%8F%D0%BA%D0%B8-6239157.jpeg», «height»: 1994, «width»: 2792 }, «datePublished»: «2020-10-14T19:23:34+03:00», «dateModified»: «2020-10-14T19:23:34+03:00», «author»: { «@type»: «Person», «name»: «dreggman» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №4542103
Source: Joyreactor

Пост №4542102

Автор: 8926

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/4542102″ }, «headline»: «He… he killed Sir PercivaH The Monster! I'll make my new jock strap out of his face! / RimWorld :: снеговик :: Игры», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/RimWorld-%D0%98%D0%B3%D1%80%D1%8B-%D1%81%D0%BD%D0%B5%D0%B3%D0%BE%D0%B2%D0%B8%D0%BA-6239156.jpeg», «height»: 2160, «width»: 875 }, «datePublished»: «2020-10-14T19:21:10+03:00», «dateModified»: «2020-10-14T19:21:10+03:00», «author»: { «@type»: «Person», «name»: «8926» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №4542102
Source: Joyreactor

Инсайды #2391: OPPO Enco X, Samsung Galaxy A02, HONOR V40

В новом выпуске Инсайдов: OPPO готовит к релизу флагманские TWS-наушники Enco X; бюджетный Samsung Galaxy A02 прошёл сертификацию; HONOR V40 показали на первом рекламном изображении.

OPPO готовит к релизу […]
Инсайды #2391: OPPO Enco X, Samsung Galaxy A02, HONOR V40
Source: 4pda