Обязателен ли анализ зависимости для компиляторов OpenACC?

Question

Многие обучающие программы OpenACC предполагают, что компилятор/ускоритель проверяет правильность, автоматически проверяя зависимости и гарантируя, что цикл фактически параллелизуем. Однако спецификация OpenACC, похоже, ничего не говорит об обязательном анализе корректности. Являются ли компиляторы OpenACC ОБЯЗАННЫ проверять, действительно ли циклы являются параллелизуемыми и сдаются, если они не являются?

Answer 1

Компилятор должен анализировать циклы, чтобы определить, являются ли они независимыми от данных, когда используется «авто» предложение директивы «loop». (См. Раздел 2.9.6 стандарта OpenACC).

Для циклов внутри конструкции «ядра» по умолчанию включено «авто», если не используются «независимые» или «секционные» предложения.

Для директив «loop» внутри «параллельной» конструкции «авто» не включен по умолчанию, поэтому декорированные циклы считаются независимыми.