INDEX

1 OpenMP-Transformation-Introduction

(content)

1.1 The Sequentially Consistent Subset of OpenMP

1.2 General Ideas of OpenMP Transformation

1.3 OpenMP Simplification

1.4 Model Checking OpenMP Programs

2 OpenMP-Transformation-CIVL-Types-and-Functions

(content)

2.1 CIVL-C Types Introduced for OpenMP Transformation

2.2 CIVL-C Functions Introduced for OpenMP Transformation

2.2.1 Team Creation and Destruction Functions

2.2.2 Worksharing and Barriers Functions

2.2.3 Miscellaneous Functions

2.3 Worksharing Model

3 OpenMP-Transformation-Supported-Features

(content)

3.1 Supported OpenMP Directives

3.1.1 parallel Construct

3.1.2 Worksharing Constructs

3.1.2.1 sections Construct

3.1.2.2 single Construct

3.1.2.3 workshare Construct

3.1.3 Loop-Related Directives

3.1.3.1 Worksharing-Loop Construct

3.1.3.2 simd Construct

3.1.3.3 Worksharing-Loop SIMD Construct

3.1.3.4 declare simd Directive

3.1.4 Tasking Constructs

3.1.5 master Construct

3.1.6 Synchronization Constructs and Clauses

3.1.6.1 critical Construct

3.1.6.2 barrier Construct

3.1.6.3 atomic Construct

3.1.6.4 ordered Construct

3.1.7 Data Environment

3.1.7.1 threadprivate ` Directive

3.1.7.2 default Clause

3.1.7.3 shared Clause

3.1.7.4 private Clause

3.1.7.5 firstprivate Clause

3.1.7.6 lastprivate Clause

3.1.7.7 reduction Clause

3.2. Supported OpenMP Runtime Library Types and Routines

3.2.1 Execution Environment Routines

3.2.1.1 omp_set_num_threads

3.2.1.2 omp_get_num_threads

3.2.1.3 omp_get_max_threads

3.2.1.4 omp_get_thread_num

3.2.2 Lock Routines

3.2.2.1 omp_init_lock

3.2.2.2 omp_destroy_lock

3.2.2.3 omp_set_lock

3.2.2.4 omp_unset_lock

3.2.2.5 omp_test_lock

3.2.3 Timing Routines

3.2.3.1 omp_get_wtime

Back: DeveloperPage

Next: Introduction