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 ответов

18 просмотров

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

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

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

Всем привет! Имеется функция: function IsValidChar(ch: UTF8Char): Boolean; var i: Integer; ValidChars: AnsiString; begin ValidChars := 'abcdefghijklmnopqrstuvwxyzABCDE...
Евгений
44
#include <stdio.h> #include <stdlib.h> #include <time.h> void mass_first_generate(int mass[5][7]) {     for (int N = 0; N < 5; N++) {         for (int A = 0; A < 7; A++) {   ...
Чувак
6
Всем привет! Решаю 99 OCaml Problems и столкнулся со следующей проблемой (прошу палками не забивать, я OCaml практически не трогал до этого момента): open OUnit2 let create_...
К|/|pи/\/\ 6е3yглbIи
2
https://www.linkedin.com/posts/ugama-benedicta-kelechi-codergirl-103041300_mobiledevelopment-fluttertraining-handsonlearning-activity-7263445699227254784-IdHB?utm_source=share...
CoderGirl
16
возможно ли как-то передать в электрон или таури медиа поток с рендера 2д движка? двиг запускается как dll, а дальше надо как-то отправлять рендер кодировать не подходит, зр...
Kyle Nekto
7
Ну вот просто даже давайте вот как. Какой нибудь конкретный кейс, можете в пример привести, где бч работает и приносит прикладную пользу, а не просто что бы было? Не крипту.
Alexander Andreev
22
Помогите пожалуйста. Делаю систему плагинов. Проблема сейчас в такая: плагины загружаются в основном потоке. FLibHandle := SafeLoadLibrary(FFileName) Но нужно еще выполнить фу...
Илья 🤣
10
Точно, оно. У тебя там имена потоков выставляются?
Александр (Rouse_) Багель
11
объясните пожалуйста, почему функция не работает должным образом? вроде должно брать активное окно сравнивать его размер с размером экрана, и если есть совпадение = true прове...
JF
12
лучше скажите, причём тут паскаль?
Alexey Kulakov
36
Карта сайта