Vista/Win2008에서 중요 섹션 누출?

Question

Vista/Windows Server 2008에서 크리티컬 섹션을 사용하면 OS가 메모리를 완전히 되찾지 못하는 것으로 보입니다. 이 문제는 Delphi 응용 프로그램에서 발견되었으며 이는 CS API를 사용했기 때문에 분명합니다. (SO question 참조)

다른 사람이 다른 언어 (C++, ...)로 개발 한 응용 프로그램을 본적이 있습니까?

예제 코드는 10000000 CS를 초기화 한 다음 삭제하는 것입니다. 이 XP/Win2003 잘 작동하지만 응용 프로그램이 끝날 때까지 Vista/Win2008 모든 피크 메모리 해제하지 않습니다.
CS를 많이 사용할수록 더 많은 응용 프로그램이 메모리를 유지합니다.

Answer 1

마이크로 소프트는 실제로 윈도우 서버 2008, Vista에서 길을 InitializeCriticalSection 작품을 변경하고, 아마도
윈도우 7 그들은 당신이 CS의 무리를 할당 할 때 디버그 정보를 사용하는 일부 메모리를 유지하기 "기능"추가. 더 많이 할당할수록 더 많은 메모리가 유지됩니다. 점근 적이며 결국은 평평해질 수 있습니다.
이 '기능'을 사용하지 않으려면 새 API InitalizeCriticalSectionEx을 사용하고 CRITICAL_SECTION_NO_DEBUG_INFO 플래그를 전달해야합니다.
이점은 실제로 기다릴 필요없이 spincount 만 사용되므로 더 빠를 수도 있다는 것입니다.
단점은 이전 응용 프로그램이 호환되지 않을 수 있습니다., 코드를 변경해야하며 플랫폼에 따라 달라집니다 (사용할 버전을 결정하기 위해 버전을 확인해야 함). 또한 필요한 경우 디버그 기능을 사용할 수 없습니다.

테스트 키트는 윈도우 서버 2008 동결 :
을 - CSTest.exe

#include "stdafx.h" 
#include "windows.h" 
#include <iostream> 

using namespace std; 

void TestCriticalSections() 
{ 
    const unsigned int CS_MAX = 5000000; 
    CRITICAL_SECTION* csArray = new CRITICAL_SECTION[CS_MAX]; 

    for (unsigned int i = 0; i < CS_MAX; ++i) 
    InitializeCriticalSection(&csArray[i]); 

    for (unsigned int i = 0; i < CS_MAX; ++i) 
    EnterCriticalSection(&csArray[i]); 

    for (unsigned int i = 0; i < CS_MAX; ++i) 
    LeaveCriticalSection(&csArray[i]); 

    for (unsigned int i = 0; i < CS_MAX; ++i) 
    DeleteCriticalSection(&csArray[i]); 

    delete [] csArray; 
} 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    TestCriticalSections(); 

    cout << "just hanging around..."; 
    cin.get(); 

    return 0; 
} 

으로이 C++ 예제를 빌드 -...이 배치 파일을 실행 (수면이 필요합니다.서버 SDK에서 EXE)

@rem you may adapt the sleep delay depending on speed and # of CPUs 
@rem sleep 2 on a duo-core 4GB. sleep 1 on a 4CPU 8GB. 

@for /L %%i in (1,1,300) do @echo %%i & @start /min CSTest.exe & @sleep 1 
@echo still alive? 
@pause 
@taskkill /im cstest.* /f 

-... 및 출범 300 개 인스턴스를 도달하기 전에 8 기가 바이트 쿼드 CPU 코어 동결과 Win2008 서버를 참조하십시오.
-... Windows 2003 서버에서 반복하면 매력처럼 처리됩니다.

Answer 2

다른 것을 볼 수 있습니다.

방금 ​​만든이 테스트 코드 &. 모든 메모리 사용 통계는 개인 바이트, 작업 세트, 커밋 등 상수입니다.

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    while (true) 
    { 
     CRITICAL_SECTION* cs = new CRITICAL_SECTION[1000000]; 
     for (int i = 0; i < 1000000; i++) InitializeCriticalSection(&cs[i]); 
     for (int i = 0; i < 1000000; i++) DeleteCriticalSection(&cs[i]); 
     delete [] cs; 
    } 

    return 0; 
} 

Answer 3

테스트가 문제의 원인 일 수는 없습니다. 중요한 섹션을 초기화 할 때 실제 커널 뮤텍스가 생성되지 않기 때문에 중요한 섹션은 "경량 뮤텍스"로 간주됩니다. 즉, 10M 중요한 섹션은 몇 개의 간단한 멤버가있는 구조체입니다. 그러나 두 개의 스레드가 동시에 CS에 액세스 할 때 동기화하기 위해 뮤텍스가 실제로 생성됩니다. 이것은 다른 이야기입니다.

테스트 앱과는 달리 실제 앱 스레드가 충돌한다고 가정합니다. 이제 중요한 섹션을 경량 뮤텍스로 취급하고 많은 섹션을 만드는 경우 앱에서 많은 수의 실제 커널 뮤텍스를 할당 할 수 있습니다.이 뮤텍스는 경량 섹션 개체보다 무겁습니다. 뮤텍스는 커널 객체이기 때문에 과도한 수의 객체를 생성하면 OS가 손상 될 수 있습니다.

실제로 이러한 경우 충돌이 예상되는 중요한 섹션의 사용을 줄여야합니다. 이것은 Windows 버전과 아무런 관련이 없으므로 내 추측은 잘못되었을 수도 있지만 여전히 고려해야 할 사항입니다. OS 핸들 수를 모니터링하고 앱이 어떻게 작동하는지 확인해보십시오.