Часть 2. Систематика аппаратной поддержки стеков



==24

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

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

В §2.1 начнётся описание систематики стековых машин на основе трёх атрибутов: числе стеков, объёме памяти, отведённой под стек, и количестве операндов в формате инструкций. Кроме того, будет рассмотрена зависимость сильных и слабых сторон конкретной модели от принадлежности к тому или иному классу.

В §2.2 большинство известных моделей стековых компьютеров будет распределено по категориям, после чего, в §2.3 будут рассмотрены сходства внутри групп, различия между группами и показано, чем систематика может помочь при разборе технических решений, принятых при разработке вычислительных устройств.



==24