会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 7. 发明授权
    • Verification of a segmented program on a parallel processing computing system
    • 并行处理计算系统中分段程序的验证
    • US08453237B2
    • 2013-05-28
    • US12793076
    • 2010-06-03
    • Cary L. BatesChristopher A. Peterson
    • Cary L. BatesChristopher A. Peterson
    • G06F12/14
    • G06F21/52G06F8/456G06F9/44589
    • Embodiments of the invention provide a method, apparatus, and program product to verify a program that includes a plurality of sections with a computing system that is configured to process a plurality of threads of execution. The method comprises verifying and executing a first section of the program utilizing a first thread of execution in response to activation of the program and determining a second section of the program to execute subsequent to the first section. The method further comprises verifying the second section utilizing a second thread of execution in parallel with the execution of the first section. Another embodiment of the invention provides a method of compiling program that includes program code by grouping the program code into sections based upon the execution time of the program code and based upon which program code is most commonly executed.
    • 本发明的实施例提供了一种方法,装置和程序产品,以验证包括多个部分的程序,其中计算系统被配置为处理多个执行线程。 该方法包括响应于程序的激活,利用第一执行线程来验证和执行程序的第一部分,并且确定在第一部分之后执行的程序的第二部分。 该方法还包括利用执行第二线程并行执行第一部分来验证第二部分。 本发明的另一个实施例提供了一种编译程序的方法,该方法包括程序代码,该程序代码通过基于程序代码的执行时间并基于最常执行的程序代码将程序代码分组成部分。