Reino: Time and State

A computação distribuída consiste em tempo e estado. Isto é, para que mais de um componente se comunique, é necessário compartilhar o estado, o que exige tempo.

A maioria dos programadores antropomorfiza seu trabalho. Eles enxergam um thread de controle executando todo o programa da mesma forma como enxergariam a si mesmos fazendo o trabalho inteiro por conta própria. Computadores modernos, entretanto, alternam entre tarefas com muita rapidez e, em sistemas multi-core, multi-CPU ou distribuídos, dois eventos podem ocorrer exatamente ao mesmo tempo. Defeitos rapidamente são postos nas lacunas entre o modelo do programador de como um programa é executado e o que ocorre na realidade. Esses defeitos estão relacionados com interações inesperadas entre threads, processos, tempo e informações. Essas interações ocorrem por meio de estados compartilhados: semáforos, variáveis, o sistema de arquivos e, basicamente, todas as coisas capazes de armazenar informações.

Code Correctness: Erroneous Synchronization

C/C++

Abstract

Se um thread não conseguir desbloquear um mutex após a sinalização de outros threads, estes permanecerão bloqueados aguardando nesse mutex.

Explanation

Depois que um thread sinaliza outros threads à espera de um mutex, ele deve desbloquear esse mutex chamando pthread_mutex_unlock() antes que a execução de outro thread possa começar. Se o thread de sinalização não conseguir desbloquear o mutex, a chamada pthread_cond_wait() no segundo thread não será retornada, e o thread não será executado.

Exemplo 1: O código a seguir sinaliza outro thread aguardando em um mutex chamando pthread_cond_signal(), mas não consegue desbloquear esse mutex no qual o outro thread está aguardando.


   ...
   pthread_mutex_lock(&count_mutex);

   // Signal waiting thread
   pthread_cond_signal(&count_threshold_cv);
   ...

References

[1] Standards Mapping - Common Weakness Enumeration CWE ID 373

[2] Standards Mapping - DISA Control Correlation Identifier Version 2 CCI-000336, CCI-000366, CCI-001094

[3] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C Guidelines 2012 Rule 1.3

[4] Standards Mapping - Motor Industry Software Reliability Association (MISRA) C Guidelines 2023 Directive 5.2, Rule 1.3

[5] Standards Mapping - NIST Special Publication 800-53 Revision 4 CM-4 Security Impact Analysis (P2), CM-6 Configuration Settings (P1), SC-5 Denial of Service Protection (P1)

[6] Standards Mapping - NIST Special Publication 800-53 Revision 5 CM-4 Impact Analyses, CM-6 Configuration Settings, SC-5 Denial of Service Protection

[7] Standards Mapping - OWASP Top 10 2004 A9 Application Denial of Service

[8] Standards Mapping - Payment Card Industry Data Security Standard Version 1.1 Requirement 6.5.9

[9] Standards Mapping - Security Technical Implementation Guide Version 3.1 APP6080 CAT II

[10] Standards Mapping - Security Technical Implementation Guide Version 3.4 APP6080 CAT II

[11] Standards Mapping - Security Technical Implementation Guide Version 3.5 APP6080 CAT II

[12] Standards Mapping - Security Technical Implementation Guide Version 3.6 APP6080 CAT II

[13] Standards Mapping - Security Technical Implementation Guide Version 3.7 APP6080 CAT II

[14] Standards Mapping - Security Technical Implementation Guide Version 3.9 APP6080 CAT II

[15] Standards Mapping - Security Technical Implementation Guide Version 3.10 APP6080 CAT II

[16] Standards Mapping - Security Technical Implementation Guide Version 4.2 APSC-DV-002400 CAT II

[17] Standards Mapping - Security Technical Implementation Guide Version 4.3 APSC-DV-002400 CAT II

[18] Standards Mapping - Security Technical Implementation Guide Version 4.4 APSC-DV-002400 CAT II

[19] Standards Mapping - Security Technical Implementation Guide Version 4.5 APSC-DV-002400 CAT II

[20] Standards Mapping - Security Technical Implementation Guide Version 4.6 APSC-DV-002400 CAT II

[21] Standards Mapping - Security Technical Implementation Guide Version 4.7 APSC-DV-002400 CAT II

[22] Standards Mapping - Security Technical Implementation Guide Version 4.8 APSC-DV-002400 CAT II

[23] Standards Mapping - Security Technical Implementation Guide Version 4.9 APSC-DV-002400 CAT II

[24] Standards Mapping - Security Technical Implementation Guide Version 4.10 APSC-DV-002400 CAT II

[25] Standards Mapping - Security Technical Implementation Guide Version 4.11 APSC-DV-002400 CAT II

[26] Standards Mapping - Security Technical Implementation Guide Version 4.1 APSC-DV-002400 CAT II

[27] Standards Mapping - Security Technical Implementation Guide Version 5.1 APSC-DV-002400 CAT II

[28] Standards Mapping - Security Technical Implementation Guide Version 5.2 APSC-DV-002400 CAT II

[29] Standards Mapping - Security Technical Implementation Guide Version 5.3 APSC-DV-002400 CAT II, APSC-DV-002950 CAT II

[30] Standards Mapping - Security Technical Implementation Guide Version 6.1 APSC-DV-002400 CAT II, APSC-DV-002950 CAT II

[31] Standards Mapping - Web Application Security Consortium Version 2.00 Denial of Service (WASC-10)

[32] Standards Mapping - Web Application Security Consortium 24 + 2 Denial of Service

desc.structural.cpp.code_correctness_erroneous_synchronization