Нагугли реализации менеджера памяти. Возьми какой-нибудь простой и реализуй на асме. В каком-то отдельном сегменте (64кб тебе хватит?) Потом можно будет переделать под любой размер памяти. Я тебе даже больше скажу. 💯% есть уже готовые реализации на асме. Бери и используй.

И зачем тебе связный список байтов - это бред, так никто строки не делает. У тебя 1 символ будет занимать несколько байт памяти.

И скорость работы будет никакущая.

ну раз такая пляска, как мне в сишарп использовать ассемблер для доступа к msr регистру?

Без драйвера никак. А с драйвером абсолютно фиолетово, откуда DeviceIoControl() вызывать, хоть из JavaScript.

И зачем тебе связный список байтов - это бред, так никто строки не делает. У тебя 1 символ будет занимать несколько байт памяти.

Строка остаётся именно массивом, а не списком?

@MrMiscipitlick если ты собираешься часто менять строки (например, ты пишешь текстовый редактор), можно делать строки в виде связного списка кусков, чтобы избежать лишних реаллокаций и копирований. Но обычно это всё не нужно.

Нет, результат возвращается в регистрах (обычно al, ax, eax, st(0)).

Делать возврат в регистрах неудобно, и регистры засираются, и количество их не резиновое

Строка остаётся именно массивом, а не списком?

Конечно

@MrMiscipitlick если ты собираешься часто менять строки (например, ты пишешь текстовый редактор), можно делать строки в виде связного списка кусков, чтобы избежать лишних реаллокаций и копирований. Но обычно это всё не нужно.

И как такие строки менять, сохраняя старые? У меня кроме объединения есть ещё и другие операции.

Делать возврат в регистрах неудобно, и регистры засираются, и количество их не резиновое

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

Делать возврат в регистрах неудобно, и регистры засираются, и количество их не резиновое

напиши свой компилятор, тож блин проблему нашел.

И как такие строки менять, сохраняя старые? У меня кроме объединения есть ещё и другие операции.

Это скорее про вставку и удаление.

жоловаться тут только не надо что тебе регистров не хватает в отличии от остального мира)

Это скорее про вставку и удаление.

Надо ещё где-то указатели хранить. Причём, в обе стороны.

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

Ну я лично делаю через директиву arg, при вызове сначала смещая стек на количество байт для выходных параметров, потом размещаю входные, а после вызова смещаю обратно на количество входных. Это даже легче, чем с регистрами - ну, по крайней мере пользоваться этим

На вершине стека остаются только выходные

И не приходится думать ни о том, что регистров не хватит, ни об экспорте переменных для выходных параметров. Или это тоже неэффективно?

Надо ещё где-то указатели хранить. Причём, в обе стороны.

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

Обычно нет смысла изобретать 🚴‍♂. Всё уже украдено изобретено до нас :)

Обычно нет смысла изобретать 🚴‍♂. Всё уже украдено изобретено до нас :)

Ну проблема в том, что в учебниках почему-то я не встречал таких приколюх, там не пишут ни про язык для процедур, ни про uses, ни про local, ни про arg

Возможно где-то есть директива, которая выделяет локальные переменные и автоматически кладёт их на вершину стека при завершении, однако мне такую найти не удалось

Возможно где-то есть директива, которая выделяет локальные переменные и автоматически кладёт их на вершину стека при завершении, однако мне такую найти не удалось

Потому что так делать не принято. Во-первых, тебе может быть не нужен результат, придётся делать лишний pop. Во-вторых сохранять все регистры в процедуре нет смысла (лишний код, лишние такты). Можно сохранять bx, si, di (и bp, sp, естественно), аx, cx, dx использовать для передачи параметров и возврата результата. Ну и флаг CF.

А если ты регистры эти не сохраняешь, почему бы не использовать их для возврата?

Потому что так делать не принято. Во-первых, тебе может быть не нужен результат, придётся делать лишний pop. Во-вторых сохранять все регистры в процедуре нет смысла (лишний код, лишние такты). Можно сохранять bx, si, di (и bp, sp, естественно), аx, cx, dx использовать для передачи параметров и возврата результата. Ну и флаг CF.

Зачем pop, просто увеличу sp

Потому что так делать не принято. Во-первых, тебе может быть не нужен результат, придётся делать лишний pop. Во-вторых сохранять все регистры в процедуре нет смысла (лишний код, лишние такты). Можно сохранять bx, si, di (и bp, sp, естественно), аx, cx, dx использовать для передачи параметров и возврата результата. Ну и флаг CF.

Если я буду менять sp, то у меня даже возврата нормального из процедуры не будет

Если я буду менять sp, то у меня даже возврата нормального из процедуры не будет

Почему не будет-то? ret X

Зачем pop, просто увеличу sp

Потому что pop — 1 байт, а add sp,N — 3 байта

Почему не будет-то? ret X

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

Адрес возврата из процедуры лежит в стеке

Потому что pop — 1 байт, а add sp,N — 3 байта

Это 1 байт только если у меня 1 выходной параметр, а если их 2, 3, 5, 10 то выгоднее перемещать указатель стека

Потому что pop — 1 байт, а add sp,N — 3 байта

Да и pop вытащит куда-то это значение из стека, очищай его потом

Я не понимаю о чём ты и что пытаешься сделать. Вызов процедуры делается обычно так: push Параметр push Параметр call Процедура Процедура: push bp mov bp,sp ... leave ret 4

asmproc proc cpp near uses eax arg point:word,num:dword,mun:dword ... ret asmproc endp

Я о вот такой штуке говорю

Соглашение cpp оставляет в стеке параметры.

pascal или stdcall можно использовать

Соглашение cpp оставляет в стеке параметры.

Мне и надо чтобы он сохранял в стеке параметры, но не все, а только выходные

Чтобы было по-человечески, отправил входные, получил выходные

У тебя цель какая? Скорость кода, размер, минимизация использования регистров или что-то ещё?

У тебя цель какая? Скорость кода, размер, минимизация использования регистров или что-то ещё?

Хочу использовать стек для входа и выхода, чтобы убрались входные параметры и остались только выходные, и чтобы всё это делалось внутри процедуры

Остались на вершине стека после выхода из процедуры

Хочу использовать стек для входа и выхода, чтобы убрались входные параметры и остались только выходные, и чтобы всё это делалось внутри процедуры

Зачем? Цель?

Зачем? Цель?

Для минимизации использования регистров (ситуации разные бывают, и выход может мне перекрывать используемый регистр, это заставит его тоже в стек кидать, потом возвращать) и соответственно отсутствия ограничений в количестве выходных параметров

Для минимизации использования регистров (ситуации разные бывают, и выход может мне перекрывать используемый регистр, это заставит его тоже в стек кидать, потом возвращать) и соответственно отсутствия ограничений в количестве выходных параметров

А в процедурах ты собираешься сохранять все используемые регистры?

Для минимизации использования регистров (ситуации разные бывают, и выход может мне перекрывать используемый регистр, это заставит его тоже в стек кидать, потом возвращать) и соответственно отсутствия ограничений в количестве выходных параметров

Что ты пытаешься городить, я читал и ничего не понял

Что ты пытаешься городить, я читал и ничего не понял

Моя цель такова: кинул в стек входные параметры, процедура выполнилась, в стеке остались выходные. При этом чтобы все телодвижения по организации этого эффекта выполнялись в процедуре, а вызов выглядел как-то так: push входные_параметры call процедура pop выходные_параметры

Я художник, я так вижу (с) :)

Я художник, я так вижу (с) :)

Ну это должно быть возможно. В теории. Передача в стеке и стирание переданных параметров из стека уже есть

Осталось сделать так, чтобы при закрытии на вершину ложились выходные

Как-то мне с трудом верится, что передачу параметров через стек предусмотрели, а возврат - нет

Ну это должно быть возможно. В теории. Передача в стеке и стирание переданных параметров из стека уже есть

Вроде в паскале так было. В стеке после вызова метода оставался this (или как там у них? self?) объекта (видимо в расчёте на то, что у этого же объекта будут вызваны ещё методы). Я так понял, что ты хочешь что-то вроде: push 1 push 2 push 3 call testproc ; esp+0 = baadf00d ; esp+4 = aabbccdd add esp,8 ret proc testproc x,y,z mov [z],0xaabbccdd mov [y],0xbaadf00d leave ret 4 ; Передали 12, вытолкнули 4 (x), 8 осталось (y и z). endp Нужно и для leave/ret 4 сделать нормальный макрос, и для вызова, и всё равно регистры будут удобнее и быстрее.

Как-то мне с трудом верится, что передачу параметров через стек предусмотрели, а возврат - нет

Потому что результат, как правило, один или два, а параметров может быть много. Классика — возврат через регистр или по указателю, переданному через параметр.

Моя цель такова: кинул в стек входные параметры, процедура выполнилась, в стеке остались выходные. При этом чтобы все телодвижения по организации этого эффекта выполнялись в процедуре, а вызов выглядел как-то так: push входные_параметры call процедура pop выходные_параметры

Знаешь как в си возвращают структуры?

Знаешь как в си возвращают структуры?

Нет

Я никогда не писал на си)

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

Я как всегда отвечу на старые сообщения но тебе не обойтись без менеджера памяти. Общая идея такова - берёшь у ОС большими кусками по мере необходимости, по 100 КБ например и внутри организовываешь собственную кучу (heap) где и выделяешь память кусочками для строк и остального по мере необходимости.

Нет

Очень просто, первым неявным аргументом передаётся указатель на область памяти куда надо положить результат, это при условии, что структура не влезла в регистры возврата

Очень просто, первым неявным аргументом передаётся указатель на область памяти куда надо положить результат, это при условии, что структура не влезла в регистры возврата

Предлагаешь сделать это явно?

В ассемблере

Предлагаешь сделать это явно?

Можешь попробовать, но в принципе ты можешь сделать любым способом, который в голову придёт

Остались на вершине стека после выхода из процедуры

sub esp, 2×4 out 1,2 push in push in call stdcall pop out 1 pop out 2

sub esp, 2×4 out 1,2 push in push in call stdcall pop out 1 pop out 2

Stdcall затирает все параметры, он и выходные затрет

По сути я так и делал, только с cpp и вручную затирал входные параметры

Stdcall затирает все параметры, он и выходные затрет

нет

нет

А как ему указать, какие затирать, а какие нет

А как ему указать, какие затирать, а какие нет

реализацией. у тя в руках асм. делай что хочешь

это ты уже сам играйся со стеком, что, где по каким адресам у тя в стеке хранится, от этого и отталлкивайся для грамотного управления

это ты уже сам играйся со стеком, что, где по каким адресам у тя в стеке хранится, от этого и отталлкивайся для грамотного управления

Как он определяет, сколько/докуда ему затирать?

На это можно как-то повлиять?

Как он определяет, сколько/докуда ему затирать?

не он, а ты

влияешь ты

не он, а ты

Я определяю только затрет он всё или не затрет ничего

Я определяю только затрет он всё или не затрет ничего

да, или частично что то затрет.

да, или частично что то затрет.

А мне надо чтобы он затер, но не всё

только я вот предложил вариант где не надо ничего спецально затирать. в частности выходные параметры

только я вот предложил вариант где не надо ничего спецально затирать. в частности выходные параметры

А как мне отделить входные параметры от выходных, чтобы функция знала, ху из ху

если изобретаешь велосипед - изучи какработают стандартные, классические велосипеды

А как мне отделить входные параметры от выходных, чтобы функция знала, ху из ху

а как функция узнает параметры? приведи пример на чистом асме, без всяких директив, макросов, и меток. как в дизассемлере без отладочной инфы

а как функция узнает параметры? приведи пример на чистом асме, без всяких директив, макросов, и меток. как в дизассемлере без отладочной инфы

Ну если брать чисто, то надо сохранять sp

До вызова функции