ref: c8b187f9db503465460d8bafa2d7a758bbcf59ca
dir: /module/venti.m/
Venti: module { PATH: con "/dis/lib/venti.dis"; Scoresize: con 20; Maxstringsize: con 1000; Authsize: con 1024; # size of auth group - in bits - must be multiple of 8 Maxfragsize: con 9*1024; Cryptostrengthnone, Cryptostrengthauth, Cryptostrengthweak, Cryptostrengthstrong: con iota; Cryptonone, CryptoSSL3, CryptoTLS1, Cryptomax: con iota; Codecnone, Codecdeflate, CodecThwack, Codecmax: con iota; Terror, # not used Rerror, Tping, Rping, Thello, Rhello, Tgoodbye, Rgoodbye, # not used Tauth0, Rauth0, Tauth1, Rauth1, Tread, Rread, Twrite, Rwrite, Tsync, Rsync, Tmax: con iota; # versions Version01, Version02: con iota + 1; # Lump Types Errtype, # illegal Roottype, Dirtype, Pointertype0, Pointertype1, Pointertype2, Pointertype3, Pointertype4, Pointertype5, Pointertype6, Pointertype7, # not used Pointertype8, # not used Pointertype9, # not used Datatype, Maxtype: con iota; # Dir Entry flags Entryactive: con (1<<0); # entry is in use Entrydir: con (1<<1); # a directory Entrydepthshift: con 2; # shift for pointer depth Entrydepthmask: con (16r7<<2); # mask for pointer depth Entrylocal: con (1<<5); # used for local storage: should not be set for venti blocks Maxlumpsize: con 56 * 1024; Pointerdepth: con 7; Entrysize: con 40; Rootsize: con 300; Rootversion: con 2; Maxfilesize: con (big 1 << 48) - big 1; Vmsg: adt { istmsg: int; tid: int; pick { Thello => version: string; uid: string; cryptostrength: int; cryptos: array of byte; codecs: array of byte; Rhello => sid: string; crypto: int; codec: int; Tping => Rping => Tread => score: Score; etype: int; n: int; Rread => data: array of byte; Twrite => etype: int; data: array of byte; Rwrite => score: Score; Tsync => Rsync => Tgoodbye => Rerror => e: string; } read: fn(fd: ref Sys->FD): (ref Vmsg, string); unpack: fn(a: array of byte): (int, ref Vmsg); pack: fn(nil: self ref Vmsg): array of byte; packedsize: fn(nil: self ref Vmsg): int; text: fn(nil: self ref Vmsg): string; }; Root: adt { version: int; name: string; rtype: string; score: Venti->Score; # to a Dir block blocksize: int; # maximum block size prev: ref Venti->Score; # last root block pack: fn(r: self ref Root): array of byte; unpack: fn(d: array of byte): ref Root; }; Entry: adt { gen: int; # generation number (XXX should be unsigned) psize: int; # pointer block size dsize: int; # data block size depth: int; # unpacked from flags flags: int; size: big; # (XXX should be unsigned) score: Venti->Score; pack: fn(e: self ref Entry): array of byte; unpack: fn(d: array of byte): ref Entry; }; Score: adt { a: array of byte; eq: fn(a: self Score, b: Score): int; text: fn(a: self Score): string; parse: fn(s: string): (int, Score); zero: fn(): Score; }; Session: adt { fd: ref Sys->FD; version: string; new: fn(fd: ref Sys->FD): ref Session; read: fn(s: self ref Session, score: Venti->Score, etype: int, maxn: int): array of byte; write: fn(s: self ref Session, etype: int, buf: array of byte): (int, Venti->Score); sync: fn(s: self ref Session): int; rpc: fn(s: self ref Session, m: ref Vmsg): (ref Vmsg, string); }; init: fn(); };