Цена проверки границ

Оберон проверяет каждый индекс массива. Проверка не бесплатна — и здесь можно поменять под ней процессор: стоковое ядро, где компилятор эмитит сравнение и условный переход, и ядро, у которого проверка границ есть в железе. Та же система, та же программа, два процессора.

Процессор

Один и тот же цикл, двумя способами







И система грузится на обоих

Переключатель выше меняет машину ниже. Стоковая система грузится на обоих ядрах одинаково — экран совпадает побитово (проверяется автоматически, `worker-test.mjs`). Расширение системы команд, которое меняет поведение старого кода, — не расширение, а другая машина.