Алгоритм «атомарной» функции, которая меняет местами верхние значения в двух стеках

@Rhogs · Регистрация: 26.11.2016

Author24 — интернет-сервис помощи студентам

Уважаемые, помогите найти ошибки в программе (если таковые есть - то исправьте плззз)
Ниже приведен алгоритм «атомарной» функции, которая меняет местами верхние значения в двух стеках. Если один из стеков пуст, то второй не должен изменяться. В функцию никогда не передаются указатели на один и тот же стек.

C

Void AtomicSwap(Stack *s1, Stack *s2) {
 
Int v1, v2, rez;
 
s1->lock.Acquire();
 
rez=s1->Pop(&v1);
 
if (rez==OK) {
 
s2->lock.Acquire();
 
rez=s2->Pop(&v2);
 
if (rez==OK) {
 
s2->Push(v1);
 
s1->Push(v2);
 
s2->lock.Release();
 
s1->lock.Release();
 
}
 
}
 
}

@voral · 29.06.2012, 16:43

Отформатировать код было слабо?

1. стандартных типов Void и Int не существует. Если это намек на стандартные типы, а не ваши собственные типы. То это ошибка.
2. Если произойдет ошибка во время помещения v2. То s1 и s2 скорее всего остануться залочеными

Но это возможно не ошибки (правда второе если и не ошибка, то образец неправильного подхода) - надо знать весь код.

@voral 2304 / 1225 / 246 Регистрация: 16.03.2008 Сообщений: 5,840 Записей в блоге: 2
	29.06.2012, 16:43	2
	Отформатировать код было слабо? 1. стандартных типов Void и Int не существует. Если это намек на стандартные типы, а не ваши собственные типы. То это ошибка. 2. Если произойдет ошибка во время помещения v2. То s1 и s2 скорее всего остануться залочеными Но это возможно не ошибки (правда второе если и не ошибка, то образец неправильного подхода) - надо знать весь код. 0