Patents by Inventor David R. Cheriton

David R. Cheriton has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Publication number: 20220100738
    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.
    Type: Application
    Filed: December 10, 2021
    Publication date: March 31, 2022
    Inventor: David R. Cheriton
  • Patent number: 11232096
    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.
    Type: Grant
    Filed: September 5, 2019
    Date of Patent: January 25, 2022
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Patent number: 11232026
    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.
    Type: Grant
    Filed: July 11, 2019
    Date of Patent: January 25, 2022
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Publication number: 20210240148
    Abstract: Possible input value combinations of a prediction of an engineered system are iterated over, comprising, for a possible input value combination: selecting an action to perform on the engineered system for the possible input value combination, comprising: performing a plurality of predictions of the engineered system scored by evaluating an objective function associated with the engineered system and using the possible input value combination and a corresponding plurality of actions. The action is selected from the corresponding plurality of actions, the selection being based at least in part on scores of the plurality of predictions. A rule specifying a corresponding set of one or more rule conditions that is met when the possible input value combination is matched and a corresponding action associated with the rule as a selected action is generated. The generated set of rules to be stored or further processed is output.
    Type: Application
    Filed: January 22, 2021
    Publication date: August 5, 2021
    Inventor: David R. Cheriton
  • Patent number: 10949285
    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.
    Type: Grant
    Filed: March 19, 2019
    Date of Patent: March 16, 2021
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Publication number: 20200409782
    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.
    Type: Application
    Filed: July 29, 2020
    Publication date: December 31, 2020
    Inventor: David R. Cheriton
  • Patent number: 10853157
    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.
    Type: Grant
    Filed: July 17, 2018
    Date of Patent: December 1, 2020
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Patent number: 10761921
    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.
    Type: Grant
    Filed: May 8, 2018
    Date of Patent: September 1, 2020
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Publication number: 20200264900
    Abstract: Specifications are input, comprising: a plurality of lanes in an environment for a controlled system; a plurality of lane maneuvers associated with the plurality of lanes; a plurality of lane subconditions associated with the controlled system; and a rule set comprising a plurality of rules, wherein a rule in the rule set specifies a rule condition and a rule action to take when the rule condition is satisfied, wherein the rule condition comprises a corresponding set of lane subconditions, and wherein the rule action comprises a corresponding lane maneuver. The controlled system is automatically navigated dynamically, at least in part by: monitoring the plurality of lane subconditions; evaluating rule conditions associated with the plurality of rules in the rule set to determine one or more rules whose corresponding rule conditions has been met; and executing one or more lane maneuvers that correspond to the one or more determined rules.
    Type: Application
    Filed: February 19, 2020
    Publication date: August 20, 2020
    Inventor: David R. Cheriton
  • Publication number: 20200257692
    Abstract: A first set of subconditions is obtained. Approximate matching of the first set of subconditions against a plurality of sets of subconditions is performed. A second set of subconditions among the plurality of sets of subconditions is accessed, wherein a representation of a subcondition in the first set and/or the second set of subconditions comprises a value having one of a plurality of states, and wherein the plurality of states comprises a state of “don't care”. The first set of subconditions is approximately matched against the second set of subconditions. The first set of subconditions is compared against the second set of subconditions. A matching criterion is determined to be met based on a result of the matching. Information indicating that the second set of subconditions is at least an approximate match for the first set of subconditions is output.
    Type: Application
    Filed: January 22, 2020
    Publication date: August 13, 2020
    Inventor: David R. Cheriton
  • Publication number: 20200218725
    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.
    Type: Application
    Filed: December 23, 2019
    Publication date: July 9, 2020
    Inventor: David R. Cheriton
  • Publication number: 20200104255
    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.
    Type: Application
    Filed: July 11, 2019
    Publication date: April 2, 2020
    Inventor: David R. Cheriton
  • Publication number: 20200081882
    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.
    Type: Application
    Filed: September 5, 2019
    Publication date: March 12, 2020
    Inventor: David R. Cheriton
  • Patent number: 10558377
    Abstract: Providing data security includes: in response to a request to write data content to a storage, generating encrypted data content based on the data content; attempting to obtain a reference to the encrypted data content in the storage; in the event that the reference to the encrypted data content is obtained, modifying a translation line to refer to the reference to the encrypted data content in the storage; and in the event that the reference to the encrypted data content is not obtained: storing the encrypted data content at a new location; obtaining a reference to the encrypted data content stored at the new location; and modifying the translation line to refer to the reference to the encrypted data content stored at the new location.
    Type: Grant
    Filed: October 16, 2017
    Date of Patent: February 11, 2020
    Assignee: Intel Corporation
    Inventor: David R. Cheriton
  • Publication number: 20200019174
    Abstract: A set of input conditions is obtained. A plurality of potential decisions is obtained based at least in part on the set of input conditions. A rule-based system is used to process the plurality of potential decisions and obtain a set of one or more updated potential decisions, wherein: the rule-based system specifies a plurality of rules; a rule specifies a rule condition and a corresponding action, wherein when the rule condition is met, the corresponding action is to be performed; and using the rule-based system to process the plurality of potential decisions includes: for a selected potential decision in the plurality of potential decisions, determining whether the rule condition is met for a selected rule among the plurality of rules, wherein the selected rule condition is dependent on, at least in part, the selected potential decision; and in response to the selected rule condition being met, performing the corresponding action. The set of one or more updated potential decisions to be executed is output.
    Type: Application
    Filed: July 15, 2019
    Publication date: January 16, 2020
    Inventor: David R. Cheriton
  • Patent number: 10437720
    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.
    Type: Grant
    Filed: March 6, 2015
    Date of Patent: October 8, 2019
    Assignee: OptumSoft, Inc.
    Inventor: David R. Cheriton
  • Publication number: 20190294486
    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.
    Type: Application
    Filed: March 19, 2019
    Publication date: September 26, 2019
    Inventor: David R. Cheriton
  • Publication number: 20190163551
    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.
    Type: Application
    Filed: May 8, 2018
    Publication date: May 30, 2019
    Inventor: David R. Cheriton
  • Patent number: 10282122
    Abstract: Improved memory management is provided according to a Hierarchical Immutable Content Addressable Memory Processor (HICAMP) architecture. In HICAMP, physical memory is organized as two or more physical memory blocks, each physical memory block having a fixed storage capacity. An indication of which of the physical memory blocks is active at any point in time is provided. A memory controller provides a non-duplicating write capability, where data to be written to the physical memory is compared to contents of all active physical memory blocks at the time of writing, to ensure that no two active memory blocks have the same data after completion of the non-duplicating write.
    Type: Grant
    Filed: October 26, 2016
    Date of Patent: May 7, 2019
    Assignee: INTEL CORPORATION
    Inventor: David R. Cheriton
  • Patent number: 10262754
    Abstract: An error in a physical memory realization at a physical memory address is detected. A first physical memory line corresponding to the physical memory address is determined. It is ensured that a duplicate of data content associated with the first physical memory line is associated with a second physical memory line. The physical memory address is remapped to use the second physical memory line for data content.
    Type: Grant
    Filed: November 21, 2016
    Date of Patent: April 16, 2019
    Assignee: Intel Corporation
    Inventor: David R. Cheriton