Sun Microsystems, Inc.

Equinix, Inc.

Oracle America, Inc.

Yury Kamen

Syed Mohammed Ali

Robert N Goldberg

Bruce K Daniels

Deepak Alur

Daniel Malks

John Crupi

Peter Yared

Yakov Kamen

Danjue Li

Ankur Sharma

Alex Wilms

Rajmohan Krishnamurthy

Michael Godfrey

David Gofman

Stanley Chernavsky

An example method includes creating, by a computing system and in response to user input, one or more virtual master devices and a plurality of virtual leaf devices in a virtual network system; selecting, by the computing system, data from one or more of real-time clock offset data, prerecorded clock offset data, or synthetically generated clock offset data; executing, by the computing system, a time synchronization simulation by applying a predefined clock offset generation algorithm to the selected data; and outputting, by the computing system, data indicative of results of the time synchronization simulation.

Simulating time synchronization

The disclosure describes methods and systems for performing time synchronization in a heterogeneous system. In one example, a method includes evaluating, by a computing system, one or more network conditions of a network to determine whether to perform a time synchronization process with a secondary device in the network, wherein the one or more network conditions include a health score for the secondary device, and, in response to determining, based on the evaluation of the one or more network conditions, to perform the time synchronization process: determining based at least in part on a time indication for a clock on a master device and a time indication for a clock on the secondary device, a time synchronization offset for the secondary device; and sending the time synchronization offset for the secondary device to the secondary device in a data packet.

Clock synchronization in a heterogeneous system

The disclosure describes methods and systems for performing time synchronization in a heterogeneous system. In one example, a method includes, for each secondary device of one or more secondary devices in a network, determining, by a computing system, one or more time synchronization characteristics for the respective secondary device; and generating, by the computing system and based on at least the respective one or more time synchronization characteristics for each respective secondary device of the one or more secondary devices in the network, a time synchronization report for the network, wherein the one or more time synchronization characteristics include health data for the one or more secondary device.

The disclosure describes methods and systems for performing time synchronization in a heterogeneous system. In one example, a method includes, for each secondary device of a plurality of secondary devices in a network: determining, by a computing system and based at least in part on a time indication for a clock on a master device and a time indication for a clock on a secondary device in the network, a time synchronization offset for the respective secondary device; collecting, from the respective secondary device, one or more static parameters and one or more dynamic parameters; determining, based on the one or more parameters, a weight to associate with the time synchronization offset for the respective secondary device; determining, based on each of the respective time synchronization offset for each of the plurality of secondary devices and the respective associated weight, a universal time synchronization offset for the network.

A system that includes a shared variable scope configured to store at least one shared variable binding, a first interpreter configured to search the shared variable scope to determine a variable binding for a variable, and a second interpreter configured to search the shared variable scope to determine the variable binding for the variable.

Method and apparatus for coordinating state and execution context of interpreted languages

A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is associated with a characteristics model, storing each of the plurality of characteristics in a characteristics store using a tracking mechanism, and analyzing the target system by issuing a query to the characteristics store to obtain an analysis result, wherein the query uses tracking information associated with the tracking mechanism.

Method and apparatus for tracking changes in a system

A method for analyzing a target system that includes obtaining a characteristics model, generating at least one selected from the group consisting of a schema, characteristics store API, and a characteristics extractor, using the characteristics model, obtaining a plurality of characteristics from the target system using characteristics extractor, wherein each of the plurality of characteristics is associated with the characteristics model, storing each of the plurality of characteristics in the characteristics store using the schema, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result.

Method and apparatus for generating components for pattern-based system design analysis using a characteristics model

A method for analyzing a target system that includes generating a characteristics model using a schema defining a domain, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein the plurality of characteristics is associated with the characteristics model storing each of the plurality of characteristics in a characteristics store, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result.

Method and apparatus for generating a characteristics model for a pattern-based system design analysis using a schema

A method for analyzing a target system that includes obtaining a characteristics model, loading the characteristics model into a meta model, obtaining a plurality of characteristics from the target system using a characteristics extractor, wherein each of the plurality of characteristics is associated with the characteristics model, storing each of the plurality of characteristics obtained from the target system in a characteristics store, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result, wherein the issuing the at least one query comprises verifying the at least one query using the meta model.

Method and apparatus for pattern-based system design analysis using a meta model

A system for specifying read/write consistency for an application including an application including at least one transaction, wherein the at least one transaction includes at least one of a plurality of states, at least one of a plurality of transitions, and at least one artifact; and a database operatively connected to the application, wherein the application accesses data associated with the at least one artifact using a read/write consistency specification; wherein the read/write consistency specification specifies at least one selected from the group consisting of a read consistency and a write consistency for the at least one artifact within the transaction.

Method and apparatus for formally specifying application-specific read/write consistency

A method for analyzing a target system that includes obtaining a plurality of characteristics from the target system using a characteristics extractor and at least one selected from the group consisting of a software build project associated with the target system and a modified software build project associated with the target system, wherein the plurality of characteristics is associated with a characteristics model, storing each of the plurality of characteristics in a characteristics store, and analyzing the target system by issuing at least one query to the characteristics store to obtain an analysis result.

Method and apparatus for transparent invocation of a characteristics extractor for pattern-based system design analysis

A distributed system having a client and a server includes a state manager interposed between the client and the server. The state manager has a capability to generate a list of object attributes required to represent a state of the distributed system and a capability to cache object attributes so as to be locally accessible by the client. The distributed system further includes a service component interposed between the state manager and the server. The service component has a capability to fetch data from the server based on the list of object attributes.

Transparent optimization of network traffic in distributed systems

A method for a system having distributed collaborating components includes restricting direct interaction between distributed collaborating components by introducing an application-independent interface between distributed collaborating components and invoking a service from the application-independent interface in order to enable interaction between distributed collaborating components.

Application-independent API for distributed component collaboration

A method for transparently optimizing data access. The method includes gathering information related to data usage when a system is processing and determining a usage pattern of the system using gathered information.

Dynamic object usage pattern learning and efficient caching

A method for generating a projected graph data structure, including generating a request for the projected graph data structure using a variable usage specification, retrieving a server graph data structure using the request, generating a projected graph data structure representation using the request, the server graph data-structure, and a schema associated with the server graph data-structure, and instantiating the projected graph data-structure using the projected graph data-structure representation.

Growing community of inventors

Foster City, CA, United States of America

Yury Kamen