Если счетчик команд указывает на адрес следующей инструкции, которая будет выполняться, что делают указатели кадра?

Это не совсем вопрос на Си, так как он полностью зависит от компилятора.

Однако кадры стека - это полезный способ подумать о текущей функции и о родительской. Обычно указатель кадра указывает на конкретное место на стеке (для заданной глубины стека), из которого можно найти переданные параметры, а также локальные переменные.

Вот пример, допустим, вы вызываете функцию, которая принимает один аргумент и возвращает сумму всех чисел от 1 до этого аргумента. Код на языке Си будет выглядеть так:

unsigned int x = sumOf (7);
: :
unsigned int sumOf (unsigned int n) {
    unsigned int total = 0;
    while (n > 0) {
        total += n;
        n--;
    }
    return total;
}

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

        mov  r1,7            ; fixed value
        push r1              ; push it for subroutine
        call sumOf           ; then call
retLoc: mov  [x],r1          ; move return value to variable
: :
sumOf:  mov  fp,sp           ; Set frame pointer to known location
        sub  sp,4            ; Allocate space for total.
: :

В этот момент (следуя за sub sp,4) у вас есть следующая область стека:

      +--------+
      | n(7)   |
      +--------+
      | retLoc |
      +--------+
fp -> | total  |
      +--------+
sp -> |        |
      +--------+

и вы можете увидеть, что передаваемые параметры можно найти, используя адреса 'над' указателем кадра и локальных переменных 'под' указателем кадра.

Функция может получить доступ к передаваемому значению (7), используя [fp+8], содержимому памяти на fp+8 (в данном примере каждая из этих ячеек равна четырем байтам). Она также может получить доступ к своей собственной локальной переменной (total) с помощью [fp-0], содержимое памяти с помощью fp-0. Я использовал номенклатуру fp-0, хотя вычитание нуля не имеет никакого эффекта, так как другие местные жители будут иметь соответствующие нижние адреса, такие как fp-4, fp-8 и так далее.

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

Хорошая дискуссия здесь, с примерами и прочим

Одним словом: ВП указывает на фиксированное место в кадре функции на стеке (и не изменяется во время выполнения функции), поэтому все передаваемые инструменты и локальные ("автоматические") переменные функции могут быть доступны по смещениям от ВП (в то время как ПВ может меняться во время выполнения функции, а ПК определенно меняется;-).

Обычно адрес возврата (но иногда, например, только последний аргумент). Дело в том, что указатель кадра фиксируется в течение жизни метода, в то время как указатель стека может перемещаться во время выполнения.

Это очень зависит от реализации (а скорее от машинной концепции, а не от языковой).

От комментария, который вы дали, до другого ответа:

Woh.... Указатель стека?... это синоним счетчика программ?

Читайте о стеке вызовов . В основном, в стеке вызовов хранятся данные, локальные текущему методу (локальные переменные, параметры метода и адрес возврата вызывающему абоненту). Указатель стека указывает на вершину той структуры, где выделяется новое место (перемещая указатель стека "выше").

Указатель кадра указывает на область памяти в текущем кадре (текущая локальная функция), обычно он указывает на адрес возврата текущей локальной функции.

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

ссылочный текст