compare_exchange_strong 의사 코드에 대해 질문이 있습니다!

expected가 레퍼런스로 들어가서 expected의 값을 while 안에서 계속 false로 초기화해주는 것에 대해 좀 의구심이 듭니다. 그냥 expected 자리에 레퍼런스 대신 boolean 리터럴 값으로 false를 넘겨도 문제가 없을 것 같은데, 왜 굳이 레퍼런스를 넘기도록 강제하고 있는 것일까요?

if (mbLocked == expected)
{
	expected = mbLocked;
	_locked = desired;
	return true;
}
else
{
	expected = mbLocked;
	return false;
}

이 의사 코드에 보면

그냥 return true, return false만 해줘도 될 것 같은데 굳이 expected를 초기화 해주는 이유가 궁금합니다.

제대로 알려면 어셈블리 레벨에서 도는 코드를 봐야 하는 걸까요?