Table of Contents
Correct Programming in OpenMP Danger Zones … and how to get passed them in one piece
Module 4A: OpenMP Danger Zones
4.A.1 SMP Programming errors
3 major SMP errors
Race Conditions
Race Conditions
Race Conditions
Deadlock
Deadlock
Livelock
Livelock
4.A.2 OpenMP death-traps
4.A.3 Navigating through the Danger Zones
Navigating through the Danger Zones
Portable Sequential Equivalence
Portable Sequential Equivalence
2 Forms of Sequential Equivalence
4.A.4 Strong Sequential Equivalence: rules
Strong Sequential Equivalence: example
Weak Sequential equivalence
Weak equivalence: example
Sequential Equivalence isn’t a Silver Bullet
Conclusion
Module 5.B: Debugging Tools
5.B.1 SimpleTechniques for Debugging
5.B.2 Using OpenMP Checking Bindings
5.B.3 Using Ladebug with F90
Using Ladebug with F90
Using Ladebug with F90
5.B.4 Automatically Finding Bugs
AssureView: Common Mismatch
AssureView: Errors
AssureView:Source
Danger Zone Tests
Danger Zone Tests
Assure Example
Assure Example
Assure As Interactive Parallelizer
Verifying Storage Class Choice
Verifying Storage Class Choice
OpenMP Tools -- Very Strong in Correctness
|