Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

A tree-form atomic state machine and a realization method and device for a control logic interface thereof

A logic interface and state machine technology, applied in the field of concurrent program design, can solve problems such as reducing the complexity of reading, and achieve the effect of reducing complexity and improving modification efficiency

Inactive Publication Date: 2017-07-28
王铭鑫
View PDF4 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] The object of the present invention is to provide a tree-shaped atomic state machine, a method and a device for realizing the control logic interface of the tree-shaped atomic state machine, aiming to solve the problem of reducing the complexity of reading while controlling the upper limit of the local reading and writing of the atomic state machine entity question

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
  • A tree-form atomic state machine and a realization method and device for a control logic interface thereof
  • A tree-form atomic state machine and a realization method and device for a control logic interface thereof
  • A tree-form atomic state machine and a realization method and device for a control logic interface thereof

Examples

Experimental program
Comparison scheme
Effect test

specific Embodiment 1

[0050] The embodiment of the present invention provides a tree-shaped atomic state machine, each tree-shaped atomic state machine entity includes several node entities, and each node entity maintains a reference to an atomic state machine entity and a node entity; the atomic state machine There are n states of the entity that can be mapped one by one to all non-negative integers less than n, where n is a positive integer; the reference of the node entity is used to provide the addressing mode of the node entity. like figure 1 As shown, Node is the tree-shaped atomic counter node entity. The atomic state machine entity maintained by the node entity is not reflected. The arrow is the reference maintained by the node entity. The top root node maintains an invalid reference, so no arrow is drawn.

[0051]In the embodiment of the present invention, each tree-shaped atomic state machine entity includes several node entities, where the number of nodes can be one, two or more.

[005...

specific Embodiment 2

[0060] like figure 2 As shown, the embodiment of the present invention provides a method for implementing any one of the tree-shaped atomic state machine control logic interfaces in the specific embodiment 1, including:

[0061] Semantic requirements document acquisition step S101:

[0062] Receive the user's selection instruction for the programming language and determine the programming language;

[0063] Query the semantic requirement document corresponding to the programming language, the semantic requirement document includes the logical interface and the semantic requirement corresponding to the logical interface; the logical interface includes a linear buffer logical interface, a tree-shaped atomic state machine initializer logical interface, a tree-shaped One or more of the atomic state transitioner logic interfaces;

[0064] Code acquisition step S102:

[0065] Obtain a data structure; the data structure includes a stackable linear buffer data structure and a tree...

specific Embodiment 3

[0087] like Figure 4 As shown, the embodiment of the present invention provides a device for implementing any one of the tree-shaped atomic state machine control logic interfaces in the specific embodiment 1, which is characterized in that it includes:

[0088] Semantic requirements document acquisition module 201, used for:

[0089] Receive the user's selection instruction for the programming language and determine the programming language;

[0090] Query the semantic requirement document corresponding to the programming language, the semantic requirement document includes the logical interface and the semantic requirement corresponding to the logical interface; the logical interface includes a linear buffer logical interface, a tree-shaped atomic state machine initializer logical interface, a tree-shaped One or more of the atomic state transitioner logic interfaces;

[0091] The code acquisition module 202 is used for:

[0092] Obtain a data structure; the data structure...

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 provides a tree-form atomic state machine and a realization method and device for a control logic interface thereof, which are based on the improvement of a divide-and-conquer concept of a Phaser Accumulator. The tree-form atomic state machine has the advantage that by splitting access points, the complexity of modification can be reduced to a certain extent; for example, when a concurrent call method which is being used does not need real-time accurate states of an atomic state machine, it is only needed to judge whether each backward transfer operation is successful, so that the reading complexity of the Phaser Accumulator is not needed. The tree-form atomic state machine can reduce the complexity of modification operations while controlling a concurrence upper limit of local reading and writing of an atomic state machine entity, so that modification efficiency can be increased.

Description

technical field [0001] The invention relates to a concurrent program design method, in particular to a tree-shaped atomic state machine, a method and a device for realizing a control logic interface of the tree-shaped atomic state machine. Background technique [0002] Controlling the upper limit of concurrency of partial read and write of atomic state machine entities is a problem that has received extensive attention in current concurrent programming design. In controlling the upper limit of concurrent reading and writing of atomic state machine entities, Phaser Accumulator adopts the idea of ​​divide and conquer, splitting an integer into multiple units, thus increasing the "bandwidth" for integers, but for the read The complexity increases, because the read operation needs to traverse all cells. Contents of the invention [0003] The object of the present invention is to provide a tree-shaped atomic state machine, a method and a device for realizing the control logic ...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/45
CPCG06F8/313
Inventor 王铭鑫
Owner 王铭鑫
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
Eureka Blog
Learn More
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com