会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Software implemented method for thread-privatizing user-specified global
storage objects in parallel computer programs via program transformation
    • 通过程序转换,在并行计算机程序中线程私有化用户指定的全局存储对象的软件实现方法
    • US5812852A
    • 1998-09-22
    • US749038
    • 1996-11-14
    • David K. PoulsenPaul M. PetersenSanjiv M. Shah
    • David K. PoulsenPaul M. PetersenSanjiv M. Shah
    • G06F9/45G06F7/00
    • G06F8/453
    • A software-implemented method for dynamically and statically privatizing global storage objects in parallel computer programs written in various programming languages. Privatization is accomplished via transformation of these parallel computer programs under the control of a general purpose computer. The privatization method is system-independent and is portable across various computer architectures and platforms since privatization 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 inputs to the method are a parallel computer program, comprising parallel regions of execution and global storage objects, and a privatization specification describing the global storage objects to be privatized and the particular parallel regions, and manner, in which each of these objects is to be privatized. The privatization method itself translates the input parallel computer program into a second parallel computer program, according to the privatization specification, such that the second parallel computer program, when executed, accesses the specified global storage objects in a privatized manner, without requiring any explicit programmer modifications to the input parallel computer program.
    • 一种软件实现的方法,用于以各种编程语言编写的并行计算机程序中的全局存储对象进行动态和静态私有化。 私有化是通过在通用计算机的控制下对这些并行计算机程序进行转换而实现的。 私有化方法是独立于系统的,可以通过各种计算机体系结构和平台进行移植,因为私有化是通过程序转换完成的; 因此,该方法不依赖于特定硬件架构或配置,操作系统,编译器,链接器或线程环境的特征。 该方法的输入是并行计算机程序,其包括并行执行区域和全局存储对象,以及描述要被私有化的全局存储对象的私有化规范以及这些对象中的每个对象的特定并行区域和方式 私有化。 私有化方法本身根据私有化规范将输入并行计算机程序转换成第二并行计算机程序,使得第二并行计算机程序在执行时以私有化方式访问指定的全局存储对象,而不需要任何明确的编程器 对输入并行计算机程序的修改。
    • 9. 发明授权
    • 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.
    • 一种用于验证以各种编程语言编写的并行计算机程序的正确性的软件实现方法,用于这些程序相应的顺序计算机程序。 验证检测可能导致并行计算机程序运行不正确或产生不正确结果的错误,并通过在通用计算机的控制下转换这些并行计算机程序并顺序执行所生成的转换程序来实现。 验证方法是独立于系统的,可以通过各种计算机体系结构和平台进行移植,因为验证是通过程序转换完成的; 因此,该方法不依赖于特定硬件架构或配置,操作系统,编译器,链接器或线程环境的特征。 验证方法的输入是并行计算机程序。 并行计算机程序通过使用并行性规范来注释其相应的顺序计算机程序; 注释描述了顺序程序中的约束,以便放宽以允许利用并行性。 验证是通过检测并行计算机程序与其对应的顺序计算机程序之间的语义不一致来实现的。 验证方法将输入并行计算机程序转换为第二顺序计算机程序,使得第二顺序计算机程序在执行时检测并报告并行计算机程序与其对应的顺序计算机程序之间的语义不一致。