Технология динамической загрузки модулей для RTOS, Какие есть методы и инструменты. Опции

[AlexandrY]

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

Очевидно, что это реализовать для небольших проектов и даже не с ОС совершенно элементарно.
Для этого при компиляции основного ядра делают symbol definition file и потом этот файл и файлы хидеров передают третьей стороне чтобы те могли правильно скомпилировать и слинковать свои приложения для ядра.

Но когда в ядре количество функций переваливает за тысячу, то сделать переносимые хидеры в ручную представляется проблемой.
Также желательно сделать отдельный модуль с так называемой jump table чтобы уменьшить зависимость от мелких изменений и перекомпиляций ядра. Как-то подумать о фильтрации, чтобы не все подряд сущности из ядра попадали в symbol definition file и т.д.

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

[a9d]

Вот об отсутствии и идет речь.

Вот простой пример.
В программе A по смещению 0 располагается переменная int.
В программе B по смещению 0 располагается переменная char.
Как планируете решать эту ситуацию?

В uclinux каждая программа знает какое адресное пространство занимает. Это создает неудобства.

[AlexandrY]

Вот об отсутствии и идет речь.

Вот простой пример.
В программе A по смещению 0 располагается переменная int.
В программе B по смещению 0 располагается переменная char.
Как планируете решать эту ситуацию?

В uclinux каждая программа знает какое адресное пространство занимает. Это создает неудобства.

Какие же неудобства от того что известно расположение программы?
По моему наоборот облегчается отладка.

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

Существуют несложные механизмы и по размещению программы с произвольного адреса в пределах разрешенных зон. Это например elf-загрузчики. Они грузят не бинарник, а объектный файл с формате elf. При загрузке они превращают файл в бинарник с подменой адресной информации в операторах на реальные адреса.