Насыщение и обертывание описывают конкретный способ, которым некоторые процессоры справляются с условиями переполнения. Например, семейство процессоров ADSP-2100 Analog Devices ® поддерживает любой из этих режимов. Если регистр имеет режим работы насыщения, то условие переполнения устанавливается на максимальное допустимое положительное или отрицательное значение. И наоборот, если регистр имеет режим работы свертки, условие переполнения устанавливается в соответствующее значение в пределах диапазона представления.
Рассмотрим 8-битное слово без знака с двоичным масштабированием только для точки 2-5. Предположим, что этот тип данных должен представлять синусоидальную волну в диапазоне от -4 до 4. Для значений от 0 до 4 слово может представлять эти числа без учета переполнения. Это не относится к отрицательным числам. Если переполнение насыщается, все отрицательные значения устанавливаются равными нулю, что является наименьшим числом, представляемым типом данных. Насыщение переливов показано на следующем рисунке.
Если переполнение переполняется, для всех отрицательных значений устанавливается соответствующее положительное значение. Обертка переливов показана на следующем рисунке.
Примечание
Для большинства управляющих приложений насыщение является более безопасным способом решения проблемы переполнения с фиксированной точкой. Однако некоторые архитектуры процессоров допускают автоматическое насыщение аппаратным обеспечением. Если аппаратная насыщенность недоступна, требуется дополнительное программное обеспечение, в результате чего программы становятся более крупными и медленными. Эта стоимость оправдана в некоторых конструкциях - возможно, из соображений безопасности. Другие конструкции принимают обертку, чтобы получить наименьшее, самое быстрое программное обеспечение.
Программное обеспечение Simulink ® поддерживает насыщение и упаковку для всех типов данных с фиксированной точкой. Можно выбрать насыщение или обертку для блоков Simulink с фиксированной точкой с помощью флажка Насыщение при переполнении целого числа (Saturate on integer overflow).
