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

Data-scoped dynamic data race detection

A data competition and library function technology, applied in the computer field, can solve the problems of performance overhead attenuation, prevent large-scale adoption of dynamic data competition detectors, slow down, etc., and achieve the effect of reducing overhead and satisfying the coverage of data competition vulnerabilities

Active Publication Date: 2012-01-11
MICROSOFT TECH LICENSING LLC
View PDF2 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, in certain unmanaged programs, dynamic techniques often incur slowdowns that attenuate the performance overhead by as much as two hundred times
Large performance overhead actually prevents mass adoption of dynamic data race detectors

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
  • Data-scoped dynamic data race detection
  • Data-scoped dynamic data race detection
  • Data-scoped dynamic data race detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0014] In the following detailed description, reference is made to the accompanying drawings, which form a part hereof, and in which are shown by way of example specific embodiments in which the invention may be practiced. It is to be understood that other embodiments may be utilized and structural or logical changes may be made without departing from the scope of the present invention. Accordingly, the following detailed description is not intended to be limiting, and the scope of the invention is defined by the appended claims. It should be understood that the features of the various exemplary embodiments described herein can be combined with each other, unless otherwise specified.

[0015] figure 1 An exemplary computer system that is usable as an operating environment and includes a computing device such as computing device 100 is shown. In a basic configuration, computing device 100 typically includes a processor architecture with at least two processing units (ie, proc...

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 present invention describes data-scoped dynamic data race detection. A dynamic shared-memory data race detection tool with data-scoping capabilities to reduce runtime overheads is disclosed. The tool allows users to restrict analysis of memory locations to heap and / or stack variables that are of interest to them using explicit calls to functions provided in a library that is part of the race detection tool. The application code is instrumented to insert probes at all memory instructions and linked with the data race detection library to perform data-scoped race detection.

Description

technical field [0001] The invention relates to the computer field, in particular to data competition detection technology. Background technique [0002] Concurrent programming of multiple processors that share memory can include the ability for multiple threads to access the same data. The multiple threads execute on multiple processors, multiple logical processor cores, or other types of parallelism attached to memory shared between the processors. The shared memory model is the most commonly deployed method of multi-thread communication. In these systems, concurrent threads may attempt to access and modify the same data in shared memory. This can lead to data race conditions that can cause other undesirable or potentially harmful effects in concurrent programming and stored data. [0003] Data races occur in multithreaded programs when at least two concurrent threads access the same memory location without synchronization, where at least one of the accesses is a write ...

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
CPCG06F11/3636G06F11/3624
Inventor Y·张H·沙菲K·S·赛德奇
Owner MICROSOFT TECH LICENSING LLC