Finite-state machine extended model of distributed system and quasi-synchronous method for check points

A distributed system, finite state machine technology, applied in transmission systems, digital transmission systems, data exchange networks, etc., can solve problems such as the influence of algorithm accuracy and stability, and the lack of unified criteria for judgment.

Inactive Publication Date: 2009-11-04
SHANDONG UNIV
View PDF0 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Asynchronous checkpoint algorithm In the process of checkpoint establishment, the processes do not need to negotiate to establish their own local checkpoints independently, but in the recovery process, complex algorithms need to be used to restore to a system consistency checkpoint
The key to the synchronous and asynchronous checkpoint algorithms is the establishment of the consistency checkpoint, that is, the acquisition of the process state that satisfies the

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Finite-state machine extended model of distributed system and quasi-synchronous method for check points
  • Finite-state machine extended model of distributed system and quasi-synchronous method for check points
  • Finite-state machine extended model of distributed system and quasi-synchronous method for check points

Examples

Experimental program
Comparison scheme
Effect test

example

[0101] Assume that the distributed system consists of process P 1 , P 2 And P 3 Composition, for simplicity, suppose that only one message is sent or received within the internal state of each process, o1, o2, and o3 represent process P 1 Internal output event, e 1 , E 2 And e 3 Represents process P 1 The internal input event, e 1 ′ Represents process P 1 External input event (process P 2 Send message to P 1 ), o1′ represents P 1 The external output event (P 1 Send message to P 3 ), Φ represents the process P 1 Null events of external input and external output, S 1 , S 2 And S 3 Represents process P 1 The internal state of K 1 And K 2 Represents process P 1 The input state of the channel, M 1 And M 2 Represents process P 1 The output state of the channel, the process P is under the action of the system's internal input events and external input events 1 The state transition diagram is as figure 1 Shown.

[0102] Enter event e internally 1 Under the effect of P 1 The internal stat...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a finite-state machine extended model of a distributed system and a quasi-synchronous method for check points, and solves the problems of poor accuracy and stability in the process of establishing the check points of the distributed system. In the extended model, the distributed system is taken as a set of a plurality of courses; and the finite-state machine extended model is a set consisting of the finite courses: P is equal to {P1, P2, until Pn}, wherein Pi represents the courses, i is equal to 1, 2, until n, and n is more than or equal to 2. The quasi-synchronous method is divided into two phases; in the first phase, a coordinating course collects the channel information of each course and judges whether the current state of the distributed system is in a state of global consistency; if the judgment is yes, each course respectively saves respective state and the algorithm is finished; the second phase is a verification phase; and if the current state of the distributed system is not in a state of consistency, a course losing a message is determined and the coordinating course informs a sending course losing the message to resend the lost message till all messages are received or all courses are quitted abnormally due to overtime.

Description

Technical field [0001] The invention relates to a fault tolerance method of a distributed system, in particular to a distributed system finite state machine expansion model and a checkpoint quasi-synchronization method. Background technique [0002] At the application layer, a distributed system can be regarded as composed of several independent and complex interactive processes. Such processes cooperate with each other to complete a task, complete the communication between processes through message exchange, and realize the sharing of system resources. Common faults of distributed systems mainly include: crash faults, omission faults and sequence faults, response faults and random faults. There are two solutions based on hardware and software for troubleshooting methods. The software solutions mainly include active replication and passive replication. Passive replication can use two methods: forward recovery and backward recovery: forward recovery assumes that the nature of the ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): H04L29/08H04L12/56
Inventor 高胜法王亚楠左凤艳刘翠英韩建宇
Owner SHANDONG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap