公开(公告)号：US11294905B2

公开(公告)日：2022-04-05

申请号：US16724927

申请日：2019-12-23

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/2458 ,  G06F16/22 ,  G06F16/2455

Abstract: A set of queries on a collection of data records is received. A set of subconditions required to support the set of queries is determined. An index table is maintained, wherein an entry in the index table indicates a subcondition status associated with a data record in the collection of data records. A specific query is received indicating a specified set of subcondition statuses. The specified set of subcondition statuses is matched against the index table. A result set is returned corresponding to matched rows in the index table, wherein the matched rows match the specified set of subcondition statuses.

公开(公告)号：US11232096B2

公开(公告)日：2022-01-25

申请号：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.

公开(公告)号：US10853157B2

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

申请号：US16038067

申请日：2018-07-17

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/00 ,  G06F11/07 ,  G06F11/34 ,  G06F11/30

Abstract: Logging includes: obtaining an event designating message (EDM) comprising: a set of keys, or a type of designation corresponding to the set of keys, or both; looking up a set of values associated with the set of keys in a key-value store storing a plurality of keys and their corresponding values; constructing an event using the set of keys and values corresponding to the set of keys; and outputting the constructed event.

公开(公告)号：US10761921B2

公开(公告)日：2020-09-01

申请号：US15973847

申请日：2018-05-08

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

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

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.

公开(公告)号：US20200218725A1

公开(公告)日：2020-07-09

申请号：US16724927

申请日：2019-12-23

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F16/2455 ,  G06F16/22 ,  G06F16/2458

Abstract: A set of queries on a collection of data records is received. A set of subconditions required to support the set of queries is determined. An index table is maintained, wherein an entry in the index table indicates a subcondition status associated with a data record in the collection of data records. A specific query is received indicating a specified set of subcondition statuses. The specified set of subcondition statuses is matched against the index table. A result set is returned corresponding to matched rows in the index table, wherein the matched rows match the specified set of subcondition statuses.

公开(公告)号：US20170024272A1

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

申请号：US15174821

申请日：2016-06-06

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F11/07

CPC classification number: G06F11/0706 ,  G06F11/0775 ,  G06F11/3065 ,  G06F11/34 ,  G06F11/3476 ,  G06F2201/86

Abstract: Logging includes: obtaining an event designating message (EDM) comprising: a set of keys, or a type of designation corresponding to the set of keys, or both; looking up a set of values associated with the set of keys in a key-value store storing a plurality of keys and their corresponding values; constructing an event using the set of keys and values corresponding to the set of keys; and outputting the constructed event.

Abstract translation: 记录包括：获得事件指定消息（EDM），包括：一组密钥，或与该组密钥对应的一种指定的类型，或两者; 查找与存储多个键的键值存储库中的该组密钥相关联的一组值及其对应的值; 使用与该组密钥相对应的一组键和值来构造事件; 并输出构造的事件。

公开(公告)号：US09317549B2

公开(公告)日：2016-04-19

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

公开(公告)号：US09262135B2

公开(公告)日：2016-02-16

申请号：US14310204

申请日：2014-06-20

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06F9/45 ,  G06F9/455

CPC classification number: G06F8/40 ,  G06F8/423 ,  G06F8/427 ,  G06F9/45504 ,  G06F9/45508

Abstract: A programming language is extended to have embedded interpretive types (EIT) that define objects and variables to be resolved at translation time. A variable or data element having a type that is one of the EITs is referred to as an embedded interpretive variable (EIV). A control construct containing an EIV is interpreted (i.e. executed) at translation time.

Abstract translation: 一种编程语言被扩展为具有定义要在转换时解析的对象和变量的嵌入式解释类型（EIT）。 具有作为EIT之一的类型的变量或数据元素被称为嵌入式解释变量（EIV）。 包含EIV的控制结构在翻译时被解释（即执行）。

公开(公告)号：US20140108642A1

公开(公告)日：2014-04-17

申请号：US13652119

申请日：2012-10-15

Applicant: OPTUMSOFT, INC.

Inventor： David R. Cheriton ,  Hugh W. Holbrook

IPC: G06F15/173

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

公开(公告)号：US20240086724A1

公开(公告)日：2024-03-14

申请号：US18243631

申请日：2023-09-07

Applicant: OptumSoft, Inc.

Inventor： David R. Cheriton

IPC: G06N5/01

CPC classification number: G06N5/01

Abstract: A ruleset is structured to satisfy a restrictive inheritance requirement. A rule is selected from a set of matched rules with no successor, wherein the set of matched rules is a subset of the ruleset. A rule action associated with this selected rule is output. Input is received from a sensor. A physical actuator is controlled based at least in part on the input from the sensor and the rule action associated with this selected rule.