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.

Date of Patent:
Sep. 16, 2008

Filed:

Jan. 25, 2005
Applicants:

David L. Bernick, Ben Lomond, CA (US);

William F. Bruckert, Los Gatos, CA (US);

David J. Garcia, Los Gatos, CA (US);

Robert L. Jardine, Cupertino, CA (US);

James S. Klecka, Georgetown, TX (US);

Pankaj Mehra, San Jose, CA (US);

James R. Smullen, Carmel, CA (US);

Inventors:

David L. Bernick, Ben Lomond, CA (US);

William F. Bruckert, Los Gatos, CA (US);

David J. Garcia, Los Gatos, CA (US);

Robert L. Jardine, Cupertino, CA (US);

James S. Klecka, Georgetown, TX (US);

Pankaj Mehra, San Jose, CA (US);

James R. Smullen, Carmel, CA (US);

Assignee:
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/00 (2006.01);
U.S. Cl.
CPC ...
Abstract

A method and system of loosely lock-stepped non-deterministic processors. Some exemplary embodiments may be a processor-based method comprising executing fault tolerant copies of a user program, one copy of the user program executed in a first processor performing non-deterministic execution, and a duplicate copy of the user program executing in a second processor performing non-deterministic execution, with the executing in the first processor and second processor not in cycle-by-cycle lock-stepped.


Find Patent Forward Citations

Loading…