会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明申请
    • DATA RACE DETECTION IN A CONCURRENT PROCESSING ENVIRONMENT
    • 数据处理环境中的数据检测
    • US20090222825A1
    • 2009-09-03
    • US12039528
    • 2008-02-28
    • Gautam UpadhyayaZhiqiang MaPaul M. Petersen
    • Gautam UpadhyayaZhiqiang MaPaul M. Petersen
    • G06F9/46
    • G06F9/524G06F11/3612G06F11/3632
    • A method for detecting race conditions in a concurrent processing environment is provided. The method comprises implementing a data structure configured for storing data related to at least one task executed in a concurrent processing computing environment, each task represented by a node in the data structure; and assigning to a node in the data structure at least one of a task number, a wait number, and a wait list; wherein the task number uniquely identifies the respective task, wherein the wait number is calculated based on a segment number of the respective task's parent node, and wherein the wait list comprises at least an ancestor's wait number. The method may further comprise monitoring a plurality of memory locations to determine if a first task accesses a first memory location, wherein said first memory location was previously accessed by a second task.
    • 提供了一种用于在并发处理环境中检测竞态条件的方法。 该方法包括:实现数据结构,其被配置为存储与在并行处理计算环境中执行的至少一个任务相关的数据,每个任务由数据结构中的一个节点表示; 以及向所述数据结构中的节点分配任务号码,等待号码和等待列表中的至少一个; 其中所述任务编号唯一地标识相应的任务,其中基于相应任务的父节点的段号计算所述等待数,并且其中所述等待列表至少包括祖先的等待号。 该方法还可以包括监视多个存储器位置以确定第一任务是否访问第一存储器位置,其中所述第一存储器位置先前被第二任务访问。
    • 6. 发明授权
    • Software implemented method for automatically validating the correctness of parallel computer programs
    • 用于自动验证并行计算机程序正确性的软件实现方法
    • US06286130B1
    • 2001-09-04
    • US08906281
    • 1997-08-05
    • David K. PoulsenPaul M. PetersenSanjiv M. Shah
    • David K. PoulsenPaul M. PetersenSanjiv M. Shah
    • G06F944
    • G06F8/10G06F8/51
    • A software-implemented method for validating the correctness of parallel computer programs, written in various programming languages, with respect to these programs' corresponding sequential computer programs. Validation detects errors that could cause parallel computer programs to behave incorrectly or to produce incorrect results, and is accomplished by transforming these parallel computer programs under the control of a general purpose computer and sequentially executing the resulting transformed programs. The validation method is system-independent and is portable across various computer architectures and platforms since validation is accomplished via program transformation; thus, the method does not depend on the features of a particular hardware architecture or configuration, operating system, compiler, linker, or thread environment. The input to the validation method is a parallel computer program. The parallel computer program results from annotating its corresponding sequential computer program with a parallelism specification; the annotations describe constraints in the sequential program to be relaxed to allow the exploitation of parallelism. Validation is accomplished by detecting semantic inconsistencies between the parallel computer program and its corresponding sequential computer program. The validation method translates the input parallel computer program into a second, sequential computer program such that the second sequential computer program, when executed, detects and reports the semantic inconsistencies between the parallel computer program and its corresponding sequential computer program.
    • 一种用于验证以各种编程语言编写的并行计算机程序的正确性的软件实现方法,用于这些程序相应的顺序计算机程序。 验证检测可能导致并行计算机程序运行不正确或产生不正确结果的错误,并通过在通用计算机的控制下转换这些并行计算机程序并顺序执行所生成的转换程序来实现。 验证方法是独立于系统的,可以通过各种计算机体系结构和平台进行移植,因为验证是通过程序转换完成的; 因此,该方法不依赖于特定硬件架构或配置,操作系统,编译器,链接器或线程环境的特征。 验证方法的输入是并行计算机程序。 并行计算机程序通过使用并行性规范来注释其相应的顺序计算机程序; 注释描述了顺序程序中的约束,以便放宽以允许利用并行性。 验证是通过检测并行计算机程序与其对应的顺序计算机程序之间的语义不一致来实现的。 验证方法将输入并行计算机程序转换为第二顺序计算机程序,使得第二顺序计算机程序在执行时检测并报告并行计算机程序与其对应的顺序计算机程序之间的语义不一致。