Specification of Pagoda Distributed File System

"Pagoda" is a distributed system under development at KAIST. A distributed file system plays a major role in the operation of Pagoda. This paper presents the characterization of the Pagoda distributed file system, and describes its architecture to support the required characteristics. Characterization will be debated with respect to transparency, availability, reliability, flexibility, and efficiency. The internal architecture to provide the characteristics will be considered with respect to the communication structure, the replication structure, and the kernel architecture managing the two structures.