公开(公告)号：US20230367516A1

公开(公告)日：2023-11-16

申请号：US18342388

申请日：2023-06-27

Applicant: Huawei Technologies Co., Ltd.

Inventor： Rutao Zhang ,  Qing Zhou

IPC: G06F3/06

CPC classification number: G06F3/0659 ,  G06F3/0604 ,  G06F3/0673

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.