Detecting concurrency errors in multi-threaded programs

Details Detecting concurrency errors in multi-threaded programs Detecting concurrency errors in multi-threaded programs

G - Physics

06

F

G06F 11/00 (2006.01) G06F 11/36 (2006.01)

Patent

CA 2231597

A computer implemented method detects concurrency errors in programs. Machine executable images of multiple program threads are instrumented to locate and replace instructions which effect concurrency states of the threads. Concurrency state information is recorded in a memory while the multiple threads are executing. The recorded concurrency state information is analyzed, and inconsistent dynamic concurrency slate transitions are reported as concurrency errors.

Méthode informatisée permettant de détecter des erreurs de concurrence dans des programmes. Des images exécutables par machine de multiples fils de programme permettent de situer et de remplacer des instructions influençant les états de concurrence des fils. L'information sur les états de concurrence est enregistrée dans une mémoire pendant l'exécution des multiples fils. Une fois enregistrée, elle est analysée, et les transitions incohérentes d'états de concurrence dynamique sont signalées comme des erreurs de concurrence.

Affiliated with

Also associated with

Rating

Detecting concurrency errors in multi-threaded programs does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Detecting concurrency errors in multi-threaded programs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detecting concurrency errors in multi-threaded programs will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-2052838