В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.osdev - os development

282 membersпожаловаться на группу
2021 August 02

BD

Berkus Decker in pro.osdev - os development
> Вопрос 2. Как часто при проектировании ОС разработчики думают об атомарности операций высокого уровня?

тогда, когда это имеет смысл.

> Соответственно, кажется полезным вообще все действия на любых уровнях стараться делать обратимыми.

это может оказаться неоправданно дорого
источник
22:40пожаловаться#1

BD

Berkus Decker in pro.osdev - os development
> Тогда  чтобы b был атомарным необходимо уметь откатить a1 и a2.

тут у тебя уже болльше трех шагов, да еще и с произвольными зависимостями, удачи с откатами этого всего
источник
22:41пожаловаться#2

BD

Berkus Decker in pro.osdev - os development
> И как часто при проектировании ОС разработчики думают об обратимости тех или иных операций?

тогда, когда это имеет смысл
источник
22:42пожаловаться#3

BD

Berkus Decker in pro.osdev - os development
например  для идемпотентных операций пофигу сколько раз  ты их выполнишь — если 1 или больше то и норм
источник
22:42пожаловаться#4

BD

Berkus Decker in pro.osdev - os development
вот если вопрос между 0 и 1 тогда  становится веселее
источник
22:42пожаловаться#5

BD

Berkus Decker in pro.osdev - os development
про атомарный апи https://www.cs.utah.edu/flux/papers/atomic-osdi99/index.html хороший вайтпейпер у брайана форда
источник
22:45пожаловаться#6

IJ

Igor 🐱 Jirkov in pro.osdev - os development
а почему потребовалось уметь делать атомарно именно сравнение со свопом? Я видел их в кучке lock-free алгоритмов но вот откуда ноги у них растут не знаю
источник
22:45пожаловаться#7

BD

Berkus Decker in pro.osdev - os development
пункт 4 особенно
источник
22:45пожаловаться#8

BD

Berkus Decker in pro.osdev - os development
потому что для лок фри алгоритмов важно уметь сравнить и поменять значение, не отвлекаясь
источник
22:46пожаловаться#9

BV

Boris Vinogradov in pro.osdev - os development
потому что самая частая операция это присваивание, ну и комментарий от @berkus он прям про это
источник
22:46пожаловаться#10

IJ

Igor 🐱 Jirkov in pro.osdev - os development
интересно, читаю
источник
22:48пожаловаться#11

BV

Boris Vinogradov in pro.osdev - os development
поэтому перед ос обычно и советуют иметь твёрдый CS
источник
22:49пожаловаться#12

IJ

Igor 🐱 Jirkov in pro.osdev - os development
ну то есть корни у этого алгоритмические типа "мы умели бы делать такие штуки без блокировок если бы у нас были атомарные CAS операции" — "нате вам CAS операции в железе".
источник
22:50пожаловаться#13

IJ

Igor 🐱 Jirkov in pro.osdev - os development
А дальше дизайним ещё алгоритмы поверх тех же CAS операций потому что они для этого подходят
источник
22:50пожаловаться#14

BD

Berkus Decker in pro.osdev - os development
Пункт  4.4 тебе вот  прям по твоему вопросу
источник
22:50пожаловаться#15

BV

Boris Vinogradov in pro.osdev - os development
единственный способ делать операции в памяти это иметь представление о том что ту ячейку которую ты меняешь никто до тебя не менял
источник
22:51пожаловаться#16

BD

Berkus Decker in pro.osdev - os development
ну ты лок фри  без cas не сделаешь, это будет чудовищное тормозное извращение
источник
22:51пожаловаться#17

BV

Boris Vinogradov in pro.osdev - os development
даже ты сам ранее)
источник
22:52пожаловаться#18

BV

Boris Vinogradov in pro.osdev - os development
@igorjirkov большинство команд в х86 не являются атомарными как по сути так и по фону исполнения
источник
22:53пожаловаться#19

BD

Berkus Decker in pro.osdev - os development
ну или они “атомарны” только на одном  ядре, а как только смп то пиши пропало
источник
22:54пожаловаться#20