公开(公告)号：US5812852A

公开(公告)日：1998-09-22

申请号：US749038

申请日：1996-11-14

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

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

IPC分类号： G06F9/45 ,  G06F7/00

CPC分类号： 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.

摘要翻译： 一种软件实现的方法，用于以各种编程语言编写的并行计算机程序中的全局存储对象进行动态和静态私有化。 私有化是通过在通用计算机的控制下对这些并行计算机程序进行转换而实现的。 私有化方法是独立于系统的，可以通过各种计算机体系结构和平台进行移植，因为私有化是通过程序转换完成的; 因此，该方法不依赖于特定硬件架构或配置，操作系统，编译器，链接器或线程环境的特征。 该方法的输入是并行计算机程序，其包括并行执行区域和全局存储对象，以及描述要被私有化的全局存储对象的私有化规范以及这些对象中的每个对象的特定并行区域和方式 私有化。 私有化方法本身根据私有化规范将输入并行计算机程序转换成第二并行计算机程序，使得第二并行计算机程序在执行时以私有化方式访问指定的全局存储对象，而不需要任何明确的编程器 对输入并行计算机程序的修改。

公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：US08079035B2

公开(公告)日：2011-12-13

申请号：US11321763

申请日：2005-12-27

申请人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  John P. Shen ,  Sanjiv M. Shah ,  Baiju V. Patel

发明人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  John P. Shen ,  Sanjiv M. Shah ,  Baiju V. Patel

IPC分类号： G06F9/46 ,  G06F9/44 ,  G06F13/24

CPC分类号： G06F9/462

摘要： Data structure creation, organization and management techniques for data local to user-level threads are provided. In one embodiment, a method includes generating, for a user-level thread (“shred”) to run on a thread unit that is not managed by an operating system (“OS”), a storage area for local data and maintaining state in the storage area across a context switch from the thread unit that is not managed by the OS to a second thread unit that is managed by the OS. Other embodiments are also described and claimed.

摘要翻译： 提供数据结构创建，用户级线程本地数据的组织和管理技术。 在一个实施例中，一种方法包括为用户级线程（“shred”）生成在未由操作系统（“OS”）管理的线程单元上运行本地数据的存储区域; 以及将来自未由OS管理的线程单元的上下文切换保持在由OS管理的第二线程单元的状态。 还描述和要求保护其他实施例。

公开(公告)号：US07743233B2

公开(公告)日：2010-06-22

申请号：US11100032

申请日：2005-04-05

申请人： Hong Wang ,  Gautham N. Chinya ,  Richard A. Hankins ,  Shivnandan D. Kaushik ,  Bryant Bigbee ,  John Shen ,  Per Hammarlund ,  Xiang Zou ,  Jason W. Brandt ,  Prashant Sethi ,  Douglas M. Carmean ,  Baiju V. Patel ,  Scott Dion Rodgers ,  Ryan N. Rakvic ,  John L. Reid ,  David K. Poulsen ,  Sanjiv M. Shah ,  James Paul Held ,  James Charles Abel

发明人： Hong Wang ,  Gautham N. Chinya ,  Richard A. Hankins ,  Shivnandan D. Kaushik ,  Bryant Bigbee ,  John Shen ,  Per Hammarlund ,  Xiang Zou ,  Jason W. Brandt ,  Prashant Sethi ,  Douglas M. Carmean ,  Baiju V. Patel ,  Scott Dion Rodgers ,  Ryan N. Rakvic ,  John L. Reid ,  David K. Poulsen ,  Sanjiv M. Shah ,  James Paul Held ,  James Charles Abel

IPC分类号： G06F9/00

CPC分类号： G06F9/485 ,  G06F9/30043 ,  G06F9/30076 ,  G06F9/3851 ,  G06F9/3885 ,  G06F9/3891 ,  G06F9/461 ,  G06F9/4881

摘要： Disclosed are embodiments of a system, methods and mechanism for management and translation of mapping between logical sequencer addresses and physical or logical sequencers in a multi-sequencer multithreading system. A mapping manager may manage assignment and mapping of logical sequencer addresses or pages to actual sequencers or frames of the system. Rationing logic associated with the mapping manager may take into account sequencer attributes when such mapping is performed Relocation logic associated with the mapping manager may manage spill and fill of context information to/from a backing store when re-mapping actual sequencers. Sequencers may be allocated singly, or may be allocated as part of partitioned blocks. The mapping manager may also include translation logic that provides an identifier for the mapped sequencer each time a logical sequencer address is used in a user program. Other embodiments are also described and claimed.

摘要翻译： 公开了用于管理和转换逻辑定序器地址与多序列器多线程系统中的物理或逻辑顺控程序之间的映射的系统，方法和机制的实施例。 映射管理器可以管理逻辑顺控程序地址或页面到系统的实际定序器或帧的分配和映射。 与映射管理器相关联的配给逻辑可以在执行这样的映射时考虑定序器属性。当重新映射实际的定序器时，与映射管理器相关联的重定位逻辑可以管理向/从备份存储器的上下文信息的溢出和填充。 排序器可以单独分配，或者可以被分配为分区块的一部分。 映射管理器还可以包括每当在用户程序中使用逻辑定序器地址时为映射的定序器提供标识符的翻译逻辑。 还描述和要求保护其他实施例。

公开(公告)号：US20080148259A1

公开(公告)日：2008-06-19

申请号：US11642384

申请日：2006-12-19

申请人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  Baiju V. Patel ,  Sanjiv M. Shah

发明人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  Baiju V. Patel ,  Sanjiv M. Shah

IPC分类号： G06F9/46

CPC分类号： G06F9/4812 ,  G06F9/3851 ,  G06F9/3861

摘要： Methods, data structures, instructions, and techniques for structured exception handling for user-level threads in a multi-threading system are provided. Registered filter routines may be dispatched to a thread unit not managed by the operating system (OS). The dispatch may occur by allowing an OS-managed thread unit (proxy) to invoke the OS-provided structured exception handling service (including dispatcher) on behalf of the sequestered thread unit. Alternatively, an OS-managed thread unit may include dispatch code and may, without OS intervention, dispatch the filter routine to the sequestered thread unit. Other embodiments are also described and claimed.

摘要翻译： 提供了用于多线程系统中的用户级线程的结构化异常处理的方法，数据结构，指令和技术。 注册的过滤器例程可以被分派到不由操作系统（OS）管理的线程单元。 调度可以通过允许OS管理的线程单元（代理）代表被隔离的线程单元来调用OS提供的结构化异常处理服务（包括调度程序）。 或者，OS管理的线程单元可以包括调度代码，并且可以在没有OS干预的情况下将过滤器例程分派到隔离的线程单元。 还描述和要求保护其他实施例。

公开(公告)号：US08689215B2

公开(公告)日：2014-04-01

申请号：US11642384

申请日：2006-12-19

申请人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  Baiju V. Patel ,  Sanjiv M. Shah

发明人： Richard A. Hankins ,  Gautham N. Chinya ,  Hong Wang ,  David K. Poulsen ,  Shirish Aundhe ,  Baiju V. Patel ,  Sanjiv M. Shah

IPC分类号： G06F9/46

CPC分类号： G06F9/4812 ,  G06F9/3851 ,  G06F9/3861

摘要： Methods, data structures, instructions, and techniques for structured exception handling for user-level threads in a multi-threading system are provided. Registered filter routines may be dispatched to a thread unit not managed by the operating system (OS). The dispatch may occur by allowing an OS-managed thread unit (proxy) to invoke the OS-provided structured exception handling service (including dispatcher) on behalf of the sequestered thread unit. Alternatively, an OS-managed thread unit may include dispatch code and may, without OS intervention, dispatch the filter routine to the sequestered thread unit. Other embodiments are also described and claimed.

摘要翻译： 提供了用于多线程系统中的用户级线程的结构化异常处理的方法，数据结构，指令和技术。 注册的过滤器例程可以被分派到不由操作系统（OS）管理的线程单元。 调度可以通过允许OS管理的线程单元（代理）代表被隔离的线程单元来调用OS提供的结构化异常处理服务（包括调度程序）。 或者，OS管理的线程单元可以包括调度代码，并且可以在没有OS干预的情况下将过滤器例程分派到隔离的线程单元。 还描述和要求保护其他实施例。

公开(公告)号：US08108863B2

公开(公告)日：2012-01-31

申请号：US11322823

申请日：2005-12-30

申请人： Ryan Rakvic ,  Richard A. Hankins ,  Ed Grochowski ,  Hong Wang ,  Murali Annavaram ,  David K. Poulsen ,  Sanjiv Shah ,  John Shen ,  Gautham Chinya

发明人： Ryan Rakvic ,  Richard A. Hankins ,  Ed Grochowski ,  Hong Wang ,  Murali Annavaram ,  David K. Poulsen ,  Sanjiv Shah ,  John Shen ,  Gautham Chinya

IPC分类号： G06F9/46 ,  G06F1/00 ,  G06F1/26

CPC分类号： G06F9/4893 ,  Y02D10/24

摘要： A first execution time of a first thread executing on a first processing unit of a multiprocessor is determined. A second execution time of a second thread executing on a second processing unit of the multiprocessor is determined, the first and second threads executing in parallel. Power is set to the first and second processing units to effectuate the first and second threads to finish executing at approximately the same time in future executions of the first and second threads. Other embodiments are also described and claimed.

摘要翻译： 确定在多处理器的第一处理单元上执行的第一线程的第一执行时间。 确定在多处理器的第二处理单元上执行的第二线程的第二执行时间，第一和第二线程并行执行。 功率被设置为第一和第二处理单元，以在第一和第二线程的将来执行中在大致相同的时刻实现第一和第二线程完成执行。 还描述和要求保护其他实施例。

公开(公告)号：US07644130B2

公开(公告)日：2010-01-05

申请号：US11323862

申请日：2005-12-30

申请人： William R. Magro ,  David K. Poulsen ,  Alexander V. Supalov ,  Andrey B. Derbunovich

发明人： William R. Magro ,  David K. Poulsen ,  Alexander V. Supalov ,  Andrey B. Derbunovich

IPC分类号： G06F15/16

CPC分类号： H04L29/12952 ,  H04L61/6077

摘要： A message passing interface (“MPI”) cluster may be initialized and configured by reading a list of node identifiers from a file, starting a process on each node whose identifier was listed, and providing a second list of node identifiers to the process.

摘要翻译： 消息传递接口（“MPI”）集群可以通过从文件中读取节点标识符的列表来初始化并配置，在标识符被列出的每个节点上启动一个进程，并向进程提供第二个节点标识符列表。

公开(公告)号：US08839258B2

公开(公告)日：2014-09-16

申请号：US13354623

申请日：2012-01-20

申请人： Ryan Rakvic ,  Richard A. Hankins ,  Ed Grochowski ,  Hong Wang ,  Murali Annavaram ,  David K. Poulsen ,  Sanjiv Shah ,  John Shen ,  Gautham Chinya

发明人： Ryan Rakvic ,  Richard A. Hankins ,  Ed Grochowski ,  Hong Wang ,  Murali Annavaram ,  David K. Poulsen ,  Sanjiv Shah ,  John Shen ,  Gautham Chinya

IPC分类号： G06F9/46 ,  G06F1/00 ,  G06F1/26 ,  G06F9/48

CPC分类号： G06F9/4893 ,  Y02D10/24

摘要： A first execution time of a first thread executing on a first processing unit of a multiprocessor is determined. A second execution time of a second thread executing on a second processing unit of the multiprocessor is determined, the first and second threads executing in parallel. Power is set to the first and second processing units to effectuate the first and second threads to finish executing at approximately the same time in future executions of the first and second threads. Other embodiments are also described and claimed.

摘要翻译： 确定在多处理器的第一处理单元上执行的第一线程的第一执行时间。 确定在多处理器的第二处理单元上执行的第二线程的第二执行时间，第一和第二线程并行执行。 功率被设置为第一和第二处理单元，以在第一和第二线程的将来执行中在大致相同的时刻实现第一和第二线程完成执行。 还描述和要求保护其他实施例。