주기억장치의 실제용량보다 훨씬 더 큰 기억공간을 사용자에게 제공하며, 운영체제에 의해 관리되는 기억장치 시스템은?