Ну то есть до уровня асма придется опуститься?)

Question

pro.cxx

$\---$ \--

Ну то есть до уровня асма придется опуститься?)

#c++ #embedded #programming #russian

0

11.06.2023

13 ответов

34 просмотра

$\---$ \-- Автор вопроса

Denis P
Если вы придумали свою вм со своими регистрами и п...

Нет регистров пока что)) stack based virtual machine Хочу иметь возможность из кода виртуальной машины вызвать нативную функцию. Необязательно у меня виртуальная машина вызывает такие же виртуализированные функции)

0

11.06.2023

netricks

\--
Нет регистров пока что)) stack based virtual machi...

А в чём у вас проблема. Есть список функций. Вы считывание опкод. Интерпретатор смотрит опкод, понимает, какую функцию вызывать

0

11.06.2023

Denis P

\--
Нет регистров пока что)) stack based virtual machi...

Ну ты просто тогда кодируешь конвенцию вызова нужную и пишешь переходник

0

11.06.2023

$\---$ \-- Автор вопроса

netricks
А в чём у вас проблема. Есть список функций. Вы сч...

Не так. Вот я запушил на стэк виртуальной машины адрес функции. Что это за функция виртуальной машине неизвестно. Это просто адрес. Нет никакого списка функций и прочего. Попадается опкод вызова, берется со стэка верхнее значение и его вызываем.

0

11.06.2023

Alex Noname

\--
Не так. Вот я запушил на стэк виртуальной машины а...

А можно глупый вопрос. Откуда адрес взялся?

0

11.06.2023

netricks

\--
Не так. Вот я запушил на стэк виртуальной машины а...

Хорошо. Описанное очень напоминает классическую стековую машину. Смотрите реализацию языка Lua. В книжке Роберта Иерусалимски довольно подробно описано, как она работает

0

11.06.2023

$\---$ \-- Автор вопроса

Alex Noname
А можно глупый вопрос. Откуда адрес взялся?

Ну пока что он берется просто из массива. То есть в мэйне формируется массив кода для виртуальной машины. Пока что адреса пишутся ручками на известные функции (тесты), но нужно универсально. Формально может быть потом сделаю что-то типа компилятора. Что туда пихнут никому неизвестно

0

11.06.2023

Alex Noname

\--
Ну пока что он берется просто из массива. То есть...

Не очень понятен юзкейс такого. Задать список таких функций это же задача спецификации вм, и потом интерпретатора байткода? Или тот кто пишет байткод будет это задавать? Я просто рассуждал что есть список интринзик функций вм и всё :) но видимо тут речь про ffi из вм в цпп.

0

11.06.2023

$\---$ \-- Автор вопроса

Alex Noname
Не очень понятен юзкейс такого. Задать список таки...

да, это из опкодов в с++. Функции задает, тот кто пишет байт код.

0

11.06.2023

netricks

Alex Noname
Не очень понятен юзкейс такого. Задать список таки...

Все равно адреса функций надо где-то собрать. В этом же месте вполне можно собрать сигнатуры, тем более, что байткоду придётся данные паковать надлежащим способом. Следовательно, вводная о том, что никакой информации о функции нет... непонятна

0

11.06.2023

Alex Noname

netricks
Все равно адреса функций надо где-то собрать. В эт...

Ну да обычно цпп модуль с расширением декларирует какой то глобальный обьект с метаинформацией о функциях

0

11.06.2023

Denis P

Alex Noname
Не очень понятен юзкейс такого. Задать список таки...

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

0

11.06.2023

Denis P · Accepted Answer

Denis P

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

0

11.06.2023

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

Ну то есть до уровня асма придется опуститься?)

13 ответов

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