Сегмент .rodata¶

Сегмент .rodata — это раздел (сегмент) исполняемого файла или объектного модуля, предназначенный для хранения данных, доступных только для чтения (read-only data). В контексте операционных систем, совместимых со стандартом Executable and Linkable Format (ELF), сегмент .rodata является одним из ключевых компонентов, обеспечивающих разделение памяти на области с различными правами доступа. Данные в этом сегменте, как правило, включают константы, строковые литералы, таблицы виртуальных функций, статические массивы и другие неизменяемые структуры, используемые программой во время выполнения.

¶История и происхождение

Концепция выделения данных, доступных только для чтения, в отдельный сегмент возникла с развитием многозадачных операционных систем и необходимостью защиты памяти. Ранние операционные системы, такие как MS-DOS, не разделяли сегменты по правам доступа, что позволяло программам случайно или намеренно изменять собственные константы, приводя к нестабильности и уязвимостям. Введение сегмента .rodata в формате ELF, разработанном в 1990-х годах для Unix-подобных систем, стало частью более широкой архитектуры защиты памяти, реализованной в процессорах с поддержкой страничной организации памяти (MMU). Стандартизация ELF в спецификации System V Application Binary Interface (ABI) закрепила использование .rodata как обязательного элемента для хранения read-only данных, что впоследствии было принято в Linux, FreeBSD, Solaris и других системах. В операционных системах семейства Windows аналогичную роль выполняет сегмент .rdata (read-only data), который также присутствует в формате Portable Executable (PE).

¶Устройство и характеристики

Сегмент .rodata располагается в адресном пространстве процесса после сегмента .text (код программы) и перед сегментом .data (инициализированные данные с возможностью записи). Физически он представляет собой непрерывный блок байтов, загружаемый из исполняемого файла в память при запуске программы. Основные характеристики:

• Права доступа: только чтение (read-only). Попытка записи в этот сегмент вызывает исключение (segmentation fault) на уровне операционной системы.
• Размещение: в виртуальной памяти сегмент .rodata обычно выравнивается по границе страницы (4 КБ на архитектуре x86) для обеспечения защиты MMU.
• Содержимое: включает константы, определённые с помощью ключевого слова const в языках C/C++, строковые литералы (например, "Hello, world!"), таблицы статических инициализаций, а также данные, создаваемые компилятором для поддержки механизмов времени выполнения (например, таблицы виртуальных функций C++).
• Связывание: в процессе компоновки (линковки) сегменты .rodata из разных объектных файлов объединяются в единый сегмент конечного исполняемого файла. Компоновщик может оптимизировать размещение данных, удаляя дублирующиеся строки.

¶Классификация данных в .rodata

Данные, размещаемые в сегменте .rodata, можно классифицировать по происхождению и способу использования:

¶Статические константы

Константы, определённые на уровне файла или внутри функций с ключевым словом const, если они не инициализируются динамически. Например: ``c const int MAX_SIZE = 1024; `` Такие переменные помещаются в .rodata, если компилятор может доказать, что их значение не изменяется.

¶Строковые литералы

Текстовые строки, заключённые в двойные кавычки в исходном коде, например: ``c printf("Error: file not found\n"); `` Компилятор сохраняет строку в .rodata, а в коде используется указатель на неё. В некоторых реализациях дублирующиеся строки могут быть объединены (string pooling) для экономии памяти.

¶Таблицы виртуальных функций (vtable)

В языке C++ для поддержки полиморфизма компилятор создаёт таблицы виртуальных функций, содержащие указатели на реализации методов. Эти таблицы являются константными и размещаются в .rodata (или аналогичном сегменте) для предотвращения их случайного повреждения.

¶Инициализированные массивы и структуры

Статические массивы и структуры, значения которых заданы на этапе компиляции, например: ``c const int primes[] = {2, 3, 5, 7, 11, 13}; `` Такие данные также попадают в .rodata.

¶Отличия от других сегментов

Сегмент .rodata отличается от других сегментов исполняемого файла по правам доступа и назначению:

• .text: содержит исполняемый код (машинные инструкции). Права доступа — чтение и выполнение, но не запись. В отличие от .rodata, .text не предназначен для хранения данных, хотя в некоторых архитектурах может содержать константы, встроенные в инструкции (например, непосредственные операнды).
• .data: хранит инициализированные глобальные и статические переменные, доступные для записи. Например, int counter = 0; помещается в .data.
• .bss: содержит неинициализированные глобальные и статические переменные (например, int buffer[1000];). В .bss не хранятся сами данные, а только резервируется место в памяти, которое обнуляется при запуске программы.
• .rodata — единственный сегмент, в котором данные защищены от записи, но не являются исполняемым кодом.

¶Применение и значение

Сегмент .rodata играет важную роль в обеспечении безопасности и стабильности программного обеспечения. Основные аспекты применения:

• Защита от случайных изменений: размещение констант в read-only памяти предотвращает их случайное изменение из-за ошибок программиста (например, переполнения буфера). Это снижает риск неопределённого поведения и упрощает отладку.
• Оптимизация памяти: операционная система может использовать механизм Copy-on-Write (COW) для сегмента .rodata при запуске нескольких экземпляров одной программы. Поскольку данные не изменяются, все процессы могут совместно использовать одну физическую страницу памяти, что экономит оперативную память.
• Повышение безопасности: защита от записи затрудняет эксплуатацию некоторых типов уязвимостей, таких как атаки типа «перезапись данных» (data corruption). Например, злоумышленник не сможет изменить строку, используемую для проверки пароля, если она хранится в .rodata.
• Поддержка встраиваемых систем: в системах с ограниченными ресурсами (микроконтроллеры, встраиваемые устройства) сегмент .rodata часто размещается в ПЗУ (ROM) или флеш-памяти, что позволяет экономить ОЗУ и снижать энергопотребление.

¶Примеры использования

Рассмотрим простую программу на языке C: ```c

¶include <stdio.h>

const char* greeting = "Hello, World!"; int main() { printf("%s\n", greeting); return 0; } ``` При компиляции данной программы:

• Строковый литерал "Hello, World!" будет помещён в сегмент .rodata.
• Переменная greeting является указателем на константную строку, но сам указатель хранится в сегменте .data (если он не помечен как const), а не в .rodata. Если объявить const char* const greeting = ..., то и указатель, и строка попадут в .rodata.
• При запуске программы операционная система загружает сегмент .rodata в память с правами только чтения. Попытка изменить содержимое строки (например, через greeting[0] = 'h') вызовет ошибку сегментации.

¶Критика и ограничения

Несмотря на преимущества, использование сегмента .rodata имеет ряд ограничений:

• Не все константы попадают в .rodata: компилятор может размещать константы в других сегментах, если это выгодно для оптимизации. Например, небольшие константы могут быть встроены непосредственно в инструкции (как непосредственные операнды) и не занимать место в .rodata.
• Совместимость с динамической загрузкой: при использовании динамических библиотек (shared libraries) сегмент .rodata может быть загружен в память, но не всегда может быть защищён от записи, если библиотека не поддерживает Position-Independent Code (PIC). В таких случаях данные могут быть размещены в сегменте .data с правами записи.
• Размер и фрагментация: в больших программах сегмент .rodata может занимать значительный объём памяти, особенно при наличии множества строковых литералов и таблиц. Некоторые компиляторы предоставляют опции для сжатия или выноса данных в отдельные файлы ресурсов.
• Зависимость от архитектуры: на некоторых платформах (например, ARM Cortex-M) сегмент .rodata может быть размещён в ОЗУ, а не в ПЗУ, что снижает экономию памяти. В таких случаях разработчики могут явно указывать размещение данных с помощью атрибутов компоновщика.

¶Интересные факты

• В некоторых операционных системах, таких как Linux, сегмент .rodata может быть дополнительно защищён от выполнения (NX-бит), что предотвращает выполнение данных как кода. Это является частью механизма защиты от атак типа «переполнение буфера».
• В языке программирования Rust сегмент .rodata используется для хранения константных строк и статических переменных, объявленных с ключевым словом static без модификатора mut. Rust также гарантирует, что все данные в .rodata являются потокобезопасными.
• В контексте обратной разработки (reverse engineering) сегмент .rodata часто анализируется для извлечения строк, используемых в программе, что может помочь в понимании её функциональности (например, сообщения об ошибках, URL-адреса, ключи шифрования).

¶Источники

• System V Application Binary Interface: Intel386 Architecture Processor Supplement, 1996.
• Executable and Linkable Format (ELF) Specification, Tool Interface Standards (TIS), 1995.
• Tanenbaum, A. S., «Modern Operating Systems», 4th edition, Pearson, 2014.
• Stallman, R. M., «Using the GNU Compiler Collection (GCC)», Free Software Foundation, 2023.
• Документация по компоновщику GNU LD, раздел «Sections and Relocations».