[9fans] Venti for Fossil

[lucio@proxima.alt.za]

I am attempting to set up Fossil reliably, but I'm encountering some
stumbling blocks.

I have one incidental question, first of all: does not setting
/env/venti cause Fossil to omit the Venti interactions?

That aside, I have configured a single partition for Venti arenas:

	--rw-r----- S 0 proxima proxima 2146770944 Jul  3 10:57 sd01/v.arena

with

	--rw-r----- S 0 proxima proxima  209715200 Jul  3 10:57 sd00/v.idx0
	--rw-r----- S 0 proxima proxima  209715200 Jul  3 10:57 sd00/v.idx1

for the index.

The following commands:

	venti/fmtarenas arena.  /dev/sd01/v.arena
	venti/fmtisect  isect.0 /dev/sd00/v.idx0
	venti/fmtisect  isect.1 /dev/sd00/v.idx1

produce results along the following lines:

	clearing the partition
	configuring /dev/sd01/v.arena with arenas=3 for a total storage of bytes=2146435072 and directory bytes=65536
	adding arena arena.0 at [335872,537206784)
	adding arena arena.1 at [537206784,1074077696)
	adding arena arena.2 at [1074077696,1610948608)
	clearing the partition
	configuring index section isect.0 with space for index config bytes=65536
	clearing the partition
	configuring index section isect.1 with space for index config bytes=65536
	using 51118 buckets of 51118; div=84021

which I find a little worrying, index-size-wise.

Starting venti is surprising:

	venti/venti -c venti.conf -B 1m -C 1m -I 1m -w -a tcp!127.1!venti

which returns (note the different numbers):

	add arena arena.0 at [1048576,537903104)
	add arena arena.1 at [537903104,1074757632)
	add arena arena.2 at [1074757632,1611612160)
	configured index=main with arenas=3 and storage=1610563584

Whether this explains the problems I have encountered with archive
snapshots (lost blocks, but I also saw some I/O errors :-(, I would
prefer to ask more competent people.

I'm appending the script I use to set up Venti and Fossil from
scratch.  May it be useful to others as well as attract any
improvements (and land on the WIKI, if really useful).

(I have been playing a bit, trying to produce reproducible results,
but I have encountered too many difficulties, so the script that
follows may not be exactly what I used last.  It ought to be pretty
close, though.)

---- cut here ----
#!/bin/rc
cd /sys/lib/sysconfig/huddle/init
venti/fmtarenas arena.  /dev/sd01/v.arena
venti/fmtisect  isect.0 /dev/sd00/v.idx0
venti/fmtisect  isect.1 /dev/sd00/v.idx1
venti/fmtindex  venti.conf
venti/venti -c venti.conf -B 1m -C 1m -I 1m -w -a tcp!127.1!venti
venti=tcp!127.1!venti
echo -n '(venti)' Sleeping...; sleep 30; echo
echo y | fossil/flfmt /dev/sd01/fossil
echo -n '(flfmt)' Sleeping...; sleep 5; echo
fossil/fossil -c '. flauth'
echo -n '(fossil)' Sleeping...; sleep 5; echo
con -l /srv/fscons << EOF
create /active/adm adm adm d775
EOF
mount -c /srv/fossil /n/fossil
sed 's/^([^:]+):([^:]+)/\2:\2/' /adm/users > /n/fossil/adm/users
con -l /srv/fscons << EOF
users -r /active/adm/users
EOF
9fs kfs
disk/mkfs -a -s /n/kfs /sys/lib/sysconfig/proto/allproto | disk/mkext -u -d /n/fossil
con -l /srv/fscons << EOF
users -w
EOF
echo 'Done!'
---- cut here ----

flauth is, very simply:

---- cut here ----
srv -p fscons
srv fossil
fsys main config /dev/sd01/fossil
fsys main open -AWP
fsys main
---- cut here ----

venti.conf is:

---- cut here ----
index main
isect /dev/sd00/v.idx0
isect /dev/sd00/v.idx1
arenas /dev/sd01/v.arena
---- cut here ----

and the output, for reference:

- Omitted - Things are too far out of kilt! -

++L