公开(公告)号：US20200081882A1

公开(公告)日：2020-03-12

申请号：US16562321

申请日：2019-09-05

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/23 ,  G06F16/901

Abstract: Automatically generating a rule set implementation is disclosed. A set of rules is accessed. For each non-const rule in the set of rules, one or more implication directed acyclic graphs (DAGs) are constructed. The non-const rule directly causes at least one external output or at least one external action. The one or more implication DAGs specify rule conditions, including one or more observable rule conditions. Implication DAGs that are constructed for the set of rules are compiled to obtain a compiled result that is configured to evaluate rule conditions associated with the set of rules and determine one or more actions when at least one of the rule conditions evaluates to true. The compiled result is output.

公开(公告)号：US20190294486A1

公开(公告)日：2019-09-26

申请号：US16358513

申请日：2019-03-19

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/07 ,  G06F16/2455 ,  G06F16/248

Abstract: A set of observed symptoms of a physical system is received. The set of observed symptoms is matched with a database of fault scenarios to generate a plurality of matched fault scenarios, wherein the database of fault scenarios comprises combinations of symptoms and corresponding root cause identifiers. The plurality of matched fault scenarios are refined. It is determined whether a first fault scenario of the plurality of matched fault scenarios is to be subsumed by a second fault scenario. In response to a determination that the first fault scenario of the plurality of matched fault scenarios is to be subsumed by a second fault scenario, the second fault scenario is included in the plurality of matched fault scenarios, the first fault scenario is deprioritized, or both. The plurality of matched fault scenarios as potential root causes is output.

公开(公告)号：US20190163551A1

公开(公告)日：2019-05-30

申请号：US15973847

申请日：2018-05-08

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/07 ,  G06F11/30 ,  H04L12/24

Abstract: A plurality of potential fault scenarios are accessed, wherein a given potential fault scenario of the plurality of potential fault scenarios has at least one corresponding root cause, and a representation of the given potential fault scenario comprises a don't care value. An actual fault scenario from telemetry received from a monitored system is generated. The actual fault scenario is matched against the plurality of potential fault scenarios. One or more matched causes are output as one or more probable root cause failures of the monitored system.

公开(公告)号：US09547533B2

公开(公告)日：2017-01-17

申请号：US13652119

申请日：2012-10-15

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton ,  Hugh W. Holbrook

IPC: G06F15/173 ,  G06F9/54

CPC classification number: H04L47/125 ,  G06F9/542 ,  H04L47/25 ,  H04L47/30

Abstract: Improved utilization of connections that can be either available or blocked is provided by associating an atemporal connection state with each connection. If a connection is available, messages are transmitted on the connection normally. If a connection is blocked, the atemporal connection state is updated to reflect the changes that were made but not transmitted. In this manner, a record is kept that allows correct transmission of the information when the connection comes back up. More specifically, after a connection status changes from blocked to available, recovery messages are automatically generated from the atemporal connection state and transmitted on the connection.

Abstract translation: 通过将不同时间的连接状态与每个连接相关联，可以提高可用或阻塞的连接的利用率。 如果连接可用，消息将在连接上正常传输。 如果连接被阻止，则时间连接状态被更新以反映所做的但不被发送的改变。 以这种方式，保留当连接重新启动时允许信息的正确传输的记录。 更具体地说，在连接状态从阻塞状态变为可用状态之后，恢复消息将从时间连接状态自动生成并在连接上传输。

公开(公告)号：US20150261670A1

公开(公告)日：2015-09-17

申请号：US14640868

申请日：2015-03-06

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F12/02 ,  G06F11/14

CPC classification number: G06F12/0261 ,  G06F11/1438

Abstract: Memory reclamation includes executing a process that has a plurality of objects, the objects being accessible via a plurality of references, at least some of the plurality of references being transient references, at least some of the plurality of references being persistent references; reaching a reclamation point at which a process state has no transient references, or has transient references only at known locations; and at the reclamation point, destructing objects that have no persistent references and no transient references.

Abstract translation: 存储器回收包括执行具有多个对象的进程，所述对象可经由多个引用访问，所述多个引用中的至少一些是暂时引用，所述多个引用中的至少一些是持久引用; 达到处理状态没有暂时性引用的回收点，或只在已知位置具有暂时参照; 并且在回收点，破坏没有持久引用和暂时引用的对象。

公开(公告)号：US20140379658A1

公开(公告)日：2014-12-25

申请号：US13926186

申请日：2013-06-25

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F17/30

CPC classification number: G06F17/30371 ,  G06F17/30353 ,  G06F17/30377 ,  G06F17/30575

Abstract: Efficient processing of concurrent atomic transactions is provided by identifying the constraints that need to be satisfied for correct application behavior. With these constraints identified, commit processing for a transaction can then refer to the constraints to see if committing the current transaction causes a problem with the constraints. If there is a conflict with the constraints, the transaction aborts. If there is no conflict with the constraints, the transaction commits.

Abstract translation: 通过识别需要满足正确应用行为的约束来提供并发原子事务的高效处理。 通过识别这些约束，事务的提交处理可以引用约束来查看提交当前事务是否导致约束的问题。 如果与约束有冲突，则事务中止。 如果与约束没有冲突，则事务提交。