Дополнительная информация о макете памяти исполняемой программы (процесса)

Я присутствовал на собеседовании для samsung. Они задали много вопросов по макету памяти программы. Я ничего об этом не знаю.

Я искал его «Макет памяти исполняемой программы». «Макет памяти процесса».

Я с удивлением вижу, что информации по этим темам мало. Большинство результатов – это вопросы форума. Мне просто интересно, почему?

Это несколько ссылок, которые я нашел:

  1. Организация хранения во время выполнения
  2. Организация времени выполнения
  3. Макет памяти процесса C ^ pdf ^

Я хочу изучить это из правильной книги, а не для некоторых веб-ссылок. (Рэнди Хайд – также книга, но другая книга). В какой книге я могу найти ясную и более подробную информацию по этому вопросу?

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

Это полное создание макета – это задача linker ? Где я могу больше узнать об этом процессе. Я хочу, чтобы COMPLETE- информация из программы на диске выполнялась на процессоре.

РЕДАКТИРОВАТЬ:

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

Ресурсы, которые помогли мне понять:

  1. www.tenouk.com/Bufferoverflowc/Bufferoverflow1b.html
  2. 5 часть учебника по формату PE-файла: http://win32assembly.online.fr/tutorials.html
  3. Отличная статья: http://www.linuxforums.org/articles/understanding-elf-using-readelf-and-objdump_125.html
  4. PE Explorer: http://www.heaventools.com/

Да, «макет исполняемой программы (PE / ELF)»! = «Макет памяти процесса»). Выведите для себя 3-ю ссылку. 🙂

После устранения моих понятий мои вопросы заставляют меня выглядеть такой глупой. 🙂

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

Чтобы ответить на ваши вопросы:

  1. Книги:
    • Если вы заинтересованы в том, как процессы выкладывают свою память, посмотрите на « Понимание ядра Linux» . В главе 3 рассказывается о дескрипторах процессов, создании процессов и разрушающих процессах.
    • Единственная книга, которую я знаю о том, что касается ссылок и загрузки в деталях, это Linkers and Loaders от John Levine. Там есть онлайн-версия и версия для печати, поэтому проверьте это.

  2. Исполняемый код создается компилятором и компоновщиком, но это компоновщик, который помещает вещи в бинарный формат, который требуется ОС. В Linux этот формат, как правило, ELF , для Windows и более старых Unix – это COFF , а для Mac OS X это Mach-O . Однако это не фиксированный список. Некоторые ОС могут поддерживать и поддерживать несколько двоичных форматов. Линкерам необходимо знать выходной формат для создания исполняемых файлов.

  3. Макет памяти процесса похож на двоичный формат, потому что многие бинарные форматы предназначены для mmap'd так что задача загрузчика проще.

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

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

Это действительно просто царапает поверхность загрузки двоичных файлов, и она не покрывает ничего о динамических библиотеках. Для подробного описания работы динамической компоновки и загрузки читайте « Как писать общие библиотеки» .

Вот один из способов, которым программа может быть выполнена из файла (* nix).

  • Процесс создается (например, fork ()). Это дает новому процессу собственную карту памяти. Это включает стек в некоторой области памяти (обычно где-то в памяти).
  • Новый процесс вызывает exec (), чтобы заменить текущий исполняемый файл (часто оболочку) новым исполняемым файлом. Часто для отображения страницы запроса настраиваются новые исполняемые файлы .text (исполняемый код и константы) и .data (r / w инициализированные переменные), то есть они отображаются в пространство памяти процесса по мере необходимости. Часто сначала начинается раздел .text, за которым следует .data. Раздел .bss (неинициализированные переменные) часто выделяется после раздела .data. Много раз он сопоставляется для возврата страницы нhive, когда страница, содержащая переменную bss, сначала открывается. Куча часто начинается с границы следующей страницы после раздела .bss. Затем куча растет в памяти, когда стек растет (помните, что я сказал обычно, есть исключения!).

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

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

Искусство сборки программного обеспечения http://homepage.mac.com/randyhyde/webster.cs.ucr.edu/www.artofasm.com/Windows/PDFs/MemoryAccessandOrg.pdf

  • Использование разных версий одной и той же сборки в одной папке
  • Почему mulss занимает всего 3 цикла на Хасуэлле, отличном от таблиц инструкций Агнера?
  • Проверьте, равен ли регистр нулю с помощью CMP reg, 0 против OR reg, reg?
  • Как сделать kernel ​​для моего загрузчика?
  • Как использовать строки в emu8086
  • Очень быстро memcpy для обработки изображений?
  • Ошибки CocoaPods при сборке проекта
  • Как загрузить сборку в AppDomain со всеми ссылками рекурсивно?
  • Как сохранить сборки ASP.NET в AppDomain в живых?
  • Динамически заменить содержимое метода C #?
  • Как я могу просмотреть MSIL / CIL, сгенерированный компилятором C #? Почему это называется сборкой?
  • Давайте будем гением компьютера.