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

Java Invariant Detection System for Object Granular Collection

A technology for detecting systems and objects, applied in software testing/debugging and other directions, can solve problems such as inability to detect program concurrency errors, difficulty in identifying variable dependencies in programs, and achieve the effect of reducing the number of occurrences and running overhead.

Active Publication Date: 2016-05-25
FUDAN UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] Existing invariant detection tools only record and analyze the interleaving relationship of a single variable between threads, and it is difficult to identify the correlation of variables in the program, so it is impossible to detect program concurrency errors caused by multiple variables

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
  • Java Invariant Detection System for Object Granular Collection
  • Java Invariant Detection System for Object Granular Collection
  • Java Invariant Detection System for Object Granular Collection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0043] figure 1 It is the overall framework of the present invention, including a preprocessing module, an invariant training module, an invariant file analysis module, an invariant detection module and an error sorting and deletion module. According to the workflow of invariant detection, here is an introduction to the work that each module is responsible for.

[0044] 1. The preprocessing module is responsible for detecting and filtering objects that will not cause concurrency errors in the program. There are two types of such objects, namely local objects and single-assignment objects. They will only be written by one thread in the program, so they will not cause concurrency errors. Find these objects through static analysis and add tags to the bytecode to mark them. During the training and detection runs, these labels are identified and the inspection and logging of labeled objects are ignored, thereby reducing the overhead of detection.

[0045] 2. The invariant traini...

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 belongs to the technical field of detection of program errors and particularly relates to a Java invariance detection system of collection of an object granularity. The system disclosed by the invention comprises a pre-treatment module, an invariance training module, an invariance file analyzing module, an invariance detection module and an error sequencing and deleting module, wherein the pre-treatment module is used for detecting and filtering an object in a program, which does not cause the errors; the invariance training module is used for extracting invariance information in an object granularity extracting program and generating an invariance recording file; the invariance file analyzing module is used for merging information in all the invariance recording files according to an invariance rule to finally form one file; the invariance detection module utilizes the combined file to guide detection and operation; and the error sequencing and deleting module is used for carrying out credible analysis on the program errors detected by the invariance detection module. According to the Java invariance detection system disclosed by the invention, the times of interleaving accesses in the program are reduced, the operation expenditure is reduced, and the detection of multivariable concurrency errors can be effectively detected.

Description

technical field [0001] The invention belongs to the technical field of program error detection, and in particular relates to a system for concurrent error detection of Java programs. Background technique [0002] With the development of multi-core technology, Java multi-thread programs are widely used in various fields. Multithreading technology brings many advantages to applications: First, multithreading can improve the operating efficiency of programs. Unlike single-threaded programs, which need to complete the previous task before proceeding to the next new task, multi-threaded programs only need to be synchronized to execute multiple tasks concurrently, thereby improving operating efficiency; secondly, using multi-threaded programming, making The user interface can listen to user events while doing other work, which enhances the real-time responsiveness of the program and improves the user experience. [0003] However, multithreading technology also brings some new pr...

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): G06F11/36
Inventor 杨珉王笛
Owner FUDAN UNIV