The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 8370841 B1

PDF
Full Text
Expired
Date of Patent:
Feb. 05, 2013

Filed:

Nov. 21, 2008
Applicants:

Dinesh Subhraveti, Milpitas, CA (US);

Philippe Bergheaud, Colmar, FR;

Marc Vertes, Saint Lys, FR;

Inventors:

Dinesh Subhraveti, Milpitas, CA (US);

Philippe Bergheaud, Colmar, FR;

Marc Vertes, Saint Lys, FR;

Attorneys:
Primary Examiner:
Assistant Examiner:
Int. Cl.
CPC ...
G06F 9/46 (2006.01); G06F 12/00 (2006.01);
U.S. Cl.
CPC ...
Abstract

Mechanisms for managing task events during the scheduling period of a task executing on a processor. Only events of specific portions of the scheduling period are logged, wherein a first shared resource access has been granted for the task, this portion of the scheduling period involving gathering all the non-deterministic events which cannot be replayed by simple task re-execution. Other independent non-deterministic event records are still logged as usual when they occur out of the portion of the scheduling period for which a record has been created. This limits the number of logged events during a recording session of an application and limits the frequency of events to transmit from the production machine to the replay machine.


Find Patent Forward Citations

Loading…