AG
т.е. мы такие типа - у нас безопасный язык, гарбич коллектор защищает от оголенной памяти
Size: a a a
2020 December 15
AG
и сразу же - последовательная композиция в нашем языке это ложь, потому что компилятор или процессор могут переставить твои строчки местами и ты на ровном месте влетишь в гонку
AG
давай ка мол обмазывай всё волатайлами и думай за процессор сам
AG
т.е. фактически возникает ситуация полностью аналогичная дихотомии с ручным управлением памятью vs гарбич коллектор
NI
Ну это грустно как-то.
QZ
и сразу же - последовательная композиция в нашем языке это ложь, потому что компилятор или процессор могут переставить твои строчки местами и ты на ровном месте влетишь в гонку
а как он их переставить может?
AG
с одной стороны ты там выжмешь какие доп 5-7% перфоманса, с другой тебя язык изолирует от огромного куска геморроя и источника багов
AG
а как он их переставить может?
QZ
так барьеры ж есть?
AG
да но лепить их куда попало дорого
AG
поэтому велком в ручные аннотации
QZ
но это все для локфри всякого актуально ж?
AG
ну по факту для любой шаред мемори многопоточки
AG
с одной стороны ты там выжмешь какие доп 5-7% перфоманса, с другой тебя язык изолирует от огромного куска геморроя и источника багов
но при этом аналога гц, т.е. второго варианта нет, т.е. считается что ручная возня с волатайлами и барьерами это единственный разумный способ
QZ
ну или писать шаред мемори многопоточку с локами
QZ
(которые будут барьерами по сути)
AG
ну локи это спектр по сути
AG
с одной стороны что-то типа GIL, с другой - атомики
QZ
они ж все реализуются по итогу через атомики?
AG
ну это всё равно что сказать что все вычисления реализуются через потоки электронов