Аппаратно программные платформы корпоративных информационных систем

       

Сокращение потерь на выполнение команд перехода и минимизация конфликтов по управлению



Сокращение потерь на выполнение команд перехода и минимизация конфликтов по управлению

Конфликты по управлению могут вызывать даже большие потери производительности конвейера, чем конфликты по данным. Когда выполняется команда условного перехода, она может либо изменить, либо не изменить значение счетчика команд. Если команда условного перехода заменяет счетчик команд значением адреса, вычисленного в команде, то переход называется выполняемым; в противном случае, он называется невыполняемым.

Простейший метод работы с условными переходами заключается в приостановке конвейера как только обнаружена команда условного перехода до тех пор, пока она не достигнет ступени конвейера, которая вычисляет новое значение счетчика команд (рисунок 5.14). Такие приостановки конвейера из-за конфликтов по управлению должны реализовываться иначе, чем приостановки из-за конфликтов по данным, поскольку выборка команды, следующей за командой условного перехода, должна быть выполнена как можно быстрее, как только мы узнаем окончательное направление команды условного перехода.

Например, если конвейер будет приостановлен на три такта на каждой команде условного перехода, то это может существенно отразиться на производительности машины. При частоте команд условного перехода в программах, равной 30% и идеальном CPI, равным 1, машина с приостановками условных переходов достигает примерно только половины ускорения, получаемого за счет конвейерной организации. Таким образом, снижение потерь от условных переходов становится критическим вопросом. Число тактов, теряемых при приостановках из-за условных переходов, может быть уменьшено двумя способами:

  • Обнаружением является ли условный переход выполняемым или невыполняемым на более ранних ступенях конвейера.
  • Более ранним вычислением значения счетчика команд для выполняемого перехода (т.е. вычислением целевого адреса перехода).


  • Команда перехода IF ID EX MEM WB

    Следующая команда

    IF stall stall IF ID EX MEM WB

    Следующая команда +1

    stall stall stall IF ID EX MEM WB
    Следующая команда +2

    stall stall stall IF ID EX MEM
    Следующая команда +3

    stall stall stall IF ID EX
    Следующая команда +4

    stall stall stall IF ID
    Следующая команда +5

    stall stall stall IF



    Содержание раздела