Es imposible probar nada sin basarse en garantías, por lo que lo primero que debe hacer es familiarizarse con el modelo de memoria de su plataforma objetivo; Java y x86 tienen modelos de memoria sólidos y estandarizados: no estoy tan seguro de CLR, pero si todo lo demás falla, se basará en el modelo de memoria de la arquitectura de CPU de destino. La excepción a esta regla es si tiene la intención de utilizar un idioma que no permite ningún estado mutable compartido: he oído que Erlang es así.
El primer problema de concurrencia es el estado mutable compartido.
que se puede fijar por:
- Haciendo estado inmutable
- No compartir el estado
- que guardan compartían estado mutable por el misma cerradura (dos cerraduras diferentes no pueden guardar la misma pieza de estado, a menos que siempre uso exactamente estos dos cerraduras)
El segundo prob El lem de concurrencia es una publicación segura. ¿Cómo haces que los datos estén disponibles para otros hilos? ¿Cómo se realiza una transferencia? Tendrás la solución a este problema en el modelo de memoria y (con suerte) en la API. Java, por ejemplo, tiene muchas formas de publicar estado y el paquete java.util.concurrent contiene herramientas específicamente diseñadas para manejar la comunicación entre hilos.
El tercer (y más difícil) problema de concurrencia es el bloqueo. El orden de bloqueo mal administrado es la fuente de bloqueos muertos. Puede probar analíticamente, basándose en las garantías del modelo de memoria, si los bloqueos son posibles o no en su código. Sin embargo, debe diseñar y escribir su código teniendo esto en cuenta, de lo contrario, la complejidad del código puede hacer que dicho análisis sea imposible de realizar en la práctica.
Luego, una vez que tenga, o antes de hacerlo, demuestre el uso correcto de concurrencia, tendrá que probar la corrección de un solo subproceso. El conjunto de errores que pueden ocurrir en una base de código simultáneo es igual al conjunto de errores de programa de subprocesamiento único, más todos los posibles errores de concurrencia.
Prueba a elaborar. – GEOCHET