71 results about "Logical clock" patented technology

Techniques are provided for a linearizable primary-secondary database system that replicates database data with eventual consistency. The techniques include obtaining a logical clock value of a logical clock that orders transactions committed at a primary database system that includes a primary database. The logical clock value is obtained after a write transaction is committed at the primary database system and while processing a read request. The logical clock value is used to determine whether a secondary database is in a consistent replication state corresponding to the logical clock value with respect to the primary database. The read request is maintained in a linger state while the secondary database is not yet in the consistent replication state. The read request exits the linger state and is allowed to be processed against the secondary database after the secondary database has reached the consistent replication state.

The invention discloses a transaction processing method and device, computer equipment and a storage medium, and belongs to the technical field of databases. The method comprises the steps of obtaining state information of a target transaction in response to an execution request of the target transaction, verifying a logic life cycle determined based on the state information, executing the targettransaction in response to successful verification of the logic life cycle, and submitting the target transaction in response to successful conflict verification of the target transaction. According to the invention, the transaction processing process does not depend on a certain global logic clock, but depends on the verification of the logic life cycle; the logic life cycle can be adjusted according to a conflict detection result in a transaction execution and verification process; the transaction processing process can be completed by verifying the logic life cycle, so that the single-pointbottleneck problem of the database system is improved, the expansibility of the database system is improved, and the system performance cannot be reduced along with the expansion of the database system.

Embodiments include a system for processing logical clock values according to a secure maximum operation. The system may include a communication unit and a processing unit. The communication unit may be configured to receive an encrypted first value of a logical clock, send an encrypted blinded difference, receive an encrypted blinded maximum value, and receive a maximum value. The processing unit may be configured to access an encrypted second value of the logical clock, generate the encrypted blinded difference between the first value and the second value, provide an encrypted blinded first value and an encrypted blinded second value in an oblivious transfer protocol, and generate an encrypted maximum value from the encrypted blinded maximum value.

The invention discloses a clock synchronous circuit applied in a high-speed parallel data serialization system, which comprises a delay chain module, a delay chain control module, a sampling module and a level conversion module. The modules form a controllable delay chain circuit in a high-speed parallel data serialization system with the combination of a tree-structure parallel and serial conversion circuit and a shifting register parallel and serial conversion circuit, and the synchronization of two different level clocks is achieved via the delay on CMOS Logical clock level. Compared with the prior art, the delay is controllable, and the power consumption of the system is greatly saved.

The invention discloses a time synchronization method of a distributed mine seismic monitoring system, relating to a time synchronization method. Two time synchronization algorithms are designed for nodes in clusters and cluster head nodes of the clusters and refer to an intra-cluster slope consistency time synchronization algorithm and an inter-cluster simplified clock phase offset frequency offset joint estimation algorithm. First, nodes in the clusters synchronize clocks of all nodes to a unified virtual logic clock of the whole network through an STS synchronization algorithm, and then the cluster head nodes and anchor nodes are synchronized through an SJMLE algorithm, so that a synchronous operation between cluster head nodes is realized indirectly. A hardware platform experiment and simulation analysis are performed on the intra-cluster time synchronization algorithm and the inter-cluster time synchronization algorithm, and experiment and simulation results verify the effectiveness of the algorithms and prove that the synchronization algorithms have high robustness, expandability and high synchronization accuracy. The method fully combines advantages of the distributed time synchronization algorithm and the structural time synchronization algorithm, and can adapt to a special environment in which the mine seismic monitoring system is.

The invention discloses a time requirement modeling and verification method based on a problem frame method, which is used for modeling time requirements and verifying normative consistency of a time-critical system. The invention relates to the operations as follows: (1) defining an interaction and problem domain as a logical clock by using the concepts of the logical clock and clock relations in a clock constraint specification language (CCSL) based on a functional requirement model problem graph of the problem frame method; using clock constraint to define time constraint of an interaction environment (comprising the interaction and problem domain) of the time-critical software system to be developed, wherein the time constraint comprises quantitative and qualitative relations, establishing a time requirement model and exporting a time protocol of the system to be developed via time constraint of the environment; (2) defining formal semantics of the clock constraint, establishing a transformational rule from the clock constraint to an NuSMV description according to the semantic, using the rule to convert the time constraint into the NuSMV description, using a model detecting tool NuSMV to verify consistency of the time protocol according to a computation tree logic (CTL) expression of a consistent property.

At least one embodiment of a method for synchronizing a logical clock in a device comprising a physical clock, an input port, and an output port, the device further comprising a logical clock and a time compensation clock sharing the physical clock, the time compensation clock making it possible to determine a residence time, comprises:

• • obtaining a theoretical residence time;
  • during a pre-synchronization phase according to which the logical clock is not synchronized, adding a value representative of the obtained theoretical residence time to a residence time value stored in a synchronization message to be forwarded,
  • during a synchronization phase according to which the logical clock is synchronized, obtaining a residence time and adding a value representative of the obtained residence time to a residence time value stored in a synchronization message to be forwarded, and
  • synchronizing the logical clock as a function of a residence time value stored in a received synchronization message.

Systems and methods to improve performance in a graphics processing unit are described herein. Embodiments achieve power saving in a graphics processing unit by dynamically activating/deactivating individual SIMDs in a shader complex that comprises multiple SIMD units. On-the-fly dynamic disabling and enabling of individual SIMDs provides flexibility in achieving a required performance and power level for a given processing application. In this way, embodiments achieve optimal usage of a graphics processing unit. Embodiments of the invention also achieve dynamic grain (e.g., medium grain) clock gating of SIMDs in a shader complex. Embodiments reduce switching power by shutting down clock trees to unused logic by providing a clock on demand mechanism. In this way, embodiments enhance clock gating to save more switching power for the duration of time when SIMDs are idle (or assigned no work).

The present invention relates to the information data processing technology field under the micro-service architecture, especially to a method for realizing global ordered replaying under micro-service architecture. A logic clock {T, C} in a two-tuple mode is maintained at the internal portion of the logic clock layer of each node, T is initialized to 0, and C is initialized to 0. Each transmitted message m carries two logic time stamps: ts(m) corresponding to m sending and tr(m) corresponding to m receiving. The formats of the ts(m) and the tr(m) are also the two tuples {T, C} as shown above. Compared to the prior art, a logic clock layer is arranged between an application software layer and message middleware and is taken as the maintenance logic of the logic clock and the logic time stamps, the logic clock can refer to the local physical clock and the message transmission cause and effect timing sequence, and because the T component of the logic clock is very close to the physical time of events, it is easy to perform replaying according to assigned multiplication speed.

Examples of the disclosure provide for providing a global timestamp in a distributed system. A plurality of nodes are connected via a network. A logical clock is implemented on a node of the plurality of nodes. The logical clock sets a global time for the network, such that another node of the plurality of nodes labels a local event with a global timestamp interval based on the global time provided by the logical clock.

The invention discloses a multi-channel DAC sampling synchronization system, and belongs to the technical field of high-speed serial interface chips. The invention aims to provide a DAC synchronization system capable of meeting high-speed sampling. The system is realized through the following technical scheme: a clock source and an FPGA loading program are externally provided, a digital signal source generation module generates a digital signal source according to a logic clock provided by a clock distribution chip, the digital signal source is sent to a JESD204B configuration module, multi-channel data framing and packaging are performed according to information such as the number of channels of a DAC chip and the number of DAC converters, and an IP core is called to extract frame data and the frame data is mapped into effective coded words, high-speed serial data required by each DAC converter is formed by adopting different sorting modes, frames of control characters in a high-speedserial data stream is aligned by the DAC chip according to configuration, frame decoding is completed according to the requirements of a JESD204B protocol and the frames are output to multiple channels, thereby realizing high-speed DAC sampling multi-channel synchronization.

A system and method to perform scan testing using a pulse latch with a blocking gate is disclosed. In a particular embodiment, a scan latch includes a pulse latch operable to receive data while a pulse clock signal has a first logical clock value and a blocking gate coupled to an output of the pulse latch. The blocking gate is operable to propagate the data from the output of the pulse latch while the pulse clock signal has a second logical clock value.

A method for registering and initiating a pre-boot environment for enabling partitions. The method provides a basic input output system (CIOS) with an application program interface (API) that accesses a Logical Clock Address (LCA) sector number when a boot configuration flag is set, the LCA sector number stores an operating environment manager which then boots the information handling system to an appropriate partition.

A method is implemented in a network (110) that provides a service to an end user, the network including a first client (115-1), a second client (115 -M) and a charging system (130). The method includes the first client (115-1) receiving (900) a service event (120) that is destined for an end user (105) and retrieving (915) a first logical clock value from memory, where the first logical clock value specifies a number of service events received at the second client (115- M). The method further includes the first client (115-1) incrementing (920) a second logical clock value based on receipt of the service event (120) and constructing (920) a first time stamp parameter based on the first logical clock value and the second logical clock value. The method also includes the first client (115-1) sending (925) a charging request to a charging system, where the charging request includes the first time stamp parameter and where the charging request requests credit authorization associated with providing the service event (120) to the end user (105). The service event may be associated with one of Multimedia messaging service (MMS) data, a Session Initiation Protocol (SIP) signaling message, or a Hypertext Transfer Protocol (HTTP) message received at the first client. In one exemplary embodiment, the first client includes a Gateway General Packet Radio Service (GPRS) Support Node (GGSN) and the second client includes a MultiMedia Messaging Service Center (MMSC). In a second exemplary embodiment, the first client includes a GGSN and the second client comprises a Serving Call Session Control Function (S-CSCF). In a third exemplary embodiment, the first client includes a router and the second client includes a S-CSCF.

Self-timed processing systems and methods of operating self-timed processing systems are disclosed. A self-timed processing system includes an asynchronous null convention logic (NCL) processor, a memory that accepts input signals on an active edge of a memory clock signal, and logic to combine a first acknowledge signal and a second acknowledge signal to generate the memory clock signal. The first acknowledge signal indicates input signals are ready to be accepted by the memory. The second acknowledge signal indicates data signals previously output from the memory have been accepted by the processor.

The invention relates to a consistent clock synchronization frequency offset estimation method based on sequence least square, and belongs to the technical field of wireless sensor networks. According to the method, for a bounded random communication time delay scene obeying arbitrary distribution, a relation model of clock information and time delay between nodes is established, all clock information from neighbors received by the nodes is fully considered, a clock parameter estimation model and a cost function based on the least square principle are constructed, relative clock frequency offset between nodes is iteratively estimated by adopting a sequence least square method, and logic clock parameters of the nodes are updated by utilizing a consistent clock synchronization method, so that all the nodes in the network realize global clock consistency in a completely distributed manner. According to the method, the precision of relative frequency offset estimation is improved, the storage overhead of the nodes is effectively reduced, and the robustness of a consistency synchronization algorithm to communication delay is improved.

A Task Scheduling Scheme, Quotas for background tasks are generated based on logical clocks and load indices of the distributed system, Quotas are allocated to multiple business nodes for processing,so as to realize flexible scheduling of background tasks based on distributed system load in logical clock cycle, improve the flexibility and real-time of background task scheduling, and ensure the accuracy of background task scheduling.

The invention discloses a time sequence management method and device for a server cluster and electronic equipment, and the method comprises the steps: triggering a logic clock synchronization function and responding to an event monitoring operation when a server is started; when the monitored event is the event generated in the local process, progressively increasing the timestamp corresponding to the previous event in the local process to obtain the timestamp corresponding to the currently monitored event in the local process; when the monitored event is the event sent by the other server, determining a first timestamp corresponding to the event contained in the message sent by the other server and a second timestamp corresponding to the latest event in the local process; and performing progressive increase operation on the maximum value in the first timestamp and the second timestamp to obtain a timestamp corresponding to the currently monitored event. By starting a logic clock synchronization function and performing timestamp marking on the event in the local process according to the event generation mode, the accuracy of event time sequence recording is ensured.

The invention discloses a case port state conversion method, device and equipment and a storage medium. The method comprises the following steps: according to logic of an abstract D trigger, creatinga first variable representing a logic clock, a second variable representing a case port state inquired in real time, a third variable representing a case port state output by logic, and a fourth variable representing a storage latch state; identifying a current state of the storage device for carrying out case port state conversion; and according to the identification result, controlling the created variable value to determine whether to execute a case port state conversion operation or not. According to the method and the device, the case port state conversion is realized by utilizing the algorithm principle of the D trigger, so that the case port state conversion time can be shortened, the discovery frequency can be reduced, the unnecessary case port state conversion logic execution is reduced, the influence on the user service performance is reduced as much as possible, and the resource utilization rate of the storage equipment is improved.

The embodiment of the invention provides a logic clock synchronization method and device and a central time service cluster, and relates to the technical field of distributed systems. The method is applied to a main node in a central time service cluster of a distributed system, and comprises the following steps of: controlling a standby node to copy a logic clock of the main node in an asynchronous copying mode when the advancing frequency of the logic clock of the main node is increased by a preset asynchronous copying step length each time; and when the difference value between the logic clock of the main node and the recorded logic clock of the standby node reaches the target duration corresponding to the preset forced copying step length, controlling the standby node to copy the logicclock of the main node in a strong synchronous copying mode, and updating the recorded logic clock of the standby node into the logic clock of the main node copied to the standby node when the copying is successful each time. Compared with the prior art, by applying the method provided by the embodiment of the invention, the task in the distributed system can be prevented from being blocked, so that the performance of the distributed system is improved.