Миф: без ключа /3GB программа не может выделить больше 2 Гб виртуальной памяти

Это перевод Myth: Without /3GB a single program can't allocate more than 2GB of virtual memory. Автор: Реймонд Чен. Альтернативный перевод (C код).

Виртуальная памяти - это не виртуальное адресное пространство (часть 2).

Этот миф всё ещё держится, даже когда я пишу эту серию статей.

Обычно размер пользовательской части виртуального адресного пространства равен 2 Гб, но это не ограничивает вас 2 Гб виртуальной памяти. Вы можете выделять память, без проецирования её в ваше виртуальное адресное пространство (те из вас, кто вырос во времена расширенной памяти (Expanded Memory) или других форм техник переключения памяти, хорошо знакомы с этим механизмом).

  h := CreateFileMapping(INVALID_HANDLE_VALUE, 0,
                         PAGE_READWRITE, 1, 0, nil);

При условии, что у вас достаточно физической памяти и/или файла подкачки, этот запрос на выделение 4 Гб памяти будет успешен.

Конечно же, вы не сможете спроецировать сразу всю эту память сразу на 32-х битной машине, но вы можете делать это по частям. Давайте прочитаем байт с этой памяти.

function ReadByte(H: THandle; Offset: Cardinal): Byte;
var
  SI: TSystemInfo;
  chunkOffset, chunkStart: Cardinal;
  pb: PByteArray;
begin
  GetSystemInfo(SI);
  chunkOffset := Offset mod SI.dwAllocationGranularity;
  chunkStart := Offset - chunkOffset;
  pb := MapViewOfFile(h, FILE_MAP_READ, 0,
                      chunkStart, chunkOffset + SizeOf(Byte));
  Result := pb[chunkOffset];
  UnmapViewOfFile(pb);
end;

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

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