Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-11-23 19:38:39 -0800 (Sat, 23 Nov 2002)
Revision: 1781
Log message:

      This is an upgrade of umfs to use speculation as we have discussed.
      The umfs has two major layers:
          cdev: a "chunk device".  It doesn't know anything about directories,
             links, etc.  But it has file versioning.  A file has: a) a version,
             b) some data, and c) some links to other files.
          cfs: this turns the chunk device into a real filesystem.
      
      WARNING: this is untested, so don't trust anything.
      
      After testing, the next step would be to add the distributed
      chunk device...  We'll see.  Have to discuss with Jason and Cristian.
      

Changes  Path
+1 -1 mojavefs/src/uservfs/old/Makefile
+1 -1 mojavefs/src/uservfs/old/servers/umfs/Makefile
+1 -2 mojavefs/src/uservfs/old/servers/umfs/cdev/Makefile
+11 -3 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev.ml
+6 -2 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev.mli
+546 -326 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_chunk.ml
+14 -29 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_chunk.mli
+55 -45 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_info.ml
+109 -96 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_marshal.ml
+3 -4 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_marshal.mli
Deleted mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_table.ml
+19 -34 mojavefs/src/uservfs/old/servers/umfs/cdev/cdev_type.ml
+1 -7 mojavefs/src/uservfs/old/servers/umfs/cfs/Makefile
+190 -61 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs.ml
+2 -1 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs.mli
+163 -159 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_dir.ml
+9 -9 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_dir.mli
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_file.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_file.mli
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_inode.ml
+48 -23 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_link.ml
+3 -3 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_link.mli
+207 -226 mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_marshal.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_marshal.mli
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_param.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/cfs_table.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/chunkfs.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/cfs/chunkfs.mli
+9 -8 mojavefs/src/uservfs/old/servers/umfs/clib/ml_uservfs.c
+2 -2 mojavefs/src/uservfs/old/servers/umfs/main/Makefile
+2 -1 mojavefs/src/uservfs/old/servers/umfs/main/main.ml
+6 -6 mojavefs/src/uservfs/old/servers/umfs/mllib/Makefile
+1 -0 mojavefs/src/uservfs/old/servers/umfs/mllib/fmarshal.ml
+10 -2 mojavefs/src/uservfs/old/servers/umfs/mllib/idsource.ml
+4 -1 mojavefs/src/uservfs/old/servers/umfs/mllib/idsource.mli
+46 -0 mojavefs/src/uservfs/old/servers/umfs/mllib/intsource.ml
+6 -0 mojavefs/src/uservfs/old/servers/umfs/mllib/intsource.mli
Added mojavefs/src/uservfs/old/servers/umfs/mllib/log_clock.ml
Properties mojavefs/src/uservfs/old/servers/umfs/mllib/log_clock.ml
Added mojavefs/src/uservfs/old/servers/umfs/mllib/log_clock.mli
Properties mojavefs/src/uservfs/old/servers/umfs/mllib/log_clock.mli
Deleted mojavefs/src/uservfs/old/servers/umfs/mllib/mfs.ml
Deleted mojavefs/src/uservfs/old/servers/umfs/mllib/uservfs.ml