Supercharge Your Innovation With Domain-Expert AI Agents!

Invariance detection system based on Java concurrent program error

A technology for detecting system and program errors, applied in the field of detection systems for Java concurrent program errors, can solve problems such as the inability of traditional tools to effectively distinguish program points, and achieve the effect of reducing storage overhead

Inactive Publication Date: 2012-11-28
FUDAN UNIV
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] In order to solve the problem that traditional tools cannot effectively distinguish program points caused by the encapsulation function in the Java program mentioned above, the present invention provides an invariant detection system based on Java concurrent program errors

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
  • Invariance detection system based on Java concurrent program error
  • Invariance detection system based on Java concurrent program error
  • Invariance detection system based on Java concurrent program error

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0034] figure 2 It is a schematic diagram of the invariant detection framework based on Java concurrent program errors, including six modules: preprocessing module, invariant training module, invariant file analysis module, invariant detection module, error sorting and deletion module, and context collection and delivery module module. The invention adds a context collection and transmission module to the invariant detection tool, and solves the problem that the original tool is not suitable for detecting the concurrent error of the context-related program.

[0035] The work of the present invention focuses on the context collection and transfer module, which records and transfers the current context information in a certain way during dynamic operation.

[0036]This module runs simultaneously with the invariant training module and the invariant detection module, and is responsible for converting the current context information to the invariant training module or the invaria...

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 program error detection, and in particular relates to an invariance detection system based on a Java concurrent program error. The invariance detection system comprises six modules including a preprocessing module, an invariance training module, an invariance file analyzing module, an invariance detection module, an error sequencing deleting module and an context collection transfer module; according to the invariance detection system based on the Java concurrent program error, the context information of the program is recorded in a PaCC (Partial Calling Context) mode and a PCC (Probabilistic Calling Context) mode in dynamic running process, and the problem that the program points cannot be effectively differentiated by traditional tools caused by packaging functions in a Java program, is solved.

Description

technical field [0001] The invention belongs to the technical field of program error detection, and in particular relates to a detection system for Java concurrent program errors. Background technique [0002] With the development of computer multi-core technology, the advantages of Java multi-thread technology are becoming more and more obvious. Multi-threading technology can not only improve the running efficiency of the program, but also improve the real-time responsiveness of the program, thereby improving the user experience. Most of the software products launched at present are implemented in a multi-threaded manner. However, while multithreading technology brings these advantages to programs, it also brings new challenges to programmers due to the complexity of programming and the uncertainty of execution. When writing programs, programmers need to additionally manage the work in each thread synchronously to maintain data consistency, otherwise program concurrency er...

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): G06F11/36
Inventor 杨珉王笛
Owner FUDAN UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

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