5 typedef struct ASum ASum;
13 static void sealarena(Arena *arena);
14 static int okarena(Arena *arena);
15 static int loadarena(Arena *arena);
16 static CIBlock *getcib(Arena *arena, int clump, int writing, CIBlock *rock);
17 static void putcib(Arena *arena, CIBlock *cib);
18 static void sumproc(void *);
19 static void loadcig(Arena *arena);
22 static Rendez sumwait;
24 static ASum *sumqtail;
25 static uchar zero[8192];
27 int arenasumsleeptime;
32 needzeroscore(); /* OS X */
38 if(vtproc(sumproc, nil) < 0){
39 seterr(EOk, "can't start arena checksum slave: %r");
46 * make an Arena, and initialize it based upon the disk header and trailer.
49 initarena(Part *part, u64int base, u64int size, u32int blocksize)
55 arena->blocksize = blocksize;
56 arena->clumpmax = arena->blocksize / ClumpInfoSize;
57 arena->base = base + blocksize;
58 arena->size = size - 2 * blocksize;
60 if(loadarena(arena) < 0){
61 seterr(ECorrupt, "arena header or trailer corrupted");
65 if(okarena(arena) < 0){
70 if(arena->diskstats.sealed && scorecmp(zeroscore, arena->score)==0)
77 freearena(Arena *arena)
85 newarena(Part *part, u32int vers, char *name, u64int base, u64int size, u32int blocksize)
91 seterr(EOk, "illegal arena name", name);
96 arena->version = vers;
97 if(vers == ArenaVersion4)
98 arena->clumpmagic = _ClumpMagic;
101 arena->clumpmagic = fastrand();
102 while(arena->clumpmagic==_ClumpMagic || arena->clumpmagic==0);
104 arena->blocksize = blocksize;
105 arena->clumpmax = arena->blocksize / ClumpInfoSize;
106 arena->base = base + blocksize;
107 arena->size = size - 2 * blocksize;
109 namecp(arena->name, name);
112 if(bsize > arena->blocksize)
113 bsize = arena->blocksize;
115 if(wbarena(arena)<0 || wbarenahead(arena)<0
116 || writepart(arena->part, arena->base, zero, bsize)<0){
125 readclumpinfo(Arena *arena, int clump, ClumpInfo *ci)
129 cib = getcib(arena, clump, 0, &r);
132 unpackclumpinfo(ci, &cib->data->data[cib->offset]);
138 readclumpinfos(Arena *arena, int clump, ClumpInfo *cis, int n)
144 * because the clump blocks are laid out
145 * in reverse order at the end of the arena,
146 * it can be a few percent faster to read
147 * the clumps backwards, which reads the
148 * disk blocks forwards.
150 for(i = n-1; i >= 0; i--){
151 cib = getcib(arena, clump + i, 0, &r);
156 unpackclumpinfo(&cis[i], &cib->data->data[cib->offset]);
163 * write directory information for one clump
164 * must be called the arena locked
167 writeclumpinfo(Arena *arena, int clump, ClumpInfo *ci)
171 cib = getcib(arena, clump, 1, &r);
174 dirtydblock(cib->data, DirtyArenaCib);
175 packclumpinfo(ci, &cib->data->data[cib->offset]);
181 arenadirsize(Arena *arena, u32int clumps)
183 return ((clumps / arena->clumpmax) + 1) * arena->blocksize;
187 * read a clump of data
188 * n is a hint of the size of the data, not including the header
189 * make sure it won't run off the end, then return the number of bytes actually read
192 readarena(Arena *arena, u64int aa, u8int *buf, long n)
196 u32int blocksize, off, m;
203 a = arena->size - arenadirsize(arena, arena->memstats.clumps);
204 qunlock(&arena->lock);
206 seterr(EOk, "reading beyond arena clump storage: clumps=%d aa=%lld a=%lld -1 clumps=%lld\n", arena->memstats.clumps, aa, a, arena->size - arenadirsize(arena, arena->memstats.clumps - 1));
212 blocksize = arena->blocksize;
213 a = arena->base + aa;
214 off = a & (blocksize - 1);
218 b = getdblock(arena->part, a, OREAD);
224 memmove(&buf[nn], &b->data[off], m);
236 * write some data to the clump section at a given offset
237 * used to fix up corrupted arenas.
240 writearena(Arena *arena, u64int aa, u8int *clbuf, u32int n)
244 u32int blocksize, off, m;
252 a = arena->size - arenadirsize(arena, arena->memstats.clumps);
253 if(aa >= a || aa + n > a){
254 qunlock(&arena->lock);
255 seterr(EOk, "writing beyond arena clump storage");
259 blocksize = arena->blocksize;
260 a = arena->base + aa;
261 off = a & (blocksize - 1);
265 b = getdblock(arena->part, a, off != 0 || off + n < blocksize ? ORDWR : OWRITE);
267 qunlock(&arena->lock);
270 dirtydblock(b, DirtyArena);
274 memmove(&b->data[off], &clbuf[nn], m);
278 qunlock(&arena->lock);
287 qunlock(&arena->lock);
292 * allocate space for the clump and write it,
293 * updating the arena directory
294 ZZZ question: should this distinguish between an arena
295 filling up and real errors writing the clump?
298 writeaclump(Arena *arena, Clump *c, u8int *clbuf)
302 u32int clump, n, nn, m, off, blocksize;
305 n = c->info.size + ClumpSize + U32Size;
307 aa = arena->memstats.used;
308 if(arena->memstats.sealed
309 || aa + n + U32Size + arenadirsize(arena, arena->memstats.clumps + 1) > arena->size){
310 if(!arena->memstats.sealed){
311 logerr(EOk, "seal memstats %s", arena->name);
312 arena->memstats.sealed = 1;
315 qunlock(&arena->lock);
318 if(packclump(c, &clbuf[0], arena->clumpmagic) < 0){
319 qunlock(&arena->lock);
324 * write the data out one block at a time
326 blocksize = arena->blocksize;
327 a = arena->base + aa;
328 off = a & (blocksize - 1);
332 b = getdblock(arena->part, a, off != 0 ? ORDWR : OWRITE);
334 qunlock(&arena->lock);
337 dirtydblock(b, DirtyArena);
341 memmove(&b->data[off], &clbuf[nn], m);
345 qunlock(&arena->lock);
355 arena->memstats.used += c->info.size + ClumpSize;
356 arena->memstats.uncsize += c->info.uncsize;
357 if(c->info.size < c->info.uncsize)
358 arena->memstats.cclumps++;
360 clump = arena->memstats.clumps;
361 if(clump % ArenaCIGSize == 0){
362 if(arena->cig == nil){
364 if(arena->cig == nil)
367 /* add aa as start of next cig */
368 if(clump/ArenaCIGSize != arena->ncig){
369 fprint(2, "bad arena cig computation %s: writing clump %d but %d cigs\n",
370 arena->name, clump, arena->ncig);
376 arena->cig = vtrealloc(arena->cig, (arena->ncig+1)*sizeof arena->cig[0]);
377 arena->cig[arena->ncig++].offset = aa;
380 arena->memstats.clumps++;
382 if(arena->memstats.clumps == 0)
383 sysfatal("clumps wrapped");
384 arena->wtime = now();
385 if(arena->ctime == 0)
386 arena->ctime = arena->wtime;
388 writeclumpinfo(arena, clump, &c->info);
391 qunlock(&arena->lock);
397 atailcmp(ATailStats *a, ATailStats *b)
400 if(a->used < b->used)
402 if(a->used > b->used)
405 /* suspect tests - why order this way? (no one cares) */
406 if(a->clumps < b->clumps)
408 if(a->clumps > b->clumps)
410 if(a->cclumps < b->cclumps)
412 if(a->cclumps > b->cclumps)
414 if(a->uncsize < b->uncsize)
416 if(a->uncsize > b->uncsize)
418 if(a->sealed < b->sealed)
420 if(a->sealed > b->sealed)
423 /* everything matches */
428 setatailstate(AState *as)
434 trace(0, "setatailstate %s 0x%llux clumps %d", as->arena->name, as->aa, as->stats.clumps);
437 * Look up as->arena to find index.
439 needmainindex(); /* OS X linker */
441 for(i=0; i<ix->narenas; i++)
442 if(ix->arenas[i] == as->arena)
444 if(i==ix->narenas || as->aa < ix->amap[i].start || as->aa >= ix->amap[i].stop || as->arena != ix->arenas[i]){
445 fprint(2, "funny settailstate 0x%llux\n", as->aa);
451 if(atailcmp(&a->diskstats, &a->memstats) == 0)
454 osealed = a->diskstats.sealed;
456 a->diskstats = as->stats;
458 a->diskstats = a->memstats;
460 if(a->diskstats.sealed != osealed && !a->inqueue)
467 * once sealed, an arena never has any data added to it.
468 * it should only be changed to fix errors.
469 * this also syncs the clump directory.
472 sealarena(Arena *arena)
479 backsumarena(Arena *arena)
495 * Might get here while initializing arenas,
496 * before initarenasum has been called.
504 sumproc(void *unused)
525 sumarena(Arena *arena)
532 u8int score[VtScoreSize];
535 if(bs < arena->blocksize)
536 bs = arena->blocksize;
539 * read & sum all blocks except the last one
542 memset(&s, 0, sizeof s);
543 b = alloczblock(bs, 0, arena->part->blocksize);
544 e = arena->base + arena->size;
545 for(a = arena->base - arena->blocksize; a + arena->blocksize <= e; a += bs){
547 while((t=arenasumsleeptime) == SleepForever){
553 bs = arena->blocksize;
554 if(readpart(arena->part, a, b->data, bs) < 0)
556 addstat(StatSumRead, 1);
557 addstat(StatSumReadBytes, bs);
558 sha1(b->data, bs, nil, &s);
562 * the last one is special, since it may already have the checksum included
564 bs = arena->blocksize;
565 if(readpart(arena->part, e, b->data, bs) < 0){
567 logerr(EOk, "sumarena can't sum %s, read at %lld failed: %r", arena->name, a);
571 addstat(StatSumRead, 1);
572 addstat(StatSumReadBytes, bs);
574 sha1(b->data, bs-VtScoreSize, nil, &s);
575 sha1(zeroscore, VtScoreSize, nil, &s);
576 sha1(nil, 0, score, &s);
579 * check for no checksum or the same
581 if(scorecmp(score, &b->data[bs - VtScoreSize]) != 0
582 && scorecmp(zeroscore, &b->data[bs - VtScoreSize]) != 0)
583 logerr(EOk, "overwriting mismatched checksums for arena=%s, found=%V calculated=%V",
584 arena->name, &b->data[bs - VtScoreSize], score);
588 scorecp(arena->score, score);
590 qunlock(&arena->lock);
594 * write the arena trailer block to the partition
597 wbarena(Arena *arena)
602 if((b = getdblock(arena->part, arena->base + arena->size, OWRITE)) == nil){
603 logerr(EAdmin, "can't write arena trailer: %r");
606 dirtydblock(b, DirtyArenaTrailer);
607 bad = okarena(arena)<0 || packarena(arena, b->data)<0;
608 scorecp(b->data + arena->blocksize - VtScoreSize, arena->score);
616 wbarenahead(Arena *arena)
622 namecp(head.name, arena->name);
623 head.version = arena->version;
624 head.size = arena->size + 2 * arena->blocksize;
625 head.blocksize = arena->blocksize;
626 head.clumpmagic = arena->clumpmagic;
627 b = alloczblock(arena->blocksize, 1, arena->part->blocksize);
629 logerr(EAdmin, "can't write arena header: %r");
630 /* ZZZ add error message? */
634 * this writepart is okay because it only happens
635 * during initialization.
637 bad = packarenahead(&head, b->data)<0 ||
638 writepart(arena->part, arena->base - arena->blocksize, b->data, arena->blocksize)<0 ||
639 flushpart(arena->part)<0;
647 * read the arena header and trailer blocks from disk
650 loadarena(Arena *arena)
655 b = alloczblock(arena->blocksize, 0, arena->part->blocksize);
658 if(readpart(arena->part, arena->base + arena->size, b->data, arena->blocksize) < 0){
662 if(unpackarena(arena, b->data) < 0){
666 if(arena->version != ArenaVersion4 && arena->version != ArenaVersion5){
667 seterr(EAdmin, "unknown arena version %d", arena->version);
671 scorecp(arena->score, &b->data[arena->blocksize - VtScoreSize]);
673 if(readpart(arena->part, arena->base - arena->blocksize, b->data, arena->blocksize) < 0){
674 logerr(EAdmin, "can't read arena header: %r");
678 if(unpackarenahead(&head, b->data) < 0)
679 logerr(ECorrupt, "corrupted arena header: %r");
680 else if(namecmp(arena->name, head.name)!=0
681 || arena->clumpmagic != head.clumpmagic
682 || arena->version != head.version
683 || arena->blocksize != head.blocksize
684 || arena->size + 2 * arena->blocksize != head.size){
685 if(namecmp(arena->name, head.name)!=0)
686 logerr(ECorrupt, "arena tail name %s head %s",
687 arena->name, head.name);
688 else if(arena->clumpmagic != head.clumpmagic)
689 logerr(ECorrupt, "arena tail clumpmagic 0x%lux head 0x%lux",
690 (ulong)arena->clumpmagic, (ulong)head.clumpmagic);
691 else if(arena->version != head.version)
692 logerr(ECorrupt, "arena tail version %d head version %d",
693 arena->version, head.version);
694 else if(arena->blocksize != head.blocksize)
695 logerr(ECorrupt, "arena tail block size %d head %d",
696 arena->blocksize, head.blocksize);
697 else if(arena->size+2*arena->blocksize != head.size)
698 logerr(ECorrupt, "arena tail size %lud head %lud",
699 (ulong)arena->size+2*arena->blocksize, head.size);
701 logerr(ECorrupt, "arena header inconsistent with arena data");
709 okarena(Arena *arena)
715 dsize = arenadirsize(arena, arena->diskstats.clumps);
716 if(arena->diskstats.used + dsize > arena->size){
717 seterr(ECorrupt, "arena %s used > size", arena->name);
721 if(arena->diskstats.cclumps > arena->diskstats.clumps)
722 logerr(ECorrupt, "arena %s has more compressed clumps than total clumps", arena->name);
725 * This need not be true if some of the disk is corrupted.
727 if(arena->diskstats.uncsize + arena->diskstats.clumps * ClumpSize + arena->blocksize < arena->diskstats.used)
728 logerr(ECorrupt, "arena %s uncompressed size inconsistent with used space %lld %d %lld", arena->name, arena->diskstats.uncsize, arena->diskstats.clumps, arena->diskstats.used);
732 * this happens; it's harmless.
734 if(arena->ctime > arena->wtime)
735 logerr(ECorrupt, "arena %s creation time after last write time", arena->name);
741 getcib(Arena *arena, int clump, int writing, CIBlock *rock)
747 if(clump >= arena->memstats.clumps){
748 seterr(EOk, "clump directory access out of range");
751 block = clump / arena->clumpmax;
752 off = (clump - block * arena->clumpmax) * ClumpInfoSize;
758 if(off == 0 && clump == arena->memstats.clumps-1)
765 cib->data = getdblock(arena->part,
766 arena->base + arena->size - (block + 1) * arena->blocksize, mode);
773 putcib(Arena *arena, CIBlock *cib)
777 putdblock(cib->data);
783 * For index entry readahead purposes, the arenas are
784 * broken into smaller subpieces, called clump info groups
785 * or cigs. Each cig has ArenaCIGSize clumps (ArenaCIGSize
786 * is chosen to make the index entries take up about half
787 * a megabyte). The index entries do not contain enough
788 * information to determine what the clump index is for
789 * a given address in an arena. That info is needed both for
790 * figuring out which clump group an address belongs to
791 * and for prefetching a clump group's index entries from
792 * the arena table of contents. The first time clump groups
793 * are accessed, we scan the entire arena table of contents
794 * (which might be 10s of megabytes), recording the data
795 * offset of each clump group.
799 * load clump info group information by scanning entire toc.
802 loadcig(Arena *arena)
804 u32int i, j, ncig, nci;
810 if(arena->cig || arena->ncig < 0)
813 // fprint(2, "loadcig %s\n", arena->name);
815 ncig = (arena->memstats.clumps+ArenaCIGSize-1) / ArenaCIGSize;
817 arena->cig = vtmalloc(1);
823 cig = vtmalloc(ncig*sizeof cig[0]);
824 ci = vtmalloc(ArenaCIGSize*sizeof ci[0]);
826 for(i=0; i<ncig; i++){
827 nci = readclumpinfos(arena, i*ArenaCIGSize, ci, ArenaCIGSize);
828 cig[i].offset = offset;
830 offset += ClumpSize + ci[j].size;
831 if(nci < ArenaCIGSize){
836 fprint(2, "loadcig %s: got %ud cigs, expected %ud\n", arena->name, i+1, ncig);
848 addstat2(StatCigLoad, 1, StatCigLoadTime, ms);
852 * convert arena address into arena group + data boundaries.
855 arenatog(Arena *arena, u64int addr, u64int *gstart, u64int *glimit, int *g)
860 if(arena->cig == nil)
862 if(arena->cig == nil || arena->ncig == 0){
863 qunlock(&arena->lock);
871 if(arena->cig[m].offset <= addr)
879 *gstart = arena->cig[l].offset;
880 if(l+1 < arena->ncig)
881 *glimit = arena->cig[l+1].offset;
883 *glimit = arena->memstats.used;
884 qunlock(&arena->lock);
889 * load the clump info for group g into the index entries.
892 asumload(Arena *arena, int g, IEntry *entries, int nentries)
899 if(nentries < ArenaCIGSize){
900 fprint(2, "asking for too few entries\n");
905 if(arena->cig == nil)
907 if(arena->cig == nil || arena->ncig == 0 || g >= arena->ncig){
908 qunlock(&arena->lock);
913 base = g*ArenaCIGSize;
914 limit = base + ArenaCIGSize;
915 if(base > arena->memstats.clumps)
916 base = arena->memstats.clumps;
918 for(i=base; i<limit; i++){
919 if(readclumpinfo(arena, i, &ci) < 0)
921 if(ci.type != VtCorruptType){
922 scorecp(ie->score, ci.score);
923 ie->ia.type = ci.type;
924 ie->ia.size = ci.uncsize;
925 ie->ia.blocks = (ci.size + ClumpSize + (1<<ABlockLog) - 1) >> ABlockLog;
929 addr += ClumpSize + ci.size;
931 qunlock(&arena->lock);