Нужен ли нам mfence в функции unlock () блокировки Петерсона на x86?

Код блокировки Петерсона, взятый из (немецкий) wikipedia:

# define FALSE 0
# define TRUE 1
# define N 2 

int turn; 
int interested[N]; 

void enter_region(int process)
{
  int other; 
  other = 1 - process; 
  interested[process] = TRUE; 
  turn = other;

  while (interested[other] == TRUE && turn == other) ; 
}

void leave_region(int process)  
{
  interested[process] = FALSE;  
}

Может кто-нибудь подумать о примере, где ошибка происходит без функции функции leave_region?

N.B.: Я точно знаю, что требуется функция mfence в функции enter_region.