Method for realizing consistency of caches at synchronization points based on program without hardware support

A program synchronization point, cache technology, applied in memory systems, memory address/allocation/relocation, instruments, etc., can solve problems such as inconsistency, difficulty, and difficulty in recording, and achieve the effect of reducing implementation

Inactive Publication Date: 2015-01-28
INSPUR GROUP CO LTD
View PDF2 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0007] 3) Different processes may see different values ​​after each operation (no consistent behavior)
It is very difficult to directly structure the hardware of the software DSM system. On the one hand, maintaining consistency at the granularity of the page is not conducive to the performance of the system due to problems such as false sharing. On the other hand, it is difficult to use hardware to record complex software data such as write-notice and diff. structure

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
  • Method for realizing consistency of caches at synchronization points based on program without hardware support

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0018] A method for realizing cache coherence based on program synchronization points without hardware support of the present invention will be described in detail below with reference to the accompanying drawings.

[0019] Specific steps are as follows:

[0020] (1) First analyze the existing multi-threaded program to obtain the synchronization point that needs to be synchronized with the cache;

[0021] (2) Then, at each synchronization point, record the collection of valid caches and invalid caches;

[0022] (3) Finally, invalidate the invalid cache set and synchronize the valid cache.

[0023] Except for the technical features described in the instructions, all are known technologies by those skilled in the art.

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 method for realizing the consistency of caches at synchronization points based on a program without hardware support. The method comprises the following steps of analyzing an existing multithreaded program to obtain the synchronization points requiring cache synchronization; recording a valid cache set and an invalid cache set at each synchronization point; invalidating the invalid cache set and synchronizing valid caches. Compared with the conventional directory-based cache consistency protocol, the method has the advantage that the implementing and verifying complexity of a directory protocol can be reduced.

Description

technical field [0001] The invention relates to the technical field of computer storage server design, in particular to a method for realizing cache consistency based on program synchronization points without hardware support. Background technique [0002] (1) Cache consistency [0003] In computer science, cache coherence (Cache coherence) refers to a shared resource held in a cache, a mechanism for maintaining data consistency. In a system, when many different devices share a common memory resource, the data in the cache is inconsistent, and a coherency problem arises. This problem is especially prone to occur in multiprocessor systems with multiple CPUs. [0004] Cache coherency can be divided into three levels: [0005] 1) Immediately take measures to ensure data consistency when performing each write operation; [0006] 2) For each independent operation, if it causes a change in data value, all processes can see the same change result; [0007] 3) Different process...

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 & AuthorityApplications(China)
IPC IPC(8): G06F12/08G06F12/0815
Inventor王闯赵庶林戴鸿君于治楼
OwnerINSPUR GROUP CO LTD