так поставь метку my_end_data: в конце секции данных, и будет тебе размер данных в байтах если вычесть адрес аначала секции. или сразу посчитай при компиляции size_data = $ - first_data

А я хочу чтобы можно было вычислить размер массива только по его смещению где бы он ни был

сам понял что сказал?

А я хочу чтобы можно было вычислить размер массива только по его смещению где бы он ни был

это ка квычислить рост человека зная его абсолютную отметку относительно моря

При условии что после хоть что-то идёт это должно быть возможно

это ка квычислить рост человека зная его абсолютную отметку относительно моря

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

пример давай реальный.

и смещение переменной за массивом будет сумма адреса массива и его размера в байтах

так поставь метку my_end_data: в конце секции данных, и будет тебе размер данных в байтах если вычесть адрес аначала секции. или сразу посчитай при компиляции size_data = $ - first_data

☝️

Погоди, но для этого мне надо знать смещение того, что идёт сразу после массива

arr db 5 dup (8) arr.size = $ - arr или arr db 5 dup (8) arr.end: arr.size = arr.end - arr

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

Это должно быть возможно путём доступа к той самой таблице адресов

ее надо создавать вручную

Ну допустим я знаю что метка есть, но не знаю какая конкретно это метка

давай пример. как ты не можешь знать что за метка, если код пишешь ты?

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

Так, ладно. Можно как-то напрямую получить доступ к таблице адресов или нет? Без указания адреса конкретного элемента, а к области памяти, где они хранятся?

конечно. создай такую таблицу и пользуйся

Ну так ты же сказал, что она где-то уже есть

секция данных допустим 401000. твоя метка указывает на второй dword в этой секции. получаем 401000+4=401004 - адрес метки при выполнении программы. (все в хексах)

А откуда он его берёт?

И оттуда сам ассемблер берёт данные

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

не берет, а считает во время компиляции

Ну она тоже считает адрес же

да, если продолжать тему кто/что может считать адрес, то туда еще mov можно приплести

Ну вот, как они его считают. При компиляции ладно, а они?

Ну вот, как они его считают. При компиляции ладно, а они?

А откуда он его берёт?

Допустим, есть такая структура: arr db 5 dup (8) arr_end db 0 Я передаю в функцию смещение массива. Я не знаю смещение переменной после него, но я знаю, что эта переменная точно есть. Если ты говоришь, что существует некоторая таблица, которая по номерам содержит смещение каждой метки, то мне надо просто найти в этой таблице метку, следующую сразу за моим массивом

Это должно быть возможно путём доступа к той самой таблице адресов

Но и при выполнении программы тоже

Нет никакой таблицы адресов меток. Это таблица есть только у компилятора (пока он разбирает твой код). В самой проге или в системе никаких таких таблиц нет. Там вообще нет никакой инфы о метках. Метки нужны лишь для удобства указания места какого-либо кода или данных, чтобы как-то указать в коде к какому именно месту мы обращаемся. org 400000h mov eax,[var] var dd 1000 Здесь var - это просто символьное обозначение адреса 400005h. Никуда дополнительно этот адрес в бинарь не записывается. Он пишется только в mov как mov eax,[400005h]. Всё. И адрес следующей метки ты никак не получишь. Ты можешь разве что сделать это через макросы. Скажем, опередить макрос типа: macro dstr label*, string*& { label db string label#.len = $ - label } (точно не помню как конкатенация имён делается в fasm, но вроде так). И далее, когда ты передаёшь в другой макрос метку, например, mystr (созданную макросом dstr), то этот макрос может добавить в концу .len и получить размер строки. Но опять же, это всё только в макросах. Макросы имеют доступ к символам твоего кода, а бинарный код - нет.

Тогда другой вопрос. Как выделять память в процессе выполнения программы?

А сегмент кода и сегмент данных не изолированы друг от друга?

А сегмент кода и сегмент данных не изолированы друг от друга?

смотря что считать изолицией

можешь асмокод туда запихнуть, он будет считаться/ассемблироваться как набор байт. но с тасмом в этом не уверен

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

Процессору всё равно - код это или данные. Он может читать/писать код и исполнять данные, если надо. Главное за пределы не выходи без понимания последствий.

Вот я этого и опасаюсь, не будет ли он исполнять мне те данные, которые я туда закину?

Выдели объявлением через dup столько места, сколько тебе нужно. Если это неинициализированные данные.

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

Выдели объявлением через dup столько места, сколько тебе нужно. Если это неинициализированные данные.

А если я буду записывать туда данные без выделения, то что будет?

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

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

больше чем 64кб не выделишь, иначе надо уже думать о переключении сегментов

больше чем 64кб не выделишь, иначе надо уже думать о переключении сегментов

Даже екзешники этим ограничены?