Будет ли Microsoft Windows 10 перераспределять память?

Операционные системы Linux обычно позволяют превышение объема памяти. Например, процесс может выделить 100 ГБ памяти, даже если на машине всего 8 ГБ физической памяти и нет swap.

Пока вся выделенная память не используется фактически, процесс будет работать. Если программа попытается использовать всю память, OOM-убийца завершит работу процессов, чтобы освободить память.

Как это работает в Windows? Откажется ли Windows предоставлять процессам виртуальную память, если не сможет гарантировать, что эта память может быть обеспечена реальной памятью (физической ОЗУ или swap)?

Отвечая на свой собственный вопрос, так как никто другой не ответил.

Похоже, что Windows НЕ позволяет превышение объема памяти. Это на самом деле большая разница по сравнению с Linux.

Windows позволяет программе выделять больше (виртуальной) памяти, чем имеется ОЗУ на машине, но ТОЛЬКО если достаточно свободного места на диске, чтобы при необходимости обеспечить запрашиваемую программой виртуальную память диском.

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

Windows превышает объем стеков. Вы можете легко создать несколько потоков с пространством стека, значительно превышающим ОЗУ + swap. Следующая программа на C++20 показывает атрибуты страницы одного мегабайта стека:

#include <Windows.h>
#include <iostream>

using namespace std;

int main( int argc, char **argv )
{
    auto stackThread = []( LPVOID lpvThreadParam ) -> DWORD
    {
        ULONG_PTR stackTop, stackBottom;
        GetCurrentThreadStackLimits( &stackBottom, &stackTop );
        char const
            *pStackTop = (char *)stackTop,
            *pStackBottom = (char *)stackBottom;
        SYSTEM_INFO si;
        GetSystemInfo( &si );
        MEMORY_BASIC_INFORMATION mbi;
        auto query = [&]( char const *p ) -> char const *
        {
            if( VirtualQuery( p, &mbi, sizeof mbi ) != sizeof mbi )
                ExitProcess( EXIT_FAILURE );
            return (char *)mbi.AllocationBase;
        };
        char const *base = query( pStackBottom ), *p;
        do
        {
            cout << mbi.RegionSize / si.dwPageSize << ": ";
            unsigned n = 0;
            auto append = [&]<typename ... T>( T &&... values ) { cout << (", " + !n++); ((cout << values), ...); };
            if( mbi.State != MEM_FREE )
                if( mbi.State == MEM_COMMIT )
                    append( "выделено" );
                else if( mbi.State == MEM_RESERVE )
                    append( "резервировано" );
                else
                    append( "С: 0x", hex, mbi.State );
            if( !mbi.Protect )
                append( "недоступно" );
            else if( mbi.Protect & PAGE_GUARD )
                append( "страница защиты" );
            else if( mbi.Protect == PAGE_READWRITE )
                append( "чтение-запись" );
            else
                append( "З: 0x", hex, mbi.Protect );
            cout << endl;
            p = (char *)mbi.BaseAddress + mbi.RegionSize;
        } while( query( p ) == base && mbi.BaseAddress < pStackTop );
        return 123;
    };
    HANDLE hThread = CreateThread( nullptr, 0x100000, stackThread, nullptr, STACK_SIZE_PARAM_IS_A_RESERVATION, nullptr);
    WaitForSingleObject( hThread, INFINITE );
    CloseHandle( hThread );
    return 0;
}

Вот атрибуты стека, показанные на моем компьютере:

251:  резервировано, недоступно
2:  выделено, страница защиты
3:  выделено, чтение-запись

Как видите, большая часть стека изначально не выделена.