PROGRAM OPTIMIZATION BASED ON DIRECTIVES FOR INTERMEDIATE CODE

    公开(公告)号:US20170206068A1

    公开(公告)日:2017-07-20

    申请号:US15149347

    申请日:2016-05-09

    Applicant: Cray Inc.

    CPC classification number: G06F8/443 G06F8/452

    Abstract: An optimization system to apply directives to a computer program without having to perform repeated front-end compilations of source code of the computer program is provided. In some embodiments, the optimization system performs a first compilation of the source code of the program to generate first front-end code and first back-end code of the computer program. The compilation includes a first front-end compilation and a first back-end compilation. The optimization system identifies a compiler directive to apply to a location within the first front-end code. The optimization system then performs a second back-end compilation of the first front-end code factoring in the compiler directive to generate second back-end code affected by the compiler directive.

    SYSTEMS AND ASSOCIATED METHODS FOR CONTROLLABLY COOLING COMPUTER COMPONENTS
    44.
    发明申请
    SYSTEMS AND ASSOCIATED METHODS FOR CONTROLLABLY COOLING COMPUTER COMPONENTS 审中-公开
    用于控制冷却计算机组件的系统和相关方法

    公开(公告)号:US20160330875A1

    公开(公告)日:2016-11-10

    申请号:US15213131

    申请日:2016-07-18

    Applicant: Cray Inc.

    CPC classification number: H05K7/20836 H05K7/20736 H05K7/20781 H05K7/2079

    Abstract: Computer systems and associated methods for cooling computer components are disclosed herein. One embodiment of a computer system includes a computer cabinet having an air inlet spaced apart from an air outlet. The computer system also includes heat exchangers positioned in the computer cabinet, and a heat removal system in fluid communication with the heat exchangers. The computer system additionally includes at least one sensor for monitoring heat transfer between the computer cabinet and the room. The computer system further includes a control system operatively coupled to the at least one sensor, the control system including a computer-readable medium holding instructions for determining whether heat transfer between the computer cabinet and the room is balanced based on information from the sensor, and if not, adjusting a parameter to balance the heat transfer.

    Abstract translation: 本文公开了用于冷却计算机部件的计算机系统和相关方法。 计算机系统的一个实施例包括具有与空气出口间隔开的空气入口的计算机机柜。 计算机系统还包括位于计算机机柜中的热交换器,以及与热交换器流体连通的散热系统。 计算机系统还包括至少一个用于监测计算机机柜和房间之间的热传递的传感器。 所述计算机系统还包括可操作地耦合到所述至少一个传感器的控制系统,所述控制系统包括计算机可读介质,所述计算机可读介质保持用于基于来自所述传感器的信息来确定所述计算机机柜和房间之间的热传递是否平衡的指令, 如果没有,调整参数以平衡传热。

    CONGESTION CAUSATION IN A NETWORK INTERCONNECT
    45.
    发明申请
    CONGESTION CAUSATION IN A NETWORK INTERCONNECT 有权
    网络互连中的约束原因

    公开(公告)号:US20160277300A1

    公开(公告)日:2016-09-22

    申请号:US15169986

    申请日:2016-06-01

    Applicant: Cray Inc.

    Abstract: A method and system for detecting congestion in a network of nodes, abating the network congestion, and identifying the cause of the network congestion is provided. A congestion detection system may comprise a detection system, an abatement system, and a causation system. The detection system monitors the performance of network components such as the network interface controllers and tiles of routers to determine whether the network is congested such that a delay in delivering packets becomes unacceptable. Upon detecting that the network is congested, an abatement system abates the congestion by limiting the rate at which packets are injected into the network from the nodes. Upon detecting that the network is congested, a causation system may identify the job that is executing on a node that is the cause of the network congestion.

    Abstract translation: 提供了一种用于检测节点网络中的拥塞,减轻网络拥塞以及识别网络拥塞原因的方法和系统。 拥塞检测系统可以包括检测系统,减排系统和因果关系系统。 检测系统监视诸如网络接口控制器和路由器的瓦片之类的网络组件的性能,以确定网络是否拥塞,使得分组中的延迟变得不可接受。 当检测到网络拥塞时,减少系统通过限制从节点向网络中注入分组的速率来减轻拥塞。 在检测到网络拥塞的情况下,因果关系系统可以识别在作为网络拥塞的原因的节点上正在执行的作业。

    APPARATUS AND METHOD FOR DEADLOCK AVOIDANCE
    47.
    发明申请
    APPARATUS AND METHOD FOR DEADLOCK AVOIDANCE 审中-公开
    装置和方法灭绝避风

    公开(公告)号:US20160077997A1

    公开(公告)日:2016-03-17

    申请号:US14881157

    申请日:2015-10-13

    Applicant: Cray Inc.

    Abstract: An improved method for the prevention of deadlock in a massively parallel processor (MPP) system wherein, prior to a process sending messages to another process running on a remote processor, the process allocates space in a deadlock-avoidance FIFO. The allocated space provides a “landing zone” for requests that the software process (the application software) will subsequently issue using a remote-memory-access function. In some embodiments, the deadlock-avoidance (DLA) function provides two different deadlock-avoidance schemes: controlled discard and persistent reservation. In some embodiments, the software process determines which scheme will be used at the time the space is allocated.

    Abstract translation: 一种用于在大规模并行处理器(MPP)系统中防止死锁的改进方法,其中在将消息发送到在远程处理器上运行的另一进程之前,该进程在死锁避免FIFO中分配空间。 分配的空间为软件进程(应用软件)随后将使用远程存储器访问功能发出的请求提供“着陆区域”。 在一些实施例中,死锁避免(DLA)功能提供两种不同的死锁避免方案:受控丢弃和永久保留。 在一些实施例中,软件过程确定在分配空间时将使用哪种方案。

    Cooling systems and heat exchangers for cooling computer components
    48.
    发明授权
    Cooling systems and heat exchangers for cooling computer components 有权
    用于冷却计算机组件的冷却系统和热交换器

    公开(公告)号:US09288935B2

    公开(公告)日:2016-03-15

    申请号:US14283299

    申请日:2014-05-21

    Applicant: Cray Inc.

    Abstract: Computer systems having heat exchangers for cooling computer components are disclosed herein. The computer systems include a computer cabinet having an air inlet, an air outlet spaced apart from the air inlet, and a plurality of computer module compartments positioned between the air inlet and the air outlet. The air inlet, the air outlet, and the computer module compartments define an air flow path through the computer cabinet. The computer systems also include a heat exchanger positioned between two adjacent computer module compartments. The heat exchanger includes a plurality of heat exchange elements canted relative to the air flow path.

    Abstract translation: 本文公开了具有用于冷却计算机部件的热交换器的计算机系统。 计算机系统包括具有空气入口,与空气入口间隔开的空气出口的计算机机柜和位于空气入口和空气出口之间的多个计算机模块隔间。 空气入口,出气口和计算机模块隔间限定通过计算机机柜的空气流动路径。 计算机系统还包括位于两个相邻的计算机模块隔间之间的热交换器。 热交换器包括相对于空气流动路径倾斜的多个热交换元件。

    DYNAMIC UPDATES TO A SEMANTIC DATABASE USING FINE-GRAIN LOCKING
    49.
    发明申请
    DYNAMIC UPDATES TO A SEMANTIC DATABASE USING FINE-GRAIN LOCKING 审中-公开
    动态更新到使用细粒度锁定的语义数据库

    公开(公告)号:US20150227570A1

    公开(公告)日:2015-08-13

    申请号:US14693534

    申请日:2015-04-22

    Applicant: Cray Inc.

    Inventor: David Mizell

    CPC classification number: G06F16/2308 G06F16/2228 G06F16/2255 G06F16/86

    Abstract: A system for updating an index into a tuple table of tuples is provided. An indexing system updates an index into a tuple table using fine-grain locking of the index. The index includes a values table with an entry for each index value of an index field that references a value-tuple table that includes, for each tuple with the index value, a row that identifies a tuple of the tuple table with that indexed value. After a new tuple is added to the tuple table with a value, the index is updated by locking the entry in the values table, updating the value-tuple table for the value, and then unlocking the entry. When the index is accessed for locating tuples with a value, the accessor locks the entry in the values table for the value, uses the value-tuple table to locate the tuples, and unlocks the entry.

    Abstract translation: 提供了一种用于将索引更新为元组的元组表的系统。 索引系统使用索引的细粒度锁定将索引更新为元组表。 索引包括一个值表,其中包含索引字段的每个索引值的条目,该索引字段引用一个值元组表,该值包含具有索引值的每个元组,该行用于标识具有该索引值的元组表的元组。 在使用值添加到元组表的新元组之后,通过将值表中的条目锁定,更新该值的值 - 元组表,然后解锁该条目来更新该索引。 当访问用于定位具有值的元组的索引时,访问器将该值锁定在值表中的值,使用value-tuple表来定位元组,并解锁该条目。

    CROSS-THREAD EXCEPTION HANDLING
    50.
    发明申请
    CROSS-THREAD EXCEPTION HANDLING 有权
    跨线程例外处理

    公开(公告)号:US20150169388A1

    公开(公告)日:2015-06-18

    申请号:US14133384

    申请日:2013-12-18

    Applicant: Cray Inc.

    CPC classification number: G06F9/542 G06F2209/481

    Abstract: A system for providing cross-exception event handling is provided. The system allows a source thread to throw an event (e.g., exception) as part of structured event handling of a programming language that specifies a target thread. When the event is thrown, the source thread starts a handler thread to handle the event in a current context of the target thread. The handler thread is passed an indication of the event and the target thread and sets its context to be consistent with that of handling events in the target thread. The handler thread then handles the event. The source thread may continue its execution in parallel or may terminate its execution as specified in a statement that threw the event. Execution of the target thread may be aborted and its execution continued at an exit statement of an enclosing structured event handling construct—as specified when the event was thrown.

    Abstract translation: 提供了一种用于提供跨异常事件处理的系统。 该系统允许源线程抛出事件(例如,异常)作为指定目标线程的编程语言的结构化事件处理的一部分。 当事件被抛出时,源线程启动处理程序线程来处理目标线程的当前上下文中的事件。 处理程序线程传递事件和目标线程的指示,并将其上下文设置为与目标线程中处理事件的上下文一致。 处理程序线程然后处理事件。 源线程可以并行地继续其执行,或者可以终止其在抛出事件的语句中指定的执行。 目标线程的执行可能会被中止,并且在执行结束事件处理结构的exit语句时继续执行,如抛出该事件所指定的那样。

Patent Agency Ranking