공유 버스를 갖는 다중 프로세서 시스템의 캐쉬 일관성 프로토콜에 관한 연구