码迷,mamicode.com
首页 > 编程语言 > 详细

Intel 编译器 线程安全检查 真心的很详细 转

时间:2014-05-27 17:43:12      阅读:298      评论:0      收藏:0      [点我收藏+]

标签:des   style   c   blog   code   tar   

             bubuko.com,布布扣

 

 

 

 

 

Managing Threading Errors with Intel? Parallel Inspector XE

___________________________________________________________________

 

Intel? Academic Community

 

 

 





                                                                                                            bubuko.com,布布扣

Disclaimer

The information contained in this document is provided for informational purposes only and represents the current view of Intel Corporation ("Intel") and its contributors ("Contributors") on, as of the date of publication. Intel and the Contributors make no commitment to update the information contained in this document, and Intel reserves the right to make changes at any time, without notice.

DISCLAIMER. THIS DOCUMENT, IS PROVIDED "AS IS." NEITHER INTEL, NOR THE CONTRIBUTORS MAKE ANY REPRESENTATIONS OF ANY KIND WITH RESPECT TO PRODUCTS REFERENCED HEREIN, WHETHER SUCH PRODUCTS ARE THOSE OF INTEL, THE CONTRIBUTORS, OR THIRD PARTIES. INTEL, AND ITS CONTRIBUTORS EXPRESSLY DISCLAIM ANY AND ALL WARRANTIES, IMPLIED OR EXPRESS, INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR ANY PARTICULAR PURPOSE, NON-INFRINGEMENT, AND ANY WARRANTY ARISING OUT OF THE INFORMATION CONTAINED HEREIN, INCLUDING WITHOUT LIMITATION, ANY PRODUCTS, SPECIFICATIONS, OR OTHER MATERIALS REFERENCED HEREIN. INTEL, AND ITS CONTRIBUTORS DO NOT WARRANT THAT THIS DOCUMENT IS FREE FROM ERRORS, OR THAT ANY PRODUCTS OR OTHER TECHNOLOGY DEVELOPED IN CONFORMANCE WITH THIS DOCUMENT WILL PERFORM IN THE INTENDED MANNER, OR WILL BE FREE FROM INFRINGEMENT OF THIRD PARTY PROPRIETARY RIGHTS, AND INTEL, AND ITS CONTRIBUTORS DISCLAIM ALL LIABILITY THEREFOR. INTEL, AND ITS CONTRIBUTORS DO NOT WARRANT THAT ANY PRODUCT REFERENCED HEREIN OR ANY PRODUCT OR TECHNOLOGY DEVELOPED IN RELIANCE UPON THIS DOCUMENT, IN WHOLE OR IN PART, WILL BE SUFFICIENT, ACCURATE, RELIABLE, COMPLETE, FREE FROM DEFECTS OR SAFE FOR ITS INTENDED PURPOSE, AND HEREBY DISCLAIM ALL LIABILITIES THEREFOR. ANY PERSON MAKING, USING OR SELLING SUCH PRODUCT OR TECHNOLOGY DOES SO AT HIS OR HER OWN RISK.

Licenses may be required. Intel, its contributors and others may have patents or pending patent applications, trademarks, copyrights or other intellectual proprietary rights covering subject matter contained or described in this document. No license, express, implied, by estoppels or otherwise, to any intellectual property rights of Intel or any other party is granted herein. It is your responsibility to seek licenses for such intellectual property rights from Intel and others where appropriate. Limited License Grant. Intel hereby grants you a limited copyright license to copy this document for your use and internal distribution only. You may not distribute this document externally, in whole or in part, to any other person or entity. LIMITED LIABILITY. IN NO EVENT SHALL INTEL, OR ITS CONTRIBUTORS HAVE ANY LIABILITY TO YOU OR TO ANY OTHER THIRD PARTY, FOR ANY LOST PROFITS, LOST DATA, LOSS OF USE OR COSTS OF PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES, OR FOR ANY DIRECT, INDIRECT, SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF YOUR USE OF THIS DOCUMENT OR RELIANCE UPON THE INFORMATION CONTAINED HEREIN, UNDER ANY CAUSE OF ACTION OR THEORY OF LIABILITY, AND IRRESPECTIVE OF WHETHER INTEL, OR ANY CONTRIBUTOR HAS ADVANCE NOTICE OF THE POSSIBILITY OF SUCH DAMAGES. THESE LIMITATIONS SHALL APPLY NOTWITHSTANDING THE FAILURE OF THE ESSENTIAL PURPOSE OF ANY LIMITED REMEDY.

Intel and Intel logo are trademarks or registered trademarks of Intel Corporation or its subsidiaries in the United States and other countries.

*Other names and brands may be claimed as the property of others.

Copyright ? 2010, Intel Corporation. All Rights Reserved.Table of Contents

Disclaimer    ii

Parallelism Tools – Checking for Thread Correctness    1

Activity 1 - Choose, Build and Run a project    1

Activity 2 - Configure and Run Analysis    9

Activity 3 - Manage result data after analysis    13

Activity 4 - Resolve, Rebuild and Rerun    21

 

 

Parallelism Tools – Checking for Thread Correctness    

    

Activity 1 – Choose, Build and Run a Project

Time Required

Ten minutes

Objective

 

  • Learn how to open and build a project in Microsoft Visual Studio*

The application is a 2-D ray tracer/renderer called tachyon written in C++. The code is small enough that you may be able to identify potential memory access violations by visual inspection. If you identify and make a list of problems, check your list with the list that Parallel Inspector XE identifies.

 

Choose a project

  1. With Windows Explorer*, locate the samples folder in the Parallel Inspector XE directory.
  2. From the Microsoft Visual Studio* menu, choose File > Open > Project/Solution.
  3. In the Open Project dialog box, open the filesamples\windows\tachyon_insp_xe\vc8\tachyon_insp_xe.sln fileby double-clicking it.

    This should now display tachyon_insp_xe solution in the Solution Explorer.

            bubuko.com,布布扣

  1. In the Solution Explorer, right-click the find_and_fix_threading_errors project and choose Set as Startup Project from among the menu options.

 

bubuko.com,布布扣

 

Build a project    

  1. We first need to verify debug mode is configured to produce the best results. So in the Solution Explorer, right-click the find_and_fix_threading_errors project and choose Properties to display the Property Pages dialog box.
  2. Verify the Configuration drop-down list is set to Debug or Active(Debug).

    bubuko.com,布布扣

 

  1. In the left pane, choose Configuration Properties > C/C++ > General.
  2. Verify the Debug Information Format is set to Program Database (/Zi) or Program Database for Edit & Continue (/ZI).

    bubuko.com,布布扣

  3. In the left pane, choose Configuration Properties > C/C++ > Optimization.
  4. Verify the Optimization field is set to Disabled (/Od).

    bubuko.com,布布扣

  5. In the left pane, choose Configuration Properties > C/C++ > Code Generation.
  6. Verify the Runtime Library field is set to Multi-threaded DLL (/MD) or Multi-threaded Debug DLL (/MDd).

    bubuko.com,布布扣

  7. In the left pane, choose Configuration Properties > Linker > Debugging.
  8. Verify the Generate Debug Info field is set to Yes (/DEBUG).

    bubuko.com,布布扣

  9. Verify the project is set to build in debug mode. Click the Configuration Manager button and verify the Active solution configuration drop-down list is set to Debug.

    bubuko.com,布布扣

  10. Click the Close button to close the Configuration Manager dialog box.
  11. Click the OK button to close the Property Pages dialog box.

 

Run a project

  1. From the Visual Studio* menu, choose Debug > Start Without Debugging.
  2. When the Visual Studio* IDE responds this project is out of date, click Yes to build the project.
  3. The application is run but the application output window will be empty and grey because of memory errors in the code!
  4. You verified the find_and_fix_threading_errors project is set to produce the most accurate, complete results, compiled and linked the project and ensured the resulting find_and_fix_threading_errors.exe file runs on your system outside the Inspector XE.

     

Activity 2 – Configure and Run analysis

 

Time Required

Ten minutes

Objective

 

  • Learn how to choose and run a threading error analysis to detect deadlocks and data races that may need handling.

Configure a threading error analysis

  1. From the Visual Studio* menu, choose Tools > Intel Inspector XE 2011 > New Analysis to display an Analysis Type window similar to the following:

    bubuko.com,布布扣

  2. Open the Threading Error Analysis folder and choose the Detect Deadlocks and Data Races analysis type to display a window similar to the following. (If necessary, click the bubuko.com,布布扣icon in the Details region to display analysis type characteristics.)

    bubuko.com,布布扣

bubuko.com,布布扣

Use the Navigation toolbar to navigate among Inspector XE windows. The buttons on the toolbar vary depending on the displayed window.

bubuko.com,布布扣

The Analysis Types region shows available preset analysis types. You can also use existing analysis types as templates to create custom analysis types.

bubuko.com,布布扣

Use the checkbox(es) and drop-down field(s) to fine-tune some, but not all, analysis type characteristics. If you need to fine-tune more analysis type characteristics, choose another preset analysis type or create a custom analysis type.

bubuko.com,布布扣

The Details region shows all current analysis type characteristics. Try choosing a different preset analysis type or checkbox/drop-down list value to see the impact on the Details region.

bubuko.com,布布扣

Use the Command toolbar to control analysis runs and perform other functions. For example, use the Project Properties button to redisplay the Project Properties dialog box.

  1. After you finish experimenting, ensure your Analysis Type window resembles the following window:

    bubuko.com,布布扣

  2. You chose a preset analysis type of intermediate scope to detect memory errors in the find_and_fix_memory_errors.exe file.

Run a threading error analysis

  1. Click the Analyze button on the Analysis Type window to:
  • Execute the find_and_fix_threading_errors.exe file.
  • Identify memory errors that may need handling.
  • Collect the result in a folder in the tachyon_insp_xe\vc8\My Inspector XE 2011 Project - find_and_fix_threading_errors folder.
  • Finalize the result (convert symbol information into filenames and line numbers, perform duplicate elimination, and form problem sets).
  1. During collection, the Inspector XE displays a Collection Log window similar to the following:

     

bubuko.com,布布扣

bubuko.com,布布扣

The Visual Studio* IDE offers a pointer to the result from the Solution Explorer to provide easy future access. Here, the Visual Studio* IDE created a MyInspector XE Results/find_and_fix_threading_errors folder in the Solution Explorer. Open it to see the pointer to the r000ti2 result.

bubuko.com,布布扣

The result name appears in the tab. Here, the name of the result (and the name of the result folder in the tachyon_insp_xe\vc8\My Inspector XE 2011 Project - find_and_fix_threading_errors folder) is r000mi2, where

  • r = constant,
  • 000 = next available number,
  • ti = memory error analysis type,
  • 2 = preset analysis type of intermediate scope

bubuko.com,布布扣

The Collection Log pane shows detected problems in real time.

This tutorial does not cover examining and solving problems during collection. For more details, please check the Inspector XE Help Index for examine result during analysis.

bubuko.com,布布扣

The Collector Messages pane shows analysis status messages.

You can control where application output appears: Separate console window (as in this tutorial), Application Output pane in the Collection Log window, or Visual Studio* output window.

Activity 3 – Manage result data after analysis

 

Time Required

Fifteen minutes

Objective

 

  • Learn how to manage result data after analysis is complete

 

After analysis (both collection and finalization) completes successfully, the Inspector XE displays the Summary window:

 

bubuko.com,布布扣

Choose Problem Set

Start exploring a threading error.

 

    Interpret the Summary window

 

bubuko.com,布布扣

 

bubuko.com,布布扣

The Summary window is the starting point for managing result data. It groups observations into problem sets, and then prioritizes the problem sets by severity and size.

 

Notice the arrow to the left of the Analysis Type button. Use it to revisit a read-only window showing your target project properties.

bubuko.com,布布扣

Think of the Problem Sets pane as a to-do list. Start at the top and work your way down.

bubuko.com,布布扣

The Observations in Problem Set pane shows all the observations in all the problems in the selected problem set. By default, the Inspector XE selects the first problem set for you.

 

Here, the Inspector XE selected the Invalid Memory Access problem set, which contains one problem composed of a Write observation.

bubuko.com,布布扣

This tutorial does not cover manipulating the timeline. For more details, check the Inspector XE Help Index for manipulate timeline.

bubuko.com,布布扣

The Summaries/Subsets pane categorizes all displayed problem sets by specific criteria. Use it to temporarily limit the list in the Problem Sets pane to only those problem sets that meet specific criteria.

This tutorial does not cover searching for specific problem sets. For more details, check the Inspector XE Help Index for select/problem set search criteria.

 

Choose a problem set

 

Click the data row for the Data race problem set in the find_and_fix_threading_errors.cpp source file to display a window similar to the following:

bubuko.com,布布扣

This Data race problem set contains one or more problems composed of Read and Write observations.

Choose a focus observation

Double-click the data row for the X2 Write observation to display the Sources window, which provides more visibility into the error:

bubuko.com,布布扣

Interpret Result Data

In this section, we will see how to determine the cause of the detected threading error.

 

To interpret the Sources window:

 

bubuko.com,布布扣

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

bubuko.com,布布扣

Like the pane on the Summary window, the Observations in Problem Set pane shows all the observations in one Write -> Write Data race problem and three Write -> Read Data race problems in the Data race problem set.

There are at least two observations in each problem. The X2 Write observation is in all problems.

Observations

One Write -> Write Data Race Problem

Three Write -> Read Data Race Problems

X2 Write

Represents the instruction and associated call stack of the thread responsible for a memory write.

X12 Write

Represents the instruction and associated call stack of the thread responsible for a concurrent memory write.

 

X3 Read

X4 Read

X5 Read

 

Represent the instruction and associated call stack of the thread responsible for a concurrent memory read.

bubuko.com,布布扣

The Related Observation Code pane shows the source code in the find_and_fix_threading_errors.cpp source file surrounding the X3 Read observation. (Notice the bubuko.com,布布扣icon in the pane title matches the bubuko.com,布布扣icon on the X3 Read observation data row in the Observations in Problem Set window.) The source code corresponding to the X3 Read observation is highlighted.

bubuko.com,布布扣

The Focus Observation Code pane shows the source code in the find_and_fix_threading_errors.cpp source file surrounding the X2 Write observation. (Notice the bubuko.com,布布扣icon in the pane title matches the bubuko.com,布布扣icon on the X2 Write observation data row in the Observations in Problem Set window.) The source code corresponding to the X2 Write observation is highlighted.

bubuko.com,布布扣

This tutorial does not cover manipulating the timeline. For more details, check the Inspector XE Help Index for manipulate timeline

To interpret window icons:

 

Icon

Meaning

bubuko.com,布布扣

This observation is the focus observation. The Inspector XE chose it for you when you double-clicked the Mismatched allocation/deallocation problem set on the Summary window. Its source code is currently displayed in the Focus Observation Code pane.

Observation source code is available for viewing in the Inspector XE and editing in the Visual Studio* editor.

bubuko.com,布布扣

This observation is related to the focus observation. Its source code is currently displayed in the Related Observation Code pane.

To view source code for another observation:

Double click the data row for the X4 Read observation in the Observations in Problem Set pane to display a window similar to the following:

bubuko.com,布布扣

Notice the window changes:

  • The Related Observation Code pane now shows the source code for the X4 Read observation.
  • The icon for the X4 Read observation is now bubuko.com,布布扣instead of bubuko.com,布布扣in the Observations in Problem Set pane (and throughout the Sources window).

Understand the issue:

A Write -> Write Data race problem occurs when multiple threads write to the same memory location without proper synchronization. A Write -> Read Data race problem occurs when one thread writes to, while a different thread concurrently reads from, the same memory location.

The commenting in the Focus Observation Code window identifies the cause of the Data race problems: Multiple threads are concurrently accessing the global variable col. One possible correction strategy: change the global variable to a local variable.

Access more information on interpreting and resolving problems:

  1. Right-click any observation in the Observations in Problem Set pane.
  2. Choose Explain Problem to display Inspector XE Help information for the Data race problem type.

 

     

 

Activity 4 – Resolve, Rebuild and Rerun

 

Time Required

Twenty minutes

Objective

 

  • Learn how to resolve a problem detected by the Inspector XE

 

Resolve an issue:

 

  1. Scroll to this source code near line 80 in the Focus Observation Code pane: color col;
  2. Double-click the line to open the find_and_fix_threading_errors.cpp source file in a separate tab where you can edit it with the Visual Studio* editor:

bubuko.com,布布扣

  1. Comment color col; and uncomment //color col; near line 89:

bubuko.com,布布扣

  1. Click the r000ti2 tab to redisplay the Sources window:

bubuko.com,布布扣

 

Rebuild and Rerun Analysis

 

To see if your edits resolved the memory errors:

  • Rebuild the project with your edited source code.
  • Run another analysis.
  • Start managing result data after collection.

To rebuild the project:

  1. Right-click the find_and_fix_threading_errors project in the Solution Explorer.
  2. Choose Build.

To run another analysis:

From the Visual Studio* menu, choose Tools > Intel Inspector XE 2011 > Analyze As... > Threading Error Analysis / Detect Deadlocks and Data Races to run another analysis of the same analysis type:

bubuko.com,布布扣

Notice the image now displays.

 

To start managing result data after collection:

After analysis (both collection and finalization) completes successfully, the Inspector XE displays the Summary window:

bubuko.com,布布扣

Notice the Inspector XE:

  • Created a new result tab.
  • No longer detects problems in the find_and_fix_threading_errors.cpp file

Intel 编译器 线程安全检查 真心的很详细 转,布布扣,bubuko.com

Intel 编译器 线程安全检查 真心的很详细 转

标签:des   style   c   blog   code   tar   

原文地址:http://www.cnblogs.com/ustc-cui/p/3753035.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!