Дурацкие трюки с разделяемой памятью

Это перевод Stupid memory-mapping tricks. Автор: Реймонд Чен.

Разделяемая память (shared memory) - это не только способ сделать общим кусок двух адресных пространств. Но она также позволяет вам разделять память с самим собой хитрыми способами.

Например, программа ниже (все проверки ошибок убраны для улучшения читабельности) показывает, как вы можете отмаппить одну и ту же разделяемую память в два разных места одновременно. А поскольку оба куска будут представлять одну и ту же память, то изменения в одном из них немедленно отражаются и во втором.

procedure TForm17.Button1Click(Sender: TObject);
var
  hfm: THandle;
  pdw1, pdw2: PInteger;
begin

  hfm := CreateFileMapping(INVALID_HANDLE_VALUE, nil, PAGE_READWRITE, 0, SizeOf(DWORD), nil);

  pdw1 := MapViewOfFile(hfm, FILE_MAP_WRITE, 0, 0, SizeOf(DWORD));
  pdw2 := MapViewOfFile(hfm, FILE_MAP_WRITE, 0, 0, SizeOf(DWORD));

  Memo1.Lines.Add(Format('Спроецировано в %p и %p', [pdw1, pdw2]));
  Memo1.Lines.Add(Format('pdw1^ = %d, pdw2^ = %d', [pdw1^, pdw2^]));

  // А теперь: следи за руками!
  pdw1^ := 42;
  Memo1.Lines.Add(Format('pdw1^ = %d, pdw2^ = %d', [pdw1^, pdw2^]));

end;

Эта программа выводит:

Спроецировано в 010B0000 и 01140000
pdw1^ = 0, pdw2^ = 0
pdw1^ = 42, pdw2^ = 42

Адреса могут меняться от запуска к запуску, но заметьте, что хотя память была спроецирована в два разных места, изменение первого значения волшебным образом меняет и второе.

Это довольно остроумное следствие способа работы разделяемой памяти. Я наткнулся на него, когда изучал способы быстрого копирования больших объёмов памяти. Одно из решений: создать блок разделяемой памяти, спроецировать его в одно место, изменить память, потом отвязать (unmap) от этого места и спроецировать в другое. Престо: память моментально "перемещается" в новое место. Если блок памяти велик, то это отличный бонус, потому что вам не нужно выделять второй блок, копировать в него данные, освобождать первый блок...
Оказалось так, что я так ни разу и не использовал этот трюк, но, всё равно, найти его было забавно.