Saturday, 19 de April de 2014

Ficha del recurso:

Vínculo a la patente on-line

Nº de referencia de publicación:

20120144372

Fecha de publicación:

Thursday, 7 de June de 2012

Última actualización:

Thursday, 28 de June de 2012

Entrada en el observatorio:

Thursday, 28 de June de 2012

Idioma:

Castellano

Archivado en:


Systems and methods for finding concurrency errors

Systems and methods for detecting concurrency bugs are provided. In some embodiments, context-aware communication graphs that represent inter-thread communication are collected during test runs, and may be labeled according to whether the test run was correct or failed. Graph edges that are likely to be associated with failed behavior are determined, and probable reconstructions of failed behavior are constructed to assist in debugging. In some embodiments, software instrumentation is used to collect the communication graphs. In some embodiments, hardware configured to collect the communication graphs is provided.