Familiarisation des threads avec Windows 2003 SP2

Question

À notre grande surprise, nous avons récemment trouvé this. Avec SP1 pour Windows 2003, Microsoft a modifié le comportement des sections critiques. Les threads précédents voulant y accéder ont été servis de manière FIFO. En ce moment, ils sont servis de manière purement "aléatoire".

Dans notre cas, nous avons eu quelque chose comme ceci:

// 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); 
} 

donc avec une nouvelle mise en œuvre de l'article critique en 2003 SP2 AddToList pourrait mourir dans la famine car il n'y a pas guarantie que ce sera réveiller.

Cet exemple est un peu extrême mais d'autre part j'ai millions de lignes de code qui ont été écrites en supposant que l'accès aux sections critiques est sérialisé. Y at-il un moyen d'éteindre cette nouvelle section critique?

EDIT: Étant donné que la récupération de l'ancienne version n'est pas possible, je pense à une recherche globale. & Remplacer pour modifier {Enter, Leaver} CriticalSection en quelque chose comme Ma {Enter, Leave} CriticalSection. Avez-vous des idées comment cela devrait être mis en œuvre afin qu'il se comporte exactement comme comme version pré-SP2?

Answer 1

C'est un problème connu: http://www.bluebytesoftware.com/blog/PermaLink,guid,e40c2675-43a3-410f-8f85-616ef7b031aa.aspx Malheureusement, le seul moyen semble être de structurer le code de sorte qu'il passe moins de temps dans la section critique.

Answer 2

Malheureusement, vous avez un problème. Ce que vous avez fait est d'écrire votre code en fonction d'un détail d'implémentation, et non de la spécification. EnterCriticalSection a toujours été documenté pour ne garantir aucun ordre particulier que threads va acquérir la section, mais le fait qu'ils l'ont fait de manière FIFO, dans les anciennes versions du système d'exploitation, est ce que vous avez basé votre code autour.

La façon de désactiver ce nouveau comportement n'est pas d'installer SP1. Maintenant, cela dit, je ne crois pas qu'il y aura des problèmes avec votre code, à moins que vous ayez priorisé vos threads de façon très différente. Bien sûr, l'une des deux méthodes pourrait acquérir la section plus d'une fois de suite, même si l'autre méthode attend également, mais cela ne devrait pas poser de problème.