CN110058880A - 独占指令的模拟 - Google Patents

独占指令的模拟 Download PDF

Info

Publication number
CN110058880A
CN110058880A CN201910037656.3A CN201910037656A CN110058880A CN 110058880 A CN110058880 A CN 110058880A CN 201910037656 A CN201910037656 A CN 201910037656A CN 110058880 A CN110058880 A CN 110058880A
Authority
CN
China
Prior art keywords
instruction
exclusive
storage
value
load
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201910037656.3A
Other languages
English (en)
Inventor
亚当·詹姆斯·麦克尼内
格勒瑟·詹姆斯·埃文斯
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
ARM Co Ltd
Original Assignee
ARM Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by ARM Co Ltd filed Critical ARM Co Ltd
Publication of CN110058880A publication Critical patent/CN110058880A/zh
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G06F9/45516Runtime code conversion or optimisation
    • G06F9/4552Involving translation to a different instruction set architecture, e.g. just-in-time translation in a JVM
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/30007Arrangements for executing specific machine instructions to perform operations on data operands
    • G06F9/30021Compare instructions, e.g. Greater-Than, Equal-To, MINMAX
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/3004Arrangements for executing specific machine instructions to perform operations on memory
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • G06F9/3004Arrangements for executing specific machine instructions to perform operations on memory
    • G06F9/30043LOAD or STORE instructions; Clear instruction
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/3017Runtime instruction translation, e.g. macros
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/38Concurrent instruction execution, e.g. pipeline or look ahead
    • G06F9/3836Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution
    • G06F9/3851Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution from multiple instruction streams, e.g. multistreaming
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46Multiprogramming arrangements
    • G06F9/52Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G06F9/526Mutual exclusion algorithms
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2209/00Indexing scheme relating to G06F9/00
    • G06F2209/52Indexing scheme relating to G06F9/52
    • G06F2209/521Atomic

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Multimedia (AREA)
  • Debugging And Monitoring (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

本公开涉及独占指令的模拟。一种用于在主机数据处理装置上模拟目标程序代码的方法和装置,该模拟将目标程序代码中的加载独占指令映射到加载指令,并且将目标程序代码中的存储独占指令映射到比较和交换指令。

Description

独占指令的模拟
技术领域
本技术涉及模拟领域,尤其涉及独占指令的模拟。
背景技术
一些数据处理装置使用独占指令来实现存储器中的值的原子更新(atomicupdate)。对存储器位置的原子更新是针对系统其余部分而言即时发生并且没有中断的更新,确保没有其他进程可以干扰该存储器位置的更新。独占指令(通常是加载独占指令与存储独占指令进行配对)是实现原子更新的一种方法。
发明内容
在至少一些示例中,本技术提供了一种用于控制目标程序代码在主机数据处理装置上的执行以模拟目标程序代码在目标处理装置上的执行的方法,该方法包括:响应于目标程序代码的加载独占指令,将加载独占指令映射到要由主机数据处理装置执行的加载指令以从存储器位置加载值,并且存储与加载独占指令有关的元数据,其中,元数据至少包括从存储位置加载的值;以及响应于目标程序代码的存储独占指令,使用要由主机数据处理装置执行的原子比较和交换指令来仿真存储独占指令;原子比较和交换指令将由元数据指定的从存储器位置加载的值指定为在原子比较和交换指令被执行时要与存储在存储器位置的值进行比较的比较值。
在另一示例中,本技术提供了一种用于控制主机数据处理装置以执行上述方法的计算机程序。
在另一示例中,本技术提供了一种存储上述计算机程序的存储介质。
在另一示例中,本技术提供了一种装置,包括:主机处理电路;和控制电路,被配置为控制主机处理电路以执行上述方法。
在另一示例中,本技术提供了一种用于控制目标程序代码在主机数据处理装置上的执行以模拟目标程序代码在目标处理装置上的执行的计算机程序,其中,该计算机程序包括:
加载独占程序逻辑,响应于目标程序代码的加载独占指令,将加载独占指令映射到要由主机数据处理装置执行的加载指令以从存储器位置加载值,并且存储与加载独占指令有关的元数据,其中,元数据至少包括从存储位置加载的值;以及存储独占程序逻辑,响应于目标程序代码的存储独占指令,使用要由主数据处理装置执行的原子比较和交换指令来仿真存储独占指令;原子比较和交换指令将由元数据指定的从存储器位置加载的值指定为在原子比较和交换指令被执行时要与存储在存储器位置的值进行比较的比较值。
附图说明
通过结合附图来阅读以下示例的描述,本技术的其他特征和优点将变得显而易见,其中:
图1A是示出数据处理装置对加载独占指令的响应的示例的流程图。
图1B是示出数据处理装置对存储独占指令的响应的示例的流程图。
图2示意性地示出了用于使用独占指令来执行存储器位置的原子更新的装置的示例。
图3是示出如图2中的装置对存储器访问请求的响应的示例的流程图。
图4是示出原子比较和交换指令(atomic compare-and-swap instruction)的示例的流程图。
图5示意性地示出了在主机数据处理装置上模拟目标程序代码的示例。
图6A是示出模拟对加载独占指令的响应的流程图。
图6B是示出模拟代码对存储独占指令的响应的流程图。
图7示出了目标程序代码的指令、模拟代码的指令和由主机数据处理装置执行的动作之间的比较。
图8示意性地示出了用于执行模拟的主机装置的示例布置。
图9A和9B示出了由访问共享资源的两个处理代理执行的指令的可能序列。
具体实施方式
一些数据处理装置使用独占指令(通常是加载独占指令和存储独占指令的组合)来提供对存储器位置的原子更新。
在执行加载独占指令时,数据处理装置从由加载独占指令指定的存储器位置加载数据,并且将存储器位置标记为(针对该数据处理装置的)独占。在执行存储独占指令时,装置确定由指令指定的存储器位置在相应加载独占指令之后是否仍然被标记为独占(由其他进程对被标记为独占的位置的访问可以使得独占标签被移除)。如果存储器位置不再被标记为独占,则处理装置返回存储独占失败指示并且不写入存储器位置。相反,如果存储器位置仍然被标记为独占,则过程继续,并且数据处理装置将数据存储到指定的存储器位置并且返回存储独占成功指示。
下面讨论的技术提供了被配置为执行一些目标程序代码中的指令的目标数据处理装置的模拟。模拟可以在不支持(不能执行)目标程序代码中的一些指令的主机数据处理装置上被执行。模拟可以将来自目标程序代码的指令作为输入,并且将这些指令映射到可以由主机数据处理装置执行以产生相同效果的相应指令上。其特定示例可以是加载/存储独占指令,该加载/存储独占指令不被一些主机数据处理装置支持。
在不支持独占指令的主机数据处理装置上模拟独占指令的一种方法是确保系统中一次仅一个模拟CPU(中央处理单元)被执行。通过这种方式,可以防止其他模拟CPU(或相同模拟CPU中的其他处理线程)干扰存储器更新,从而确保原子性(atomicity)。然而,这可能对性能具有显着的负面影响,因为在该布置中不可能并行处理多个线程。
在不支持独占指令的主机数据处理装置上模拟独占指令的另一种方法是在遇到加载独占指令时使用存储器保护来将存储器位置改变为只读。同样,这可以通过防止其他模拟CPU更新位置,直到达到存储独占指令,从而确保对该位置的存储器更新的原子性。然而,这种方法为独占指令的执行增加了相当大的开销,例如,可能需要附加指令来设置存储器保护许可。
在不支持独占指令的主机数据处理装置上模拟独占指令的另一种方法是禁止快速访问存储器的相关区域,例如,通过禁止主机装置中的其他设备绕过CPU对存储器的直接存储器访问,使得每个存储器访问请求都可以由模拟代码中的独占监视器检查,以确定是否允许更新。然而,这种方法也为独占指令的执行增加了相当大的开销,因为它减慢了对相关存储区域的所有存储器访问。
所描述的模拟可以通过在模拟代码中生成加载指令来模拟目标程序代码中的加载独占指令。加载指令可以根据存储器地址来指定存储器位置,并且可以由主机数据处理装置来执行,主机数据处理装置从由加载指令指定的存储器位置读取值。模拟代码还通过指示主机数据处理装置存储与加载独占指令有关的元数据来响应加载独占指令。该元数据可以包括响应于加载指令从存储器位置读取的值。
为了模拟目标程序代码中的存储独占指令,模拟可以在模拟代码中生成比较和交换指令。模拟存储独占指令的比较和交换指令可以指定一些新数据、要存储数据的存储器位置、以及要使用的比较值。比较值可以是加载独占指令的相应模拟中的从存储器位置读取的值,其被指定为响应于加载独占指令而存储的元数据的一部分。
使用原子比较和交换指令来模拟加载/存储独占指令的这种方法比上述方法更有效。具体地,这种方法的开销要小得多。此外,由于比较和交换指令将响应于加载指令而加载的数据值(而不是一些相关跟踪标记,例如,计算已经对位置进行了多少更新的版本号)指定为比较值,原子性不依赖于其他线程行为正确并且以预期方式更新跟踪标记,该其他线程行为正确并且以预期方式更新跟踪标记在模拟中无法被保证,因为可以存在由主机执行的超出(模拟处理器执行加载/存储独占对的)模拟代码的控制范围的其他线程。实现了这些好处,同时仍允许执行多个线程的并行处理,因此性能不会受到显着影响。
如下面更详细描述的,比较和交换指令可以控制主机设备读取当前存储在指定的存储器位置的值,并且将该值与比较值进行比较。取决于该比较的结果,执行指令的主机数据处理装置可以将新数据写入存储器。例如,如果比较值和当前存储的值相同,则可以触发该操作。
模拟代码中生成的比较和交换指令可以指定一些新数据(存储值)作为要写入存储器位置的交换值。由主机数据处理装置响应于比较和交换指令而执行的比较和交换操作可以包括将当前存储在存储器位置的值与比较值进行比较。如果通过比较满足预定条件,则主机数据处理装置可以将交换值写入存储器位置,替换当前在该位置写入的值。预定条件可以通过比较值与当前存储的值相同来满足,或预定条件可以通过值是不同的来满足。应当理解,任意其他预定条件可以根据正在执行的处理操作的需要而被指定。
通过这种方式,可以使用原子比较和交换指令来有效地模拟存储独占指令。以与存储独占指令相同的方式,如果自模拟相应加载独占指令以来尚未更新存储器位置,则模拟可以被配置为仅将新数据值写入存储器。响应于比较和交换指令的执行,主机装置可以返回比较和交换成功或失败指示,以指示比较是否满足预定条件。
响应于比较和交换成功/失败指示,模拟可以返回存储独占成功/失败指示作为对存储独占指令的响应,从而完成存储独占指令的模拟。如果比较值与当前存储在存储器位置的值不同,则可以触发比较和交换失败指示。然而,应当理解,可以使用针对比较的结果的任意其他预定条件;例如,如果值相同,则可以触发比较和交换失败指示,并且如果它们不同,则可以触发比较和交换成功指示。这允许模拟有效地模拟模拟CPU对存储独占指令的响应。
响应于加载独占指令而生成的元数据可以被存储到目标程序代码不可访问的存储器的区域(模拟控制区域)。例如,元数据可以不是目标程序代码的模拟架构状态的一部分,但是可以由模拟用来控制在主机上模拟目标程序代码的方式。
模拟可以附加地响应于存储独占指令对存储的元数据执行有效性检查。可以在执行比较和交换操作之前执行该有效性检查,并且如果有效性检查失败,则模拟可以返回存储独占失败,并且如果有效性检查成功,则替代地仅进行比较和交换操作。有效性检查可以使用响应于加载独占指令而存储的元数据。以这种方式进行有效性检查会增加额外的保护,以确保在将新的值写入存储器位置之前元数据有效。
响应于加载独占指令而存储的元数据可以包括从存储器位置读取的值、加载独占指令的存储器地址、加载要读取的数据的数据大小、存储器属性(例如,读取/写权限)、或与存储器位置或加载独占指令有关的任意其他信息。有效性检查可以包括检查存储独占指令的相应属性或参数(例如,地址、数据大小或存储器属性)是否与加载独占指令的相应元数据相同。这可以防止不匹配的加载独占指令和存储独占指令对被映射到模拟中的加载指令和比较和交换指令,这可能产生不可预测的结果。
当目标程序代码与其他程序代码之间存在可能通信的任意指示时,模拟还可以附加地返回存储专用失败指示;该通信不一定必须与加载/存储独占指令中涉及的读/写处于相同的存储器位置。在检测到可能通信的这种指示时,这可以通过触发有效性检查失败来实现。在一些示例中,可以被用来在进程(例如,加载/存储)之间提供通信的任意事件可以被视为可能通信的指示,即使该事件也可以被用于不涉及与其他进程的通信的其他操作。模拟可能需要悲观地假设这样的事件可能是进程之间的通信,因为实际确定这样的事件是否真的是通信,就性能而言实现起来可能是不切实际或昂贵的。
在一些情况下,在相同数据处理装置上执行的目标程序代码与其他程序代码之间的通信可能在执行实际加载/存储独占指令时产生存储独占失败指示,并且这可能需要在模拟代码中进行模拟。然而,反直觉地,可能还存在以下情况:其中目标程序代码与一些其他程序代码之间的通信(不涉及由加载独占指令指定的存储器位置)不会触发实际加载/存储指令失败,但是可能会使得模拟不太可靠。例如,在使用比较和交换方法进行模拟的情况下,如果另一进程更新了位置,但是然后对相同位置进行了第二次更新以恢复在第一次更新之前存储在该位置处的原始值,则在从存储器中读取的值与元数据中指定的先前加载的值匹配时,比较和交换指令将成功。然而,真正的加载/存储独占指令对将在这种情况下失败,因为当另一进程在加载独占指令之后第一次更新位置时,位置的独占标记将被删除。因为在这种情况下比较和交换指令的结果与在没有来自其他模拟进程的干预访问时在真实系统中由存储独占指令生成的结果相同,所以在没有可能通信的情况下,不管来自其他进程的干预访问而允许比较和交换指令成功是可以接受的(尽管模拟不能完全复制真实目标系统的行为,但是它给出了相同的结果,这是可接受的)。
然而,如果存在与另一模拟进程的通信,则该通信可能使得其他进程假定包括加载/存储独占指令的进程将不能通过其独占性检查(由于来自另一进程的干预访问),因此当在(假定第一进程的存储独占指令将失败的)另一模拟进程中采取了动作时,允许比较和交换指令成功可能会产生错误行为。因此,虽然(不涉及由加载独占指令所针对的存储器位置的)通信不会使得存储独占指令在要模拟的实际系统中失败,但是在使用原子比较和交换指令的模拟中,指示除了对由加载独占指令指定的存储器位置的存储器访问之外的可能通信的事件可能产生有效性检查失败。
有效性检查还可能响应于在加载独占指令与存储独占指令之间的时间内检测到异常而失败。
在使得有效性检查失败的事件的任意上述情况中,模拟可以通过利用(不会被用于有效元数据的)一些保留值替换存储的元数据的值,来响应事件。如果确定元数据中的一个值是所述保留值,则在遇到存储独占指令时执行的有效性检查可能失败。这针对多个不同事件提供了一种触发存储独占失败的方法。模拟可以替代地针对各种不同事件中的每个事件存储各种保留值中的一个保留值,使得可以根据存储在元数据中的特定保留值来推断关于存储独占失败的原因的信息。
如果模拟尝试执行了预定次数的特定存储独占指令(即,如果有效性检查失败了预定次数),则可以替代地尝试用于模拟存储独占指令的替代技术。例如,这可以是上面讨论的选项之一,例如,限制一次运行一个模拟CPU或代理,或将存储器的相关区域的存储器保护许可改变为只读。这允许在以其他方式不会取得进展的情况下取得进展。在关于进程之间是否发生冲突的信息有限的情况下,这尤其有用。在这种情况下,主机数据处理装置可能需要在有效性检查中相对谨慎,并且可以检测一些假阳性失败(例如,假设可能产生冲突的加载/存储产生冲突,而不管它是否实际发生冲突)。通过提供替代的模拟技术,仍然可以取得前瞻性进展,但是通过尝试比较和交换方法,可以在该方法成功的情况下提高第一性能。
所描述的主机数据处理装置可以由计算机程序控制,以便执行所描述的任意方法。该计算机程序可以被存储在非暂态存储介质上,该非暂态存储介质被配置为由计算机读取和执行。
现在将参考附图来描述技术的特定实施例。
图1A示出了数据处理装置对加载独占指令的响应的示例,图1B示出了数据处理装置对存储独占指令的响应的示例。图1A和图1B中示出的方法涉及支持独占指令的实际数据处理装置。参考图1A,在步骤S10中,数据处理装置接收加载独占指令。加载独占指令指定要从其中加载数据的存储器位置。在步骤S11中,数据处理装置将来自由加载独占指令指定的存储器位置的数据加载到处理装置的寄存器(可选地,数据也可以被传送到缓存)。在步骤S12中,数据处理装置将存储器位置标记为针对该数据处理装置的独占。可以应用标记存储器位置的任意方法。例如,存储器位置可以通过以下方式来标记:设置标志,将存储器位置中的位设置为预定值,或在装置中的其他地方记录该存储器位置已经被标记为独占的指示(例如,通过将带有标记的存储器地址位置的地址存储在缓冲器中)。应当理解,标记可以在存储器位置的较大块的粒度下完成,而不仅仅是针对单个位置。
参考图1B,在步骤S13中,数据处理装置接收存储独占指令。存储独占指令指定要存储数据的存储器位置以及要写入存储器位置的数据。在步骤S14中,装置检查由存储独占指令指定的存储位置是否仍然被标记为针对该数据处理装置的独占。如果数据处理装置确定存储位置不再被标记为独占,则过程进行到步骤S15,并且数据处理装置返回存储专用失败指示。通常,处理装置不会在存储独占失败指示之后更新存储器位置。在尝试重复存储独占操作之前,处理装置可以替代地返回S10并且重复加载独占操作。
相反,如果在步骤S14中确定存储器位置仍然被标记为独占,则过程继续进行到步骤S16,并且数据处理装置将数据存储至由存储独占指令指定的存储器位置。在步骤S17中,处理装置返回存储独占成功指示。
图2示出了用于使用诸如上面给出的示例的独占指令来执行存储器位置的原子更新的装置的示例。图2示出了两个中央处理单元CPU0(20)和CPU1(21),它们通过互连23访问存储器22。当CPU做出指定存储器位置的存储器访问请求时,互连23中的独占监视器24确定由存储器访问请求指定的存储器位置是否被标记为针对该装置的独占。如果它被标记为独占,则可以防止CPU更新存储器位置。虽然图2仅示出了两个CPU,但是应当理解,可以存在任意数量的CPU。而且,应当理解,该装置可以在相同CPU上执行多个指令线程,其中独占监视器24为一个线程提供独占访问以防止来自其他线程的干预访问。
图3示出了来自图2中的CPU 20和21之一的存储器访问请求的示例。图3中示出的存储器访问可以经由互连23。在步骤S30中,数据处理装置接收来自CPU 20和21之一的指定存储器22中的位置的存储器访问请求。在步骤S31中,数据处理装置确定另一CPU或线程是否具有对由存储器访问请求指定的存储器位置的独占访问,即,另一CPU或线程是否已经将存储器位置标记为独占。如果存储器位置未被标记为独占,则过程进行到步骤S32并且执行存储器访问。如果在步骤S31中确定存储器位置已经被标记为独占,则过程转到步骤S33并且移除针对存储器位置的独占标签。这可以通过以下方式来完成:移除、改变或重新设置由加载独占指令设置的标志;擦除或重写由加载独占指令设置的存储器位置中的位;在设备中的其他地方记录在该位置已经发生存储器访问;或将存储器位置标记为已更新的任意其他方法。然后,过程进行到步骤S32。虽然图3示出了在存储器位置未被标记为独占时过程直接进行到步骤S32,但是应当理解,无论存储器位置是否被标记为独占,过程也可以转到步骤S33。在一些实施例中,独占标签可以针对更新存储器位置的存储请求被移除,但是可以针对读取位置的加载请求不被移除。替代地,其他实施例可以响应于加载和存储访问而移除独占标签。该过程可以由互连23中的独占监视器24控制。
图4示出了数据处理装置对原子比较和交换指令的响应的示例。在步骤S40中,数据处理装置接收比较和交换指令,该比较和交换指令指定存储器位置、比较值和要写入存储器位置的新的数据值。在步骤S41中,数据处理装置读取当前存储在由比较和交换指令指定的存储位置的值。在步骤S42中,数据处理装置确定读取的值是否与比较值相同。如果两个值不相同,则过程进行到步骤S43,数据处理装置返回比较和交换失败指示;另一方面,如果两个值相同,则过程进行到步骤S44,并且将新的数据值写入存储位置。此外,在步骤S45中,数据处理装置返回比较和交换成功指示。应当注意的是,虽然图4描述了当加载值与比较值不相同时返回比较和交换失败指示,但是当一些其他预定条件没有被满足时(例如,当他们是相同的时)也可以返回比较和交换失败。
图5示出了用于模拟的布置的示例。用于运行目标程序代码51的目标数据处理装置由模拟50来模拟,模拟50包括模拟代码52和主机数据处理装置53。模拟代码52被配置为以可以由主机数据处理装置53执行的形式来模拟目标程序代码51。目标程序代码51可以是被配置为由目标数据处理装置执行的程序代码,该目标数据处理装置被配置为支持主机数据处理装置53不能支持的指令。例如,目标程序代码51可以包括独占指令,并且主机数据处理装置53可以不被配置为支持独占指令。在该示例中,模拟程序代码52可以被配置为将独占指令转换为可以由主机数据处理装置53执行的指令。模拟程序代码52可以包括加载独占程序逻辑52a和存储独占程序逻辑52b,加载独占程序逻辑52a用于根据下面描述的方法将目标程序代码51中的加载独占指令映射至加载指令,并且存储独占程序逻辑52b用于根据下面描述的方法将存储独占指令映射至比较和交换指令。虽然图5仅示出了单层模拟,但是应当理解,在一些布置中,在硬件和所提供的指令执行环境之间、和/或在相同主机处理器上提供的多个不同的指令执行环境之间,可以存在多层模拟。
图6A和6B示出了根据本技术的方法的示例。图6A示出了根据本技术的模拟代码52对目标程序代码51中的加载独占指令的响应的示例。在步骤S60中,在目标代码51中检测到指定存储位置的加载独占指令。在步骤S61中,模拟程序代码52生成用于由主机装置53执行的加载指令,以从由加载独占指令指定的存储位置加载数据。在步骤S62中,方法包括生成并且存储与由加载独占指令指定的存储器位置有关的元数据。存储的元数据可以包括例如从存储器位置加载的值、存储器地址、数据的大小、或存储器属性。应当理解,与存储器位置有关的任意其他信息也可以被包括在元数据中。
图6B示出了根据本技术的模拟代码52对目标程序代码51中的存储独占指令的响应的示例。在步骤S63中,在目标代码51中检测到指定存储位置和要被存储在该位置的数据的存储独占指令。在步骤S64中,检查与该存储位置有关的元数据的有效性,并且在步骤S65中,确定元数据是否有效。有效性检查可以包括检查存储独占指令是否指定与加载独占指令相同的存储器地址、数据大小、或存储器属性。如果元数据已经被保留值替换,则有效性检查还可以指示元数据无效。例如,在加载独占指令与存储独占指令之间的时间段中检测到异常时,元数据可以用这样的保留值来替换。在已经检测到指示目标程序代码51与一些其他程序代码之间的可能通信的事件时,元数据也可以被替换。如果元数据无效,则过程进行到步骤S66,并且返回存储独占失败指示。替代地,如果在步骤S65中确定元数据有效,则过程进行到步骤S67,其中由模拟代码52生成比较和交换指令以供主机数据处理装置53执行。在步骤S67中生成的比较和交换指令是图4中描述的比较和交换指令,其中(存储在元数据中的)加载值被指定为步骤S42中的比较值。在S68中,确定步骤S67中的比较和交换操作是否成功。如果图4的比较和交换过程在步骤S45返回比较和交换成功指示,则在步骤S68中确定比较和交换操作成功,并且过程继续进行到步骤S69,其中由模拟代码52返回对目标代码51的存储独占成功指示。另一方面,如果图4的比较和交换过程在步骤S43中返回比较和交换失败指示,则在步骤S68中确定比较和交换操作不成功,并且过程进行到步骤S66,其中由模拟代码52返回对目标代码51的存储独占失败指示。
在存储独占失败指示之后,目标代码51可以循环回到加载独占指令,由此可以从步骤S60开始重复图6A和图6B的过程。装置可以被配置为使得在一定数量的循环之后或在一定量的时间之后,模拟代码52回退到用于模拟独占指令的替代方法,以便允许取得进展。替代地,装置可以被配置为在一定数量的循环之后结束过程并且发信号通知异常。
在需要由主机数据处理装置53执行指令之前,目标程序代码51中的加载/存储独占指令也可以提前转换成由主机支持的经转换的指令。也就是说,响应于加载独占指令或存储独占指令而生成的加载指令或比较和交换指令可以不在生成的同时被执行,而是可以存储到存储器以便稍后执行。装置还可以被配置为缓存与目标代码51相对应的经转换的主机代码的序列,或将它们存储到存储器的区域,使得如果在稍后的时间到达目标程序代码51中的相同程序地址,可以从存储器中读取先前转换的指令,而不必像第一次遇到该程序地址那样进行相同的映射决策。因此,在一些情况下,模拟代码可以通过生成用于执行S61和S62中示出的操作的主机指令并且存储这些指令以供以后使用,来响应加载独占指令。类似地,模拟代码可以通过生成用于执行S64-S69中示出的操作的指令并且存储这些指令供以后使用,来响应存储独占指令。因此,可以执行一次转换,以将包括加载/存储独占指令的代码的序列映射至包括加载指令、比较和交换指令、和(用于控制元数据存储、有效性检查、以及基于比较和交换成功/失败指示来模拟存储独占成功/失败响应的)任意干预指令的代码的序列,并且当在模拟器上执行目标代码期间到达目标代码的相同部分的后续情况下,这可以没有必要再次执行转换,因为这次要执行的主机指令可以简单地从存储器或缓存中读取。
图7示出了目标程序代码51中的指令如何对应于模拟代码52中的指令以及主机数据处理装置53执行的动作的示例。在步骤S70a中,通过在模拟代码52中生成加载指令S70b和用于生成/存储元数据的指令S71b,来响应目标程序代码51中的加载独占指令。通过在主机数据处理装置53中加载相关数据S70c,来响应模拟代码52中的加载指令S70b,并且通过将元数据存储至存储器的模拟控制区域S71c,来响应用于生成/存储元数据的指令S71b。稍后将更详细地讨论模拟控制区域。在步骤S72a中,通过模拟代码52中的相应处理指令S72b(其指示主机数据处理装置53在主机数据处理装置53中执行相应处理操作S72c),来响应目标程序代码51中的处理指令。在步骤S73a中,在模拟代码52中通过i)有效性检查例程S73b(其指示主机数据处理装置53检查相关元数据S73c)和ii)生成比较和交换指令S74b(其指示主机数据处理装置53执行比较和交换操作),来响应目标程序代码51中的存储独占指令。在步骤S75c中,主机数据处理装置53返回比较和交换成功/失败指示,并且模拟代码52通过返回存储独占成功/失败指示来进行响应。
图8示出了被配置为执行上述方法的主机数据处理装置53的示例配置。图8的主机数据处理装置53包括指令解码器80(用于解码经由指令缓存82从存储器81提取的指令)、处理电路83(用于执行由指令解码器80解码的指令)、寄存器84、和加载/存储电路85(被配置为经由数据缓存86执行来自/去往存储器81的加载/存储操作)。存储器81包括以下区域,例如,模拟控制区域81a、存储目标程序代码51的目标程序代码区域81b、存储模拟代码52的模拟代码区域81c、存储主机代码和数据的主机代码/数据区域81d、和模拟目标存储器区域81e。模拟控制区域81a是目标程序代码51不可访问的存储器的区域,并且是响应于加载独占指令而存储元数据的区域。模拟目标存储器区域81e是目标程序代码51中的加载/存储独占指令可访问的存储器的区域。
上述方法允许通过使用原子比较和交换指令来在不支持独占指令的主机数据处理装置53上模拟加载/存储独占指令。所描述的方法具有比其他方法小得多的开销,并且允许并行处理。上述方法还提供了以下优点:其不依赖于其他数据处理装置、其他CPU、或相同CPU上的其他线程的行为来确保更新的原子性。
所描述的方法可以由包括所描述的主机数据处理装置53和用于控制主机数据处理装置53的控制电路的装置来执行。控制电路可以被包括在主机数据处理装置53中或可以与主机数据处理装置53分开。
上述方法可以由主机数据处理装置53响应于存储在非暂态计算机可读存储介质上的计算机程序来执行。
所描述的方法对于本领域技术人员来说可能是违反直觉的,因为看起来执行方法的主机数据处理装置53可能返回不正确的成功/失败指示。然而,如下面通过示例参考图9A和9B所示,这不是问题。
图9A示出了根据本技术模拟加载/存储独占指令的一个模拟CPU(CPU0),以及在相同存储位置X处执行处理操作的另一模拟CPU(CPU1)。在步骤S90处,CPU0在存储器位置X处执行加载操作(模拟加载独占操作),并且在步骤S94处,CPU0在相同存储器位置X处执行原子比较和交换操作(模拟存储独占操作)。同时,在步骤S90和S94之间,CPU1对相同存储位置X处的数据执行处理操作。在步骤S91中,CPU1加载存储在X处的数据值(a)。在步骤S92,CPU1在位置X处存储不同的值(在该示例中,不同的值是a+1),并且在步骤S93中,CPU1将原始值(a)存储至位置。如果由CPU0执行的进程是使用独占指令执行,则步骤S94的存储独占操作将失败,因为在步骤S92处,X处的存储器位置将被标记为更新的(或独占标签将被移除)。然而,在本技术的方法中,S94处的原子比较和交换操作成功,因为存储在X处的值与存储在元数据中的加载值相同。通过这种方式,在存储独占操作将返回失败指示时,原子比较和交换操作返回成功指示。然而,在该示例中,只要存储在X处的值在原子比较和交换操作被执行之前返回到其原始值,并且假设CPU0和CPU1之间没有通信,那么这种差异将不会成为问题。这是有效的,因为CPU0或CPU1无法知道在S90处执行的加载操作是在S92之前还是在S93之后。因此,在这种情况下,根据所描述的方法使用的原子比较和交换指令仍然是针对加载/存储独占指令的适当模拟。
其中原子比较和交换操作可能无法提供所需结果的情况是CPU0和CPU1之间存在通信时,如图9B所示。在图9B中,一些通信S95在CPU0和CPU1之间在不同的存储器位置Y处发生。通信可能使得模拟CPU1推断CPU0中的加载/存储独占对应当失败,这在S94处的存储独占成功时(因为在遇到存储独占指令时X已经返回其先前的值)可能产生不正确的结果。因此,为了提供附加的保护,在模拟CPU之间存在可能通信的任意指示,一些实施例返回存储独占失败指示,即使该通信涉及除了(响应于加载独占指令被标记用于独占访问的)一个或多个存储器位置的块之外的存储器位置。这可以通过用保留值替换存储的元数据来实现,使得在模拟存储独占指令期间的有效性检查确定元数据无效。
应当理解,图9B中描绘的场景仅是应当触发失败指示的可能事件的一个示例,并且包括其他形式的通信的其他事件也可以触发失败指示。
虽然已经根据具体实施例详细描述了技术,但是应当理解,技术不限于本文描述的特定实施例。在不脱离权利要求中限定的技术的范围的情况下,可以以多种方式修改或调整所描述的实施例。

Claims (15)

1.一种用于控制目标程序代码在主机数据处理装置上的执行以模拟所述目标程序代码在目标处理装置上的执行的方法,所述方法包括:
响应于所述目标程序代码的加载独占指令,将所述加载独占指令映射到要由所述主机数据处理装置执行的加载指令以从存储器位置加载值,并且存储与所述加载独占指令有关的元数据,其中,所述元数据至少包括从所述存储位置加载的值;以及
响应于所述目标程序代码的存储独占指令,使用要由所述主机数据处理装置执行的原子比较和交换指令来仿真所述存储独占指令;
所述原子比较和交换指令将由所述元数据指定的从所述存储器位置加载的值指定为在所述原子比较和交换指令被执行时要与存储在所述存储器位置的值进行比较的比较值。
2.根据权利要求1所述的方法,其中,所述存储独占指令指定要被存储在所述存储器位置的存储值,并且
所述方法包括:在所述原子比较和交换指令被执行时,当所述比较值与存储在所述存储器位置的值之间的比较满足预定条件时,将所述存储独占指令的存储值指定为要被存储在所述存储器位置的交换值。
3.根据任意前述权利要求所述的方法,包括:
响应于指示所述比较值与存储在所述存储器位置的值之间的比较未能满足预定条件的比较和交换失败指示,返回存储独占失败作为对所述存储独占指令的响应。
4.根据任意前述权利要求所述的方法,其中,所述元数据被存储在所述目标程序代码不可访问的存储器的模拟控制区域中。
5.根据任意前述权利要求所述的方法,包括:
响应于所述存储独占指令,执行有效性检查以检查所述元数据的有效性;以及
当所述有效性检查失败时,返回存储独占失败作为对所述存储独占指令的响应。
6.根据权利要求5所述的方法,其中,
所述元数据包括由所述加载独占指令指定的存储器地址、数据大小和存储器属性中的至少一个,并且所述有效性检查包括检查所述存储独占指令是否指定与所述加载独占指令相同的存储器地址、数据大小或存储器属性。
7.根据权利要求5和6中任一项所述的方法,其中,当在所述加载指令和所述原子比较和交换指令之间的时间段中检测到指示所述的目标程序代码与其他程序代码之间的可能通信的事件时,所述有效性检查失败。
8.根据权利要求7所述的方法,其中,所述事件包括除了对由所述加载独占指令寻址的存储器位置的存储器访问之外的事件。
9.根据权利要求5至8中任一项所述的方法,其中,当在加载指令和所述原子比较和交换指令之间的时间段中检测到异常时,所述有效性检查失败。
10.根据权利要求5至9中任一项所述的方法,其中,
响应于存储独占失败触发事件,用保留值替换所述元数据的值,并且
响应于所述存储独占指令,检测到在所述元数据具有所述保留值时所述有效性检查失败。
11.根据权利要求5至10中任一项所述的方法,包括:
当所述有效性检查针对使用所述原子比较和交换指令来模拟所述存储独占指令的预定次数的尝试失败时,触发用于模拟所述存储独占指令的执行的替代方法的操作。
12.一种用于控制主机数据处理装置以执行任意前述权利要求的方法的计算机程序。
13.一种存储有权利要求12的计算机程序的存储介质。
14.一种装置,包括:
主机处理电路;和
控制电路,被配置为控制所述主机处理电路以执行任意前述权利要求的方法。
15.一种用于控制目标程序代码在主机数据处理装置上的执行以模拟所述目标程序代码在目标处理装置上的执行的计算机程序,其中,所述计算机程序包括:
加载独占程序逻辑,响应于所述目标程序代码的加载独占指令,将所述加载独占指令映射到要由所述主机数据处理装置执行的加载指令以从存储器位置加载值,并且存储与所述加载独占指令有关的元数据,其中,所述元数据至少包括从所述存储位置加载的值;以及
存储独占程序逻辑,响应于所述目标程序代码的存储独占指令,使用要由所述主数据处理装置执行的原子比较和交换指令来仿真所述存储独占指令;
所述原子比较和交换指令将由所述元数据指定的从所述存储器位置加载的值指定为在所述原子比较和交换指令被执行时要与存储在所述存储器位置的值进行比较的比较值。
CN201910037656.3A 2018-01-16 2019-01-09 独占指令的模拟 Pending CN110058880A (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GB1800663.5 2018-01-16
GB1800663.5A GB2570161B (en) 2018-01-16 2018-01-16 Simulation of exclusive instructions

Publications (1)

Publication Number Publication Date
CN110058880A true CN110058880A (zh) 2019-07-26

Family

ID=61256152

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910037656.3A Pending CN110058880A (zh) 2018-01-16 2019-01-09 独占指令的模拟

Country Status (3)

Country Link
US (1) US10853071B2 (zh)
CN (1) CN110058880A (zh)
GB (1) GB2570161B (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110515659A (zh) * 2019-08-28 2019-11-29 中国人民解放军国防科技大学 一种原子指令的执行方法和装置
CN114138334A (zh) * 2021-10-29 2022-03-04 北京中科昊芯科技有限公司 一种循环程序执行方法、装置以及处理器

Families Citing this family (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11163571B1 (en) * 2020-07-29 2021-11-02 International Business Machines Corporation Fusion to enhance early address generation of load instructions in a microprocessor
US11669328B2 (en) 2020-12-29 2023-06-06 Shanghai Zhaoxin Semiconductor Co., Ltd. Method and system for converting instructions
US20220206809A1 (en) 2020-12-29 2022-06-30 Shanghai Zhaoxin Semiconductor Co., Ltd. Method and system for executing new instructions
US11803383B2 (en) 2020-12-29 2023-10-31 Shanghai Zhaoxin Semiconductor Co., Ltd. Method and system for executing new instructions
US11625247B2 (en) 2020-12-29 2023-04-11 Shanghai Zhaoxin Semiconductor Co., Ltd. System for executing new instructions and method for executing new instructions
US11604643B2 (en) 2020-12-29 2023-03-14 Shanghai Zhaoxin Semiconductor Co., Ltd. System for executing new instructions and method for executing new instructions
US11914997B2 (en) 2020-12-29 2024-02-27 Shanghai Zhaoxin Semiconductor Co., Ltd. Method and system for executing new instructions
US11816487B2 (en) 2020-12-29 2023-11-14 Shanghai Zhaoxin Semiconductor Co., Ltd. Method of converting extended instructions based on an emulation flag and retirement of corresponding microinstructions, device and system using the same
US11789736B2 (en) 2020-12-29 2023-10-17 Shanghai Zhaoxin Semiconductor Co., Ltd. Method and system for executing new instructions
US11687337B2 (en) * 2021-08-20 2023-06-27 International Business Machines Corporation Processor overriding of a false load-hit-store detection

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20070143551A1 (en) * 2005-12-01 2007-06-21 Sony Computer Entertainment Inc. Cell processor atomic compare and swap using dedicated SPE
US20130096903A1 (en) * 2011-10-12 2013-04-18 Fujitsu Limited Simulation apparatus and simulation method
CN104011681A (zh) * 2012-01-06 2014-08-27 国际商业机器公司 向逻辑分区提供反映处理器核的独占使用的硬件线程特定信息
CN106796528A (zh) * 2014-07-25 2017-05-31 英特尔公司 实现运行提前运行时访客指令转换/解码过程和其中从指令序列中的访客分支的目标预取访客代码的预取过程的系统转换器
US20170235557A1 (en) * 2016-02-16 2017-08-17 Microsoft Technology Licensing, Llc. Translating atomic read-modify-write accesses

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101425020A (zh) * 2007-10-31 2009-05-06 国际商业机器公司 对mmu仿真进行加速的方法、装置和全系统仿真器
US8793471B2 (en) * 2010-12-07 2014-07-29 Advanced Micro Devices, Inc. Atomic program verification
US9678863B2 (en) * 2012-06-12 2017-06-13 Sandisk Technologies, Llc Hybrid checkpointed memory
WO2014021879A1 (en) * 2012-07-31 2014-02-06 Hewlett-Packard Development Company, L.P. Systems and methods for controlling access to a shared data structure with reader-writer locks using multiple sub-locks
US9336341B2 (en) * 2012-12-07 2016-05-10 International Business Machines Corporation Memory frame proxy architecture for synchronization and check handling in a simulator
US9684614B2 (en) * 2014-01-27 2017-06-20 Signalchip Innovations Private Limited System and method to convert lock-free algorithms to wait-free using a hardware accelerator
US9374324B2 (en) * 2014-03-14 2016-06-21 International Business Machines Corporation Determining virtual adapter access controls in a computing environment

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20070143551A1 (en) * 2005-12-01 2007-06-21 Sony Computer Entertainment Inc. Cell processor atomic compare and swap using dedicated SPE
US20130096903A1 (en) * 2011-10-12 2013-04-18 Fujitsu Limited Simulation apparatus and simulation method
CN104011681A (zh) * 2012-01-06 2014-08-27 国际商业机器公司 向逻辑分区提供反映处理器核的独占使用的硬件线程特定信息
CN106796528A (zh) * 2014-07-25 2017-05-31 英特尔公司 实现运行提前运行时访客指令转换/解码过程和其中从指令序列中的访客分支的目标预取访客代码的预取过程的系统转换器
US20170235557A1 (en) * 2016-02-16 2017-08-17 Microsoft Technology Licensing, Llc. Translating atomic read-modify-write accesses

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110515659A (zh) * 2019-08-28 2019-11-29 中国人民解放军国防科技大学 一种原子指令的执行方法和装置
CN114138334A (zh) * 2021-10-29 2022-03-04 北京中科昊芯科技有限公司 一种循环程序执行方法、装置以及处理器

Also Published As

Publication number Publication date
US10853071B2 (en) 2020-12-01
GB2570161B (en) 2020-03-25
GB2570161A (en) 2019-07-17
US20190220279A1 (en) 2019-07-18
GB201800663D0 (en) 2018-02-28

Similar Documents

Publication Publication Date Title
CN110058880A (zh) 独占指令的模拟
CN1894662B (zh) 作为用于执行引导码的ram的处理器缓存存储器
CN102105871B (zh) 虚拟处理设备的中断控制
CN104364772B (zh) 控制一计算环境中的事务执行的方法及系统
EP2037368A2 (en) Simulation of program execution to detect problem such as deadlock
CN101326494A (zh) 协调硬件事务存储器事务和软件事务存储器事务对存储单元的访问
CN103608786A (zh) 在恢复站点处管理复制的虚拟储存器
JP6916340B2 (ja) シミュレートされたデバイスをメモリベース通信プロトコルを使用してテストするためのシステムおよび方法
CN104350474A (zh) 事务执行内的随机测试
TWI730690B (zh) 在區塊鏈中同時執行交易的方法和裝置及電腦可讀儲存媒體與計算設備
CN105516230B (zh) 一种数据处理方法及装置
CN103493021A (zh) 虚拟机高可用性
US6226716B1 (en) Test driver for use in validating a circuit design
CN107278297A (zh) 用于在持续存储器系统中的应用验证的技术
CN110674055B (zh) 一种用于部件级和部件联合级的缓存一致性模拟验证方法
US9300716B2 (en) Modelling dependencies in data traffic
CN109313593A (zh) 存储系统
CN110291507A (zh) 用于提供对存储器系统的加速访问的方法和装置
CN107977577A (zh) 访存指令访问检测方法及装置
CN112363762B (zh) 一种融合命令处理方法、系统、设备以及介质
US7103803B2 (en) Method for verification of command processing in a computer system design having a multiple priority command queue
US9658849B2 (en) Processor simulation environment
CN105869309A (zh) 驱动模块内存数据监测方法及装置
US20060174155A1 (en) System, method and computer program product for testing software
CN115712397A (zh) 缓存验证装置、方法及系统

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination