Verhungern von Threads mit Windows 2003 SP2

Question

Zu unserer großen Überraschung fanden wir vor kurzem this. Mit SP1 für Windows 2003 hat Microsoft einen Weg geändert, wie sich kritische Abschnitte verhalten. Frühere Threads, die auf sie zugreifen wollten, wurden in FIFO-Weise bedient. Im Moment werden sie rein "zufällig" serviert.

In unserem Fall hatten wir so etwas wie diese:

// I now it's kind of ugly design but works 
void Class:RunInThread() 
{ 
    while(m_Running) 
    { 
     EnterCriticalSection(&m_CS); 
     DoSomeStuffWithList(); 
     LeaveCriticalSection(&m_CS); 
    } 
} 
void Class::AddToList() 
{ 
     EnterCriticalSection(&m_CS); 
     AddSomeStuffToList(); 
     LeaveCriticalSection(&m_CS); 
} 

So mit neuer Implementierung von kritischem Abschnitt in 2003 SP2 AddToList könnte in Hunger sterben, da es keine guarantie ist, dass sie erwachen wird.

Dieses Beispiel ist ein bisschen extrem, aber auf der anderen Seite habe ich Millionen Zeilen von Code, die mit der Annahme geschrieben wurden, dass der Zugriff auf kritische Abschnitte serialisiert ist.

Gibt es eine Möglichkeit, diesen neuen kritischen Abschnitt zu deaktivieren?

EDIT: Seit die alte Version nicht mehr möglich ist, denke ich nur an globale Suche & Replace zu ändern {Enter, Leaver} CriticalSection in etwas wie My {Enter, Leave} CriticalSection. Haben Sie Ideen, wie dies umgesetzt werden sollte, so verhält es sich genau wie Pre-SP2-Version?

Answer 1

Das ist ein bekanntes Problem: http://www.bluebytesoftware.com/blog/PermaLink,guid,e40c2675-43a3-410f-8f85-616ef7b031aa.aspx Leider scheint der einzige Weg darin zu sein, Code so zu strukturieren, dass er weniger Zeit in einem kritischen Abschnitt verbringt.

Answer 2

Leider haben Sie ein Problem. Was Sie getan haben, schreiben Sie Ihren Code abhängig von einem Implementierungsdetail und nicht von der Spezifikation.

EnterCriticalSection wurde immer dokumentiert, um keine bestimmte Reihenfolge zu garantieren, dass Threads den Abschnitt erwerben, aber die Tatsache, dass sie dies in einer FIFO-Weise in älteren Versionen des Betriebssystems getan haben, ist das, worauf Sie basieren herumcodieren.

Der Weg, diese neue Art des Verhaltens zu deaktivieren, besteht nicht darin, SP1 zu installieren.

Jetzt, nachdem ich das gesagt habe, glaube ich nicht, dass es nachteilige Probleme mit Ihrem Code geben wird, es sei denn, Sie haben Ihre Threads völlig anders priorisiert. Sicher, eine der beiden Methoden kann den Abschnitt mehr als einmal hintereinander erfassen, obwohl die andere Methode ebenfalls wartet, aber das sollte kein Problem sein.