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

[Stilet]

Или влазят?

Влазят но не все Те кому хватило регистров - 5-6 переменок влезли, а это уже прирост в скорости огромный. Остальные в памяти.

[Sibedir]

Попробывал еще вот так извратнутся

const
  m1 = 100;
  m2 = 10;
var
  j1, j2, j3, j4: Int64;

procedure MyProc1;
var
  i1, i2, i3, i4: Int64;
begin
  i1 := 0;
  while i1 < m1 do begin
  i2 := 0;
  while i2 < m1 do begin
  i3 := 0;
  while i3 < m1 do begin
  i4 := 0;
  while i4 < m1 do begin
    i4 := i4 + 1;
  end;
    i3 := i3 + 1;
  end;
    i2 := i2 + 1;
  end;
    i1 := i1 + 1;
  end;
end;

procedure MyProc2;
begin
  j1 := 0;
  while j1 < m1 do begin
  j2 := 0;
  while j2 < m1 do begin
  j3 := 0;
  while j3 < m1 do begin
  j4 := 0;
  while j4 < m1 do begin
    j4 := j4 + 1;
  end;
    j3 := j3 + 1;
  end;
    j2 := j2 + 1;
  end;
    j1 := j1 + 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;

Использование Int64 привело к уравниванию скоростей. Но стоит заменить его на Integer, как MyProc1 вырывается вперед. Выходит "четверное" слово даже не пытаются запихать в регистры.

[russian-stalker]

К слову, FPC хранит локальные переменные в стеке, а не в регистрах.
То есть:

procedure MyProc1;
var
  i1, j1, k1: Integer;
begin
	i1:=84;
	j1:=85;
	k1:=86;
end;

будет выглядеть так:

	subl	$12,%esp
# Var i1 located at ebp-4
# Var j1 located at ebp-8
# Var k1 located at ebp-12
# [8] i1:=84;
	movw	$84,-4(%ebp)
# [9] j1:=85;
	movw	$85,-8(%ebp)
# [10] k1:=86;
	movw	$86,-12(%ebp)

А процедура:

var
  i2, j2, k2: Integer;
...
procedure MyProc2;
begin
	i2:=86;
	j2:=87;
	k2:=88;
end;

будет выглядеть:

# [15] i2:=86;
	movw	$86,U_P$PROGRAM_I2
# [16] j2:=87;
	movw	$87,U_P$PROGRAM_J2
# [17] k2:=88;
	movw	$88,U_P$PROGRAM_K2

То есть скорость доступа должна быть близка.

[Stilet]

Выходит "четверное" слово даже не пытаются запихать в регистры.

Ага. Оно тудыть не влезет никак )))) Хотя если кувалдой по попе ее бить может и влезет

FPC

Free Pascal?

[russian-stalker]

Free Pascal?

Ага, он самый.

[Stilet]

Сишный компилятор по-моему тоже в стеке хранит... А вот Делфи юзает регистры где можно и где нельзя, и иногда получаются казусы, приходится оптимизатор лочить для некоего участка кода.

[JTG]

А Мыщъх вот пишет в статье "Техника оптимизации под Linux"

Избегайте использования глобальных и статических переменных – локальные переменные компилятору намного проще оптимизировать.

[russian-stalker]

Сообщение от Stilet

Сишный компилятор по-моему тоже в стеке хранит... А вот Делфи юзает регистры где можно и где нельзя, и иногда получаются казусы, приходится оптимизатор лочить для некоего участка кода.

Да, сишный компилятор хранит в стеке.
Только что проверил, процедуры, приведенные на первой странице, на FPC выполняются с равной скоростью.

[Stilet]

Мыщъх

Кто это?? уж сколько раз слышу о нем, а кто это не могу понять...

[Sibedir]

Я для себя сделал 3 не хитрых вывода:
1. Экономно расходовать память на локальные переменные
2. По возможности разбивать тело процедур на части в которых стараться "повторно" использовать локальные переменные для новых нужд (это же позволит оптимизатору сработать лучше)
3. Использовать глобальные переменные для глобальных нужд, а не для временного хранения данных