Imagen de Portada
Código QR

ELIMINATING CONCURRENCY BUGS WITH CONTROL ENGINEERING.

The article discusses the elimination of concurrency bugs through controlled computer engineering. Concurrency problems are linked with parallel programming and they found that the challenges can be solved through control engineering based on classical control theory. The Gadara software used is des...

Descripción completa

Publicado en:Computer (00189162) Vol. 42; no. 12; pp. 52 - 61
Autores principales: Kelly, Terence, Yin Wang, Lafortune, Stéphane, Mahlke, Scott
Formato: Artículo
Publicado: IEEE Dec2009
Materias:
Automatic control systems
Computer engineering
Parallel programming
Control theory (Engineering)
Computers
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article discusses the elimination of concurrency bugs through controlled computer engineering. Concurrency problems are linked with parallel programming and they found that the challenges can be solved through control engineering based on classical control theory. The Gadara software used is designed to enable multithreaded programs to avoid deadlocks.