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

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

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

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

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

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

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

11 ответов

17 просмотров

А как оно там в 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

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

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

Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Привет, такой вопросик появился кажется ли вам что Rust слишком сложный/строгий для высокоуровневого программирования и слишком "безопасный"/строгий для низкоуровневого?
Крокант
10
Всем привет! Использую кастомное модальное диалоговое окошко, все по классике - mrOK, mrCancel как ModalResult. Однако есть нюанс - в главной форме есть универсальный обработч...
Олег Гранишевский
20
Карта сайта