Как работает mmap() при использовании в исполняемом файле?

Question

Я работаю над Ubuntu 14.04 LTS.

• Есть два файла: file1.c и file2.c
• Они собраны в exec1 и exec2 соответственно. file2.c использует функции из статической библиотеки.

exec1 карты exec2 в это виртуальное адресное пространство с помощью mmap. Следующие строки из file1.c:

#define MAX_SIZE_BYTES 4000000 
fd = open(exec2_path, O_RDONLY); 
addr = mmap(NULL, MAX_SIZE_BYTES, PROT_READ, MAP_FILE | MAP_SHARED, fd, 0); 

Следующая серия событий происходит:

1. exec1 выполняется.
2. exec1 mmaps exec2 в своем виртуальном адресном пространстве (что именно здесь происходит?)
3. exec2 выполняется (на данном этапе, exec1 продолжает работать в фоновом режиме, что именно сейчас происходит.?)

PS: Я намерен знать, что произойдет, когда exec2 находится на диске, и это mmap ed от exec1? Как изменилось виртуальное адресное пространство и таблицы страниц, соответствующие exec1?
Затем, когда exec2 фактически выполнен, он доведен до основной памяти. Как все меняется? Где в памяти находятся функции статической библиотеки, которые используются в file2.c? У меня нет четкого представления об этом процессе. Может ли кто-нибудь пролить свет на эту тему?

Answer 1

Это то, что вы идете с логической точки зрения. Под этим я подразумеваю, что я упрощаю проблемы файловой системы, которые возникают в некоторых системах eunuchs.

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

Поскольку у вас есть доступ только для чтения к файлу exec2_path, его запуск также не влияет на исполняемый файл, выполняющий сопоставление.

mmap имеет два применения, которые я могу придумать с головы. Только для чтения memmaps часто являются наиболее эффективным способом чтения больших файлов, с которыми вы должны работать в памяти, например декодирования изображений.

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