세션 invalidate

로그아웃을 처리할 때 HttpSession을 invalidate하는데 공부를 해보니 실제 서블릿 컨테이너에 있는 저장소에서 Map의 요소를 삭제하는 것이 아니라, Session 내부의 데이터들을 지우고 invaldated 변수의 값을 true로 바꿔주기만 하는 것으로 보았습니다. 

제가 이해한 바가 맞다면, 세션이 무효화되는 것은 맞지만, 세션 저장소에 계속해서 (key, value) 가 쌓일텐데 invalidate한 세션을 map에서 지워주는 과정이 따로 있는 건가요? GC는 여기서 작동하지 않을 것이라 생각됩니다.
그리고 굳이 invalidate할 때 바로 map에서 key,value 쌍을 지우지 않고, invalidate라는 무효화되었는지를 판단하는 변수를 둔 이유도 궁금합니다.