1. 상호 배제: 남자가 여자에게 다른 남자 말은 듣지 말고 자신의 말만 들으라고 요구한다.
2. 점유 대기: 남자는 여자와 사귀고 있는 상태에서 다른 여자를 사귀려고 한다.
3. 비선점: 남자가 여자와 헤어지기 전까지 다른 남자는 남자의 허락 없이 여자를 강제로 빼앗을 수 없다.
4. 순환 대기: 남자들은 항상 다른 남자와 사귀고 있는 여자와 사귀려고 하며 전체적으로 순환 모형을 이루고 있다.
더러운 데드락
1. 상호 배제: 남자가 여자에게 다른 남자 말은 듣지 말고 자신의 말만 들으라고 요구한다.
여자가 이미 임신상태여서 더이상 다른 남자의 아기를 갖지 못하는 상태.
여자기 이미 임신상태여서 출산을 기다렸다가 다시 임신시키려고 하는 상태
이미 임신중인 여자는 낙태할 수 없다.
그니까 lock-free 하게 원나잇으로 즐기자고 ㅋㅋㅋ
ABA 문제는 어떻게 해결하지?
원나잇을 하는데 이년이 이미 다른놈이랑 뒹굴고 온년인지 아닌지 알수가 없네 아놔..