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:
Aug. 05, 2025
Filed:
Jun. 27, 2023
Applicant:
Huawei Technologies Co., Ltd., Shenzhen, CN;
Inventors:
Rutao Zhang, Shanghai, CN;
Qing Zhou, Beijing, CN;
Assignee:
HUAWEI TECHNOLOGIES CO., LTD., Shenzhen, CN;
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 3/06 (2006.01); G06F 8/41 (2018.01); G06F 9/46 (2006.01); G06F 11/362 (2025.01);
U.S. Cl.
CPC ...
G06F 3/0659 (2013.01); G06F 3/0604 (2013.01); G06F 3/0673 (2013.01); G06F 8/433 (2013.01); G06F 9/467 (2013.01); G06F 11/3632 (2013.01);
Abstract
A program detection method includes receiving a program provided by a user, and obtaining, based on a query parameter and the program, a result of the program running in a weak memory environment. The query parameter indicates a maximum interval between two operations on which reordering occurs and that are of the program.