nfsd

Documentation

Index

• Constants
• type Fh
  • func MakeFh(fh3 nfstypes.Nfs_fh3) Fh
  • func (fh Fh) MakeFh3() nfstypes.Nfs_fh3
• type Nfs
  • func MakeNfs(d disk.Disk, force bool) *Nfs
  • func RecoverNfs(d disk.Disk) *Nfs
  • func (nfs *Nfs) GetOpStats() []OpCount
  • func (nfs *Nfs) MOUNTPROC3_DUMP() nfstypes.Mountopt3
  • func (nfs *Nfs) MOUNTPROC3_EXPORT() nfstypes.Exportsopt3
  • func (nfs *Nfs) MOUNTPROC3_MNT(args nfstypes.Dirpath3) nfstypes.Mountres3
  • func (nfs *Nfs) MOUNTPROC3_NULL()
  • func (nfs *Nfs) MOUNTPROC3_UMNT(args nfstypes.Dirpath3)
  • func (nfs *Nfs) MOUNTPROC3_UMNTALL()
  • func (nfs *Nfs) NFSPROC3_ACCESS(args nfstypes.ACCESS3args) (reply nfstypes.ACCESS3res)
  • func (nfs *Nfs) NFSPROC3_COMMIT(args nfstypes.COMMIT3args) nfstypes.COMMIT3res
  • func (nfs *Nfs) NFSPROC3_CREATE(args nfstypes.CREATE3args) (reply nfstypes.CREATE3res)
  • func (nfs *Nfs) NFSPROC3_FSINFO(args nfstypes.FSINFO3args) nfstypes.FSINFO3res
  • func (nfs *Nfs) NFSPROC3_FSSTAT(args nfstypes.FSSTAT3args) nfstypes.FSSTAT3res
  • func (nfs *Nfs) NFSPROC3_GETATTR(args nfstypes.GETATTR3args) (reply nfstypes.GETATTR3res)
  • func (nfs *Nfs) NFSPROC3_LINK(args nfstypes.LINK3args) nfstypes.LINK3res
  • func (nfs *Nfs) NFSPROC3_LOOKUP(args nfstypes.LOOKUP3args) (reply nfstypes.LOOKUP3res)
  • func (nfs *Nfs) NFSPROC3_MKDIR(args nfstypes.MKDIR3args) (reply nfstypes.MKDIR3res)
  • func (nfs *Nfs) NFSPROC3_MKNOD(args nfstypes.MKNOD3args) nfstypes.MKNOD3res
  • func (nfs *Nfs) NFSPROC3_NULL()
  • func (nfs *Nfs) NFSPROC3_PATHCONF(args nfstypes.PATHCONF3args) nfstypes.PATHCONF3res
  • func (nfs *Nfs) NFSPROC3_READ(args nfstypes.READ3args) (reply nfstypes.READ3res)
  • func (nfs *Nfs) NFSPROC3_READDIR(args nfstypes.READDIR3args) (reply nfstypes.READDIR3res)
  • func (nfs *Nfs) NFSPROC3_READDIRPLUS(args nfstypes.READDIRPLUS3args) nfstypes.READDIRPLUS3res
  • func (nfs *Nfs) NFSPROC3_READLINK(args nfstypes.READLINK3args) nfstypes.READLINK3res
  • func (nfs *Nfs) NFSPROC3_REMOVE(args nfstypes.REMOVE3args) (reply nfstypes.REMOVE3res)
  • func (nfs *Nfs) NFSPROC3_RENAME(args nfstypes.RENAME3args) (reply nfstypes.RENAME3res)
  • func (nfs *Nfs) NFSPROC3_RMDIR(args nfstypes.RMDIR3args) nfstypes.RMDIR3res
  • func (nfs *Nfs) NFSPROC3_SETATTR(args nfstypes.SETATTR3args) (reply nfstypes.SETATTR3res)
  • func (nfs *Nfs) NFSPROC3_SYMLINK(args nfstypes.SYMLINK3args) nfstypes.SYMLINK3res
  • func (nfs *Nfs) NFSPROC3_WRITE(args nfstypes.WRITE3args) (reply nfstypes.WRITE3res)
  • func (nfs *Nfs) ResetStats()
  • func (nfs *Nfs) SetAsync(asyncWrites bool)
  • func (nfs *Nfs) ZeroFreeSpace(inum uint64, szHint uint64)
• type OpCount
• type Result
• type Txn

Constants

const NUM_NFS_OPS = 22

Types

type Fh

type Fh struct {
	Ino uint64
}

func MakeFh

func MakeFh(fh3 nfstypes.Nfs_fh3) Fh

func (Fh) MakeFh3

func (fh Fh) MakeFh3() nfstypes.Nfs_fh3

type Nfs

type Nfs struct {
	// contains filtered or unexported fields
}

func MakeNfs

func MakeNfs(d disk.Disk, force bool) *Nfs

func RecoverNfs

func RecoverNfs(d disk.Disk) *Nfs

func (*Nfs) GetOpStats

func (nfs *Nfs) GetOpStats() []OpCount

func (*Nfs) MOUNTPROC3_DUMP

func (nfs *Nfs) MOUNTPROC3_DUMP() nfstypes.Mountopt3

func (*Nfs) MOUNTPROC3_EXPORT

func (nfs *Nfs) MOUNTPROC3_EXPORT() nfstypes.Exportsopt3

func (*Nfs) MOUNTPROC3_MNT

func (nfs *Nfs) MOUNTPROC3_MNT(args nfstypes.Dirpath3) nfstypes.Mountres3

func (*Nfs) MOUNTPROC3_NULL

func (nfs *Nfs) MOUNTPROC3_NULL()

func (*Nfs) MOUNTPROC3_UMNT

func (nfs *Nfs) MOUNTPROC3_UMNT(args nfstypes.Dirpath3)

func (*Nfs) MOUNTPROC3_UMNTALL

func (nfs *Nfs) MOUNTPROC3_UMNTALL()

func (*Nfs) NFSPROC3_ACCESS

func (nfs *Nfs) NFSPROC3_ACCESS(args nfstypes.ACCESS3args) (reply nfstypes.ACCESS3res)

func (*Nfs) NFSPROC3_COMMIT

func (nfs *Nfs) NFSPROC3_COMMIT(args nfstypes.COMMIT3args) nfstypes.COMMIT3res

func (*Nfs) NFSPROC3_CREATE

func (nfs *Nfs) NFSPROC3_CREATE(args nfstypes.CREATE3args) (reply nfstypes.CREATE3res)

func (*Nfs) NFSPROC3_FSINFO

func (nfs *Nfs) NFSPROC3_FSINFO(args nfstypes.FSINFO3args) nfstypes.FSINFO3res

func (*Nfs) NFSPROC3_FSSTAT

func (nfs *Nfs) NFSPROC3_FSSTAT(args nfstypes.FSSTAT3args) nfstypes.FSSTAT3res

func (*Nfs) NFSPROC3_GETATTR

func (nfs *Nfs) NFSPROC3_GETATTR(args nfstypes.GETATTR3args) (reply nfstypes.GETATTR3res)

func (*Nfs) NFSPROC3_LINK

func (nfs *Nfs) NFSPROC3_LINK(args nfstypes.LINK3args) nfstypes.LINK3res

func (*Nfs) NFSPROC3_LOOKUP

func (nfs *Nfs) NFSPROC3_LOOKUP(args nfstypes.LOOKUP3args) (reply nfstypes.LOOKUP3res)

func (*Nfs) NFSPROC3_MKDIR

func (nfs *Nfs) NFSPROC3_MKDIR(args nfstypes.MKDIR3args) (reply nfstypes.MKDIR3res)

func (*Nfs) NFSPROC3_MKNOD

func (nfs *Nfs) NFSPROC3_MKNOD(args nfstypes.MKNOD3args) nfstypes.MKNOD3res

func (*Nfs) NFSPROC3_NULL

func (nfs *Nfs) NFSPROC3_NULL()

func (*Nfs) NFSPROC3_PATHCONF

func (nfs *Nfs) NFSPROC3_PATHCONF(args nfstypes.PATHCONF3args) nfstypes.PATHCONF3res

func (*Nfs) NFSPROC3_READ

func (nfs *Nfs) NFSPROC3_READ(args nfstypes.READ3args) (reply nfstypes.READ3res)

func (*Nfs) NFSPROC3_READDIR

func (nfs *Nfs) NFSPROC3_READDIR(args nfstypes.READDIR3args) (reply nfstypes.READDIR3res)

func (*Nfs) NFSPROC3_READDIRPLUS

func (nfs *Nfs) NFSPROC3_READDIRPLUS(args nfstypes.READDIRPLUS3args) nfstypes.READDIRPLUS3res

func (*Nfs) NFSPROC3_READLINK

func (nfs *Nfs) NFSPROC3_READLINK(args nfstypes.READLINK3args) nfstypes.READLINK3res

func (*Nfs) NFSPROC3_REMOVE

func (nfs *Nfs) NFSPROC3_REMOVE(args nfstypes.REMOVE3args) (reply nfstypes.REMOVE3res)

func (*Nfs) NFSPROC3_RENAME

func (nfs *Nfs) NFSPROC3_RENAME(args nfstypes.RENAME3args) (reply nfstypes.RENAME3res)

func (*Nfs) NFSPROC3_RMDIR

func (nfs *Nfs) NFSPROC3_RMDIR(args nfstypes.RMDIR3args) nfstypes.RMDIR3res

func (*Nfs) NFSPROC3_SETATTR

func (nfs *Nfs) NFSPROC3_SETATTR(args nfstypes.SETATTR3args) (reply nfstypes.SETATTR3res)

func (*Nfs) NFSPROC3_SYMLINK

func (nfs *Nfs) NFSPROC3_SYMLINK(args nfstypes.SYMLINK3args) nfstypes.SYMLINK3res

func (*Nfs) NFSPROC3_WRITE

func (nfs *Nfs) NFSPROC3_WRITE(args nfstypes.WRITE3args) (reply nfstypes.WRITE3res)

func (*Nfs) ResetStats

func (nfs *Nfs) ResetStats()

func (*Nfs) SetAsync

func (nfs *Nfs) SetAsync(asyncWrites bool)

func (*Nfs) ZeroFreeSpace

func (nfs *Nfs) ZeroFreeSpace(inum uint64, szHint uint64)

type OpCount

type OpCount struct {
	Op        string
	Count     uint32
	TimeNanos uint64
}

type Result

type Result = dafny_nfs.Result

type Txn

type Txn = *jrnl.Txn