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