Programming model to detect deadlocks in concurrent programs
    26.
    发明授权
    Programming model to detect deadlocks in concurrent programs 有权
    编程模型来检测并发程序中的死锁

    公开(公告)号:US07703077B2

    公开(公告)日:2010-04-20

    申请号:US10136596

    申请日:2002-04-30

    CPC classification number: G06F9/546

    Abstract: Described are embodiments for developing a message-passing application program. The program is constructed using stages having a plurality of asynchronous functions, or operations. The operations communicate with other operations of other message-passing programs in a distributed computing environment. The operations also communicate with other operations on other stages of the message-passing application. In order to reduce deadlock errors, a behavioral type signature is appended to the declaration of each operation of the message-passing application program. The behavioral type signature specifies behavioral properties for each operation, such as when an operation should send a message to another operation. A type checker utilizes typing rules and the behavioral type signature to extract an implementation model of each function. The type checker then compares the implementation model to the behavioral type signature to determine whether the asynchronous function conforms to the behavioral type signature.

    Abstract translation: 描述了用于开发消息传递应用程序的实施例。 该程序使用具有多个异步功能或操作的级构成。 这些操作与分布式计算环境中的其他消息传递程序的其他操作进行通信。 这些操作还与消息传递应用程序的其他阶段的其他操作进行通信。 为了减少死锁错误,行为类型签名附加到消息传递应用程序的每个操作的声明中。 行为类型签名指定每个操作的行为属性,例如操作应该向另一个操作发送消息。 类型检查器利用打字规则和行为类型签名来提取每个功能的实现模型。 类型检查器然后将实现模型与行为类型签名进行比较,以确定异步函数是否符合行为类型签名。

    Virtual machine for operating N-core application on M-core processor
    30.
    发明申请
    Virtual machine for operating N-core application on M-core processor 有权
    用于在M核处理器上运行N核应用的虚拟机

    公开(公告)号:US20070282572A1

    公开(公告)日:2007-12-06

    申请号:US11445980

    申请日:2006-06-01

    Applicant: James R. Larus

    Inventor: James R. Larus

    CPC classification number: G06F9/5066 G06F9/5077

    Abstract: A virtual machine is instantiated on an M-core processor, and an N-core application is instantiated on the virtual machine such that the virtual machine emulates an N-core processor to the N-core application. Thus, the virtual machine hides difference between the N cores expected by the application and the M cores available from the processor.

    Abstract translation: 在M核处理器上实例化虚拟机,并在虚拟机上实例化N核应用程序,以使虚拟机将N核处理器模拟到N核应用程序。 因此,虚拟机隐藏应用程序所期望的N个内核与从处理器可用的M个核心之间的差异。

Patent Agency Ranking