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.:
Date of Patent:
Mar. 19, 2024
Filed:
Nov. 09, 2021
Applicant:
The Boeing Company, Chicago, IL (US);
Inventors:
David P. Haldeman, Sackets Harbor, NY (US);
Eric J. Miller, Los Angeles, CA (US);
Assignee:
THE BOEING COMPANY, Arlington, VA (US);
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 11/36 (2006.01); G06F 9/30 (2018.01); G06F 9/4401 (2018.01);
U.S. Cl.
CPC ...
G06F 11/3636 (2013.01); G06F 9/30098 (2013.01); G06F 9/4405 (2013.01); G06F 9/4418 (2013.01);
Abstract
The present disclosure provides for synchronization of multi-core systems by monitoring a plurality of debug trace data streams for a redundantly operating system including a corresponding plurality of cores performing a task in parallel; in response to detecting a state difference on one debug trace data stream of the plurality of debug trace data streams relative to other debug trace data streams of the plurality of debug trace data streams: marking a given core associated with the one debug trace data stream as an affected core; and restarting the affected core.