WinFsp maintains quality through rigorous testing under a variety of scenarios. This document discusses its testing strategy.
A file system is a fundamental block of an OS. It provides the primary means for storing persistent information and capturing system state. A file system must not only be reliable and stable when the computer is running, it must also store data in a manner as to eliminate data loss or data corruption. Furthermore a file system must provide semantics that closely adhere to existing standards and conventions for its OS to avoid confusion or even accidental corruption from programs that use it. For these reasons rigorous and extensive testing of a file system is of paramount importance.
WinFsp enables the creation of user mode file systems that fully integrate with the Windows OS. WinFsp is a system component and the user mode file systems that integrate with it also become system components. The need for thorough testing of WinFsp becomes apparent.
WinFsp currently has the following test suites:
Winfsp-tests: This test suite provides comprehensive testing of WinFsp’s capabilities under various scenarios. This includes general Win32 (and NTDLL) file API testing, but also includes WinFsp specific tests, such as incorrectly functioning user mode file systems. The non-WinFsp specific tests are verified against NTFS.
This test suite is developed together with WinFsp. It is written in C/C++ and provides a form of gray box testing.
Winfstest: This is another test suite that verifies general file system functionality. It is not WinFsp specific and all its tests pass on NTFS.
This test suite is written in Python and C and was originally developed for the secfs.test collection of file system test programs by the WinFsp author. It provides a form of black box testing.
IfsTest: This is Microsoft’s Installable File System Test Suite. It is used to verify that WinFsp behavior closely resembles that of NTFS.
This test suite is part of the Windows Hardware Lab Kit (HLK). It provides a form of black box testing.
FSX: This is Apple’s FSX ported to Windows by the WinFsp author. FSX is very good at finding problems with read/write and memory-mapped I/O.
Fscrash: This is a tool that simulates a faulty or crashing user mode file system. It is used to test the fault tolerance of WinFsp.
This test is developed together with WinFsp. It is written in C/C++.
Fsbench: This is a tool that can be used to test the performance of Windows file systems under different scenarios. It can work with any Windows file system and is not specific to WinFsp.
This tool is currently developed together with WinFsp. It is written in C.
These test suites and a few smaller tests are run through Continuous Integration testing every time a push is made into the WinFsp repository.
WinFsp includes a test user mode file system called MEMFS. This is a simple in memory file system written in C/C++. MEMFS implements all file system features that WinFsp supports. MEMFS also performs various user mode file system checks during testing, for example, it checks that the buffer received during WRITE calls is read-only.
The combined test suites exercise the majority of Win32 file API’s and a few NTDLL ones. The tested API’s include:
API’s to create, open, close files/streams.
API’s to perform file/stream I/O in cached, non-cached, write-through, overlapped, etc. modes.
API’s to perform memory mapped I/O.
API’s to get or set file/stream metadata and security.
API’s to rename or delete files/streams.
API’s to enumerate directories and streams.
API’s that act on reparse points and symbolic links.
These tests are run under a variety of conditions:
When the file system is a "disk" file system (
When the file system is a "network" file system (
When the file system is a "disk" file system exposed as a network share (
When the file system is mapped as a drive (
When the file system is mounted on a directory (using junctions).
When the file system is case-sensitive or case-insensitive.
When the process making the API calls lacks the traverse privilege (
When the process making the API calls has the backup or restore privilege (
Not all tests apply to all conditions. The test suites will disable/skip tests that do not apply to a particular scenario.
In addition the tests are run both on Debug and Release builds. Debug builds includes numerous ASSERT() statements that test various conditions within the WinFsp code.
Windows File System Drivers (FSD) run in a variety of conditions that are not always easy to replicate during testing. For example, an FSD may not be able to get locks to perform an operation, in which case it may retry the operation later. Or it may be unable to allocate memory for a MustSucceed task, in which case it may wait a bit and retry.
Such situations may not arise during normal testing. For this reason, WinFsp uses the
DEBUGTEST() macro, which takes a single
Percent argument. In Release builds this macro always evaluates to
TRUE. In Debug builds this macro may evaluate to
FALSE depending on the value of the
Percent argument, which specifies the percentage of times that
DEBUGTEST() should evaluate to
TRUE. For example, a
DEBUGTEST(90) means that 90% of the time the macro should evaluate to
TRUE and 10% of the time it should evaluate to
The WinFsp FSD uses the
DEBUGTEST() macro in various places where an operation may have to be retried. For example, here is how it handles deferred writes:
In Release builds the
DEBUGTEST(90) macro will evaluate to
TRUE and the Cache Manager will be asked directly via
CcCanIWrite whether a WRITE should be deferred. In Debug builds the
DEBUGTEST(90) macro will evaluate to
FALSE sometimes (10% of the time) and the WRITE will be deferred, thus allowing us to test the retry code path.
WinFsp allows the creation of user mode file systems that exhibit behavior similar to NTFS. This means that Windows applications that use such a file system should not be able to tell the difference between NTFS and the WinFsp-based file system. OTOH specialized applications (such as Defrag) will not work properly on WinFsp file systems.
WinFsp uses the winfsp-tests, winfstest and ifstest test suites for compatibility testing. These test suites verify that WinFsp and NTFS have very similar behavior. There is a separate document that examines the differences between WinFsp and NTFS in more detail.
User mode file systems are normal user mode processes and as such they may fail in a variety of conditions. For example, a user mode file system may trigger an access violation while servicing a file operation. As another example, the developer of a user mode file system may terminate the file system process forcefully from within a debugger.
In such cases WinFsp is able to recover gracefully and clean up its resources and data structures. This is a fundamental capability of WinFsp and one that must be tested thoroughly.
For this purpose WinFsp is tested using the fscrash tool. Fscrash includes a special version of MEMFS, where file operations can potentially cause a crash. Fscrash also includes a simple test that is run in a loop until the included file system crashes. When the OS kills the process, the WinFsp FSD steps in and cleans up all resources used by the faulty file system. The intent of the test is to verify that WinFsp handles the crash properly, without leaving any leaks and without crashing the OS.
All development and testing of WinFsp is done under the Driver Verifier with standard settings enabled. The Driver Verifier is an invaluable tool for Windows Driver development. It has caught numerous issues within WinFsp, in most cases immediately after the faulty code was written and run for the first time.
One of the most important aspects of the Driver Verifier is that it can track the pool (memory) usage of WinFsp. The WinFsp master test driver uses this to confirm that the WinFsp FSD does not leak memory. At the end of the tests the master test driver unmounts any remaining WinFsp file systems and then verifies that there are zero pool allocations for the WinFsp FSD.
The goal of performance testing is to evaluate and understand how software behaves under certain workloads. Performance testing can help identify cases where the software requires too much time or resources. It is also useful to establish a performance baseline to ensure that software performance does not degrade over time.
WinFsp uses a tool called fsbench for this purpose. Fsbench is able to test specific scenarios, for example: "how long does it take to delete 1000 files?" Fsbench has been very useful for WinFsp and has helped improve its performance: in one situation it helped identify quadratic behavior with the MEMFS ReadDirectory operation, in another situation it helped fine tune the performance of the WinFsp I/O Queue.
WinFsp is regularly run under the Visual Studio’s Code Analyzer. Any issues found are examined and if necessary acted upon.
WinFsp compiles cleanly without any warnings.