185 похожих чатов

Задача: конкуретность текущая реализация: рантайм написан на си, состоит из очереди процессов

и апишки в виде void yield()
yield берет текущий rsp, сохраняет в конец очереди, достает из очереди следующий процесс, выставляет rsp и возвращается. По сути мы входим в yield в одном месте, а выходим в другом

yield я просто расставляю в прологе функций, и yield на самом деле йелдит только когда кончается топливо, а пока оно есть, он его декрементит, получается нужна семантика эрланга с переключением контекста после определенного числа редукций - вызовов функций

сделано асм-вставками + setjmp/longjmp

проблемы:
очень больно работать с асм-вставками, да и в целом больно

есть ли какие-то другие известные простые решения этой задачи?

11 ответов

18 просмотров

А как оно там в Lua? 😏

Можно еще сделать трансформацию аст функции в некую стейт-машину (где будет switch по сохраняемому индексу а в case-ветках будут строчки которые находятся между yield-паузами)

> задача: конкуретность > есть ли какие-то другие известные простые решения этой задачи? event loop на уровне программы/либы, это самое простое решение UPD: Почитал код, увидел что у тебя без виртуальной машины и стека компилятор устроен. Интересно как ты будешь делать релоад кода в рантайме и рефлексию процессов (если будешь) Я всякие TCO ты как будешь делать без виртуального стека?

кана- Автор вопроса
Lama Lover
> задача: конкуретность > есть ли какие-то другие ...

ну TCO уже есть, в урезанном виде для само-рекурсии. Для общего случае кажется тоже возможно: я всегда в компайлтайме знаю арность функции которую вызываю и арность текущей, нужно будет сгенерировать правильный код по перетасовке стека хот-релоад точно не буду, рефлексия процессов вроде не сложно, я в рантайме держу регистр процессов

Lama Lover
> задача: конкуретность > есть ли какие-то другие ...

Но вообще, из того что я читал, все такие вещи делают на asm, потому что C просто нет возможности жанглировать rsp

кана
ну TCO уже есть, в урезанном виде для само-рекурси...

Я думаю что регистры надо пушить на стек, а стекпоинтер сохранять в очередь как состояние процесса. Потом прыгать в функцию рантайма, которая берёт новый процесс, меняет rsp (через ASM), попает из стека в регистры и всё

Это должно работать везде или только в Linux? В Linux есть task-и, которые сохраняют контекст. Это поможет избавиться от боли с ассемблером.

кана- Автор вопроса
Михаил Бахтерев
Это должно работать везде или только в Linux? В Li...

в первую очередь макось, и линукс опциональным бонусом

кана
таски дешевые?

Да. Это более адекватная реализация setjmp/longjmp

Михаил Бахтерев
Это должно работать везде или только в Linux? В Li...

В виндовс тоже есть аналог потоков, переключаемых вручную https://learn.microsoft.com/en-us/windows/win32/procthread/fibers

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

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
1
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Карта сайта