next up previous contents
Next: 10.1 Crossfs: A Stateless Up: A File System Component Previous: 9.3.8 Umaskfs

10. Extended Examples Using FiST

In this section I provide three extended examples of file systems designed using FiST, each progressively more complex than the previous. The first is Crossfs, a stateless file system described in Appendix sec-appendix-typical-stateless-crossfs. The second is Gzipfs, an in-core file system described in Appendix sec-appendix-typical-in-core-gzipfs. The third is Replicfs, a persistent file system described in Appendix sec-appendix-typical-persistent-replicfs. The keen reader would notice that complicated compilation is not necessary for converting FiST inputs to working C code, only sophisticated, yet straightforward translation.


Erez Zadok