Обновить 08. Директивы системе SAPFOR

2025-03-16 15:59:52 +00:00
parent e500be5a80
commit fd63c7bc1d

@@ -1,15 +1,19 @@
### БНФ
```
<директива> ::= !$SPF <тип>( <спец> [, <спец >])
<тип> ::= ANALYSIS (<спец1> [, <спец1 >]) | PARALLEL (<спец2> [, <спец2 >]) | TRANSFORM (<спец3>) | PARALLEL_REG <Идент> | END PARALLEL_REG | CHECKPOINT(<спец4>,[<спец4>])
<тип> ::= ANALYSIS (<спец1> [, <спец1 >]) | PARALLEL (<спец2> [, <спец2 >]) | TRANSFORM (<спец3>) | | PARALLEL_REG <Идент> [(спец5)] | END PARALLEL_REG |
CHECKPOINT(<спец4>,[<спец4>])
<спец1> ::= <редукция> | <приватные>|<параметр задачи>
<спец2> ::= <теневые грани> | < рег зависимости> | <удаленная ссылка>
<спец2> ::= <теневые грани> | < рег зависимости> | <удаленная ссылка>
<спец3> ::= NOINLINE | UNROLL [(<Цифра>, <Цифра>, <Цифра>)] |
FISSION ( <access_list> [,<access_list>] ) |
EXPAND [ ( <Идент> [,<Идент>] ) ] |
SHRINK (<Идент> (<Цифра>, [<Цифра>]))
FISSION ( <access_list> [,<access_list>] ) |
EXPAND [ ( <Идент> [,<Идент>] ) ] |
SHRINK (<Идент> (<Цифра>, [<Цифра>]))
<спец4> ::= INTERVAL(TIME | ITER, <Цифра>) | FILES_COUNT (<Цифра>) | VARLIST (<Идент> [,<Идент>]) | EXCEPT (<Идент>[,<Идент>]) | TYPE (ASYNC | FLEXIBLE)
<спец5> ::= [APPLY_REGION(спец6)], [APPLY_FRAGMENT(спец6)]
<спец6> ::= CODE_COVERAGE | WEIGHT (<Цифра>)
<редукция> := REDUCTION (< ред лист> [,< ред лист> ])
<ред лист> ::= <операция> ( <Идент>) | <операция_loc> ( <loc_ident> )