公开(公告)号：US20240338283A1

公开(公告)日：2024-10-10

申请号：US18296317

申请日：2023-04-05

Applicant: VMware, Inc.

Inventor： Teodor PARVANOV ,  Jonathan HOWELL ,  Hristo STAYKOV ,  Nikolay Kolev GEORGIEV ,  Oded Tzvi PADON-CORREN

IPC: G06F11/16

CPC classification number: G06F11/1658 ,  G06F2201/805

Abstract: The disclosure provides an approach for formally verifying a state machine replication protocol (SMRP) based on a model SMRP, and deploying a distributed system, such as a blockchain, that runs using the formally verified SMRP. The approach provides a verifier that models the SMRP within a model distributed system. Modeling includes modeling actions by model components of the model distributed system so as to transition state of the model SMRP, and then verifying that applicable invariants hold true after the state transition. As long as the model and actual SMRPs are logically equivalent, then launching an actual SMRP based on the model SMRP should preserve formally verified byzantine fault tolerance within the actual SMRP of the distributed system.

公开(公告)号：US20200233685A1

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

申请号：US16254564

申请日：2019-01-22

Applicant: VMware, Inc.

Inventor： Aleksandar PETKOV ,  Teodor PARVANOV ,  Anton PETROV ,  Tanya HRISTOVA ,  Miroslav SHTARBEV

IPC: G06F9/455 ,  G06F21/62 ,  H04L29/08 ,  H04L12/24

Abstract: A method is provided to enhance a virtualized infrastructure at a customer's premise with a cloud analytics service. The method includes receive a request for an expert use case on an expertise about an object in the virtualized infrastructure and performing an expertise cycle on the expert use case, which includes retrieving a manifest for the expert use case from a cloud analytics site remote from the customer's premise, collecting the telemetry data from the virtualized infrastructure based on the manifest, uploading the collected telemetry data to the cloud analytics site, and retrieving an expertise result for the expert use case from the cloud analytics site. The method further includes communicating the expertise result about the object to the customer and changing a configuration of the object.

公开(公告)号：US20230069165A1

公开(公告)日：2023-03-02

申请号：US17465830

申请日：2021-09-02

Applicant: VMware, Inc.

Inventor： Teodor PARVANOV ,  Ittai ABRAHAM ,  Kashfat Khan ,  Yulia SHERMAN ,  Yehonatan BUCHNIK

IPC: G06F9/448 ,  H04L9/32 ,  G06F16/27

Abstract: In some embodiments, a first replica sends a message to second replicas for pre-processing of an operation. The first replica receives pre-processing results from the second replicas. A pre-processing result is generated by pre-processing the operation using a first state. The first replica analyzes the pre-processing results to determine whether an agreement on a validated pre-processing result is received. When it is determined the agreement on the validated pre-processing result is received, the first replica performs a consensus protocol stage with the second replicas to order the request in an order of execution of requests that defines when to execute the request with respect to another request at the second replicas. Information for the validated pre-processing result is provided to the set of second replicas to determine whether contention results between the first state and a second state that is based on the order of execution of requests.

公开(公告)号：US20210200566A1

公开(公告)日：2021-07-01

申请号：US17200921

申请日：2021-03-15

Applicant: VMware, Inc.

Inventor： Aleksandar PETKOV ,  Teodor PARVANOV ,  Anton PETROV ,  Tanya HRISTOVA ,  Miroslav SHTARBEV

IPC: G06F9/455 ,  G06F21/62 ,  H04L12/24 ,  H04L29/08 ,  G06F11/34

Abstract: An example method is provided to collect telemetry data of an object in a virtualized infrastructure at a customer's premise based on a manifest for the telemetry data. The method includes receiving a request for the telemetry service and storing the request in a first queue, retrieving the request from the first queue, determining if the customer has agreed to share the telemetry data from the virtualized infrastructure, and retrieving a manifest for the telemetry data from a cloud analytics site remote from the customer's premise, the manifest defining a telemetry level defining an amount of the telemetry data to be collected. When the customer has agreed to share the telemetry data from the virtualized infrastructure and the telemetry level is not off, the method also includes uploading the collected telemetry data to the cloud analytics site.