AT
Dollar Føølish
Это всё ещё кооперативная
В какой-то мере. Зависит от определения кооперативности, очевидно.
Size: a a a
2020 September 03
OA
Dollar Føølish
но если есть монады и ду синтакс то эта проблема отпадает - можно использовать явные континуации
смотри, если бы ОС автоматически решала проблему, то в ЯП не нужно было бы переизобретать решения и учить людей ста разным особенностя, и можно было бы больше времени тратить на смысл приложения, а не на переизобретение планировщика задач. А так получается, что ты в каждом ЯП должен отчасти изобрести половину операционки, но при этом весь мир на одном ЯП писать не будет и результирующий бардак тормозит прогресс.
MB
Dollar Føølish
Это всё ещё кооперативная
Нормальную вытесняющую фиг сделаешь.
Надо либо запретить нативный код, либо запихнуть исполнение программы в виртуальную машину.
Надо либо запретить нативный код, либо запихнуть исполнение программы в виртуальную машину.
DF
Суть в том что если это встроить в ос то ты не напишешь свой рантайм уже
DF
И все будут вынуждены использовать эти гринтреды
AT
смотри, если бы ОС автоматически решала проблему, то в ЯП не нужно было бы переизобретать решения и учить людей ста разным особенностя, и можно было бы больше времени тратить на смысл приложения, а не на переизобретение планировщика задач. А так получается, что ты в каждом ЯП должен отчасти изобрести половину операционки, но при этом весь мир на одном ЯП писать не будет и результирующий бардак тормозит прогресс.
13 правило Гринспена в действии. 😂
DF
Может я не хочу гринтреды а хочу асинки с монадами
DF
Может у меня стеки память будут жрать
JC
А в чем особенность этих самых гринтредов? Память же можно и для обычных тредов выделять сколько хочешь.
DF
У гринтреда все равно стек это как минимум страница + Гард пейдж
DF
Хотя одна из них и виртуальная ))
DF
Ос должна заниматься своими вещами , щас наоборот академия движется в сторону экзоядер
JC
Ну я вот где-то видел новость о том, что гугл хочет m:n прям в ядро Линукса вставить
OA
а почему бы и нет - там чего только уже не вставлено
OA
полный бдсм
DF
Там Гугл это и не академия, он много такого вредного делает
DF
МС в этом плане куда грамотнее
r
Типа как в Erlang, только "руками", значит. Понятно. 😊
Так-то во всех нативно-компилируемых языках есть эта проблема, что поток может вызывать скедулер только в определённых точках, и не слишком частых (в процессе вызова функций рантайма, понятное дело). Обычно на это закрывают глаза. 😊
Так-то во всех нативно-компилируемых языках есть эта проблема, что поток может вызывать скедулер только в определённых точках, и не слишком частых (в процессе вызова функций рантайма, понятное дело). Обычно на это закрывают глаза. 😊
Перепроверил. Это - устаревшая информация. Уже добавили некооперативное переключение горутин. Сделали что-то хитрое с сигналами, маркировкой участков кода как безопасных для переключения и вставкой в рантайме трамплинов в стек для небезопасных участков.
P
Есть какая-то фундаментальная причина почему вытесняющие потоки внутри одного процесса не могут быть достаточно легковесными чтоб всякие async/await не нужно было лепить на уровне ЯП? Или это скорее продукт исторических причин и в теории можно все по-другому сделать?
