1 #!/usr/local/plan9/bin/rc
2 
3 vtmp=/home/tmp
4 venti=tcp!127.1!17034
5 url=127.1:8901
6 
7 fn reformat {
8 	if(! test -f $vtmp/arena)
9 		dd bs'='1048576 count'='100 if'='/dev/zero of'='$vtmp/arena
10 	if(! test -f $vtmp/bloom)
11 		dd bs'='1048576 count'='128 if'='/dev/zero of'='$vtmp/bloom
12 	if(! test -f $vtmp/isect)
13 		dd bs'='1048576 count'='10 if'='/dev/zero of'='$vtmp/isect
14 	if(! test -f $vtmp/check)
15 		dd bs'='1048576 count'='20 if'='/dev/zero of'='$vtmp/check
16 
17 	echo '
18 		index main
19 		isect '$vtmp'/isect
20 		arenas '$vtmp'/arena
21 		bloom '$vtmp'/bloom
22 		webroot '$PLAN9'/src/cmd/venti/srv/www
23 		mem 64M
24 		icmem 64M
25 		bcmem 64M
26 		queuewrites
27 		addr tcp!*!17034
28 		httpaddr tcp!*!8901
29 	' >$vtmp/vtmp.conf
30 
31 	./o.fmtarenas -a 40M -b 8k arenas $vtmp/arena
32 	./o.fmtbloom $vtmp/bloom
33 	./o.fmtisect -b 8k isect $vtmp/isect
34 	./o.fmtindex $vtmp/vtmp.conf
35 }
36 
37 fn venti {
38 	./o.venti -c $vtmp/vtmp.conf >$vtmp/venti.log >[2=1]
39 }
40 
41 fn killventi {
42 	killall -9 o.venti
43 }
44 
45 fn die {
46 	echo $*
47 	# no killventi - leave for debugging
48 	echo '(leaving venti running)'
49 	exit 1
50 }
51 
52 fn testdcachesync {
53 	echo '>>>' testdcachesync...
54 	echo '*' reformat
55 	reformat
56 	echo '*' venti
57 	venti
58 	sleep 2
59 	echo '*' vac
60 	9 time vac $PLAN9/src/cmd/venti >$vtmp/a.vac
61 	echo '*' flushdcache
62 	hget http://$url/flushdcache
63 	echo '*' kill venti
64 	killventi
65 	echo '*' venti
66 	venti
67 	sleep 2
68 	echo '*' read
69 	if(venti/read `{cat $vtmp/a.vac} >/dev/null >[2=1])
70 		echo worked
71 	if not
72 		die 'could not find block!'
73 }
74 
75 testdcachesync
76 killventi