Программирую на кейле. Стал встречаться с непонятными вещами, именуемыми ELF. Очень часто упоминается про ELF section. В компиляторе для оптимизации есть пункт One ELF section per Function. Попытался было найти объяснения на форуме. но тут еще и про DWARF говорят, только больше запутался. Что это вообще за секции, файлы, с чем и для чего их вообще едят?

Эльфы и гномы. Че тут непонятного?
А вообще на википедии статьи есть про это.

вот здесь хорошо расписано.

Спасибо, оценил))). Заодно вспомнил линейковскую молодость


Про это там написано что это за файлы и из чего они состоят (в частности описание секций и сегментов). Я могу представить для чего такие файлы в кейле - помощь линковщику и т.п.. Но объясните, пожалуйста, каким образом получается, что если в кейловской оптимизации поставить галочку "One ELF section per Function", размер готового исполняемого кода сокращается в два раза? Кеил что, сведения линковщика в контроллер зашивает?

Линкер подлинковывает только те секции, на которые есть ссылки. Если на функцию нет ссылки - то ее секция не попадет в выходной файл. А если все функции в одной секции - тут уж линкер никак мух от котлет отделить не сможет. Никакой магии.

Тогда по логике должно получаться наоборот - если все функции (и неиспользуемые) в одной секции, то эта секция должна получаться по размеру больше, чем несколько секций с только используемыми функциями. На практике получилось наоборот.
З.Ы. Я ведь правильно понимаю - секция может быть произвольного размера?

Да, именно так. И именно так и получается.
Вы сами себе противоречите:
Итого - компилятор кладет каждую функцию в отдельную секцию, линкер берет только необходимые секции => размер уменьшается. Все согласно теории.

Да, секция может быть произвольного размера. Есть какие-то ограничения на уровне ОС, но у вас нету диска такого объема

Спасибо, неправильно перевел. До этого понимал эту строку как одна секция для всех функций. Пошел за учебником по инглишу...