利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

36 条记录 (耗时 0.022 秒)

    DATA RACE DETECTION IN A CONCURRENT PROCESSING ENVIRONMENT
    2.
    发明申请
    DATA RACE DETECTION IN A CONCURRENT PROCESSING ENVIRONMENT 有权
    数据处理环境中的数据检测

    公开(公告)号：US20090222825A1

    公开(公告)日：2009-09-03

    申请号：US12039528

    申请日：2008-02-28

    申请人： Gautam Upadhyaya ,  Zhiqiang Ma ,  Paul M. Petersen

    发明人： Gautam Upadhyaya ,  Zhiqiang Ma ,  Paul M. Petersen

    IPC分类号： G06F9/46

    CPC分类号： G06F9/524 ,  G06F11/3612 ,  G06F11/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.

    摘要翻译： 提供了一种用于在并发处理环境中检测竞态条件的方法。 该方法包括：实现数据结构，其被配置为存储与在并行处理计算环境中执行的至少一个任务相关的数据，每个任务由数据结构中的一个节点表示; 以及向所述数据结构中的节点分配任务号码，等待号码和等待列表中的至少一个; 其中所述任务编号唯一地标识相应的任务，其中基于相应任务的父节点的段号计算所述等待数，并且其中所述等待列表至少包括祖先的等待号。 该方法还可以包括监视多个存储器位置以确定第一任务是否访问第一存储器位置，其中所述第一存储器位置先前被第二任务访问。

    Detecting deadlocks in multithreaded programs
    4.
    发明授权
    Detecting deadlocks in multithreaded programs 有权
    检测多线程程序中的死锁

    公开(公告)号：US07093262B2

    公开(公告)日：2006-08-15

    申请号：US10207262

    申请日：2002-07-30

    申请人： Zhiqiang Ma ,  Paul M. Petersen

    发明人： Zhiqiang Ma ,  Paul M. Petersen

    IPC分类号： G06F15/16

    CPC分类号： G06F9/524 ,  G06F11/362

    摘要： An arrangement is provided for detecting deadlocks in a multithreaded program. When a thread in a multithreaded program performs a resource operation related to a mutually exclusive shared resource, it creates relationships between the thread and the shared resource as well as between the thread and other threads of the multithreaded program. Such created relationships are monitored and used to detect deadlocks.

    摘要翻译： 提供了一种用于检测多线程程序中的死锁的布置。 当多线程程序中的线程执行与互斥共享资源相关的资源操作时，它会创建线程和共享资源之间以及线程和多线程程序的其他线程之间的关系。 这种创建的关系被监视并用于检测死锁。

    Method and apparatus for an atomic operation in a parallel computing environment
    5.
    发明授权
    Method and apparatus for an atomic operation in a parallel computing environment 有权
    并行计算环境中原子操作的方法和装置

    公开(公告)号：US06792599B2

    公开(公告)日：2004-09-14

    申请号：US09977798

    申请日：2001-10-15

    申请人： David K. Poulsen ,  Sanjiv M. Shah ,  Paul M. Petersen ,  Grant E. Haab

    发明人： David K. Poulsen ,  Sanjiv M. Shah ,  Paul M. Petersen ,  Grant E. Haab

    IPC分类号： G06F945

    CPC分类号： G06F8/51 ,  G06F8/45 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/526

    摘要： A method and apparatus for a atomic operation is described. A method comprises receiving a first program unit in a parallel computing environment, the first program unit including a memory update operation to be performed atomically, the memory update operation having an operand, the operand being of a data-type and of a data size, and translating the first program unit into a second program unit, the second program unit to associate the memory update operation with a set of one or more low-level instructions upon determining that the data size of the operand is supported by the set of low-level instructions, the set of low-level instructions to ensure atomicity of the memory update operation.

    摘要翻译： 描述了用于原子操作的方法和装置。 一种方法包括在并行计算环境中接收第一程序单元，所述第一程序单元包括要原子执行的存储器更新操作，具有操作数的存储器更新操作，所述操作数是数据类型和数据大小， 以及将所述第一程序单元转换为第二程序单元，所述第二程序单元在确定所述操作数的所述数据大小由所述一组低级指令支持时将所述存储器更新操作与一组一个或多个低级指令相关联， 级别指令，低级指令集，以确保内存更新操作的原子性。

    Software implemented method for automatically validating the correctness of parallel computer programs
    6.
    发明授权
    Software implemented method for automatically validating the correctness of parallel computer programs 失效
    用于自动验证并行计算机程序正确性的软件实现方法

    公开(公告)号：US06286130B1

    公开(公告)日：2001-09-04

    申请号：US08906281

    申请日：1997-08-05

    申请人： David K. Poulsen ,  Paul M. Petersen ,  Sanjiv M. Shah

    发明人： David K. Poulsen ,  Paul M. Petersen ,  Sanjiv M. Shah

    IPC分类号： G06F944

    CPC分类号： G06F8/10 ,  G06F8/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.

    摘要翻译： 一种用于验证以各种编程语言编写的并行计算机程序的正确性的软件实现方法，用于这些程序相应的顺序计算机程序。 验证检测可能导致并行计算机程序运行不正确或产生不正确结果的错误，并通过在通用计算机的控制下转换这些并行计算机程序并顺序执行所生成的转换程序来实现。 验证方法是独立于系统的，可以通过各种计算机体系结构和平台进行移植，因为验证是通过程序转换完成的; 因此，该方法不依赖于特定硬件架构或配置，操作系统，编译器，链接器或线程环境的特征。 验证方法的输入是并行计算机程序。 并行计算机程序通过使用并行性规范来注释其相应的顺序计算机程序; 注释描述了顺序程序中的约束，以便放宽以允许利用并行性。 验证是通过检测并行计算机程序与其对应的顺序计算机程序之间的语义不一致来实现的。 验证方法将输入并行计算机程序转换为第二顺序计算机程序，使得第二顺序计算机程序在执行时检测并报告并行计算机程序与其对应的顺序计算机程序之间的语义不一致。

    Multireactivity polymercaptans, star polymers and methods of preparation
    7.
    发明授权
    Multireactivity polymercaptans, star polymers and methods of preparation 有权
    多活性聚合物，星形聚合物和制备方法

    公开(公告)号：US06201099B1

    公开(公告)日：2001-03-13

    申请号：US09190156

    申请日：1998-11-12

    申请人： Paul M. Petersen ,  Robert D. Harlan ,  Jules E. Schoenberg

    发明人： Paul M. Petersen ,  Robert D. Harlan ,  Jules E. Schoenberg

    IPC分类号： C08G7504

    CPC分类号： C07C323/52 ,  C08F2/38 ,  C08G61/12

    摘要： The present invention is directed to multireactivity polymercaptans, star-shaped copolymers and methods of preparing wherein the polymer comprises a polyvalent mercaptan core and three or more polymeric arms which extend radially from the core. The polyvalent mercaptan core comprises three or more thiol groups, wherein at least two of the thiol groups are of different reactivities, such that the core is of differential reactivity. These multifunctional thiols, which will be referred to as cores of differential reactivity, act as chain transfer agents in a free radical polymerization process.

    摘要翻译： 本发明涉及多重活性多巴胺，星形共聚物和制备方法，其中聚合物包含多价硫醇核心和从核心径向延伸的三个或更多个聚合物臂。 多价硫醇核心包含三个或更多个硫醇基团，其中至少两个硫醇基团具有不同的反应性，使得核心具有不同的反应性。 这些被称为不同反应性的核的多官能硫醇在自由基聚合过程中用作链转移剂。

    Detectable water-treatment polymers and methods for monitoring the concentration thereof
    10.
    发明授权
    Detectable water-treatment polymers and methods for monitoring the concentration thereof 失效
    可检测的水处理聚合物和用于监测其浓度的方法

    公开(公告)号：US5654198A

    公开(公告)日：1997-08-05

    申请号：US462244

    申请日：1995-06-05

    申请人： Allen M. Carrier ,  Robert W. R. Humphreys ,  Paul M. Petersen

    发明人： Allen M. Carrier ,  Robert W. R. Humphreys ,  Paul M. Petersen

    IPC分类号： G01N21/31 ,  G01N21/29

    CPC分类号： G01N21/31 ,  Y10T436/142222 ,  Y10T436/143333

    摘要： Water-treatment compositions are provided which contain a water-soluble, water-treatment polymer and, optionally, additional water-treatment chemicals. The polymers are prepared from water-treatment monomers and a photo-inert, latently-detectable moiety which is covalently bonded to the polymer backbone. When the residue of the photo-inert moiety is contacted with an amount of a photoactivator which is effective to cause the residue of the photo-inert moiety to absorb within a wavelength ranging from 300 to 800 nanometers, the residue of the photo-inert moiety is detectable at concentrations of less than 100 parts per million. Methods are also provided which allow for the determination of the concentration of low levels, i.e., less than 100 ppm, of the water-treatment polymer present in an aqueous system.

    摘要翻译： 提供含有水溶性水处理聚合物和任选的其它水处理化学品的水处理组合物。 聚合物由水处理单体和共价键合到聚合物主链上的光惰性，潜在可检测的部分制备。 当光惰性部分的残基与一定量的光活化剂接触时，其有效地使光惰性部分的残基在300-800纳米的波长范围内吸收，光惰性部分的残基 在小于百万分之100的浓度下可检测。 还提供了允许测定水性体系中存在的水处理聚合物的低含量浓度（即小于100ppm）的浓度的方法。