Reino: Time and State

La computación distribuida trata sobre el tiempo y el estado. Es decir, para que más de un componente se comunique, debe compartir el estado, y todo esto requiere tiempo.

La mayoría de programadores antropomorfizan su trabajo. Piensan en un único puesto de control que lleva a cabo todo el programa de igual forma que harían ellos si tuviesen que realizar la tarea ellos mismos. Sin embargo, los equipos modernos cambian entre tareas con gran rapidez y, en una CPU múltiple con varios núcleos, o en los sistemas distribuidos, dos eventos pueden llevarse a cabo a la vez exactamente. Estos defectos hacen que sea urgente que se unan posturas entre el modelo de los programadores sobre cómo un programa se ejecuta y lo que sucede en la realidad. Dichos defectos están relacionados con interacciones inesperadas entre los puestos, los procesos, el tiempo y la información. Estas interacciones se producen a través del estado compartido: semáforos, variables, el sistema de archivos y, básicamente, cualquier cosa que pueda guardar información.

Code Correctness: Erroneous Synchronization

C/C++

Abstract

Si un subproceso no puede desbloquear una exclusión mutua tras señalar otros subprocesos, los otros subprocesos permanecerán bloqueados a la espera de la exclusión mutua.

Explanation

Después de que un subproceso señale otros a la espera de una exclusión mutua, este debe desbloquear la exclusión mutua llamando pthread_mutex_unlock() antes de que otro subproceso empiece a ejecutarse. Si el subproceso que señala no puede desbloquear la exclusión mutua, la llamada pthread_cond_wait() del segundo subproceso no volverá y el subproceso no se ejecutará.

Ejemplo 1: el código siguiente señala otro subproceso a la espera de una exclusión mutua llamando pthread_cond_signal(), pero no puede desbloquear la exclusión mutua en la que espera el otro subproceso.


   ...
   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