Changes between Version 83 and Version 84 of Next-GenOpenMPTransformation
- Timestamp:
- 12/03/21 19:46:01 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Next-GenOpenMPTransformation
v83 v84 2 2 3 3 == 1 [wiki:OpenMP-Transformation-Introduction] == 4 ([ https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction content])4 ([wiki:OpenMP-Transformation-Introduction content]) 5 5 6 1.1 [ https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.1TheSequentiallyConsistentSubsetofOpenMP The Sequentially Consistent Subset of OpenMP]6 1.1 [wiki:OpenMP-Transformation-Introduction#a1.1TheSequentiallyConsistentSubsetofOpenMP The Sequentially Consistent Subset of OpenMP] 7 7 8 1.2 [ https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.2OverviewofOpenMPTransformation General Ideas of OpenMP Transformation]8 1.2 [wiki:OpenMP-Transformation-Introduction#a1.2OverviewofOpenMPTransformation General Ideas of OpenMP Transformation] 9 9 10 1.3 [ https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.3OpenMPSimplification OpenMP Simplification]10 1.3 [wiki:OpenMP-Transformation-Introduction#a1.3OpenMPSimplification OpenMP Simplification] 11 11 12 1.4 [ https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction#a1.4ModelCheckingOpenMPPrograms Model Checking OpenMP Programs]12 1.4 [wiki:OpenMP-Transformation-Introduction#a1.4ModelCheckingOpenMPPrograms Model Checking OpenMP Programs] 13 13 14 == 2 [wiki:OpenMP-Transformation-Supported-Features] ==15 ([https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features content])16 14 17 2.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1SupportedOpenMPDirectives Supported OpenMP Directives] 15 == 2 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions] == 16 ([wiki:OpenMP-Transformation-CIVL-Types-and-Functions content]) 18 17 19 2.1.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.1parallelConstruct parallel Construct]18 2.1 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.1CIVL-CTypesIntroducedforOpenMPTransformation CIVL-C Types Introduced for OpenMP Transformation] 20 19 21 2.1.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.2WorkingsharingConstructs Worksharing Constructs]20 2.2 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.2CIVL-CFunctionsIntroducedforOpenMPTransformation CIVL-C Functions Introduced for OpenMP Transformation] 22 21 23 2.1.2.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.2.1sectionsConstruct sections Construct]22 2.2.1 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.2.1TeamCreationandDestructionFunctions Team Creation and Destruction Functions] 24 23 25 2.1.2.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.2.2singleConstruct single Construct]24 2.2.2 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.2.2WorksharingandBarriersFunctions Worksharing and Barriers Functions] 26 25 27 2.1.2.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.2.3workshareConstruct workshare Construct]26 2.2.3 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.2.3MiscellaneousFunctions Miscellaneous Functions] 28 27 29 2.1.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.3Loop-RelatedDirectives Loop-Related Directives]28 2.3 [wiki:OpenMP-Transformation-CIVL-Types-and-Functions#a2.3WorksharingModel Worksharing Model] 30 29 31 2.1.3.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.3.1Worksharing-LoopConstruct Worksharing-Loop Construct] 30 == 3 [wiki:OpenMP-Transformation-Supported-Features] == 31 ([wiki:OpenMP-Transformation-Supported-Features content]) 32 32 33 2.1.3.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.3.2simdConstruct simd Construct]33 3.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1SupportedOpenMPDirectives Supported OpenMP Directives] 34 34 35 2.1.3.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.3.3Worksharing-LoopSIMDConstruct Worksharing-Loop SIMD Construct]35 3.1.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1.1parallelConstruct parallel Construct ] 36 36 37 2.1.3.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.3.4declaresimdDirective declare simd Directive]37 3.1.2 [wiki:OpenMP-Transformation-Supported-Features#a2.1.2WorkingsharingConstructs Worksharing Constructs] 38 38 39 2.1.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.4TaskingConstructs Tasking Constructs]39 3.1.2.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1.2.1sectionsConstruct sections Construct] 40 40 41 2.1.5 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.5masterConstruct master Construct]41 3.1.2.2 [wiki:OpenMP-Transformation-Supported-Features#a2.1.2.2singleConstruct single Construct] 42 42 43 2.1.6 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.6SynchronizationConstructsandClauses Synchronization Constructs and Clauses]43 3.1.2.3 [wiki:OpenMP-Transformation-Supported-Features#a2.1.2.3workshareConstruct workshare Construct] 44 44 45 2.1.6.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.6.1criticalConstruct critical Construct]45 3.1.3 [wiki:OpenMP-Transformation-Supported-Features#a2.1.3Loop-RelatedDirectives Loop-Related Directives] 46 46 47 2.1.6.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.6.2barrierConstruct barrierConstruct]47 3.1.3.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1.3.1Worksharing-LoopConstruct Worksharing-Loop Construct] 48 48 49 2.1.6.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.6.3atomicConstruct atomicConstruct]49 3.1.3.2 [wiki:OpenMP-Transformation-Supported-Features#a2.1.3.2simdConstruct simd Construct] 50 50 51 2.1.6.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.6.4orderedConstruct orderedConstruct]51 3.1.3.3 [wiki:OpenMP-Transformation-Supported-Features#a2.1.3.3Worksharing-LoopSIMDConstruct Worksharing-Loop SIMD Construct] 52 52 53 2.1.7 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7DataEnvironment Data Environment]53 3.1.3.4 [wiki:OpenMP-Transformation-Supported-Features#a2.1.3.4declaresimdDirective declare simd Directive] 54 54 55 2.1.7.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.1threadprivateDirective threadprivate ` Directive]55 3.1.4 [wiki:OpenMP-Transformation-Supported-Features#a2.1.4TaskingConstructs Tasking Constructs] 56 56 57 2.1.7.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.2defaultClause default Clause]57 3.1.5 [wiki:OpenMP-Transformation-Supported-Features#a2.1.5masterConstruct master Construct] 58 58 59 2.1.7.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.3sharedClause shared Clause]59 3.1.6 [wiki:OpenMP-Transformation-Supported-Features#a2.1.6SynchronizationConstructsandClauses Synchronization Constructs and Clauses] 60 60 61 2.1.7.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.4privateClause private Clause]61 3.1.6.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1.6.1criticalConstruct critical Construct] 62 62 63 2.1.7.5 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.5firstprivateClause firstprivate Clause]63 3.1.6.2 [wiki:OpenMP-Transformation-Supported-Features#a2.1.6.2barrierConstruct barrier Construct] 64 64 65 2.1.7.6 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.6lastprivateClause lastprivate Clause]65 3.1.6.3 [wiki:OpenMP-Transformation-Supported-Features#a2.1.6.3atomicConstruct atomic Construct] 66 66 67 2.1.7.7 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.1.7.7reductionClause reduction Clause]67 3.1.6.4 [wiki:OpenMP-Transformation-Supported-Features#a2.1.6.4orderedConstruct ordered Construct] 68 68 69 2.2. [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2SupportedOpenMPRuntimeLibraryTypesandRoutines Supported OpenMP Runtime Library Types and Routines]69 3.1.7 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7DataEnvironment Data Environment] 70 70 71 2.2.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1ExecutionEnvironmentRoutines Execution Environment Routines]71 3.1.7.1 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.1threadprivateDirective threadprivate ` Directive] 72 72 73 2.2.1.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.1omp_set_num_threads omp_set_num_threads]73 3.1.7.2 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.2defaultClause default Clause] 74 74 75 2.2.1.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.2omp_get_num_threads omp_get_num_threads]75 3.1.7.3 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.3sharedClause shared Clause] 76 76 77 2.2.1.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.3omp_get_max_threads omp_get_max_threads]77 3.1.7.4 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.4privateClause private Clause] 78 78 79 2.2.1.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.4omp_get_thread_num omp_get_thread_num]79 3.1.7.5 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.5firstprivateClause firstprivate Clause] 80 80 81 2.2.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.2LockRoutines Lock Routines]81 3.1.7.6 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.6lastprivateClause lastprivate Clause] 82 82 83 2.2.2.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.1omp_init_lock omp_init_lock]83 3.1.7.7 [wiki:OpenMP-Transformation-Supported-Features#a2.1.7.7reductionClause reduction Clause] 84 84 85 2.2.2.2 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.2omp_destroy_lock omp_destroy_lock]85 3.2. [wiki:OpenMP-Transformation-Supported-Features#a2.2SupportedOpenMPRuntimeLibraryTypesandRoutines Supported OpenMP Runtime Library Types and Routines] 86 86 87 2.2.2.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.3omp_set_lock omp_set_lock]87 3.2.1 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1ExecutionEnvironmentRoutines Execution Environment Routines] 88 88 89 2.2.2.4 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.4omp_unset_lock omp_unset_lock]89 3.2.1.1 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.1omp_set_num_threads omp_set_num_threads] 90 90 91 2.2.2.5 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.1.4omp_unset_lock omp_test_lock]91 3.2.1.2 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.2omp_get_num_threads omp_get_num_threads] 92 92 93 2.2.3 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.3TimingRoutines Timing Routines]93 3.2.1.3 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.3omp_get_max_threads omp_get_max_threads] 94 94 95 2.2.3.1 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Supported-Features#a2.2.3.1omp_get_wtime omp_get_wtime]95 3.2.1.4 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.4omp_get_thread_num omp_get_thread_num] 96 96 97 [https://vsl.cis.udel.edu/trac/civl/wiki/DeveloperPage Back: DeveloperPage]97 3.2.2 [wiki:OpenMP-Transformation-Supported-Features#a2.2.2LockRoutines Lock Routines] 98 98 99 [https://vsl.cis.udel.edu/trac/civl/wiki/OpenMP-Transformation-Introduction Next: Introduction] 99 3.2.2.1 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.1omp_init_lock omp_init_lock] 100 101 3.2.2.2 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.2omp_destroy_lock omp_destroy_lock] 102 103 3.2.2.3 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.3omp_set_lock omp_set_lock] 104 105 3.2.2.4 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.4omp_unset_lock omp_unset_lock] 106 107 3.2.2.5 [wiki:OpenMP-Transformation-Supported-Features#a2.2.1.4omp_unset_lock omp_test_lock] 108 109 3.2.3 [wiki:OpenMP-Transformation-Supported-Features#a2.2.3TimingRoutines Timing Routines] 110 111 3.2.3.1 [wiki:OpenMP-Transformation-Supported-Features#a2.2.3.1omp_get_wtime omp_get_wtime] 112 113 [wiki:DeveloperPage Back: DeveloperPage] 114 115 [wiki:OpenMP-Transformation-Introduction Next: Introduction]
