puffs - Pass-to-userspace framework file system

AsiaBSDCon 2007 Proceedings

Volumn , Issue , 2007, Pages 29-42

  Kantee, Antti ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

BSD licensed sshfs; Message passing subsystems; Robust and secure operating systems; Userspace file systems

Indexed keywords

FAULT TOLERANCE; FILE ORGANIZATION; MESSAGE PASSING; SEPARATION;

CRITICAL APPLICATIONS; DEVELOPMENT AND TESTING; FAULT-TOLERANT; KERNEL APPROACHES; PROTECTION DOMAINS; SECURE OPERATING SYSTEM; SYSTEM CODES; SYSTEM SERVICES;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 84888080388     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Andrew S. Tanenbaum, Jorrit N. Herder, and Herbert Bos, “Can We Make Operating Systems Reliable and Secure?,” IEEE Computer, vol. 39, no. 5, pp. 44-51.
2. Brian N. Bershad, The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating Systems, pp. 205-211, Workshop on Micro-Kernels and Other Kernel Architectures (1992).
3. S. R. Kleiman, Vnodes: An Architecture for Multiple File System Types in Sun UNIX, pp. 238-247, Summer Usenix Conference, Atlanta, GA (1986).
4. Assar Westerlund and Johan Danielsson, Arla-a free AFS client, pp. 149-152, Usenix Freenix Track (1998).
5. Kristaps Dzonsons, nnpfs File-systems: an Introduction, Proceedings of the 5th European BSD Conference (November 2006).
6. Miklos Szeredi, Filesystem in USErspace, http://fuse.sourceforge.net/ (referenced February 1st 2007).
7. Csaba Henk, Fuse for FreeBSD, http://fuse4bsd.creo.hu/ (referenced February 1st 2007).
8. Amit Singh, A FUSE-Compliant File System Implementation Mechanism for Mac OS X, http://code.google.com/p/macfuse/ (referenced February 4th, 2007).
9. Bell Labs, “Plan 9 File Protocol, 9P,” Plan 9 Manual.
10. Eric Van Hensbergen and Ron Minnich, Grave Robbers from Outer Space: Using 9P2000 Under Linux, pp. 83-94, USENIX 2005 Annual Technical Conference, FREENIX Track (2005).
11. "The Clustering and Userland VFS transport protocol - summary" (May 2006). DragonFly BSD Kernel mailing list thread title.
12. Marshall Kirk McKusick, Keith Bostic, Michael J. Karels, and John S. Quarterman, Design and Implementation of the 4.4BSD Operating System, Addison-Wesley (1996).
13. Chuck Silvers, UBC: An Efficient Unified I/O and Memory Caching Subsystem for NetBSD, pp. 285-290, Usenix Freenix Track (2000).
14. buffercache(9) - buffer cache interfaces (October 2006). NetBSD Kernel Developer's Manual.
15. Marshall Kirk McKusick, Samuel J. Leffler, and Michael J. Karels, “Name Cacheing,” Measuring and Improving the Performance of Berkeley UNIX (April 1991).
16. David C. Steere, James J. Kistler, and M. Satyanarayanan, Efficient User-Level File Cache Management on the Sun Vnode Interface, pp. 325-332, Summer Usenix Conference (1990).
17. Juergen Hannken-Illjes, fstrans(9) - file system suspension helper subsystem (January 2007). NetBSD Kernel Developer's Manual.
18. puffs - Pass-to-Userspace Framework File System development interface (February 2007). NetBSD Library Functions Manual.
19. Edward A. Lee, “The Problem with Threads,” UCB/EECS-2006-1, EECS Department, University of California, Berkeley (2006).
20. J. Galbraith, T. Ylönen, and S. Lehtinen, SSH File Transfer Protocol draft 03, Internet-Draft (October 16, 2002).
21. Sun Microsystems, “lofs - loopback virtual file system,” SunOS Manual Pages, Chapter 7FS (April 1996).
22. David S. H. Rosenthal, Evolving the Vnode Interface, pp. 107-118, Summer Usenix Conference (1990).
23. J. Pendry and M. McKusick, Union Mounts in 4.4BSD-Lite, pp. 25-33, New Orleans Usenix Conference (January 1995).
24. Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi, Using Model Checking to Find Serious File System Errors, pp. 273-288, OSDI (2004).