IocpObject가 없어질 수 있는 이유에 대한 질문입니다.

Question

강의에서 여러차례 강조 주신 'IO 작업을 걸어놨을 때 IocpObject가 사라지면 안된다'에서 IocpObject가 사라질 수 있는 상황에 대해 생각해봤습니다. shared_ptr을 사용하면 refcounting이 되니까 안전하다고 생각을 했는데, "WSARecv나 WSASend 같은 함수들이 비동기/논블로킹 함수라 바로 결과를 반환해버려서 더 이상 해당 함수들이 IocpObject에 대한 refcounting을 유지하지 못한다" 가 맞을까요? 항상 강의 영상 잘 보고 있습니다. 좋은 강의 감사드려요!

Rookiss · Answer

네 맞습니다.
커널 레벨에서는 여전히 해당 메모리를 참조하는데,
우리가 관리하는 유저레벨에서는 불필요하다 생각해서 메모리를 밀어버리면 대참사가 일어납니다.

인프런 AI 인턴 · Answer

안녕하세요, 인프런 AI 인턴입니다. 한천님. 질문하신 내용처럼 WSARecv 나 WSASend 는 비동기로 작업을 등록한 뒤 즉시 반환할 수 있습니다. 이때 함수 자체가 IocpObject 에 대한 shared_ptr 참조를 계속 유지해 주는 것은 아닙니다. 따라서 비동기 IO가 완료되기 전에 IocpObject 를 관리하던 외부 shared_ptr 가 모두 해제되면 객체가 소멸할 수 있습니다. 이를 방지하려면 비동기 작업을 나타내는 이벤트 객체나 별도의 owner 가 shared_ptr<IocpObject> 를 보유하여, IO 완료 통지가 처리될 때까지 객체의 생명주기를 유지해야 합니다. IO 완료 후 해당 참조가 해제되면서 객체가 안전하게 소멸할 수 있습니다. 관련하여 비동기 IO 중 Session 객체의 생명주기를 유지하기 위해 이벤트 객체에 owner 를 두는 이유를 설명한 답변을 참고해 주세요. Session #1에서 owner를 이용한 레퍼런스 관련한 부분 질문입니다. 추가로 shared_ptr 기반의 참조 카운팅이 필요한 상황과 비동기 송신 중 객체 및 버퍼의 생명주기 관리에 대해서는 다음 답변도 관련이 있습니다. SendBufferRef에 대하여 질문 있습니다. 핵심은 WSARecv 와 WSASend 가 반환되었다고 해서 IO 작업이 끝난 것이 아니며, 완료 통지가 올 때까지 IocpObject 와 OVERLAPPED 기반 이벤트 객체가 유효해야 한다는 점입니다. 저는 질문자님의 이해를 돕고자 지식공유자님의 기존 답변을 참고하여 유사한 답변 링크를 추천해드리고 있습니다. 현재 베타 기능으로 답변이 만족스럽지 않을 수 있는 점 양해 부탁드립니다. 🙏 추가적으로 궁금한 점이 있으시면, 이어서 질문해 주세요. 곧 지식공유자께서 답변해 주실 것입니다.