It's impossible for traditional operating systems to separate the abstracts for data storage (process virtual address space), for data computation (thread), and for resource management (process itself). This paper first analyzes the problems due to not able to separat these three abstracts. On the base of the analysis, the idea that the three abstracts should be separated is proposed, and then, the operating systems based on virtual address spaces on files (OS-BVASF) is developed. Then, OS-BVASF抯 architecture model thread migration and instruction accessing file that implement separation of the three abstracts is investigated. Finally, its implementation, test, and performance evaluation are discussed. The work in this paper shows it is feasible to separate data storage, data computation, and resource management in operating systems.