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

Question

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

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

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

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

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

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

#compilerdev #it #programming #russian

0

16.05.2023

11 ответов

4 просмотра

Богдан

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

0

16.05.2023

Lama Lover

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

0

16.05.2023

кана Автор вопроса

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

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

0

16.05.2023

Lama Lover

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

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

0

16.05.2023

Lama Lover

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

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

0

16.05.2023

Михаил Бахтерев

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

0

18.05.2023

кана Автор вопроса

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

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

0

18.05.2023

кана Автор вопроса