distributed-file-system.md

architecture

• 本地文件存储（DAS）
• 网络文件存储（FAS）
  • 存储区域网络（SAN）
  • 网络接入存储（SAN）

parallel file system

• Chapter 19: Parallel I/O and the Parallel Virtual File System
• Striping without Sacrifices: Maintaining POSIX Semantics in a Parallel File System
• Scale and Concurrency of GIGA+: File System Directories with Millions of Files

posix specification

• A Concurrent Specification of POSIX File Systems
• The Specification of POSIX File Systems
• Reasoning About POSIX File Systems
• Reasoning about the POSIX File System

race condition

• Race condition/File systems
• File locking
• File locking in Linux

formal verification

• fscq
• mit-pdos/fscq