Каким образом реализовать функцию, гарантирующую атомарность операций в GCD?