結果 : three requirements of mutual exclusion algorithm