Data dependence analyzer, information processor, data dependence analysis method and program
First Claim
1. A data dependence analyzer comprising:
- inter-process communication detection means which, on a basis of processing content of inter-process communication, detects the inter-process communication performed for transferring data to be copied between resources;
access detection means which successively detects access events to access the data in the resources during the inter-process communication;
dynamic information flow analysis means which checks the transfer of data in the inter-process communication until data read from a resource to the inter-process communication is written out by the inter-process communication and which adds a tag corresponding to a first resource to a memory buffer when data from the first resource is read to the memory buffer, and outputs information representing that a second resource is dependent on the first resource, when the data in the memory buffer is written to the second resource;
recording means which, for each of the access events detected by the access detection means, records an access target data in the access event; and
analysis means which, from among the access target data recorded by the recording means, searches data respectively corresponding to a copy source and a copy destination of the data transferred through the inter-process communication detected by the inter-process communication detection means and imparts a dependence relationship between the searched data,wherein the analysis means searches data written to a resource by a communication destination process in the inter-process communication detected by the inter-process communication detection means, so as to set the searched data as copy destination data, and searches data read from the resource by a communication source process in the inter-process communication before copy destination data is written, so as to set the searched data as copy source data.
3 Assignments
0 Petitions
Accused Products
Abstract
A data dependence analyzer includes: inter-process communication detection means which, on the basis of a processing content of inter-process communication performed for transferring data to be copied between resources, detects the inter-process communication; access detection means which successively detects an access event to the data in the resource due to the process; recording means which, for each of the access events detected by the access detection means, records the access target data in the access event; and analysis means which, among the access target data recorded by the recording means, searches data respectively corresponding to the copy source and the copy destination of the data transferred through the inter-process communication detected by the inter-process communication detection means and imparts a dependence relationship between the searched data.
31 Citations
8 Claims
-
1. A data dependence analyzer comprising:
-
inter-process communication detection means which, on a basis of processing content of inter-process communication, detects the inter-process communication performed for transferring data to be copied between resources; access detection means which successively detects access events to access the data in the resources during the inter-process communication; dynamic information flow analysis means which checks the transfer of data in the inter-process communication until data read from a resource to the inter-process communication is written out by the inter-process communication and which adds a tag corresponding to a first resource to a memory buffer when data from the first resource is read to the memory buffer, and outputs information representing that a second resource is dependent on the first resource, when the data in the memory buffer is written to the second resource; recording means which, for each of the access events detected by the access detection means, records an access target data in the access event; and analysis means which, from among the access target data recorded by the recording means, searches data respectively corresponding to a copy source and a copy destination of the data transferred through the inter-process communication detected by the inter-process communication detection means and imparts a dependence relationship between the searched data, wherein the analysis means searches data written to a resource by a communication destination process in the inter-process communication detected by the inter-process communication detection means, so as to set the searched data as copy destination data, and searches data read from the resource by a communication source process in the inter-process communication before copy destination data is written, so as to set the searched data as copy source data. - View Dependent Claims (2, 3, 4, 5, 6, 7)
-
-
8. A data dependence analysis method, comprising:
-
detecting inter-process communication performed for transferring data to be copied between resources using an inter-process communication detection unit; detecting access events to access the data in the resources during the inter-process communication using an access detection unit; checking the transfer of data in the inter-process communication until data read from a resource to the inter-process communication is written out by the inter-process communication using a dynamic information flow analysis unit; adding a tag corresponding to a first resource to a memory buffer when data from the first resource is read to the memory buffer, and outputting information representing that a second resource is dependent on the first resource, when the data in the memory buffer is written to the second resource; recording an access target data in the access event for each of the access events detected using a recording unit; and searching, from among the access target data recorded, data respectively corresponding to a copy source and a copy destination of the data transferred through the inter-process communication detected and imparting a dependence relationship between the searched data using an access unit.
-
Specification