170 похожих чатов

В общем случае inc выглядит так: 1: mov r1, 2:

mem inc r1
3: mov mem r1
итого 3 операции!!! давай рассмотрим варианты:

1 ядро, 1 Писатель, N читателей - все гуд!

1 ядро, N Писателей, N читателей - все гуд если у нас кооперативная ОСь и мы сами контралируем переключение контекста!!
Все ПЛОХО если вытесняющая ОСь, нас могут прервать перед 2-ой строчкой (см выше и скажем что в переменной нолик) и выполнить операцию записи в другом потоке потом вернуться в прерванный поток что? правильно записи 2 а в переменной 1-чка (фэйл) мы сломали логику (Гонка данных) Спасет атомик (его прервать ОСь не сможет, не позволит АЛУ) в случае эксклюзивных атомиков таких как в ARM (ldrEX strEX) нас прервут, но скажут что операция не выполнена при повтороном включении потока (атомик функция тупо повторит операцию!).


2 ядра, 1 Писатель, N чит. - все плохо не с чтением а с записью - гонка данных между потоками. у нас нет гарантий четкой очередности. нужен атомик! (если такая ситуация не возможна скажем писатель закреплен за одним ядром то все хорошо!) Если у нас контролируемая кооперативность то тоже все гуд, даже атомик не нужен!


2 ядра, N Писателей, N чит. - все плохо опять гонка данных. у нас нет гарантий четкой очередности. Если у нас нет контролируемой кооперативности! нужен атомик! (Если опять контролируем ядро и потоки писателей выполняются четко и последовательно все айс)


PS. в случае N ядер то необходим барьер, чтобы синхронизировать кэши первого уровня (они у каждого ядра свои(в современных ЦПУ)). просто можем записать значение, а читатели его тупо не видят, этих данных в их кэше еще нет! Атомик не содержит в себе барьера!!

Примитив синхронизации - это Атомик + барьер.

PS2. При вытесняющей многозадачности ставят барьер в конце переключения контекста, по крайней мере в Linux и для ARM архитектуры.

1 ответов

6 просмотров

ну, вот я про случай 2 ядра, 1 писатель, n читателей. И запись за ядром.

Похожие вопросы

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
11
Вопрос. Теоретический. Есть список команд. Команды отправляю в обработку некой функции, по очереди. Разные команды могут давать разные результаты после обработки. В зависимос...
Serjone
7
Всем вечера. Подскажите как лучше сделать. делаю на Д10 Например будет база данных на SQLite. в ней будет много таблиц. более 50шт Типа справочник. Содержать ID Name Id p...
Андрей Т 🐎
10
Я короче решил скомпилировать Nim в js, я думал он сработает как обычный транслятор. По итогу он мне создал файл с расширением js, и туда поместил кучу кода Вопрос, что это з...
𝕾𝖍𝖆𝖉𝖊 <suspense>
9
это группа токсиков или тех кто помогает?
Ибрагим
9
мы пытаемся подменить функцию, которая имеет меньше инструкций относительно функции, которой подменяем. https://www.reddit.com/r/jailbreakdevelopers/comments/w06ujy/mshookfun...
Óðinn
6
У кого-нибудь есть под рукой функция кодирования юникода, которая из фразы На русском сделает \u041d\u0430\u0020\u0440\u0443\u0441\u0441\u043a\u043e\u043c ?
Daniil Smolyakov
7
подскажите пожалуйста, как мне освободить результат записанный в переменную result? в чем проблема подскажите если МОЖЕТЕ?
Михаил Helper
28
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Карта сайта