특정 공유 자원이나 한 그룹의 공유 자원들을 할당하는 데 필요한 데이터 및 프로시저를 포함하는 병행성 구조로서 자료 추상화 개념을 기초로 하는 것은?