diff --git a/08.-%D0%94%D0%B8%D1%80%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D1%8B-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B5-SAPFOR.md b/08.-%D0%94%D0%B8%D1%80%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D1%8B-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B5-SAPFOR.md index ebac0f3..8464a04 100644 --- a/08.-%D0%94%D0%B8%D1%80%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D1%8B-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B5-SAPFOR.md +++ b/08.-%D0%94%D0%B8%D1%80%D0%B5%D0%BA%D1%82%D0%B8%D0%B2%D1%8B-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B5-SAPFOR.md @@ -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 ( [,] ) | - EXPAND [ ( <Идент> [,<Идент>] ) ] | - SHRINK (<Идент> (<Цифра>, [<Цифра>])) + FISSION ( [,] ) | + 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> ( )