и апишки в виде void yield()
yield берет текущий rsp, сохраняет в конец очереди, достает из очереди следующий процесс, выставляет rsp и возвращается. По сути мы входим в yield в одном месте, а выходим в другом
yield я просто расставляю в прологе функций, и yield на самом деле йелдит только когда кончается топливо, а пока оно есть, он его декрементит, получается нужна семантика эрланга с переключением контекста после определенного числа редукций - вызовов функций
сделано асм-вставками + setjmp/longjmp
проблемы:
очень больно работать с асм-вставками, да и в целом больно
есть ли какие-то другие известные простые решения этой задачи?
А как оно там в Lua? 😏
Можно еще сделать трансформацию аст функции в некую стейт-машину (где будет switch по сохраняемому индексу а в case-ветках будут строчки которые находятся между yield-паузами)
> задача: конкуретность > есть ли какие-то другие известные простые решения этой задачи? event loop на уровне программы/либы, это самое простое решение UPD: Почитал код, увидел что у тебя без виртуальной машины и стека компилятор устроен. Интересно как ты будешь делать релоад кода в рантайме и рефлексию процессов (если будешь) Я всякие TCO ты как будешь делать без виртуального стека?
ну TCO уже есть, в урезанном виде для само-рекурсии. Для общего случае кажется тоже возможно: я всегда в компайлтайме знаю арность функции которую вызываю и арность текущей, нужно будет сгенерировать правильный код по перетасовке стека хот-релоад точно не буду, рефлексия процессов вроде не сложно, я в рантайме держу регистр процессов
Но вообще, из того что я читал, все такие вещи делают на asm, потому что C просто нет возможности жанглировать rsp
Я думаю что регистры надо пушить на стек, а стекпоинтер сохранять в очередь как состояние процесса. Потом прыгать в функцию рантайма, которая берёт новый процесс, меняет rsp (через ASM), попает из стека в регистры и всё
Это должно работать везде или только в Linux? В Linux есть task-и, которые сохраняют контекст. Это поможет избавиться от боли с ассемблером.
в первую очередь макось, и линукс опциональным бонусом
Да. Это более адекватная реализация setjmp/longjmp
В виндовс тоже есть аналог потоков, переключаемых вручную https://learn.microsoft.com/en-us/windows/win32/procthread/fibers
Обсуждают сегодня