등록 전 실패
acceptor가 즉시 닫는다.
네트워크 자원 소유권 이전
acceptor가 받은 Socket은 제출 결과에 따라 닫는 주체가 달라진다.
Accepted Socket
작업 제출 거부
등록 보상 뒤 acceptor가 닫는다.
제출 성공
세션 run이 소유권을 받는다.
서버 shutdown
레지스트리가 세션 close를 호출한다.
핵심: 성공 경로뿐 아니라 각 실패 분기의 close가 소유권 계약을 증명한다.
acceptor가 받은 Socket은 제출 결과에 따라 닫는 주체가 달라진다.
acceptor가 즉시 닫는다.
등록 보상 뒤 acceptor가 닫는다.
세션 run이 소유권을 받는다.
레지스트리가 세션 close를 호출한다.
핵심: 성공 경로뿐 아니라 각 실패 분기의 close가 소유권 계약을 증명한다.