Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Network File System"”.
-
GoTxn: Verifying a Crash-Safe, Concurrent Transaction System
… be tricky, especially when scaling up to larger systems that must also have good performance. This thesis discusses the verification of GoTxn, the concurrent, crash-safe transaction system underlying the verified Network File System (NFS) server DaisyNFS. It focuses on the specification and proof …
-
Experimental study of software dependability
… increasing demand for highly dependable software systems. The factors that influence the dependability of software systems include software faults and hardware faults. To improve software dependability, it is necessary to understand the characteristics of these faults and how they affect software …
-
BlueFlash : a reconfigurable flash controller for BlueDBM
… hard disks. However, in modern Big Data systems, simply replacing disks with flash does not yield proportional performance gains. This is because of bottlenecks in various levels of the system stack: I/O interface, network, file system and processor. Introduced in 2012, BlueDBM is a novel …
-
Design of the Network Multimedia File System protocol: a protocol for remote access of networked multimedia files
… a multimedia application to access multimedia files from local as well as remote sites. This thesis describes the methodology used in the design of the Network Multimedia File System (NMFS) protocol. The protocol provides “transparent access to shared files across networks” much like Sun’s …
-
Algorithms for verifying the integrity of untrusted storage
… valid storage. The problem is important in a system such as a network file system or database where a client accesses data stored remotely on an untrusted server. Past systems have used a hash tree-based checker to check the integrity of data stored on untrusted storage. This method has high …
-
The Jade File System.
File systems have long been the most important and most widely used form of shared permanent storage. File systems in traditional time-sharing systems such as Unix support a coherent sharing model for multiple users. Distributed file systems implement this sharing model in local area networks. …
-
Advanced I/O Techniques for Efficient and Highly Available Process Crash Recovery Protocols
… grow, the availability and reliability of these systems become a primary concern. As such, some solutions are physical (ie. power backup) and some are software driven. Lawrence Berkeley National Laboratory has created a system-level fault-tolerant checkpoint/restart implementation for Linux …