EP 4258121 A1 20231011 - PROGRAM DETECTION METHOD AND DEVICE
Title (en)
PROGRAM DETECTION METHOD AND DEVICE
Title (de)
PROGRAMMERKENNUNGSVERFAHREN UND -VORRICHTUNG
Title (fr)
PROCÉDÉ ET DISPOSITIF DE DÉTECTION DE PROGRAMME
Publication
Application
Priority
- CN 202011608587 A 20201229
- CN 2021123936 W 20211014
Abstract (en)
A program detection method and apparatus are provided, which can help a user quickly complete a check on a program running in a weak memory environment, can improve program detection efficiency, and can be applied to program detection. The method includes: receiving a program provided by a user (S101), and obtaining, based on a query parameter and the program, a result of the program running in a weak memory environment (S102). The query parameter indicates a maximum interval between two operations on which reordering occurs and that are of the program.
IPC 8 full level
G06F 11/36 (2006.01)
CPC (source: CN EP US)
G06F 3/0604 (2013.01 - US); G06F 3/0659 (2013.01 - US); G06F 3/0673 (2013.01 - US); G06F 8/433 (2013.01 - US); G06F 9/467 (2013.01 - US); G06F 11/3612 (2013.01 - EP); G06F 11/3632 (2013.01 - US); G06F 11/3664 (2013.01 - CN); G06F 11/3688 (2013.01 - CN); G06F 11/3696 (2013.01 - CN); G06F 11/3688 (2013.01 - EP); G06F 2201/81 (2013.01 - EP)
Designated contracting state (EPC)
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated extension state (EPC)
BA ME
Designated validation state (EPC)
KH MA MD TN
DOCDB simple family (publication)
EP 4258121 A1 20231011; EP 4258121 A4 20240703; CN 114691474 A 20220701; US 2023367516 A1 20231116; WO 2022142595 A1 20220707
DOCDB simple family (application)
EP 21913340 A 20211014; CN 202011608587 A 20201229; CN 2021123936 W 20211014; US 202318342388 A 20230627