利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

13 条记录 (耗时 0.012 秒)

    Deploying an operating system
    2.
    发明授权
    Deploying an operating system 有权
    部署操作系统

    公开(公告)号：US08996667B2

    公开(公告)日：2015-03-31

    申请号：US13083217

    申请日：2011-04-08

    申请人： David Clerc ,  Jacques Fontignie ,  Luis Garces-Erice ,  Claudio Marinelli ,  John G. Rooney

    发明人： David Clerc ,  Jacques Fontignie ,  Luis Garces-Erice ,  Claudio Marinelli ,  John G. Rooney

    IPC分类号： G06F15/177 ,  G06F9/445 ,  G06F9/44

    CPC分类号： G06F9/4416 ,  G06F8/63

    摘要： A method for deploying an operating system onto a client system includes, with the client system, receiving a bootloader image from an external device in response to a request for the bootloader image and installing the bootloader. The installed bootloader is configured to provide a streaming function from the client system to both a client repository of the client system and a remote data repository and selectively redirect requests for a block of data to one of: the client repository and the remote data repository. The method further includes, with the client system, during operation of a function of the operating system, making a request for a data block of the operating system, the data block including the function, and receiving the data block from one of: the client repository and the remote repository based on availability information.

    摘要翻译： 用于将操作系统部署到客户端系统上的方法包括：响应于对引导加载程序映像的请求并安装引导加载程序，客户机系统从外部设备接收引导加载程序映像。 安装的引导加载程序被配置为提供从客户端系统到客户端系统的客户端存储库和远程数据存储库的流式传输功能，并且将对数据块的请求选择性地重定向到客户端存储库和远程数据存储库之一。 该方法还包括与客户端系统在操作操作系统的功能期间，对操作系统的数据块进行请求，该数据块包括该功能，以及从以下之一接收数据块：客户端 存储库和基于可用性信息的远程存储库。

    PRACTICAL CONTENTION-FREE DISTRIBUTED WEIGHTED FAIR-SHARE SCHEDULER
    3.
    发明申请
    PRACTICAL CONTENTION-FREE DISTRIBUTED WEIGHTED FAIR-SHARE SCHEDULER 失效
    实用无限制分配加权公平分配器

    公开(公告)号：US20100211954A1

    公开(公告)日：2010-08-19

    申请号：US12372056

    申请日：2009-02-17

    申请人： Daniel N. Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice

    发明人： Daniel N. Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice

    IPC分类号： G06F9/46

    CPC分类号： G06F9/4881 ,  G06F2209/483

    摘要： Embodiments of the invention provide a method, system and computer program product for scheduling tasks in a computer system. In an embodiment, the method comprises receiving a multitude of sets of tasks, and placing the tasks in one or more task queues. The tasks are taken from the one or more task queues and placed in a priority queue according to a first rule. The tasks in the priority queue are assigned to a multitude of working threads according to a second rule based, in part, on share values given to the tasks. In an embodiment, the tasks of each of the sets are placed in a respective one task queue; and all of the tasks in the priority queue from each of the task queues, are assigned as a group to one of the working threads.

    摘要翻译： 本发明的实施例提供了一种用于在计算机系统中调度任务的方法，系统和计算机程序产品。 在一个实施例中，该方法包括接收多组任务，并将任务放置在一个或多个任务队列中。 这些任务取自一个或多个任务队列，并根据第一个规则放置在优先级队列中。 优先级队列中的任务根据第二规则分配给多个工作线程，部分基于给定给任务的共享值。 在一个实施例中，每个集合的任务被放置在相应的一个任务队列中; 并且来自每个任务队列的优先级队列中的所有任务被分配为一个工作线程。

    METHOD FOR DATA DELIVERY IN A NETWORK
    4.
    发明申请
    METHOD FOR DATA DELIVERY IN A NETWORK 有权
    网络中数据传送的方法

    公开(公告)号：US20090064177A1

    公开(公告)日：2009-03-05

    申请号：US12192622

    申请日：2008-08-15

    申请人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    发明人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    IPC分类号： G06F9/46

    CPC分类号： H04L49/9063 ,  G06F9/544 ,  G06F9/545 ,  H04L69/08

    摘要： The present invention relates to a method of delivering data from a sender application to at least one receiver application that are arranged in a protocol stack comprising: underlying the sender application a sender messaging layer and a sender transport layer, and underlying the receiver application, a receiver messaging layer and a receiver transport layer, wherein the sender transport layer and the receiver transport layer are coupled by way of a network layer, the method comprising the steps of: incorporating a sender intermediate layer between the sender messaging layer and the sender transport layer and a receiver intermediate layer between the receiver messaging layer and the receiver transport layer; configuring the interface characteristics of the intermediate layers to be the same as for their corresponding transport layers; creating a sender queue in a non-volatile data storage component of the sender intermediate layer and a receiver queue in a non-volatile data storage component of the receiver intermediate layer, storing the data to be sent from the sender application to the receiver application in the sender queue, and transmitting the data stored in the sender queue to the receiver queue via the sender transport layer and the receiver transport layer.

    摘要翻译： 本发明涉及一种将数据从发送方应用程序传送到布置在协议栈中的至少一个接收方应用程序的方法，包括：在发送方应用程序下方，发送方消息层和发送方传输层，以及接收方应用程序的底层， 接收器消息层和接收机传输层，其中所述发送器传输层和所述接收机传输层通过网络层耦合，所述方法包括以下步骤：在所述发送者消息层和所述发送者传输层之间结合发送方中间层 以及接收机消息传送层和接收机传输层之间的接收机中间层; 将中间层的界面特性配置为与其相应的传输层相同; 在发送器中间层的非易失性数据存储部件中创建发送者队列，以及在接收器中间层的非易失性数据存储部件中接收队列，将要从发送方应用程序发送的数据存储到接收方应用程序 发送方队列，并通过发送方传输层和接收方传输层将存储在发送方队列中的数据发送到接收方队列。

    Method for data delivery in a network
    5.
    发明授权
    Method for data delivery in a network 有权
    网络中数据传送的方法

    公开(公告)号：US08997115B2

    公开(公告)日：2015-03-31

    申请号：US12192622

    申请日：2008-08-15

    申请人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    发明人： Daniel N. Bauer ,  Luis Garces-Erice ,  John G. Rooney ,  Paolo Scotton

    IPC分类号： G06F13/00 ,  G01R31/08 ,  G06F9/54

    CPC分类号： H04L49/9063 ,  G06F9/544 ,  G06F9/545 ,  H04L69/08

    摘要： A method for transmitting data between a sender queue of a sender intermediate layer of a protocol stack and a receiver queue of a receiver intermediate layer of the protocol stack implemented with a sliding window protocol. The method includes receiving a data message or a collection of data messages from a sender messaging layer; tagging the data message or the collection of data messages with a unique identifier; writing the data message or the collection of data messages tagged with the unique identifier as a data window in the sender queue; transmitting a front data window of the sender queue to the receiver queue; receiving a single receipt-acknowledgement message after the receiver transport layer has received all of the front data window; and receiving a commit-acknowledgement message after the receiver messaging layer has read from the receiver intermediate layer all of the front data window.

    摘要翻译： 一种用于在协议栈的发送器中间层的发送器队列与用滑动窗口协议实现的协议栈的接收器中间层的接收器队列之间传送数据的方法。 该方法包括从发送者消息层接收数据消息或数据消息的集合; 使用唯一标识符标记数据消息或数据消息的集合; 将所述数据消息或者以所述唯一标识符标记的数据消息的集合写入所述发送者队列中的数据窗口; 将发送方队列的前端数据窗口发送到接收者队列; 在接收器传输层已经接收到所有前端数据窗口之后接收单个接收确认消息; 并且在接收器消息层从所有前端数据窗口的接收器中间层读取之后接收提交确认消息。

    System and method for demonstrating the correctness of an execution trace in concurrent processing environments
    6.
    发明授权
    System and method for demonstrating the correctness of an execution trace in concurrent processing environments 失效
    用于演示并发处理环境中执行跟踪的正确性的系统和方法

    公开(公告)号：US08413122B2

    公开(公告)日：2013-04-02

    申请号：US12370048

    申请日：2009-02-12

    申请人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    发明人： Kristijan Dragicevic ,  Luis Garces-Erice ,  Daniel Nikolaus Bauer

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3636

    摘要： Since multi-core processors have become the standard architecture for general purpose machines, programmers are required to write software optimized for parallelism. Verification of correctness is an important issue for parallel code because of its complexity. There are still tools missing that provide verification for complex code, such as testing the execution of code provides. Consequently, described herein are systems and methods to evaluate the correctness of program traces. Furthermore, the systems and methods described herein do not demand excessive computational requirements and the size of the program trace being evaluated increases.

    摘要翻译： 由于多核处理器已成为通用机器的标准架构，因此程序员需要编写针对并行化优化的软件。 验证正确性是并行代码的一个重要问题，因为它的复杂性。 还有一些工具缺少提供复杂代码的验证，例如测试代码提供的执行。 因此，这里描述了评估程序轨迹的正确性的系统和方法。 此外，本文所述的系统和方法不要求过多的计算需求，并且正在评估的程序跟踪的大小增加。

    DISTRIBUTED SERVER ELECTION WITH IMPERFECT CLOCK SYNCHRONIZATION
    7.
    发明申请
    DISTRIBUTED SERVER ELECTION WITH IMPERFECT CLOCK SYNCHRONIZATION 有权
    分布式服务器选择与不正确的时钟同步

    公开(公告)号：US20100211696A1

    公开(公告)日：2010-08-19

    申请号：US12372048

    申请日：2009-02-17

    申请人： Daniel N. Bauer ,  Luis Garces-Erice ,  Urs Hunkeler

    发明人： Daniel N. Bauer ,  Luis Garces-Erice ,  Urs Hunkeler

    IPC分类号： G06F15/173 ,  G06F1/08

    CPC分类号： H04L67/1095 ,  G06Q10/06 ,  H04L41/0886 ,  H04L63/10 ,  H04L67/1008

    摘要： Embodiments of the invention provide a method, system, and computer program product for selecting a server as a selected server for performing a specified function in a distributed computing system. In one embodiment, the method comprises identifying a group of servers in the system; and choosing as the selected server the server that has been in the system the longest. In one embodiment, each of the servers in the group has a respective contention period, during which the server sends a contention message, and the selected server is chosen using these contention messages. The servers in the group may have imperfect clock synchronization. In this case, the contention periods of the servers is kept greater than the maximum difference between the server clocks. The invention may be used to select a name server, or to select a server for another service.

    摘要翻译： 本发明的实施例提供了一种用于选择服务器作为在分布式计算系统中执行指定功能的选定服务器的方法，系统和计算机程序产品。 在一个实施例中，该方法包括识别系统中的一组服务器; 并选择系统中最长的服务器作为所选服务器。 在一个实施例中，组中的每个服务器具有相应的竞争时段，服务器在此期间发送争用消息，并且使用这些争用消息选择所选择的服务器。 组中的服务器可能具有不完美的时钟同步。 在这种情况下，服务器的争用周期保持大于服务器时钟之间的最大差异。 本发明可以用于选择名称服务器，或者为另一服务选择服务器。

    Semantic Matching of Federation Intents and Services Capabilities in a Planning System for Automatic Service Federation
    8.
    发明申请
    Semantic Matching of Federation Intents and Services Capabilities in a Planning System for Automatic Service Federation 失效
    自动服务联合会规划系统中联盟意图和服务能力的语义匹配

    公开(公告)号：US20110238795A1

    公开(公告)日：2011-09-29

    申请号：US12732441

    申请日：2010-03-26

    申请人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    发明人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    IPC分类号： G06F15/177

    CPC分类号： H04L67/2838

    摘要： A method, device, and computer program product are provided for automatically generating connectivity configuration between domains by a device. A rule is received by the device. The rule is read by the device to determine a first domain invoking a service, a second domain having the service, and connectivity requirements for the first and second domains. A first proxy and a second proxy are automatically determined to fulfill the rule by the device. The first proxy is automatically assigned to the first domain and the second proxy is automatically assigned to the second domain.

    摘要翻译： 提供了一种方法，设备和计算机程序产品，用于通过设备自动生成域之间的连接配置。 设备接收到一条规则。 该规则由设备读取以确定调用服务的第一域，具有该服务的第二域以及第一域和第二域的连接性要求。 自动确定第一代理和第二代理以实现设备的规则。 第一个代理自动分配给第一个域，第二个代理自动分配给第二个域。

    Semantic matching of federation intents and services capabilities in a planning system for automatic service federation
    10.
    发明授权
    Semantic matching of federation intents and services capabilities in a planning system for automatic service federation 失效
    自动服务联盟规划系统中联盟意图和服务能力的语义匹配

    公开(公告)号：US08250185B2

    公开(公告)日：2012-08-21

    申请号：US12732441

    申请日：2010-03-26

    申请人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    发明人： Daniel Bauer ,  Kristijan Dragicevic ,  Luis Garces-Erice ,  Minkyong Kim ,  Hui Lei ,  Hao Yang

    IPC分类号： G06F15/177

    CPC分类号： H04L67/2838

    摘要： A method, device, and computer program product are provided for automatically generating connectivity configuration between domains by a device. A rule is received by the device. The rule is read by the device to determine a first domain invoking a service, a second domain having the service, and connectivity requirements for the first and second domains. A first proxy and a second proxy are automatically determined to fulfill the rule by the device. The first proxy is automatically assigned to the first domain and the second proxy is automatically assigned to the second domain.

    摘要翻译： 提供了一种方法，设备和计算机程序产品，用于通过设备自动生成域之间的连接配置。 设备接收到一条规则。 该规则由设备读取以确定调用服务的第一域，具有该服务的第二域以及第一域和第二域的连接性要求。 自动确定第一代理和第二代理以实现设备的规则。 第一个代理自动分配给第一个域，第二个代理自动分配给第二个域。