Локальные переменные vs Глобальные

[Sibedir]

Пришла в голову вот какая мысль. Предполагаю, что она бредовейшая, но все-таки всегда лучше спросить. Правда?
Вот 2 варианта одного и того же
Вариант 1

procedure MyProc;
var
  i, j, k: Integer;
begin
  // тело
end;

Вариант 2

var
  i, j, k: Integer;
...
procedure MyProc;
begin
  // тело
end;

Будет ли программа со вторым вариантом реализации процедуры работать чуть-чуть быстрее, если MyProc использовать часто-часто-часто?

[Stilet]

Я бы сказал что скорость не уменьшится. Единственное что изменится так это добавится команда резервирования 3*4байт и команда очищения стека, но не более ибо оптимизатор бдить должен.

[Serge_Bliznykov]

Будет ли программа со вторым вариантом реализации процедуры работать чуть-чуть быстрее

мне кажется - будет.. но именно "чуть-чуть".. да и то, зависит от того, как интенсивно дёргается сама процедура и эти переменные в ней...
NB. мнение чисто интуитивное, могу и ошибаться в любую сторону...

но не более ибо оптимизатор бдить должен.

я так понимаю, что в теле процедуры идёт работа с этими переменными...

[_-Re@l-_]

Как по-моему, так программа с глобальными переменными чуть быстрее шевелится...

[Stilet]

я так понимаю, что в теле процедуры идёт работа с этими переменными...

Я тоже именно так и понял. И поскольку локальные переменки в стеке хранятся, для них будет выполняться команда смещения указателя стека.
Кстати - цикл for не любит работать с глобальными переменными, так что поаккуратнее с ним в паскале, та и Делфи тоже.

[Sibedir]

Ну да, ступил. У нас вчера корпоротив был
Это же проверить легко

const
  m1 = 10;
  m2 = 1000000;

var
  i2, j2, k2: Integer;

procedure MyProc1;
var
  i1, j1, k1: Integer;
begin
  i1 := 0;
  while i1 < m1 do begin
    j1 := 0;
    while j1 < m1 do begin
      k1 := 0;
      while k1 < m1 do begin
        k1 := k1 + 1;
      end;
      j1 := j1 + 1;
    end;
    i1 := i1 + 1;
  end;
end;

procedure MyProc2;
begin
  i2 := 0;
  while i2 < m1 do begin
    j2 := 0;
    while j2 < m1 do begin
      k2 := 0;
      while k2 < m1 do begin
        k2 := k2 + 1;
      end;
      j2 := j2 + 1;
    end;
    i2 := i2 + 1;
  end;
end;

{$R *.dfm}

procedure TForm1.Button1Click(Sender: TObject);
var
  i, b, e: Cardinal;
begin
  b := GetTickCount;
  for i := 1 to m2 do MyProc1;
  e := GetTickCount;
  ShowMessage (IntToStr (e-b));
end;

procedure TForm1.Button2Click(Sender: TObject);
var
  i, b, e: Cardinal;
begin
  b := GetTickCount;
  for i := 1 to m2 do MyProc2;
  e := GetTickCount;
  ShowMessage (IntToStr (e-b));
end;

Вариант 2 работает дольше. И на много дольше.
Вопрос:
Почему? Это все из-за того, что локальные переменные в стеке, а к ним обращение быстрее идет (они в кэше)? А за глобальными переменными он в оперативку лазиет?

[Stilet]

они в кэше

Впервые слышу чтоб стек кешировался. Стек это часть оперативной памяти, так что и за ними

он в оперативку лазиет

P.S. а-а-а Вот оно в чем дело. Как я и говорил оптимизатор бдит, но бдит он хитро. Локальные переменки твои он не в памяти хранит, а в регистрах процессора Проц проще говоря вообще в память не лезет. Кол-во переменок в процедуре 3 - этого хватит для набора регистров проца, как раз EDX,EBX,ECX для них и будет использоваться. Рискни вначале поставить директиву {$o-}
И увидишь что отключение оптимизатора уравнит шанцы

[Sibedir]

procedure MyProc1;
var
  ii1, jj1, kk1, ii2, jj2, kk2, ii3, jj3, kk3, i1, j1, k1: Integer;
begin
  ii1 := 0;
  jj1 := ii1 + 1;
  kk1 := jj1 - 1;
  ii2 := kk1 + 1;
  jj2 := ii2 - 1;
  kk2 := jj2 + 1;
  ii3 := kk2 - 1;
  jj3 := ii3 + 1;
  kk3 := jj3 - 1;

  i1 := kk3;
  while i1 < m1 do begin
    j1 := 0;
    while j1 < m1 do begin
      k1 := 0;
      while k1 < m1 do begin
        k1 := k1 + 1;
      end;
      j1 := j1 + 1;
    end;
    i1 := i1 + 1;
  end;
end;

procedure MyProc2;
begin
  i2 := 0;
  j2 := i2 + 1;
  k2 := j2 - 1;
  i2 := k2 + 1;
  j2 := i2 - 1;
  k2 := j2 + 1;
  i2 := k2 - 1;
  j2 := i2 + 1;
  k2 := j2 - 1;

  i2 := k2;
  while i2 < m1 do begin
    j2 := 0;
    while j2 < m1 do begin
      k2 := 0;
      while k2 < m1 do begin
        k2 := k2 + 1;
      end;
      j2 := j2 + 1;
    end;
    i2 := i2 + 1;
  end;
end;

Результат тот же. MyProc1 быстрее

Рискни вначале поставить директиву {$o-}
И увидишь что отключение оптимизатора уравнит шанцы

Гы. уровнял. Естественно в худшую сторону.

[Stilet]

Вот что я имею ввиду:

{$o-}
program Project1;

{$APPTYPE CONSOLE}

uses windows,
  SysUtils;
const
  m1 = 10;
  m2 = 1000000;
 {o-}
var
  i2, j2, k2: Integer;

procedure MyProc1;
var
  i1, j1, k1: Integer;
begin
  i1 := 0;
  while i1 < m1 do begin
    j1 := 0;
    while j1 < m1 do begin
      k1 := 0;
      while k1 < m1 do begin
        k1 := k1 + 1;
      end;
      j1 := j1 + 1;
    end;
    i1 := i1 + 1;
  end;
end;

procedure MyProc2;
begin
  i2 := 0;
  while i2 < m1 do begin
    j2 := 0;
    while j2 < m1 do begin
      k2 := 0;
      while k2 < m1 do begin
        k2 := k2 + 1;
      end;
      j2 := j2 + 1;
    end;
    i2 := i2 + 1;
  end;
end;
var
  i, b, e: Cardinal;

begin writeln('without Optomizer');
   b := GetTickCount;
  for i := 1 to m2 do MyProc1;
  e := GetTickCount;
  writeln ( (e-b));
  b := GetTickCount;
  for i := 1 to m2 do MyProc2;
  e := GetTickCount;
  writeln ( (e-b));
  readln;
  { TODO -oUser -cConsole Main : Insert code here }
end.

[Sibedir]

Да. Я понял про оптимизатор.
Я не понял почему с

var
  ii1, jj1, kk1, ii2, jj2, kk2, ii3, jj3, kk3, i1, j1, k1: Integer;

результат тот же. Ведь они явно в регистры не влазят. Или влазят?