Подробный анализ взаимосвязи архитектуры ЭВМ с языками программирования приведен в работе Г. Майерса [4]. В этой работе анализируется конкретный язык ПЛ1 и архитектура системы 370, хотя сделанные выводы могут носить более общий характер.

Рассмотрим некоторые аспекты решения задачи преодоления семантического разрыва. В качестве иллюстрации попользуем реализацию новых элементов архитектуры в 32разрядных микропроцессорах, на которых ориентированы современные ППЭВМ: MC68020 фирмы Motorola, NS32032 фирмы National Semiconductor, WE32100 фирмы AT&T и Z80000 фирмы Zilog.

Во всех без исключения 32разрядных микропроцессорах, разработка которых началась в последние 3-4 года, серьезное внимание уделялось введению в архитектуру микропроцессоров новых элементов. К ним в первую очередь можно отнести аппаратную поддержку языков высокого уровня, функций операционной системы и модульности программ. Это вполне объяснимо, так как описание интерфейса между оборудованием и языковыми средствами и оборудованием и операционной системой довольно хорошо формализуется. Остановимся на этом подробно.

При обращении к процедуре в программе на языке высокого уровня соответствующий этой программе объектный код, генерируемый компилятором, должен выполнить следующие действия: динамически выделить в памяти область, называемую запись активации» и предназначенную для размещения локальных переменных и информации о состоянии вызываемой процедуры; добавить эту запись к поддерживаемому программными средствами стеку записей активации для данной программы; записать информацию о состоянии вызывающей процедуры; присвоить начальное значение содержимому локальной памяти и параметрам вызываемой процедуры; передать управление вызываемой процедуре.