公开(公告)号：US07426525B2

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

申请号：US10637308

申请日：2003-08-08

申请人： Craig P. Sayers ,  Alan H. Karp

发明人： Craig P. Sayers ,  Alan H. Karp

IPC分类号： G06F17/30

CPC分类号： G06F17/30908 ,  Y10S707/99933 ,  Y10S707/99944 ,  Y10S707/99945 ,  Y10S707/99948

摘要： Method and apparatus for establishing an identity for an object in an object description language. A set of attribute values describing the object may be read from a data storage arrangement. Respective numerical hash values may be calculated for each attribute value of the set of attribute values, and a unique identifier may be formed as a function of the numerical hash values. A reference to the object may be created as a function of the unique identifier, and the reference used to establish an identity of the object in the object description language.

摘要翻译： 用于在对象描述语言中建立对象的身份的方法和装置。 可以从数据存储装置读取描述对象的一组属性值。 可以针对属性值集合的每个属性值计算各个数值散列值，并且可以形成唯一标识符作为数值散列值的函数。 可以根据唯一标识符和用于建立对象描述语言中的对象的身份的引用来创建对对象的引用。

公开(公告)号：US07426502B2

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

申请号：US09882581

申请日：2001-06-14

申请人： Alexandre Bronstein ,  Joydip Das ,  Sharad Singhal ,  Alan H. Karp

发明人： Alexandre Bronstein ,  Joydip Das ,  Sharad Singhal ,  Alan H. Karp

IPC分类号： G06F17/00 ,  G06F19/00 ,  G06F15/16 ,  G06F15/18 ,  G06F7/00

CPC分类号： G06Q10/10 ,  G06F19/00 ,  G06Q50/22 ,  Y10S707/99945 ,  Y10S707/99948

摘要： A health assessor for assessing health of a target element within a multi-element system includes multiple sensors, each being operatively coupled to the target element to produce measures of the target element. The health assessor also includes measure collectors, each of which collects a measure from one of the sensor. In addition, the health assessor includes evaluators. Each evaluator evaluates at least a subset of all the measures collected by the measure collectors in accordance with (1) a predefined evaluation definition for the respective evaluator and (2) at least a subset of all historical measures to provide an assessment. A probabilistic reasoning network is coupled to the evaluators to receive the assessment from each of the evaluators and to combine all the assessments in accordance with a pre-configured reasoning definition so as to provide an overall health assessment of the target element. A health assessment system including the health assessor is also described.

摘要翻译： 用于评估多元件系统内的目标元件的健康的健康评估者包括多个传感器，每个传感器可操作地耦合到目标元件以产生目标元件的测量。 健康评估员还包括测量收集器，每个收集器从传感器之一收集测量值。 此外，健康评估员还包括评估人员。 每个评估者至少对由度量收集者收集的所有措施的子集进行评估，该方法按照（1）相应评估者的预定义评估定义，以及（2）提供评估的所有历史测量的至少一个子集。 概率推理网络与评估者相结合，以从每个评估者接受评估，并根据预先配置的推理定义组合所有评估，以便对目标要素进行整体健康评估。 还描述了包括健康评估者在内的健康评估系统。

公开(公告)号：US07383306B2

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

申请号：US10632402

申请日：2003-07-31

申请人： Alan H. Karp

发明人： Alan H. Karp

IPC分类号： G06F15/16

CPC分类号： H04L51/12

摘要： A system and method for increasing message transaction costs is disclosed. One basic embodiment of the method includes the elements of: receiving over a data link a request to route a message to a recipient address; calculating a delay period, in response to the request; dropping the data link; receiving over the data link a next request to route a message to a recipient address; dropping the data link, if the next request was received during the delay period; and routing the message referenced in the next request to the recipient address, if the delay period has expired. The system of the present invention, includes all means for implementing the method.

摘要翻译： 公开了一种用于增加消息交易成本的系统和方法。 该方法的一个基本实施例包括以下要素：通过数据链路接收将消息路由到接收者地址的请求; 根据请求计算延迟期; 删除数据链接; 通过数据链路接收将消息路由到接收者地址的下一个请求; 丢弃数据链路，如果延迟期间接收到下一个请求; 并且如果延迟期已经到期，则将下一个请求中引用的消息路由到接收方地址。 本发明的系统包括实现该方法的所有方法。

公开(公告)号：US06578059B1

公开(公告)日：2003-06-10

申请号：US09169669

申请日：1998-10-10

申请人： Jerome C. Huck ,  Peter Markstein ,  Glenn T. Colon-Bonet ,  Alan H. Karp ,  Roger Golliver ,  Michael Morrison ,  Gautam B. Doshi

发明人： Jerome C. Huck ,  Peter Markstein ,  Glenn T. Colon-Bonet ,  Alan H. Karp ,  Roger Golliver ,  Michael Morrison ,  Gautam B. Doshi

IPC分类号： G06F748

CPC分类号： G06F9/3865 ,  G06F7/483 ,  G06F7/49905 ,  G06F7/49942 ,  G06F9/30014 ,  G06F9/30094 ,  G06F9/30101 ,  G06F9/30105 ,  G06F9/30123 ,  G06F2207/382

摘要： A floating-point unit of a computer includes a floating-point computation unit, floating-point registers and a floating-point status register. The floating-point status register may include a main status field and one or more alternate status fields. Each of the status fields contains flag and control information. Different floating-point operations may be associated with different status fields. Subfields of the floating-point status register may be updated dynamically during operation. The control bits of the alternate status fields may include a trap disable bit for deferring interruptions during speculative execution. A widest range exponent control bit in the status fields may be used to prevent interruptions when the exponent of an intermediate result is within the range of the register format but exceeds the range of the memory format. The floating-point data may be stored in big endian or little endian format.

摘要翻译： 计算机的浮点单元包括浮点计算单元，浮点寄存器和浮点状态寄存器。 浮点状态寄存器可以包括主状态字段和一个或多个备用状态字段。 每个状态字段都包含标志和控制信息。 不同的浮点运算可能与不同的状态字段相关联。 浮点状态寄存器的子字段可以在操作期间动态更新。 替代状态字段的控制位可以包括用于在推测执行期间推迟中断的陷阱禁止位。 当中间结果的指数在寄存器格式的范围内但超出存储器格式的范围时，可以使用状态字段中的最大范围指数控制位来防止中断。 浮点数据可以以大端或小端格式存储。

公开(公告)号：US06301705B1

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

申请号：US09164327

申请日：1998-10-01

申请人： Gautam B. Doshi ,  Peter Markstein ,  Alan H. Karp ,  Jerome C. Huck ,  Glenn T. Colon-Bonet ,  Michael Morrison

发明人： Gautam B. Doshi ,  Peter Markstein ,  Alan H. Karp ,  Jerome C. Huck ,  Glenn T. Colon-Bonet ,  Michael Morrison

IPC分类号： G06F945

CPC分类号： G06F9/3865 ,  G06F9/3842

摘要： The present invention is generally directed to a system and method for supporting speculative execution of an instruction set for a central processing unit (CPU) including non-speculative and speculative instructions. In accordance with one aspect of the invention a method includes the steps of evaluating the instructions of the program to determine whether the individual instructions are speculative or non-speculative, and assessing each of the speculative instructions to determine whether it generates an exception. For each of the speculative instructions that generates an exception, the method then encode a deferred exception token (DET) into an unused register value of a register of the CPU. In accordance with another aspect of the invention, a system is provided, which system includes circuitry configured to evaluate the instructions of the instruction set to determine whether the individual instructions are speculative or non-speculative. The system further includes circuitry configured to assess each of the speculative instructions to determine whether it generates an exception. Finally, the system further includes circuitry configured to encode a deferred exception token (DET) into an unused register value of a register of the (CPU.

摘要翻译： 本发明一般涉及用于支持对包括非投机和推测指令的中央处理单元（CPU）的指令集的推测性执行的系统和方法。 根据本发明的一个方面，一种方法包括以下步骤：评估程序的指令以确定各个指令是推测性还是非推测性的，并且评估每个推测性指令以确定其是否产生异常。 对于产生异常的每个推测性指令，该方法然后将延迟异常令牌（DET）编码为CPU的寄存器的未使用的寄存器值。 根据本发明的另一方面，提供了一种系统，该系统包括被配置为评估指令集的指令以确定各个指令是推测性还是非推测性的电路。 系统还包括被配置为评估每个推测性指令以确定其是否产生异常的电路。 最后，系统还包括被配置为将延迟异常令牌（DET）编码为（CPU的）寄存器的未使用寄存器值的电路。

公开(公告)号：US5748936A

公开(公告)日：1998-05-05

申请号：US655655

申请日：1996-05-30

申请人： Alan H. Karp ,  Rajendra Kumar

发明人： Alan H. Karp ,  Rajendra Kumar

IPC分类号： G06F9/38 ,  G06F15/16

CPC分类号： G06F9/3865 ,  G06F9/30072 ,  G06F9/3842

摘要： To support speculative execution in a processor, a speculative look aside table stores information about deferred exceptions. Labels attached to predicates in the predicate register file of the processor serve as indices to a speculative look aside table. When an exception is generated for a speculative operation, the speculative look aside table is updated. Deferred exceptions are detected and handled when the processor reads the corresponding entry in the speculative look aside table during an explicit or implicit check operation.

摘要翻译： 为了支持处理器中的推测性执行，推测外观表存储有关延迟异常的信息。 附加到处理器的谓词寄存器文件中的谓词的标签作为投机看待表的索引。 当为推测操作生成异常时，推测外观表被更新。 当处理器在显式或隐式检查操作期间读取推测性外观表中的相应条目时，检测和处理延迟异常。

公开(公告)号：US5710881A

公开(公告)日：1998-01-20

申请号：US755686

申请日：1996-11-25

申请人： Rajiiv Gupta ,  Alan H. Karp

发明人： Rajiiv Gupta ,  Alan H. Karp

IPC分类号： G06F9/52 ,  G06F12/00 ,  G06F12/06 ,  G06F12/08 ,  G06F15/16 ,  G06F15/167

CPC分类号： G06F12/0815 ,  G06F12/0804 ,  G06F15/161 ,  G06F15/167 ,  G06F12/0817

摘要： In a shared memory multiprocessing computer system, multiple processors can cache copies of a shared data block in their local cache memories and independently modify their cached copies. The cached copies are later merged in a global memory with the shared data block. With each cached copy, a bitmask consisting of a plurality of flags associated with elements of the cached copy also is stored in the local memories. A local memory controller tracks which elements of the cached copies are modified by setting the bitmask flags associated with such elements. When merging, only modified elements of the cached copies are stored in the originating data block as indicated by the bitmask flags.

摘要翻译： 在共享存储器多处理计算机系统中，多个处理器可以将本地缓存存储器中的共享数据块的副本缓存并且独立地修改其缓存的副本。 缓存的副本稍后在共享数据块的全局内存中合并。 对于每个缓存副本，由与缓存副本的元素相关联的多个标志组成的位掩码也存储在本地存储器中。 本地存储器控制器通过设置与这些元素相关联的位掩码标志来跟踪缓存副本的哪些元素被修改。 合并时，只有缓存副本的已修改元素存储在始发数据块中，如位掩码标志所示。