Вопросы с тегом модель-памяти

1 голос

1 ответ

dafny странное поведение без псевдонима памяти

OrenIshShalom / 06 августа 2020

0 голосов

0 ответов

Есть ли какие-нибудь примеры, которые имеют проблему последовательной согласованности в модели со слабой памятью, но не имеют состояния гонки?

wxzheng / 03 августа 2020

0 голосов

2 ответов

Применяется ли модель памяти C / ++ к самой операции atomi c?

afuna / 02 августа 2020

1 голос

1 ответ

Что такое локальный обход в буфере хранилища FIFO?

onlycparra / 26 мая 2020

1 голос

1 ответ

Имеется ли прямой доступ к общим переменным потока?

itarato / 08 мая 2020

Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.

...