La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Defectos de simultaneidad

Defectos relacionados con código multitarea

Estos comprobadores detectan problemas relacionados con el código multitarea, como carreras de datos donde varias tareas operan sobre una variable desprotegida o defectos de bloqueo donde secciones críticas están involucradas en un interbloqueo. Polyspace puede detectar automáticamente subprocesos y secciones críticas en el código, o bien puede definirlos manualmente en la configuración de Polyspace.

Resultados de Polyspace

expandir todo

Data raceMultiple tasks perform unprotected nonatomic operations on shared variable
Data race on adjacent bit fieldsMultiple threads perform unprotected operations on adjacent bit fields of a shared data structure
Data race through standard library function callMultiple tasks make unprotected calls to thread-unsafe standard library function
Blocking operation while holding lockTask performs lengthy operation while holding a lock
DeadlockCall sequence to lock functions cause two tasks to block each other
Destruction of locked mutexTask tries to destroy a mutex in the locked state
Double lockLock function is called twice in a task without an intermediate call to unlock function
Double unlockUnlock function is called twice in a task without an intermediate call to lock function
Missing lockUnlock function without lock function
Missing unlockLock function without unlock function
Multiple mutexes used with same condition variableThreads using different mutexes when concurrently waiting on the same condition variable is undefined behavior
Asynchronously cancellable threadCalling thread might be canceled in an unsafe state
Join or detach of a joined or detached threadThread that was previously joined or detached is joined or detached again
Missing or double initialization of thread attributeDuplicated initialization of thread attributes or noninitialized thread attribute used in functions that expect initialized attributes
Multiple threads waiting on same condition variableUsing cnd_signal or std::condition_variable::notify_one() to notify one of the threads waiting for the same condition variable might result in indefinite blocking
Signal call in multithreaded programProgram with multiple threads uses signal function
Use of signal killing threadUncaught signal kills entire process instead of specific thread
Use of undefined thread IDThread ID from failed thread creation used in subsequent thread functions
Automatic or thread local variable escaping from a threadVariable is passed from one thread to another without ensuring that variable stays alive through duration of latter thread
Thread-specific memory leakDynamically allocated thread-specific memory not freed before end of thread
Atomic load and store sequence not atomicVariable accessible between load and store operations
Atomic variable accessed twice in an expressionVariable can be modified between accesses
Function that can spuriously fail not wrapped in loopLoop checks failure condition after possible spurious failure
Function that can spuriously wake up not wrapped in loopLoop checks wake-up condition after possible spurious wake-up

Temas