Организация кэш-памяти
Концепция кэш-памяти возникла
раньше чем архитектура IBM/360, и
сегодня кэш-память имеется
практически в любом классе
компьютеров, а в некоторых
компьютерах - во множественном
числе.
Размер блока (строки) |
4-128 байт |
Время попадания (hit time) |
1-4 такта
синхронизации
(обычно 1 такт) |
Потери при промахе (miss
penalty)
(Время доступа - access time)
(Время пересылки - transfer time) |
8-32 такта
синхронизации
(6-10 тактов синхронизации)
(2-22 такта синхронизации) |
Доля промахов (miss rate) |
1%-20% |
Размер кэш-памяти |
4 Кбайт - 16 Мбайт |
Рис. 5.36. Типовые значения
ключевых параметров для кэш-памяти
рабочих станций и серверов
Все термины, которые были
определены раньше могут быть
использованы и для кэш-памяти, хотя
слово "строка" (line) часто
употребляется вместо слова
"блок" (block).
На рисунке 5.36 представлен
типичный набор параметров, который
используется для описания
кэш-памяти.
Рассмотрим организацию
кэш-памяти более детально, отвечая
на четыре вопроса об иерархии
памяти.
1. Где может размещаться блок в
кэш-памяти?
Принципы размещения блоков в
кэш-памяти определяют три основных
типа их организации:
- Если каждый блок основной
памяти имеет только одно
фиксированное место, на
котором он может появиться в
кэш-памяти, то такая кэш-память
называется кэшем с прямым
отображением (direct mapped). Это
наиболее простая организация
кэш-памяти, при которой для
отображение адресов блоков
основной памяти на адреса
кэш-памяти просто используются
младшие разряды адреса блока.
Таким образом, все блоки
основной памяти, имеющие
одинаковые младшие разряды в
своем адресе, попадают в один
блок кэш-памяти, т.е.
(адрес блока кэш-памяти) =
(адрес блока основной памяти) mod (число блоков в кэш-памяти)
- Если некоторый блок основной
памяти может располагаться на
любом месте кэш-памяти, то кэш
называется полностью
ассоциативным (fully associative).
- Если некоторый блок основной
памяти может располагаться на
ограниченном множестве мест в
кэш-памяти, то кэш называется
множественно-ассоциативным (set
associative). Обычно множество
представляет собой группу из
двух или большего числа блоков
в кэше. Если множество состоит
из n блоков, то такое размещение
называется
множественно-ассоциативным с n
каналами (n-way set associative). Для
размещения блока прежде всего
необходимо определить
множество. Множество
определяется младшими
разрядами адреса блока памяти
(индексом):
(адрес множества кэш-памяти) =
(адрес блока основной памяти) mod (число множеств в кэш-памяти)
Далее, блок может размещаться на
любом месте данного множества.
Диапазон возможных организаций
кэш-памяти очень широк: кэш-память с
прямым отображением есть просто
одноканальная
множественно-ассоциативная
кэш-память, а полностью
ассоциативная кэш-память с m
блоками может быть названа
m-канальной
множественно-ассоциативной. В
современных процессорах как
правило используется либо
кэш-память с прямым отображением,
либо двух- (четырех-) канальная
множественно-ассоциативная
кэш-память.
2. Как найти блок, находящийся в
кэш-памяти?
У каждого блока в кэш-памяти
имеется адресный тег, указывающий,
какой блок в основной памяти данный
блок кэш-памяти представляет. Эти
теги обычно одновременно
сравниваются с выработанным
процессором адресом блока памяти.
Кроме того, необходим способ
определения того, что блок
кэш-памяти содержит достоверную
или пригодную для использования
информацию. Наиболее общим
способом решения этой проблемы
является добавление к тегу так
называемого бита достоверности (valid
bit).
Адресация
множественно-ассоциативной
кэш-памяти осуществляется путем
деления адреса, поступающего из
процессора, на три части: поле
смещения используется для выбора
байта внутри блока кэш-памяти, поле
индекса определяет номер
множества, а поле тега используется
для сравнения. Если общий размер
кэш-памяти зафиксировать, то
увеличение степени
ассоциативности приводит к
увеличению количества блоков в
множестве, при этом уменьшается
размер индекса и увеличивается
размер тега.
3. Какой блок кэш-памяти должен
быть замещен при промахе?
При возникновении промаха,
контроллер кэш-памяти должен
выбрать подлежащий замещению блок.
Польза от использования
организации с прямым отображением
заключается в том, что аппаратные
решения здесь наиболее простые.
Выбирать просто нечего: на
попадание проверяется только один
блок и только этот блок может быть
замещен. При полностью
ассоциативной или
множественно-ассоциативной
организации кэш-памяти имеются
несколько блоков, из которых надо
выбрать кандидата в случае промаха.
Как правило для замещения блоков
применяются две основных
стратегии: случайная и LRU.
В первом случае, чтобы иметь
равномерное распределение,
блоки-кандидаты выбираются
случайно. В некоторых системах,
чтобы получить воспроизводимое
поведение, которое особенно
полезно во время отладки
аппаратуры, используют
псевдослучайный алгоритм
замещения.
Во втором случае, чтобы уменьшить
вероятность выбрасывания
информации, которая скоро может
потребоваться, все обращения к
блокам фиксируются. Заменяется тот
блок, который не использовался
дольше всех (LRU - Least-Recently Used).
Достоинство случайного способа
заключается в том, что его проще
реализовать в аппаратуре. Когда
количество блоков для поддержания
трассы увеличивается, алгоритм LRU
становится все более дорогим и
часто только приближенным. На
рисунке 5.37 показаны различия в
долях промахов при использовании
алгоритма замещения LRU и случайного
алгоритма.
Размер кэш-памяти |
LRU Random |
LRU Random |
LRU Random |
16 KB |
5.18% 5.69% |
4.67% 5.29% |
4.39% 4.96% |
64 KB |
1.88% 2.01% |
1.54% 1.66% |
1.39% 1.53% |
256 KB |
1.15% 1.17% |
1.13% 1.13% |
1.12% 1.12% |
Рис. 5.37. Сравнение долей
промахов для алгоритма LRU и
случайного алгоритма замещения
при нескольких размерах кэша и
разных ассоциативностях при
размере блока 16 байт
4. Что происходит во время
записи?
При обращениях к кэш-памяти на
реальных программах преобладают
обращения по чтению. Все обращения
за командами являются обращениями
по чтению и большинство команд не
пишут в память. Обычно операции
записи составляют менее 10% общего
трафика памяти. Желание сделать
общий случай более быстрым
означает оптимизацию кэш-памяти
для выполнения операций чтения,
однако при реализации
высокопроизводительной обработки
данных нельзя пренебрегать и
скоростью операций записи.
К счастью, общий случай является и
более простым. Блок из кэш-памяти
может быть прочитан в то же самое
время, когда читается и
сравнивается его тег. Таким
образом, чтение блока начинается
сразу как только становится
доступным адрес блока. Если чтение
происходит с попаданием, то блок
немедленно направляется в
процессор. Если же происходит
промах, то от заранее считанного
блока нет никакой пользы, правда
нет и никакого вреда.
Однако при выполнении операции
записи ситуация коренным образом
меняется. Именно процессор
определяет размер записи (обычно от
1 до 8 байтов) и только эта часть
блока может быть изменена. В общем
случае это подразумевает
выполнение над блоком
последовательности операций
чтение-модификация-запись: чтение
оригинала блока, модификацию его
части и запись нового значения
блока. Более того, модификация
блока не может начинаться до тех
пор, пока проверяется тег, чтобы
убедиться в том, что обращение
является попаданием. Поскольку
проверка тегов не может
выполняться параллельно с другой
работой, то операции записи
отнимают больше времени, чем
операции чтения.
Очень часто организация
кэш-памяти в разных машинах
отличается именно стратегией
выполнения записи. Когда
выполняется запись в кэш-память
имеются две базовые возможности:
- сквозная запись (write through, store
through) - информация записывается
в два места: в блок кэш-памяти и
в блок более низкого уровня
памяти.
- запись с обратным копированием
(write back, copy back, store in) - информация
записывается только в блок
кэш-памяти. Модифицированный
блок кэш-памяти записывается в
основную память только когда
он замещается. Для сокращения
частоты копирования блоков при
замещении обычно с каждым
блоком кэш-памяти связывается
так называемый бит модификации
(dirty bit). Этот бит состояния
показывает был ли
модифицирован блок,
находящийся в кэш-памяти. Если
он не модифицировался, то
обратное копирование
отменяется, поскольку более
низкий уровень содержит ту же
самую информацию, что и
кэш-память.
Оба подхода к организации записи
имеют свои преимущества и
недостатки. При записи с обратным
копированием операции записи
выполняются со скоростью
кэш-памяти, и несколько записей в
один и тот же блок требуют только
одной записи в память более низкого
уровня. Поскольку в этом случае
обращения к основной памяти
происходят реже, вообще говоря
требуется меньшая полоса
пропускания памяти, что очень
привлекательно для
мультипроцессорных систем. При
сквозной записи промахи по чтению
не влияют на записи в более высокий
уровень, и, кроме того, сквозная
запись проще для реализации, чем
запись с обратным копированием.
Сквозная запись имеет также
преимущество в том, что основная
память имеет наиболее свежую копию
данных. Это важно в
мультипроцессорных системах, а
также для организации ввода/вывода.
Когда процессор ожидает
завершения записи при выполнении
сквозной записи, то говорят, что он
приостанавливается для записи (write
stall). Общий прием минимизации
остановов по записи связан с
использованием буфера записи (write
buffer), который позволяет процессору
продолжить выполнение команд во
время обновления содержимого
памяти. Следует отметить, что
остановы по записи могут возникать
и при наличии буфера записи.
Метод |
Доля
промахов |
Потери
при
промахе |
Время
обращения при попадании |
Сложность
аппаратуры |
Примечания
|
Увеличение размера
блока |
+ |
- |
|
0 |
|
Повышение степени
ассоциативности |
+ |
|
- |
1 |
|
Кэш-память с вспомогательным
кэшем |
+ |
|
|
2 |
|
Псевдоассоциативные
кэши |
+ |
|
|
2 |
|
Аппаратная
предварительная выборка
команд и данных |
+ |
|
|
2 |
Предварительная
выборка данных затруднена |
Предварительная
выборка под управлением
компилятора |
+ |
|
|
3 |
Требует также
неблокируемой кэш-памяти |
Специальные методы
для уменьшения промахов |
+ |
|
|
0 |
Вопрос ПО |
Установка
приоритетов промахов по чтению
над записями |
|
+ |
|
1 |
Просто для
однопроцессорных систем |
Использование
подблоков |
|
+ |
+ |
1 |
Сквозная запись +
подблок на 1 слово помогают
записям |
Пересылка требуемого
слова первым |
|
+ |
|
2 |
|
Неблокируемые кэши |
|
+ |
|
3 |
|
Кэши второго уровня |
|
+ |
|
2 |
Достаточно дорогое
оборудование |
Простые кэши малого
размера |
- |
|
+ |
0 |
|
Обход преобразования
адресов во время индексации
кэш-памяти |
|
|
+ |
2 |
|
Конвейеризация
операций записи для быстрого
попадания при записи |
|
|
+ |
1 |
|
Рис. 5.38. Обобщение методов
оптимизации кэш-памяти
При промахе во время записи
имеются две дополнительные
возможности:
- разместить запись в кэш-памяти
(write allocate) (называется также
выборкой при записи (fetch on write)).
Блок загружается в кэш-память,
вслед за чем выполняются
действия аналогичные
выполняющимся при выполнении
записи с попаданием. Это похоже
на промах при чтении.
- не размещать запись в
кэш-памяти (называется также
записью в окружение (write around)).
Блок модифицируется на более
низком уровне и не загружается
в кэш-память.
Обычно в кэш-памяти, реализующей
запись с обратным копированием,
используется размещение записи в
кэш-памяти (в надежде, что
последующая запись в этот блок
будет перехвачена), а в кэш-памяти
со сквозной записью размещение
записи в кэш-памяти часто не
используется (поскольку
последующая запись в этот блок все
равно пойдет в память).
Увеличение производительности
кэш-памяти
Формула для среднего времени
доступа к памяти в системах с
кэш-памятью выглядит следующим
образом:
Среднее время доступа = Время обращения при попадании + Доля промахов x Потери при промахе
Эта формула наглядно показывает
пути оптимизации работы кэш-памяти:
сокращение доли промахов,
сокращение потерь при промахе, а
также сокращение времени обращения
к кэш-памяти при попадании. На
рисунке 5.38 кратко представлены
различные методы, которые
используются в настоящее время для
увеличения производительности
кэш-памяти. Использование тех или
иных методов определяется прежде
всего целью разработки, при этом
конструкторы современных
компьютеров заботятся о том, чтобы
система оказалась
сбалансированной по всем
параметрам.
[Предыдущая глава]
[Оглавление] [Следующая
глава]
|