12
¿Existe un marco de prueba para C que fuerce las condiciones de carrera?¿Existe un marco de prueba para C que fuerce las condiciones de carrera?
O para C++ y Java, para el caso.
A
Respuesta
7
La herramienta Valgrind Helgrind detecta (entre otras cosas) carreras de datos en programas C o C++ que utilizan pthreads.
Cuestiones relacionadas
- 1. Manejo de condiciones de carrera en C#
- 2. Las condiciones de carrera en Django
- 3. Las condiciones de carrera y átomos clojure
- 4. Simulando condiciones de carrera en las pruebas de unidades RSpec
- 5. Pruebas unitarias, interbloqueos y condiciones de carrera
- 6. Trabajando con un singleton global en Flask (WSGI), ¿tengo que preocuparme por las condiciones de carrera?
- 7. ¿Cómo lidiar con las condiciones de carrera en multi-threading?
- 8. Condiciones de carrera en Rails first_or_create
- 9. cómo evitar las condiciones de carrera con scala parallel collections
- 10. Estrategia para mitigar las condiciones de carrera al actualizar las cookies?
- 11. ¿Cómo cambiar el nombre() sin condiciones de carrera?
- 12. Herramienta de análisis C#/.NET para encontrar condiciones de carrera/interbloqueos
- 13. Evitar las condiciones de carrera en las colas de multiprocesamiento de Python 3
- 14. ¿Existe un marco de GUI multiplataforma para C# /. NET?
- 15. ¿El alcance de Flash está libre de condiciones de carrera?
- 16. ¿Existe un marco de prueba de unidades Java que autoevalúe getters y setters?
- 17. Ejecutar un script PHP cada 5 minutos y evitar las condiciones de carrera
- 18. ¿Existe un marco de prueba de unidades para probar PowerShell con scripts de PowerShell?
- 19. C/C++ marco de prueba (como JUnit para java)
- 20. Marco de prueba GUI automatizado para Android
- 21. ¿Existe un marco de implementación continua?
- 22. ¿Existe un marco de prueba de unidad para los archivos por lotes de Windows?
- 23. Prueba de las condiciones de espacio en iPhone
- 24. ¿Qué marco de prueba de unidad libre para C#?
- 25. ¿Existe un marco de pruebas unitarias para GNU?
- 26. Cómo evitar las condiciones de carrera cuando se usa el método find_or_create de DBIx :: Class :: ResultSet?
- 27. Fuerce todas las etiquetas de eje para mostrar
- 28. ¿Existe un mejor marco de aplicación Java que Swing?
- 29. Afirmar que las matrices son iguales en el marco de prueba de Visual Studio 2008
- 30. Sugerir un marco de automatización de prueba para mi escenario
¡Envíe un voto favorable a una gran pregunta! –
[Corensic Jinx] (http://www.corensic.com/Products.aspx). No lo he usado y, por lo tanto, no puedo comentar sobre su utilidad o efectividad. –
Una gran pregunta, pero en general las condiciones de carrera de grano más fino son demasiado difíciles de alcanzar para que una herramienta general lo haga bien. Por ejemplo, glibc/NPTL tiene algunas condiciones desagradables de carrera que han sido reportadas e ignoradas, lo que probablemente tomaría decenas o cientos de años para golpear en una sola máquina. Por supuesto, probablemente ya se hayan visto muchas veces en los centros de datos de Google o Facebook ... –