Unlock instant, AI-driven research and patent intelligence for your innovation.

A Predictive Approach to Detecting Data Races in Software-Defined Networks

A technology for data competition and software detection, which is applied in software testing/debugging, error detection/correction, electrical digital data processing, etc. It can solve problems such as only considering concurrent thread interaction and false positives of detection capabilities, and achieve good scalability, Increased state space, effects of high data race detection capabilities

Active Publication Date: 2022-07-12
SUZHOU VOCATIONAL UNIV
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] But Happen-Before based methods have limited detection ability and lead to false positives
The reason is that the existing methods only detect data races on the execution trace (that is, the original trace), and only consider the interaction of concurrent threads during execution.

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 Predictive Approach to Detecting Data Races in Software-Defined Networks
  • A Predictive Approach to Detecting Data Races in Software-Defined Networks
  • A Predictive Approach to Detecting Data Races in Software-Defined Networks

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] The technical solutions provided by the present invention will be described in detail below with reference to specific embodiments. It should be understood that the following specific embodiments are only used to illustrate the present invention and not to limit the scope of the present invention. Additionally, the steps shown in the flowcharts of the figures may be performed in a computer system, such as a set of computer-executable instructions, and, although shown in a logical order in the flowcharts, in some cases, may be executed differently The steps shown or described are performed in the order shown herein.

[0037] The present invention provides a predictive method for detecting data competition in a software-defined network, the process of which is as follows figure 1 shown, including the following steps:

[0038] Step 1. Record the packets, information and operations in the switch and the host through the simulator STS of the instrumentation SDN, and write t...

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 proposes a predictive method for detecting data competition in a software-defined network. First, the event trace is recorded; secondly, for each event trace file, RC constraints, MHB constraints, AN constraints and CP constraints are constructed according to the coding rules of each constraint. ; Then call the constraint solver SMT to check the satisfiability of the constraint file, and find out whether it satisfies the constraint formula. If the constraint file can be satisfied, it means that the events in the trace have data competition; if the constraint file is not satisfied, the constraint solver SMT is used. Check whether the analyzed event traces have rationality traces, if so, reorder the analyzed event traces under the premise of satisfying RC constraints, MHB constraints and AN constraints, and repeat coding and solving for each rationality trace to see if the constraint formula is satisfied. The method of the invention has higher data competition detection capability, can detect more competitions, and has better scalability.

Description

technical field [0001] The invention belongs to the technical field of computer software, relates to program analysis technology, and in particular relates to a predictive method for detecting data competition in a software-defined network. Background technique [0002] Software Defined Networks (SDN) is a new network paradigm that facilitates network management and can be configured by programmable networks. SDN consists of control plane and data plane. The control plane makes decisions about how to send packets, and the data plane sends packets based on the decisions made by the control plane. The control plane and data plane are independent of each other. The SDN controller implements control logic based on the north interface such as OpenFlow to calculate, maintain and populate the forwarding flow table of each SDN switch in the network. [0003] The SDN controller is the core of the entire network, and it is crucial to develop reliable controller software in an async...

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 Patents(China)
IPC IPC(8): H04L41/147H04L41/40G06F11/36
CPCH04L41/147G06F11/3688
Inventor 陆公正
Owner SUZHOU VOCATIONAL UNIV