Compartilhamento de tecnologia

Programação principal WIN32 - Operação de thread (2) Exclusão mútua síncrona

2024-07-12

한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina

Índice

condição de corrida

Seção Crítica

Mutex

CriticalSection e Mutex

Semáforo

Eventoo


condição de corrida

  • Em um ambiente multithread, quando vários threads acessam ou modificam os mesmos dados ao mesmo tempo, o resultado final é o tempo de execução do thread.

  • Se não houver mecanismo de sincronização, ocorrerão condições de corrida, o que poderá levar a dados imprecisos ou exceções de programa.

  1. #include <iostream>
  2. #include <windows.h>
  3. DWORD g_Num = 0;
  4. DWORD WINAPI WorkThread(LPVOID lp)
  5. {
  6. for (size_t i = 0; i < 10000000; i++)
  7. {
  8. //g_Num++;
  9. __asm LOCK INC [g_Num]
  10. }
  11. return 0;
  12. }
  13. int main()
  14. {
  15. HANDLE hThread[2] = { 0 };
  16. hThread[0] = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  17. hThread[1] = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  18. WaitForMultipleObjects(2, hThread, TRUE, -1);
  19. std::cout << g_Num << std::endl;
  20. return 0;
  21. }

Seção Crítica

  1. #include <iostream>
  2. #include <windows.h>
  3. DWORD g_Num = 0;
  4. CRITICAL_SECTION cs = { 0 };
  5. DWORD WINAPI WorkThread(LPVOID lp)
  6. {
  7. for (size_t i = 0; i < 1000000; i++)
  8. {
  9. // 进入临界区
  10. EnterCriticalSection(&cs);
  11. // TODO
  12. g_Num++;
  13. // 退出临界区
  14. LeaveCriticalSection(&cs);
  15. }
  16. return 0;
  17. }
  18. int main()
  19. {
  20. HANDLE hThread[2] = { 0 };
  21. // 初始临界区
  22. InitializeCriticalSection(&cs);
  23. hThread[0] = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  24. hThread[1] = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  25. WaitForMultipleObjects(2, hThread, TRUE, -1);
  26. std::cout << g_Num << std::endl;
  27. // 清理临界区
  28. DeleteCriticalSection(&cs);
  29. return 0;
  30. }

Mutex

  • Mutex (Mutex) é usado para evitar que vários threads acessem ou modifiquem recursos compartilhados ao mesmo tempo.

  • Apenas um thread pode possuir o mutex ao mesmo tempo. Se um thread assumir a propriedade do mutex, outros threads que solicitarem o mutex serão bloqueados até que a permissão do mutex seja liberada.

  • Crie um mutex - CreateMutex

  • Solicitar mutex - WaitForSingleObject

  • Libere o mutex - ReleaseMutex

  1. #include <iostream>
  2. #include <windows.h>
  3. HANDLE hMutex = 0;
  4. DWORD g_Num = 0;
  5. DWORD WINAPI WorkThread(LPVOID lp)
  6. {
  7. for (size_t i = 0; i < 100000; i++)
  8. {
  9. WaitForSingleObject(hMutex, INFINITE);
  10. g_Num++;
  11. ReleaseMutex(hMutex);
  12. }
  13. return 0;
  14. }
  15. int main()
  16. {
  17. hMutex = CreateMutex(NULL, FALSE, NULL);
  18. HANDLE hThread1 = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  19. HANDLE hThread2 = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
  20. WaitForSingleObject(hThread1, INFINITE);
  21. WaitForSingleObject(hThread2, INFINITE);
  22. CloseHandle(hThread1);
  23. CloseHandle(hThread2);
  24. CloseHandle(hMutex);
  25. std::cout << g_Num << std::endl;
  26. return 0;
  27. }

CriticalSection e Mutex

  • seção Crítica

    • Mecanismo de sincronização de threads para recursos compartilhados, seções críticas fornecem acesso mutuamente exclusivo entre threads do mesmo processo.

    • Cada thread deve ser capaz de entrar na seção crítica antes de acessar recursos compartilhados e sair da seção crítica após a conclusão do acesso para concluir a sincronização do thread.

  • mutex

    • O mecanismo de sincronização de threads é usado para restringir o acesso de vários threads a recursos compartilhados ao mesmo tempo.

    • Os mutexes podem sincronizar processos ou threads e podem ser sincronizados entre processos.
      1. #include <iostream>
      2. #include <Windows.h>
      3. int main()
      4. {
      5. HANDLE hMutex = CreateMutex(NULL, FALSE, L"0xCC_Mutex");
      6. if (hMutex == NULL) return 0;
      7. if (GetLastError() == ERROR_ALREADY_EXISTS)
      8. {
      9. MessageBox(NULL, L"禁止多开", L"错误", MB_OKCANCEL);
      10. return 0;
      11. }
      12. std::cout << "Game Start..." << std::endl;
      13. system("pause");
      14. CloseHandle(hMutex);
      15. return 0;
      16. }
  • desempenho

    • As seções críticas são mais rápidas que os mutexes em threads do mesmo processo.

  • Função

    • Os mutexes podem ser sincronizados entre processos, mas seções críticas só podem ser sincronizadas entre threads no mesmo processo.

  • propriedade

    • Mutexes têm requisitos rígidos de propriedade e somente threads com permissões mutex podem liberá-los.

  • impasse
    • Quando um thread morre inesperadamente enquanto mantém um bloqueio (exceção)
    • Se um thread terminar inesperadamente enquanto mantém um bloqueio de seção crítica, o bloqueio não será liberado, fazendo com que outros threads que aguardam a seção crítica não consigam executar normalmente, resultando em um deadlock.
      1. #include <iostream>
      2. #include <Windows.h>
      3. CRITICAL_SECTION CriticalSection = { 0 };
      4. DWORD WINAPI WorkThread(LPVOID lp)
      5. {
      6. EnterCriticalSection(&CriticalSection);
      7. printf("TID -> %d rn", GetCurrentThreadId());
      8. Sleep(5000);
      9. LeaveCriticalSection(&CriticalSection);
      10. return 0;
      11. }
      12. int main()
      13. {
      14. InitializeCriticalSection(&CriticalSection);
      15. HANDLE hThread1 = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
      16. Sleep(1000);
      17. TerminateThread(hThread1, 1);
      18. HANDLE hThread2 = CreateThread(NULL, 0, WorkThread, NULL, 0, NULL);
      19. WaitForSingleObject(hThread2, INFINITE);
      20. DeleteCriticalSection(&CriticalSection);
      21. return 0;
      22. }
    • Se um thread terminar inesperadamente enquanto mantém um bloqueio mutex, o Windows libera automaticamente sua propriedade para que outros threads possam continuar a ser executados normalmente.
      1. #include <iostream>
      2. #include <Windows.h>
      3. HANDLE hMutex = NULL;
      4. DWORD WINAPI WorkThread1(LPVOID lp)
      5. {
      6. WaitForSingleObject(hMutex, INFINITE);
      7. printf("TID -> %d rn", GetCurrentThreadId());
      8. Sleep(5000);
      9. TerminateThread(GetCurrentThread(), -1);
      10. //todo
      11. return 0;
      12. }
      13. DWORD WINAPI WorkThread2(LPVOID lp)
      14. {
      15. printf("Wait For Thread1 Leavern");
      16. WaitForSingleObject(hMutex, INFINITE);
      17. printf("TID -> %d rn", GetCurrentThreadId());
      18. ReleaseMutex(hMutex);
      19. return 0;
      20. }
      21. int main()
      22. {
      23. hMutex = CreateMutex(NULL, FALSE, NULL);
      24. HANDLE hThread1 = CreateThread(NULL, 0, WorkThread1, NULL, 0, NULL);
      25. Sleep(1000);
      26. HANDLE hThread2 = CreateThread(NULL, 0, WorkThread2, NULL, 0, NULL);
      27. WaitForSingleObject(hThread2, INFINITE);
      28. CloseHandle(hMutex);
      29. CloseHandle(hThread1);
      30. CloseHandle(hThread2);
      31. return 0;
      32. }

Semáforo

  • Um semáforo é um objeto de sincronização usado para controlar o acesso a recursos compartilhados por vários threads. É um contador que representa a quantidade de recursos disponíveis. Quando o valor do semáforo é maior que 0, indica que há recursos disponíveis; quando o valor é 0, indica que não há recursos disponíveis;

    • espere : Tenta diminuir o valor do semáforo. Se o valor do semáforo for maior que 0, diminua-o em 1 e continue a execução. Se o valor do semáforo for 0, o thread será bloqueado até que o valor do semáforo seja maior que 0.

    • libertado : Aumenta o valor do semáforo. Caso existam outras threads bloqueadas aguardando este semáforo, uma delas será despertada.

  • Criar semáforo

    • Em sistemas Windows, use CreateSemaphore ouCreateSemaphoreEx A função cria um semáforo.

  • Espere (Espere) e solte (Libere) semáforo

    • A espera em um semáforo geralmente é feita usando WaitForSingleObject ouWaitForMultipleObjects função.

    • Liberar uso de semáforo ReleaseSemaphore função.

  1. #include <iostream>
  2. #include <Windows.h>
  3. #define MAX_COUNT_SEMAPHORE 3
  4. HANDLE g_SemapHore = NULL;
  5. HANDLE g_hThreadArr[10] = { 0 };
  6. DWORD WINAPI WorkThread(LPVOID lp)
  7. {
  8. WaitForSingleObject(g_SemapHore, INFINITE);
  9. for (size_t i = 0; i < 10; i++)
  10. {
  11. std::cout << "COUNT -> " << (int)lp << std::endl;
  12. Sleep(500);
  13. }
  14. ReleaseSemaphore(g_SemapHore, 1, NULL);
  15. return 0;
  16. }
  17. int main()
  18. {
  19. g_SemapHore = CreateSemaphore(
  20. NULL, //安全属性
  21. MAX_COUNT_SEMAPHORE, //初始计数
  22. MAX_COUNT_SEMAPHORE, //最大计数
  23. NULL //信号名称
  24. );
  25. if (g_SemapHore == NULL)
  26. {
  27. std::cout << GetLastError() << std::endl;
  28. return 1;
  29. }
  30. for (size_t i = 0; i < 10; i++)
  31. {
  32. g_hThreadArr[i] = CreateThread(
  33. NULL,
  34. 0,
  35. WorkThread,
  36. (LPVOID)i,
  37. 0,
  38. NULL
  39. );
  40. }
  41. WaitForMultipleObjects(10, g_hThreadArr, TRUE, INFINITE);
  42. //closehandle
  43. return 0;
  44. }

Eventoo

  • Na programação do Windows, os eventos são um mecanismo de sincronização usado para enviar sinais entre vários threads.O objeto de evento pode serreinicialização manualoureinicialização automática

    • Evento de reinicialização manual: quando um evento é definido (sinalizado), ele permanecerá neste estado até ser explicitamente redefinido. Isso significa que vários threads que aguardam o evento podem ser despertados antes que o evento seja redefinido.

    • Evento de reinicialização automática: quando um evento é recebido (sinalizado) por um thread em espera, o sistema redefine automaticamente o estado do evento para não sinalizado (não sinalizado). Isso significa que apenas um thread pode ser despertado por vez.

  • Criar Evento

    • Usando funções da API do WindowsCreateEventUm objeto de evento pode ser criado

    • lpEventAttributes: Ponteiro para o atributo de segurança, se definido comoNULL, a segurança padrão será usada.

    • bManualReset: seTRUE, um evento de reinicialização manual será criado; caso contrário, um evento de reinicialização automática será criado.

    • bInitialState: seTRUE, então o estado inicial é o estado do sinal;FALSE, é um estado sem sinalização.

    • lpName: O nome do evento.

  • Para definir um evento (definir o estado do evento para o estado do sinal), useSetEventfunção

  • Para redefinir um evento (definir o estado do evento para um estado não sinalizado) useResetEventfunção

  • Aguarde o evento aguardar que um objeto de evento se torne um estado de sinal.WaitForSingleObjectfunção

  1. #include <iostream>
  2. #include <Windows.h>
  3. DWORD WINAPI WorkThread(LPVOID lp)
  4. {
  5. HANDLE hEvent = *(HANDLE*)lp;
  6. std::cout << "Thread - " << GetCurrentThreadId() << " Waiting For Event" << std::endl;
  7. WaitForSingleObject(hEvent, INFINITE);
  8. std::cout << "Thread - " << GetCurrentThreadId() << " actived" << std::endl;
  9. return 0;
  10. }
  11. int main()
  12. {
  13. HANDLE hThreads[3] = { 0 };
  14. HANDLE hEvent = NULL;
  15. hEvent = CreateEvent(NULL, TRUE, FALSE, NULL);
  16. if (hEvent == NULL) return 0;
  17. for (size_t i = 0; i < 3; i++)
  18. {
  19. hThreads[i] = CreateThread(NULL, 0, WorkThread, &hEvent, 0, NULL);
  20. }
  21. Sleep(2000);
  22. SetEvent(hEvent);
  23. WaitForMultipleObjects(3, hThreads, TRUE, INFINITE);
  24. CloseHandle(hEvent);
  25. return 0;
  26. }