DADOS의 Kernel 구조와 프로세스간의 통신기법 ( Kernel Structure and IPC Mechanism of DADOS )