会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Commit rate management with decoupled commit operations
    • 具有解耦提交操作的提交率管理
    • US08140478B2
    • 2012-03-20
    • US12362169
    • 2009-01-29
    • Alastair WolmanJohn DunaganJohn Carleton McCulloughBruce W. CopelandJeremy L. Dewey
    • Alastair WolmanJohn DunaganJohn Carleton McCulloughBruce W. CopelandJeremy L. Dewey
    • G06F7/00G06F17/30
    • G06F17/30377
    • Consistency is managed among data operations by coalescing commit operations, adjusting a commit rate to optimize latency, and converging to fairness across servers. Write operations representing a change to data stored by one or more of a plurality of computing devices are received in succession by, for example, a cloud computing service. A state of a plurality of tracking objects is adjusted to indicate whether the change in data has been provided to the computing devices and whether the change in data has been acknowledged by the computing devices. Changes to the same data are coalesced such that only the most recent change is provided to the computing devices for storage. In some embodiments, the commit rate is adjustable such that the commit rate decreases quickly but increases slowly based on measured latencies.
    • 通过合并提交操作,调整提交速率来优化延迟并在服务器之间融合到公平性,在数据操作之间管理一致性。 代表对由多个计算设备中的一个或多个计算设备存储的数据的改变的写操作由例如云计算服务连续接收。 调整多个跟踪对象的状态以指示数据的改变是否已经被提供给计算设备,以及数据的改变是否已被计算设备确认。 对相同数据的更改合并,使得只有最近的更改提供给计算设备才能进行存储。 在一些实施例中,提交速率是可调节的,使得提交速率快速降低,但是基于测量的延迟而缓慢增加。
    • 4. 发明授权
    • Test amplification for datacenter applications via model checking
    • 通过模型检查测试数据中心应用的扩展
    • US07984335B2
    • 2011-07-19
    • US12052655
    • 2008-03-20
    • Atul AdyaAlastair WolmanJohn DunaganDavid Andrew Schultz
    • Atul AdyaAlastair WolmanJohn DunaganDavid Andrew Schultz
    • G06F11/00
    • G06F11/3676G06F11/3688
    • Systems and methods are provided to determine execution errors in distributed computing environments. In an illustrative implementation, a computing environment comprises a test amplification engine and at least one instruction set to instruct the test amplification engine to process data representative of a request to perform a test for one or more execution errors in an distributed computing environment according to a selected execution error testing paradigm dependent on identifying critical sources of non-determinism for execution within the exemplary distributed computing environment. In an illustrative operation, a participating distributed computing environment operator (e.g., programmer) can cooperate with the test amplification engine to select an existing unit or integration test, instrument sources of non-determinism and to select one or more instrumentations for the unit or integration test for execution in the exemplary distributed computing environment to elicit the occurrence of one or more execution errors.
    • 提供系统和方法来确定分布式计算环境中的执行错误。 在说明性实现中,计算环境包括测试放大引擎和至少一个指令集,以指示测试放大引擎处理表示在分布式计算环境中对一个或多个执行错误进行测试的请求的数据,所述执行错误根据 选择的执行错误测试范例取决于确定在示例性分布式计算环境内执行的非确定性的关键来源。 在说明性操作中,参与分布式计算环境操作者(例如,程序员)可以与测试放大引擎配合以选择现有的单元或集成测试,非确定性的仪器源,并为单元或集成选择一个或多个仪器 测试在示例性分布式计算环境中执行以引发一个或多个执行错误的发生。
    • 9. 发明申请
    • TEST AMPLIFICATION FOR DATACENTER APPLICATIONS VIA MODEL CHECKING
    • 通过模型检查进行试验放大
    • US20090240987A1
    • 2009-09-24
    • US12052655
    • 2008-03-20
    • Atul AdyaAlastair WolmanJohn DunaganDavid Andrew Schultz
    • Atul AdyaAlastair WolmanJohn DunaganDavid Andrew Schultz
    • G06F11/00
    • G06F11/3676G06F11/3688
    • Systems and methods are provided to determine execution errors in distributed computing environments. In an illustrative implementation, a computing environment comprises a test amplification engine and at least one instruction set to instruct the test amplification engine to process data representative of a request to perform a test for one or more execution errors in an distributed computing environment according to a selected execution error testing paradigm dependent on identifying critical sources of non-determinism for execution within the exemplary distributed computing environment. In an illustrative operation, a participating distributed computing environment operator (e.g., programmer) can cooperate with the test amplification engine to select an existing unit or integration test, instrument sources of non-determinism and to select one or more instrumentations for the unit or integration test for execution in the exemplary distributed computing environment to elicit the occurrence of one or more execution errors.
    • 提供系统和方法来确定分布式计算环境中的执行错误。 在说明性实现中,计算环境包括测试放大引擎和至少一个指令集,以指示测试放大引擎处理表示在分布式计算环境中对一个或多个执行错误进行测试的请求的数据,所述执行错误根据 选择的执行错误测试范例取决于确定在示例性分布式计算环境内执行的非确定性的关键来源。 在说明性操作中,参与分布式计算环境操作者(例如,程序员)可以与测试放大引擎配合以选择现有的单元或集成测试,非确定性的仪器源,并为单元或集成选择一个或多个仪器 测试在示例性分布式计算环境中执行以引发一个或多个执行错误的发生。