]> git.saurik.com Git - apple/xnu.git/blob - bsd/vfs/vfs_journal.c
8e11a87b1736310d8ef2f37598559a5de02b64e4
[apple/xnu.git] / bsd / vfs / vfs_journal.c
1 /*
2 * Copyright (c) 1995-2002 Apple Computer, Inc. All rights reserved.
3 *
4 * @APPLE_LICENSE_HEADER_START@
5 *
6 * Copyright (c) 1999-2003 Apple Computer, Inc. All Rights Reserved.
7 *
8 * This file contains Original Code and/or Modifications of Original Code
9 * as defined in and that are subject to the Apple Public Source License
10 * Version 2.0 (the 'License'). You may not use this file except in
11 * compliance with the License. Please obtain a copy of the License at
12 * http://www.opensource.apple.com/apsl/ and read it before using this
13 * file.
14 *
15 * The Original Code and all software distributed under the License are
16 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
17 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
18 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
20 * Please see the License for the specific language governing rights and
21 * limitations under the License.
22 *
23 * @APPLE_LICENSE_HEADER_END@
24 */
25 //
26 // This file implements a simple write-ahead journaling layer.
27 // In theory any file system can make use of it by calling these
28 // functions when the fs wants to modify meta-data blocks. See
29 // vfs_journal.h for a more detailed description of the api and
30 // data structures.
31 //
32 // Dominic Giampaolo (dbg@apple.com)
33 //
34
35 #ifdef KERNEL
36
37 #include <sys/param.h>
38 #include <sys/systm.h>
39 #include <sys/kernel.h>
40 #include <sys/file.h>
41 #include <sys/stat.h>
42 #include <sys/buf.h>
43 #include <sys/proc.h>
44 #include <sys/mount.h>
45 #include <sys/namei.h>
46 #include <sys/vnode.h>
47 #include <sys/ioctl.h>
48 #include <sys/tty.h>
49 #include <sys/ubc.h>
50 #include <sys/malloc.h>
51 #include <sys/vnode.h>
52 #include <kern/thread_act.h>
53 #include <sys/disk.h>
54 #include <miscfs/specfs/specdev.h>
55
56 extern task_t kernel_task;
57
58 #else
59
60 #include <stdio.h>
61 #include <stdlib.h>
62 #include <string.h>
63 #include <limits.h>
64 #include <errno.h>
65 #include <fcntl.h>
66 #include <unistd.h>
67 #include <stdarg.h>
68 #include <sys/types.h>
69 #include "compat.h"
70
71 #endif /* KERNEL */
72
73 #include "vfs_journal.h"
74
75
76 // number of bytes to checksum in a block_list_header
77 // NOTE: this should be enough to clear out the header
78 // fields as well as the first entry of binfo[]
79 #define BLHDR_CHECKSUM_SIZE 32
80
81
82
83 static int end_transaction(transaction *tr, int force_it);
84 static void abort_transaction(journal *jnl, transaction *tr);
85 static void dump_journal(journal *jnl);
86
87
88 #define CHECK_JOURNAL(jnl) \
89 do { \
90 if (jnl == NULL) {\
91 panic("%s:%d: null journal ptr?\n", __FILE__, __LINE__);\
92 }\
93 if (jnl->jdev == NULL) { \
94 panic("%s:%d: jdev is null!\n", __FILE__, __LINE__);\
95 } \
96 if (jnl->fsdev == NULL) { \
97 panic("%s:%d: fsdev is null!\n", __FILE__, __LINE__);\
98 } \
99 if (jnl->jhdr->magic != JOURNAL_HEADER_MAGIC) {\
100 panic("%s:%d: jhdr magic corrupted (0x%x != 0x%x)\n",\
101 __FILE__, __LINE__, jnl->jhdr->magic, JOURNAL_HEADER_MAGIC);\
102 }\
103 if ( jnl->jhdr->start <= 0 \
104 || jnl->jhdr->start > jnl->jhdr->size\
105 || jnl->jhdr->start > 128*1024*1024) {\
106 panic("%s:%d: jhdr start looks bad (0x%llx max size 0x%llx)\n", \
107 __FILE__, __LINE__, jnl->jhdr->start, jnl->jhdr->size);\
108 }\
109 if ( jnl->jhdr->end <= 0 \
110 || jnl->jhdr->end > jnl->jhdr->size\
111 || jnl->jhdr->end > 128*1024*1024) {\
112 panic("%s:%d: jhdr end looks bad (0x%llx max size 0x%llx)\n", \
113 __FILE__, __LINE__, jnl->jhdr->end, jnl->jhdr->size);\
114 }\
115 if (jnl->jhdr->size > 128*1024*1024) {\
116 panic("%s:%d: jhdr size looks bad (0x%llx)\n",\
117 __FILE__, __LINE__, jnl->jhdr->size);\
118 } \
119 } while(0)
120
121 #define CHECK_TRANSACTION(tr) \
122 do {\
123 if (tr == NULL) {\
124 panic("%s:%d: null transaction ptr?\n", __FILE__, __LINE__);\
125 }\
126 if (tr->jnl == NULL) {\
127 panic("%s:%d: null tr->jnl ptr?\n", __FILE__, __LINE__);\
128 }\
129 if (tr->blhdr != (block_list_header *)tr->tbuffer) {\
130 panic("%s:%d: blhdr (0x%x) != tbuffer (0x%x)\n", __FILE__, __LINE__, tr->blhdr, tr->tbuffer);\
131 }\
132 if (tr->total_bytes < 0) {\
133 panic("%s:%d: tr total_bytes looks bad: %d\n", __FILE__, __LINE__, tr->total_bytes);\
134 }\
135 if (tr->journal_start < 0 || tr->journal_start > 128*1024*1024) {\
136 panic("%s:%d: tr journal start looks bad: 0x%llx\n", __FILE__, __LINE__, tr->journal_start);\
137 }\
138 if (tr->journal_end < 0 || tr->journal_end > 128*1024*1024) {\
139 panic("%s:%d: tr journal end looks bad: 0x%llx\n", __FILE__, __LINE__, tr->journal_end);\
140 }\
141 if (tr->blhdr && (tr->blhdr->max_blocks <= 0 || tr->blhdr->max_blocks > 2048)) {\
142 panic("%s:%d: tr blhdr max_blocks looks bad: %d\n", __FILE__, __LINE__, tr->blhdr->max_blocks);\
143 }\
144 } while(0)
145
146
147
148 //
149 // this isn't a great checksum routine but it will do for now.
150 // we use it to checksum the journal header and the block list
151 // headers that are at the start of each transaction.
152 //
153 static int
154 calc_checksum(char *ptr, int len)
155 {
156 int i, cksum=0;
157
158 // this is a lame checksum but for now it'll do
159 for(i=0; i < len; i++, ptr++) {
160 cksum = (cksum << 8) ^ (cksum + *(unsigned char *)ptr);
161 }
162
163 return (~cksum);
164 }
165
166
167 #define JNL_WRITE 1
168 #define JNL_READ 2
169
170 //
171 // This function sets up a fake buf and passes it directly to the
172 // journal device strategy routine (so that it won't get cached in
173 // the block cache.
174 //
175 // It also handles range checking the i/o so that we don't write
176 // outside the journal boundaries and it will wrap the i/o back
177 // to the beginning if necessary (skipping over the journal header)
178 //
179 static size_t
180 do_journal_io(journal *jnl, off_t *offset, void *data, size_t len, int direction)
181 {
182 int err, io_sz=0, curlen=len;
183 struct buf *bp;
184 int max_iosize=0, max_vectors;
185
186 if (*offset < 0 || *offset > jnl->jhdr->size) {
187 panic("jnl: do_jnl_io: bad offset 0x%llx (max 0x%llx)\n", *offset, jnl->jhdr->size);
188 }
189
190 again:
191 bp = alloc_io_buf(jnl->jdev, 1);
192
193 if (direction == JNL_WRITE) {
194 bp->b_flags |= 0; // don't have to set any flags (was: B_WRITEINPROG)
195 jnl->jdev->v_numoutput++;
196 vfs_io_attributes(jnl->jdev, B_WRITE, &max_iosize, &max_vectors);
197 } else if (direction == JNL_READ) {
198 bp->b_flags |= B_READ;
199 vfs_io_attributes(jnl->jdev, B_READ, &max_iosize, &max_vectors);
200 }
201
202 if (max_iosize == 0) {
203 max_iosize = 128 * 1024;
204 }
205
206 if (*offset + (off_t)curlen > jnl->jhdr->size && *offset != 0 && jnl->jhdr->size != 0) {
207 if (*offset == jnl->jhdr->size) {
208 *offset = jnl->jhdr->jhdr_size;
209 } else {
210 curlen = (off_t)jnl->jhdr->size - *offset;
211 }
212 }
213
214 if (curlen > max_iosize) {
215 curlen = max_iosize;
216 }
217
218 if (curlen <= 0) {
219 panic("jnl: do_jnl_io: curlen == %d, offset 0x%llx len %d\n", curlen, *offset, len);
220 }
221
222 bp->b_bufsize = curlen;
223 bp->b_bcount = curlen;
224 bp->b_data = data;
225 bp->b_blkno = (daddr_t) ((jnl->jdev_offset + *offset) / (off_t)jnl->jhdr->jhdr_size);
226 bp->b_lblkno = (daddr_t) ((jnl->jdev_offset + *offset) / (off_t)jnl->jhdr->jhdr_size);
227
228 err = VOP_STRATEGY(bp);
229 if (!err) {
230 err = biowait(bp);
231 }
232
233 bp->b_data = NULL;
234 bp->b_bufsize = bp->b_bcount = 0;
235 bp->b_blkno = bp->b_lblkno = -1;
236
237 free_io_buf(bp);
238
239 if (err) {
240 printf("jnl: do_jnl_io: strategy err 0x%x\n", err);
241 return 0;
242 }
243
244 *offset += curlen;
245 io_sz += curlen;
246 if (io_sz != len) {
247 // handle wrap-around
248 data = (char *)data + curlen;
249 curlen = len - io_sz;
250 if (*offset >= jnl->jhdr->size) {
251 *offset = jnl->jhdr->jhdr_size;
252 }
253 goto again;
254 }
255
256 return io_sz;
257 }
258
259 static size_t
260 read_journal_data(journal *jnl, off_t *offset, void *data, size_t len)
261 {
262 return do_journal_io(jnl, offset, data, len, JNL_READ);
263 }
264
265 static size_t
266 write_journal_data(journal *jnl, off_t *offset, void *data, size_t len)
267 {
268 return do_journal_io(jnl, offset, data, len, JNL_WRITE);
269 }
270
271
272 static int
273 write_journal_header(journal *jnl)
274 {
275 int ret;
276 off_t jhdr_offset = 0;
277
278 //
279 // XXXdbg note: this ioctl doesn't seem to do anything on firewire disks.
280 //
281 ret = VOP_IOCTL(jnl->jdev, DKIOCSYNCHRONIZECACHE, NULL, FWRITE, NOCRED, current_proc());
282 if (ret != 0) {
283 printf("jnl: flushing fs disk buffer returned 0x%x\n", ret);
284 }
285
286
287 jnl->jhdr->checksum = 0;
288 jnl->jhdr->checksum = calc_checksum((char *)jnl->jhdr, sizeof(struct journal_header));
289 if (write_journal_data(jnl, &jhdr_offset, jnl->header_buf, jnl->jhdr->jhdr_size) != jnl->jhdr->jhdr_size) {
290 printf("jnl: write_journal_header: error writing the journal header!\n");
291 jnl->flags |= JOURNAL_INVALID;
292 return -1;
293 }
294
295 return 0;
296 }
297
298
299
300 //
301 // this is a work function used to free up transactions that
302 // completed. they can't be free'd from buffer_flushed_callback
303 // because it is called from deep with the disk driver stack
304 // and thus can't do something that would potentially cause
305 // paging. it gets called by each of the journal api entry
306 // points so stuff shouldn't hang around for too long.
307 //
308 static void
309 free_old_stuff(journal *jnl)
310 {
311 transaction *tr, *next;
312
313 for(tr=jnl->tr_freeme; tr; tr=next) {
314 next = tr->next;
315 FREE_ZONE(tr, sizeof(transaction), M_JNL_TR);
316 }
317
318 jnl->tr_freeme = NULL;
319 }
320
321
322
323 //
324 // This is our callback that lets us know when a buffer has been
325 // flushed to disk. It's called from deep within the driver stack
326 // and thus is quite limited in what it can do. Notably, it can
327 // not initiate any new i/o's or allocate/free memory.
328 //
329 static void
330 buffer_flushed_callback(struct buf *bp)
331 {
332 transaction *tr;
333 journal *jnl;
334 transaction *ctr, *prev=NULL, *next;
335 int i, bufsize;
336
337
338 //printf("jnl: buf flush: bp @ 0x%x l/blkno %d/%d vp 0x%x tr @ 0x%x\n",
339 // bp, bp->b_lblkno, bp->b_blkno, bp->b_vp, bp->b_transaction);
340
341 // snarf out the bits we want
342 bufsize = bp->b_bufsize;
343 tr = bp->b_transaction;
344
345 bp->b_iodone = NULL; // don't call us for this guy again
346 bp->b_transaction = NULL;
347
348 //
349 // This is what biodone() would do if it didn't call us.
350 // NOTE: THIS CODE *HAS* TO BE HERE!
351 //
352 if (ISSET(bp->b_flags, B_ASYNC)) { /* if async, release it */
353 brelse(bp);
354 } else { /* or just wakeup the buffer */
355 CLR(bp->b_flags, B_WANTED);
356 wakeup(bp);
357 }
358
359 // NOTE: from here on out we do *NOT* touch bp anymore.
360
361
362 // then we've already seen it
363 if (tr == NULL) {
364 return;
365 }
366
367 CHECK_TRANSACTION(tr);
368
369 jnl = tr->jnl;
370 if (jnl->flags & JOURNAL_INVALID) {
371 return;
372 }
373
374 CHECK_JOURNAL(jnl);
375
376 // update the number of blocks that have been flushed.
377 // this buf may represent more than one block so take
378 // that into account.
379 tr->num_flushed += bufsize;
380
381
382 // if this transaction isn't done yet, just return as
383 // there is nothing to do.
384 if ((tr->num_flushed + tr->num_killed) < tr->total_bytes) {
385 return;
386 }
387
388 //printf("jnl: tr 0x%x (0x%llx 0x%llx) in jnl 0x%x completed.\n",
389 // tr, tr->journal_start, tr->journal_end, jnl);
390
391 // find this entry in the old_start[] index and mark it completed
392 simple_lock(&jnl->old_start_lock);
393 for(i=0; i < sizeof(jnl->old_start)/sizeof(jnl->old_start[0]); i++) {
394
395 if ((jnl->old_start[i] & ~(0x8000000000000000LL)) == tr->journal_start) {
396 jnl->old_start[i] &= ~(0x8000000000000000LL);
397 break;
398 }
399 }
400 if (i >= sizeof(jnl->old_start)/sizeof(jnl->old_start[0])) {
401 panic("jnl: buffer_flushed: did not find tr w/start @ %lld (tr 0x%x, jnl 0x%x)\n",
402 tr->journal_start, tr, jnl);
403 }
404 simple_unlock(&jnl->old_start_lock);
405
406
407 // if we are here then we need to update the journal header
408 // to reflect that this transaction is complete
409 if (tr->journal_start == jnl->active_start) {
410 jnl->active_start = tr->journal_end;
411 tr->journal_start = tr->journal_end = (off_t)0;
412 }
413
414 // go through the completed_trs list and try to coalesce
415 // entries, restarting back at the beginning if we have to.
416 for(ctr=jnl->completed_trs; ctr; prev=ctr, ctr=next) {
417 if (ctr->journal_start == jnl->active_start) {
418 jnl->active_start = ctr->journal_end;
419 if (prev) {
420 prev->next = ctr->next;
421 }
422 if (ctr == jnl->completed_trs) {
423 jnl->completed_trs = ctr->next;
424 }
425
426 next = jnl->completed_trs; // this starts us over again
427 ctr->next = jnl->tr_freeme;
428 jnl->tr_freeme = ctr;
429 ctr = NULL;
430 } else if (tr->journal_end == ctr->journal_start) {
431 ctr->journal_start = tr->journal_start;
432 next = jnl->completed_trs; // this starts us over again
433 ctr = NULL;
434 tr->journal_start = tr->journal_end = (off_t)0;
435 } else if (tr->journal_start == ctr->journal_end) {
436 ctr->journal_end = tr->journal_end;
437 next = ctr->next;
438 tr->journal_start = tr->journal_end = (off_t)0;
439 } else {
440 next = ctr->next;
441 }
442 }
443
444 // at this point no one should be using this guy anymore
445 tr->total_bytes = 0xfbadc0de;
446
447 // if this is true then we didn't merge with anyone
448 // so link ourselves in at the head of the completed
449 // transaction list.
450 if (tr->journal_start != 0) {
451 // put this entry into the correct sorted place
452 // in the list instead of just at the head.
453 //
454
455 prev = NULL;
456 for(ctr=jnl->completed_trs; ctr && tr->journal_start > ctr->journal_start; prev=ctr, ctr=ctr->next) {
457 // just keep looping
458 }
459
460 if (ctr == NULL && prev == NULL) {
461 jnl->completed_trs = tr;
462 tr->next = NULL;
463 } else if (ctr == jnl->completed_trs) {
464 tr->next = jnl->completed_trs;
465 jnl->completed_trs = tr;
466 } else {
467 tr->next = prev->next;
468 prev->next = tr;
469 }
470 } else {
471 // if we're here this tr got merged with someone else so
472 // put it on the list to be free'd
473 tr->next = jnl->tr_freeme;
474 jnl->tr_freeme = tr;
475 }
476 }
477
478 static int
479 update_fs_block(journal *jnl, void *block_ptr, off_t fs_block, size_t bsize)
480 {
481 int ret;
482 struct buf *oblock_bp=NULL;
483
484 // first read the block we want.
485 ret = meta_bread(jnl->fsdev, (daddr_t)fs_block, bsize, NOCRED, &oblock_bp);
486 if (ret != 0) {
487 printf("jnl: update_fs_block: error reading fs block # %lld! (ret %d)\n", fs_block, ret);
488
489 if (oblock_bp) {
490 brelse(oblock_bp);
491 oblock_bp = NULL;
492 }
493
494 // let's try to be aggressive here and just re-write the block
495 oblock_bp = getblk(jnl->fsdev, (daddr_t)fs_block, bsize, 0, 0, BLK_META);
496 if (oblock_bp == NULL) {
497 printf("jnl: update_fs_block: getblk() for %lld failed! failing update.\n", fs_block);
498 return -1;
499 }
500 }
501
502 // make sure it's the correct size.
503 if (oblock_bp->b_bufsize != bsize) {
504 brelse(oblock_bp);
505 return -1;
506 }
507
508 // copy the journal data over top of it
509 memcpy(oblock_bp->b_data, block_ptr, bsize);
510
511 if ((ret = VOP_BWRITE(oblock_bp)) != 0) {
512 printf("jnl: update_fs_block: failed to update block %lld (ret %d)\n", fs_block,ret);
513 return ret;
514 }
515
516 // and now invalidate it so that if someone else wants to read
517 // it in a different size they'll be able to do it.
518 ret = meta_bread(jnl->fsdev, (daddr_t)fs_block, bsize, NOCRED, &oblock_bp);
519 if (oblock_bp) {
520 oblock_bp->b_flags |= B_INVAL;
521 brelse(oblock_bp);
522 }
523
524 return 0;
525 }
526
527
528 static int
529 replay_journal(journal *jnl)
530 {
531 int i, ret, checksum, max_bsize;
532 struct buf *oblock_bp;
533 block_list_header *blhdr;
534 off_t offset;
535 char *buf, *block_ptr=NULL;
536
537 // wrap the start ptr if it points to the very end of the journal
538 if (jnl->jhdr->start == jnl->jhdr->size) {
539 jnl->jhdr->start = jnl->jhdr->jhdr_size;
540 }
541 if (jnl->jhdr->end == jnl->jhdr->size) {
542 jnl->jhdr->end = jnl->jhdr->jhdr_size;
543 }
544
545 if (jnl->jhdr->start == jnl->jhdr->end) {
546 return 0;
547 }
548
549 // allocate memory for the header_block. we'll read each blhdr into this
550 if (kmem_alloc(kernel_map, (vm_offset_t *)&buf, jnl->jhdr->blhdr_size)) {
551 printf("jnl: replay_journal: no memory for block buffer! (%d bytes)\n",
552 jnl->jhdr->blhdr_size);
553 return -1;
554 }
555
556
557 printf("jnl: replay_journal: from: %lld to: %lld (joffset 0x%llx)\n",
558 jnl->jhdr->start, jnl->jhdr->end, jnl->jdev_offset);
559
560 while(jnl->jhdr->start != jnl->jhdr->end) {
561 offset = jnl->jhdr->start;
562 ret = read_journal_data(jnl, &offset, buf, jnl->jhdr->blhdr_size);
563 if (ret != jnl->jhdr->blhdr_size) {
564 printf("jnl: replay_journal: Could not read block list header block @ 0x%llx!\n", offset);
565 goto bad_replay;
566 }
567
568 blhdr = (block_list_header *)buf;
569 checksum = blhdr->checksum;
570 blhdr->checksum = 0;
571 if (checksum != calc_checksum((char *)blhdr, BLHDR_CHECKSUM_SIZE)) {
572 printf("jnl: replay_journal: bad block list header @ 0x%llx (checksum 0x%x != 0x%x)\n",
573 offset, checksum, calc_checksum((char *)blhdr, BLHDR_CHECKSUM_SIZE));
574 goto bad_replay;
575 }
576 if ( blhdr->max_blocks <= 0 || blhdr->max_blocks > 2048
577 || blhdr->num_blocks <= 0 || blhdr->num_blocks > blhdr->max_blocks) {
578 printf("jnl: replay_journal: bad looking journal entry: max: %d num: %d\n",
579 blhdr->max_blocks, blhdr->num_blocks);
580 goto bad_replay;
581 }
582
583 for(i=1,max_bsize=0; i < blhdr->num_blocks; i++) {
584 if (blhdr->binfo[i].bnum < 0 && blhdr->binfo[i].bnum != (off_t)-1) {
585 printf("jnl: replay_journal: bogus block number 0x%llx\n", blhdr->binfo[i].bnum);
586 goto bad_replay;
587 }
588 if (blhdr->binfo[i].bsize > max_bsize) {
589 max_bsize = blhdr->binfo[i].bsize;
590 }
591 }
592
593 // make sure it's at least one page in size.
594 if (max_bsize & (PAGE_SIZE - 1)) {
595 max_bsize = (max_bsize + PAGE_SIZE) & ~(PAGE_SIZE - 1);
596 }
597
598 if (kmem_alloc(kernel_map, (vm_offset_t *)&block_ptr, max_bsize)) {
599 goto bad_replay;
600 }
601
602 //printf("jnl: replay_journal: %d blocks in journal entry @ 0x%llx\n", blhdr->num_blocks-1,
603 // jnl->jhdr->start);
604 for(i=1; i < blhdr->num_blocks; i++) {
605 int size;
606
607 size = blhdr->binfo[i].bsize;
608
609 ret = read_journal_data(jnl, &offset, block_ptr, size);
610 if (ret != size) {
611 printf("jnl: replay_journal: Could not read journal entry data @ offset 0x%llx!\n", offset);
612 goto bad_replay;
613 }
614
615 // don't replay "killed" blocks
616 if (blhdr->binfo[i].bnum == (off_t)-1) {
617 // printf("jnl: replay_journal: skipping killed fs block (slot %d)\n", i);
618 } else {
619 //printf("jnl: replay_journal: fixing fs block # %lld (%d)\n",
620 // blhdr->binfo[i].bnum, blhdr->binfo[i].bsize);
621
622 if (update_fs_block(jnl, block_ptr, blhdr->binfo[i].bnum, blhdr->binfo[i].bsize) != 0) {
623 goto bad_replay;
624 }
625 }
626
627 // check if we need to wrap offset back to the beginning
628 // (which is just past the journal header)
629 //
630 if (offset >= jnl->jhdr->size) {
631 offset = jnl->jhdr->jhdr_size;
632 }
633 }
634
635 kmem_free(kernel_map, (vm_offset_t)block_ptr, max_bsize);
636 block_ptr = NULL;
637
638 jnl->jhdr->start += blhdr->bytes_used;
639 if (jnl->jhdr->start >= jnl->jhdr->size) {
640 // wrap around and skip the journal header block
641 jnl->jhdr->start = (jnl->jhdr->start % jnl->jhdr->size) + jnl->jhdr->jhdr_size;
642 }
643
644 // only update the on-disk journal header if we've reached the
645 // last chunk of updates from this transaction. if binfo[0].bnum
646 // is zero then we know we're at the end.
647 if (blhdr->binfo[0].bnum == 0) {
648 if (write_journal_header(jnl) != 0) {
649 goto bad_replay;
650 }
651 }
652 }
653
654 kmem_free(kernel_map, (vm_offset_t)buf, jnl->jhdr->blhdr_size);
655 return 0;
656
657 bad_replay:
658 if (block_ptr) {
659 kmem_free(kernel_map, (vm_offset_t)block_ptr, max_bsize);
660 }
661 kmem_free(kernel_map, (vm_offset_t)buf, jnl->jhdr->blhdr_size);
662 return -1;
663 }
664
665
666 #define DEFAULT_TRANSACTION_BUFFER_SIZE (128*1024)
667 //#define DEFAULT_TRANSACTION_BUFFER_SIZE (256*1024) // better performance but uses more mem
668 #define MAX_TRANSACTION_BUFFER_SIZE (512*1024)
669
670 // XXXdbg - so I can change it in the debugger
671 int def_tbuffer_size = 0;
672
673
674 //
675 // This function sets the size of the tbuffer and the
676 // size of the blhdr. It assumes that jnl->jhdr->size
677 // and jnl->jhdr->jhdr_size are already valid.
678 //
679 static void
680 size_up_tbuffer(journal *jnl, int tbuffer_size, int phys_blksz)
681 {
682 //
683 // one-time initialization based on how much memory
684 // there is in the machine.
685 //
686 if (def_tbuffer_size == 0) {
687 if (mem_size < (256*1024*1024)) {
688 def_tbuffer_size = DEFAULT_TRANSACTION_BUFFER_SIZE;
689 } else if (mem_size < (512*1024*1024)) {
690 def_tbuffer_size = DEFAULT_TRANSACTION_BUFFER_SIZE * 2;
691 } else if (mem_size < (1024*1024*1024)) {
692 def_tbuffer_size = DEFAULT_TRANSACTION_BUFFER_SIZE * 3;
693 } else if (mem_size >= (1024*1024*1024)) {
694 def_tbuffer_size = DEFAULT_TRANSACTION_BUFFER_SIZE * 4;
695 }
696 }
697
698 // size up the transaction buffer... can't be larger than the number
699 // of blocks that can fit in a block_list_header block.
700 if (tbuffer_size == 0) {
701 jnl->tbuffer_size = def_tbuffer_size;
702 } else {
703 // make sure that the specified tbuffer_size isn't too small
704 if (tbuffer_size < jnl->jhdr->blhdr_size * 2) {
705 tbuffer_size = jnl->jhdr->blhdr_size * 2;
706 }
707 // and make sure it's an even multiple of the block size
708 if ((tbuffer_size % jnl->jhdr->jhdr_size) != 0) {
709 tbuffer_size -= (tbuffer_size % jnl->jhdr->jhdr_size);
710 }
711
712 jnl->tbuffer_size = tbuffer_size;
713 }
714
715 if (jnl->tbuffer_size > (jnl->jhdr->size / 2)) {
716 jnl->tbuffer_size = (jnl->jhdr->size / 2);
717 }
718
719 if (jnl->tbuffer_size > MAX_TRANSACTION_BUFFER_SIZE) {
720 jnl->tbuffer_size = MAX_TRANSACTION_BUFFER_SIZE;
721 }
722
723 jnl->jhdr->blhdr_size = (jnl->tbuffer_size / jnl->jhdr->jhdr_size) * sizeof(block_info);
724 if (jnl->jhdr->blhdr_size < phys_blksz) {
725 jnl->jhdr->blhdr_size = phys_blksz;
726 }
727 }
728
729
730
731 journal *
732 journal_create(struct vnode *jvp,
733 off_t offset,
734 off_t journal_size,
735 struct vnode *fsvp,
736 size_t min_fs_blksz,
737 int32_t flags,
738 int32_t tbuffer_size,
739 void (*flush)(void *arg),
740 void *arg)
741 {
742 journal *jnl;
743 int ret, phys_blksz;
744
745 /* Get the real physical block size. */
746 if (VOP_IOCTL(jvp, DKIOCGETBLOCKSIZE, (caddr_t)&phys_blksz, 0, FSCRED, NULL)) {
747 return NULL;
748 }
749
750 if (phys_blksz > min_fs_blksz) {
751 printf("jnl: create: error: phys blksize %d bigger than min fs blksize %d\n",
752 phys_blksz, min_fs_blksz);
753 return NULL;
754 }
755
756 if ((journal_size % phys_blksz) != 0) {
757 printf("jnl: create: journal size 0x%llx is not an even multiple of block size 0x%x\n",
758 journal_size, phys_blksz);
759 return NULL;
760 }
761
762 MALLOC_ZONE(jnl, struct journal *, sizeof(struct journal), M_JNL_JNL, M_WAITOK);
763 memset(jnl, 0, sizeof(*jnl));
764
765 jnl->jdev = jvp;
766 jnl->jdev_offset = offset;
767 jnl->fsdev = fsvp;
768 jnl->flush = flush;
769 jnl->flush_arg = arg;
770 jnl->flags = (flags & JOURNAL_OPTION_FLAGS_MASK);
771 simple_lock_init(&jnl->old_start_lock);
772
773 if (kmem_alloc(kernel_map, (vm_offset_t *)&jnl->header_buf, phys_blksz)) {
774 printf("jnl: create: could not allocate space for header buffer (%d bytes)\n", phys_blksz);
775 goto bad_kmem_alloc;
776 }
777
778 memset(jnl->header_buf, 0, phys_blksz);
779
780 jnl->jhdr = (journal_header *)jnl->header_buf;
781 jnl->jhdr->magic = JOURNAL_HEADER_MAGIC;
782 jnl->jhdr->endian = ENDIAN_MAGIC;
783 jnl->jhdr->start = phys_blksz; // start at block #1, block #0 is for the jhdr itself
784 jnl->jhdr->end = phys_blksz;
785 jnl->jhdr->size = journal_size;
786 jnl->jhdr->jhdr_size = phys_blksz;
787 size_up_tbuffer(jnl, tbuffer_size, phys_blksz);
788
789 jnl->active_start = jnl->jhdr->start;
790
791 // XXXdbg - for testing you can force the journal to wrap around
792 // jnl->jhdr->start = jnl->jhdr->size - (phys_blksz*3);
793 // jnl->jhdr->end = jnl->jhdr->size - (phys_blksz*3);
794
795 if (semaphore_create(kernel_task, &jnl->jsem, SYNC_POLICY_FIFO, 1) != 0) {
796 printf("jnl: journal_create: failed to create journal semaphore..\n");
797 goto bad_sem;
798 }
799
800 if (write_journal_header(jnl) != 0) {
801 printf("jnl: journal_create: failed to write journal header.\n");
802 goto bad_write;
803 }
804
805 return jnl;
806
807
808 bad_write:
809 semaphore_destroy(kernel_task, jnl->jsem);
810 bad_sem:
811 kmem_free(kernel_map, (vm_offset_t)jnl->header_buf, phys_blksz);
812 bad_kmem_alloc:
813 jnl->jhdr = NULL;
814 FREE_ZONE(jnl, sizeof(struct journal), M_JNL_JNL);
815 return NULL;
816 }
817
818
819 journal *
820 journal_open(struct vnode *jvp,
821 off_t offset,
822 off_t journal_size,
823 struct vnode *fsvp,
824 size_t min_fs_blksz,
825 int32_t flags,
826 int32_t tbuffer_size,
827 void (*flush)(void *arg),
828 void *arg)
829 {
830 journal *jnl;
831 int orig_blksz=0, phys_blksz, blhdr_size;
832 off_t hdr_offset=0;
833
834 /* Get the real physical block size. */
835 if (VOP_IOCTL(jvp, DKIOCGETBLOCKSIZE, (caddr_t)&phys_blksz, 0, FSCRED, NULL)) {
836 return NULL;
837 }
838
839 if (phys_blksz > min_fs_blksz) {
840 printf("jnl: create: error: phys blksize %d bigger than min fs blksize %d\n",
841 phys_blksz, min_fs_blksz);
842 return NULL;
843 }
844
845 if ((journal_size % phys_blksz) != 0) {
846 printf("jnl: open: journal size 0x%llx is not an even multiple of block size 0x%x\n",
847 journal_size, phys_blksz);
848 return NULL;
849 }
850
851 MALLOC_ZONE(jnl, struct journal *, sizeof(struct journal), M_JNL_JNL, M_WAITOK);
852 memset(jnl, 0, sizeof(*jnl));
853
854 jnl->jdev = jvp;
855 jnl->jdev_offset = offset;
856 jnl->fsdev = fsvp;
857 jnl->flush = flush;
858 jnl->flush_arg = arg;
859 jnl->flags = (flags & JOURNAL_OPTION_FLAGS_MASK);
860 simple_lock_init(&jnl->old_start_lock);
861
862 if (kmem_alloc(kernel_map, (vm_offset_t *)&jnl->header_buf, phys_blksz)) {
863 printf("jnl: create: could not allocate space for header buffer (%d bytes)\n", phys_blksz);
864 goto bad_kmem_alloc;
865 }
866
867 jnl->jhdr = (journal_header *)jnl->header_buf;
868 memset(jnl->jhdr, 0, sizeof(journal_header)+4);
869
870 // we have to set this up here so that do_journal_io() will work
871 jnl->jhdr->jhdr_size = phys_blksz;
872
873 if (read_journal_data(jnl, &hdr_offset, jnl->jhdr, phys_blksz) != phys_blksz) {
874 printf("jnl: open: could not read %d bytes for the journal header.\n",
875 phys_blksz);
876 goto bad_journal;
877 }
878
879 if (jnl->jhdr->magic != JOURNAL_HEADER_MAGIC && jnl->jhdr->magic != OLD_JOURNAL_HEADER_MAGIC) {
880 printf("jnl: open: journal magic is bad (0x%x != 0x%x)\n",
881 jnl->jhdr->magic, JOURNAL_HEADER_MAGIC);
882 goto bad_journal;
883 }
884
885 // only check if we're the current journal header magic value
886 if (jnl->jhdr->magic == JOURNAL_HEADER_MAGIC) {
887 int orig_checksum = jnl->jhdr->checksum;
888
889 jnl->jhdr->checksum = 0;
890 if (orig_checksum != calc_checksum((char *)jnl->jhdr, sizeof(struct journal_header))) {
891 printf("jnl: open: journal checksum is bad (0x%x != 0x%x)\n", orig_checksum,
892 calc_checksum((char *)jnl->jhdr, sizeof(struct journal_header)));
893 //goto bad_journal;
894 }
895 }
896
897 // XXXdbg - convert old style magic numbers to the new one
898 if (jnl->jhdr->magic == OLD_JOURNAL_HEADER_MAGIC) {
899 jnl->jhdr->magic = JOURNAL_HEADER_MAGIC;
900 }
901
902 if (phys_blksz != jnl->jhdr->jhdr_size && jnl->jhdr->jhdr_size != 0) {
903 printf("jnl: open: phys_blksz %d does not match journal header size %d\n",
904 phys_blksz, jnl->jhdr->jhdr_size);
905
906 orig_blksz = phys_blksz;
907 phys_blksz = jnl->jhdr->jhdr_size;
908 if (VOP_IOCTL(jvp, DKIOCSETBLOCKSIZE, (caddr_t)&phys_blksz, FWRITE, FSCRED, NULL)) {
909 printf("jnl: could not set block size to %d bytes.\n", phys_blksz);
910 goto bad_journal;
911 }
912 // goto bad_journal;
913 }
914
915 if ( jnl->jhdr->start <= 0
916 || jnl->jhdr->start > jnl->jhdr->size
917 || jnl->jhdr->start > 128*1024*1024) {
918 printf("jnl: open: jhdr start looks bad (0x%llx max size 0x%llx)\n",
919 jnl->jhdr->start, jnl->jhdr->size);
920 goto bad_journal;
921 }
922
923 if ( jnl->jhdr->end <= 0
924 || jnl->jhdr->end > jnl->jhdr->size
925 || jnl->jhdr->end > 128*1024*1024) {
926 printf("jnl: open: jhdr end looks bad (0x%llx max size 0x%llx)\n",
927 jnl->jhdr->end, jnl->jhdr->size);
928 goto bad_journal;
929 }
930
931 if (jnl->jhdr->size > 128*1024*1024) {
932 printf("jnl: open: jhdr size looks bad (0x%llx)\n", jnl->jhdr->size);
933 goto bad_journal;
934 }
935
936 // XXXdbg - can't do these checks because hfs writes all kinds of
937 // non-uniform sized blocks even on devices that have a block size
938 // that is larger than 512 bytes (i.e. optical media w/2k blocks).
939 // therefore these checks will fail and so we just have to punt and
940 // do more relaxed checking...
941 // XXXdbg if ((jnl->jhdr->start % jnl->jhdr->jhdr_size) != 0) {
942 if ((jnl->jhdr->start % 512) != 0) {
943 printf("jnl: open: journal start (0x%llx) not a multiple of 512?\n",
944 jnl->jhdr->start);
945 goto bad_journal;
946 }
947
948 //XXXdbg if ((jnl->jhdr->end % jnl->jhdr->jhdr_size) != 0) {
949 if ((jnl->jhdr->end % 512) != 0) {
950 printf("jnl: open: journal end (0x%llx) not a multiple of block size (0x%x)?\n",
951 jnl->jhdr->end, jnl->jhdr->jhdr_size);
952 goto bad_journal;
953 }
954
955 // take care of replaying the journal if necessary
956 if (flags & JOURNAL_RESET) {
957 printf("jnl: journal start/end pointers reset! (jnl 0x%x; s 0x%llx e 0x%llx)\n",
958 jnl, jnl->jhdr->start, jnl->jhdr->end);
959 jnl->jhdr->start = jnl->jhdr->end;
960 } else if (replay_journal(jnl) != 0) {
961 printf("jnl: journal_open: Error replaying the journal!\n");
962 goto bad_journal;
963 }
964
965 if (orig_blksz != 0) {
966 VOP_IOCTL(jvp, DKIOCSETBLOCKSIZE, (caddr_t)&orig_blksz, FWRITE, FSCRED, NULL);
967 phys_blksz = orig_blksz;
968 }
969
970 // make sure this is in sync!
971 jnl->active_start = jnl->jhdr->start;
972
973 // set this now, after we've replayed the journal
974 size_up_tbuffer(jnl, tbuffer_size, phys_blksz);
975
976 if (semaphore_create(kernel_task, &jnl->jsem, SYNC_POLICY_FIFO, 1) != 0) {
977 printf("jnl: journal_create: failed to create journal semaphore..\n");
978 goto bad_journal;
979 }
980
981 return jnl;
982
983 bad_journal:
984 if (orig_blksz != 0) {
985 phys_blksz = orig_blksz;
986 VOP_IOCTL(jvp, DKIOCSETBLOCKSIZE, (caddr_t)&orig_blksz, FWRITE, FSCRED, NULL);
987 }
988 kmem_free(kernel_map, (vm_offset_t)jnl->header_buf, phys_blksz);
989 bad_kmem_alloc:
990 FREE_ZONE(jnl, sizeof(struct journal), M_JNL_JNL);
991 return NULL;
992 }
993
994 void
995 journal_close(journal *jnl)
996 {
997 volatile off_t *start, *end;
998 int counter=0;
999
1000 CHECK_JOURNAL(jnl);
1001
1002 // set this before doing anything that would block so that
1003 // we start tearing things down properly.
1004 //
1005 jnl->flags |= JOURNAL_CLOSE_PENDING;
1006
1007 if (jnl->owner != current_act()) {
1008 int ret;
1009
1010 while ((ret = semaphore_wait(jnl->jsem)) == KERN_ABORTED) {
1011 // just keep trying if we've been ^C'ed
1012 }
1013 if (ret != 0) {
1014 printf("jnl: close: sem wait failed.\n");
1015 return;
1016 }
1017 }
1018
1019 //
1020 // only write stuff to disk if the journal is still valid
1021 //
1022 if ((jnl->flags & JOURNAL_INVALID) == 0) {
1023
1024 if (jnl->active_tr) {
1025 journal_end_transaction(jnl);
1026 }
1027
1028 // flush any buffered transactions
1029 if (jnl->cur_tr) {
1030 transaction *tr = jnl->cur_tr;
1031
1032 jnl->cur_tr = NULL;
1033 end_transaction(tr, 1); // force it to get flushed
1034 }
1035
1036 //start = &jnl->jhdr->start;
1037 start = &jnl->active_start;
1038 end = &jnl->jhdr->end;
1039
1040 while (*start != *end && counter++ < 500) {
1041 printf("jnl: close: flushing the buffer cache (start 0x%llx end 0x%llx)\n", *start, *end);
1042 if (jnl->flush) {
1043 jnl->flush(jnl->flush_arg);
1044 }
1045 tsleep((caddr_t)jnl, PRIBIO, "jnl_close", 1);
1046 }
1047
1048 if (*start != *end) {
1049 printf("jnl: close: buffer flushing didn't seem to flush out all the transactions! (0x%llx - 0x%llx)\n",
1050 *start, *end);
1051 }
1052
1053 // make sure this is in sync when we close the journal
1054 jnl->jhdr->start = jnl->active_start;
1055
1056 // if this fails there's not much we can do at this point...
1057 write_journal_header(jnl);
1058 } else {
1059 // if we're here the journal isn't valid any more.
1060 // so make sure we don't leave any locked blocks lying around
1061 printf("jnl: close: journal 0x%x, is invalid. aborting outstanding transactions\n", jnl);
1062 if (jnl->active_tr || jnl->cur_tr) {
1063 transaction *tr;
1064 if (jnl->active_tr) {
1065 tr = jnl->active_tr;
1066 jnl->active_tr = NULL;
1067 } else {
1068 tr = jnl->cur_tr;
1069 jnl->cur_tr = NULL;
1070 }
1071
1072 abort_transaction(jnl, tr);
1073 if (jnl->active_tr || jnl->cur_tr) {
1074 panic("jnl: close: jnl @ 0x%x had both an active and cur tr\n", jnl);
1075 }
1076 }
1077 }
1078
1079 free_old_stuff(jnl);
1080
1081 kmem_free(kernel_map, (vm_offset_t)jnl->header_buf, jnl->jhdr->jhdr_size);
1082 jnl->jhdr = (void *)0xbeefbabe;
1083
1084 semaphore_destroy(kernel_task, jnl->jsem);
1085 FREE_ZONE(jnl, sizeof(struct journal), M_JNL_JNL);
1086 }
1087
1088 static void
1089 dump_journal(journal *jnl)
1090 {
1091 transaction *ctr;
1092
1093 printf("journal:");
1094 printf(" jdev_offset %.8llx\n", jnl->jdev_offset);
1095 printf(" magic: 0x%.8x\n", jnl->jhdr->magic);
1096 printf(" start: 0x%.8llx\n", jnl->jhdr->start);
1097 printf(" end: 0x%.8llx\n", jnl->jhdr->end);
1098 printf(" size: 0x%.8llx\n", jnl->jhdr->size);
1099 printf(" blhdr size: %d\n", jnl->jhdr->blhdr_size);
1100 printf(" jhdr size: %d\n", jnl->jhdr->jhdr_size);
1101 printf(" chksum: 0x%.8x\n", jnl->jhdr->checksum);
1102
1103 printf(" completed transactions:\n");
1104 for(ctr=jnl->completed_trs; ctr; ctr=ctr->next) {
1105 printf(" 0x%.8llx - 0x%.8llx\n", ctr->journal_start, ctr->journal_end);
1106 }
1107 }
1108
1109
1110
1111 static off_t
1112 free_space(journal *jnl)
1113 {
1114 off_t free_space;
1115
1116 if (jnl->jhdr->start < jnl->jhdr->end) {
1117 free_space = jnl->jhdr->size - (jnl->jhdr->end - jnl->jhdr->start) - jnl->jhdr->jhdr_size;
1118 } else if (jnl->jhdr->start > jnl->jhdr->end) {
1119 free_space = jnl->jhdr->start - jnl->jhdr->end;
1120 } else {
1121 // journal is completely empty
1122 free_space = jnl->jhdr->size - jnl->jhdr->jhdr_size;
1123 }
1124
1125 return free_space;
1126 }
1127
1128
1129 //
1130 // The journal must be locked on entry to this function.
1131 // The "desired_size" is in bytes.
1132 //
1133 static int
1134 check_free_space(journal *jnl, int desired_size)
1135 {
1136 int i, counter=0;
1137
1138 //printf("jnl: check free space (desired 0x%x, avail 0x%Lx)\n",
1139 // desired_size, free_space(jnl));
1140
1141 while (1) {
1142 if (counter++ == 5000) {
1143 dump_journal(jnl);
1144 panic("jnl: check_free_space: buffer flushing isn't working "
1145 "(jnl @ 0x%x s %lld e %lld f %lld [active start %lld]).\n", jnl,
1146 jnl->jhdr->start, jnl->jhdr->end, free_space(jnl), jnl->active_start);
1147 }
1148 if (counter > 7500) {
1149 printf("jnl: check_free_space: giving up waiting for free space.\n");
1150 return ENOSPC;
1151 }
1152
1153 // make sure there's space in the journal to hold this transaction
1154 if (free_space(jnl) > desired_size) {
1155 break;
1156 }
1157
1158 //
1159 // here's where we lazily bump up jnl->jhdr->start. we'll consume
1160 // entries until there is enough space for the next transaction.
1161 //
1162 simple_lock(&jnl->old_start_lock);
1163 for(i=0; i < sizeof(jnl->old_start)/sizeof(jnl->old_start[0]); i++) {
1164 int counter;
1165
1166 counter = 0;
1167 while (jnl->old_start[i] & 0x8000000000000000LL) {
1168 if (counter++ > 100) {
1169 panic("jnl: check_free_space: tr starting @ 0x%llx not flushing (jnl 0x%x).\n",
1170 jnl->old_start[i], jnl);
1171 }
1172
1173 simple_unlock(&jnl->old_start_lock);
1174 if (jnl->flush) {
1175 jnl->flush(jnl->flush_arg);
1176 }
1177 tsleep((caddr_t)jnl, PRIBIO, "check_free_space1", 1);
1178 simple_lock(&jnl->old_start_lock);
1179 }
1180
1181 if (jnl->old_start[i] == 0) {
1182 continue;
1183 }
1184
1185 jnl->jhdr->start = jnl->old_start[i];
1186 jnl->old_start[i] = 0;
1187 if (free_space(jnl) > desired_size) {
1188 write_journal_header(jnl);
1189 break;
1190 }
1191 }
1192 simple_unlock(&jnl->old_start_lock);
1193
1194 // if we bumped the start, loop and try again
1195 if (i < sizeof(jnl->old_start)/sizeof(jnl->old_start[0])) {
1196 continue;
1197 }
1198
1199
1200 // if the file system gave us a flush function, call it to so that
1201 // it can flush some blocks which hopefully will cause some transactions
1202 // to complete and thus free up space in the journal.
1203 if (jnl->flush) {
1204 jnl->flush(jnl->flush_arg);
1205 }
1206
1207 // wait for a while to avoid being cpu-bound (this will
1208 // put us to sleep for 10 milliseconds)
1209 tsleep((caddr_t)jnl, PRIBIO, "check_free_space2", 1);
1210 }
1211
1212 return 0;
1213 }
1214
1215 int
1216 journal_start_transaction(journal *jnl)
1217 {
1218 int ret;
1219 transaction *tr;
1220
1221 CHECK_JOURNAL(jnl);
1222
1223 if (jnl->flags & JOURNAL_INVALID) {
1224 return EINVAL;
1225 }
1226
1227 if (jnl->owner == current_act()) {
1228 if (jnl->active_tr == NULL) {
1229 panic("jnl: start_tr: active_tr is NULL (jnl @ 0x%x, owner 0x%x, current_act 0x%x\n",
1230 jnl, jnl->owner, current_act());
1231 }
1232 jnl->nested_count++;
1233 return 0;
1234 }
1235
1236 while ((ret = semaphore_wait(jnl->jsem)) == KERN_ABORTED) {
1237 // just keep looping if we've been ^C'ed
1238 }
1239 if (ret != 0) {
1240 printf("jnl: start_tr: sem wait failed.\n");
1241 return EINVAL;
1242 }
1243
1244 if (jnl->owner != NULL || jnl->nested_count != 0 || jnl->active_tr != NULL) {
1245 panic("jnl: start_tr: owner 0x%x, nested count 0x%x, active_tr 0x%x jnl @ 0x%x\n",
1246 jnl->owner, jnl->nested_count, jnl->active_tr, jnl);
1247 }
1248
1249 jnl->owner = current_act();
1250 jnl->nested_count = 1;
1251
1252 free_old_stuff(jnl);
1253
1254 // make sure there's room in the journal
1255 if (check_free_space(jnl, jnl->tbuffer_size) != 0) {
1256 printf("jnl: start transaction failed: no space\n");
1257 ret = ENOSPC;
1258 goto bad_start;
1259 }
1260
1261 // if there's a buffered transaction, use it.
1262 if (jnl->cur_tr) {
1263 jnl->active_tr = jnl->cur_tr;
1264 jnl->cur_tr = NULL;
1265
1266 return 0;
1267 }
1268
1269 MALLOC_ZONE(tr, transaction *, sizeof(transaction), M_JNL_TR, M_WAITOK);
1270 memset(tr, 0, sizeof(transaction));
1271
1272 tr->tbuffer_size = jnl->tbuffer_size;
1273 if (kmem_alloc(kernel_map, (vm_offset_t *)&tr->tbuffer, tr->tbuffer_size)) {
1274 FREE_ZONE(tr, sizeof(transaction), M_JNL_TR);
1275 printf("jnl: start transaction failed: no tbuffer mem\n");
1276 ret = ENOMEM;
1277 goto bad_start;
1278 }
1279
1280 // journal replay code checksum check depends on this.
1281 memset(tr->tbuffer, 0, BLHDR_CHECKSUM_SIZE);
1282
1283 tr->blhdr = (block_list_header *)tr->tbuffer;
1284 tr->blhdr->max_blocks = (jnl->jhdr->blhdr_size / sizeof(block_info)) - 1;
1285 tr->blhdr->num_blocks = 1; // accounts for this header block
1286 tr->blhdr->bytes_used = jnl->jhdr->blhdr_size;
1287
1288 tr->num_blhdrs = 1;
1289 tr->total_bytes = jnl->jhdr->blhdr_size;
1290 tr->jnl = jnl;
1291
1292 jnl->active_tr = tr;
1293
1294 // printf("jnl: start_tr: owner 0x%x new tr @ 0x%x\n", jnl->owner, tr);
1295
1296 return 0;
1297
1298 bad_start:
1299 jnl->owner = NULL;
1300 jnl->nested_count = 0;
1301 semaphore_signal(jnl->jsem);
1302 return ret;
1303 }
1304
1305
1306 int
1307 journal_modify_block_start(journal *jnl, struct buf *bp)
1308 {
1309 transaction *tr;
1310
1311 CHECK_JOURNAL(jnl);
1312
1313 if (jnl->flags & JOURNAL_INVALID) {
1314 return EINVAL;
1315 }
1316
1317 // XXXdbg - for debugging I want this to be true. later it may
1318 // not be necessary.
1319 if ((bp->b_flags & B_META) == 0) {
1320 panic("jnl: modify_block_start: bp @ 0x%x is not a meta-data block! (jnl 0x%x)\n", bp, jnl);
1321 }
1322
1323 tr = jnl->active_tr;
1324 CHECK_TRANSACTION(tr);
1325
1326 if (jnl->owner != current_act()) {
1327 panic("jnl: modify_block_start: called w/out a transaction! jnl 0x%x, owner 0x%x, curact 0x%x\n",
1328 jnl, jnl->owner, current_act());
1329 }
1330
1331 free_old_stuff(jnl);
1332
1333 //printf("jnl: mod block start (bp 0x%x vp 0x%x l/blkno %d/%d bsz %d; total bytes %d)\n",
1334 // bp, bp->b_vp, bp->b_lblkno, bp->b_blkno, bp->b_bufsize, tr->total_bytes);
1335
1336 // can't allow blocks that aren't an even multiple of the
1337 // underlying block size.
1338 if ((bp->b_bufsize % jnl->jhdr->jhdr_size) != 0) {
1339 panic("jnl: mod block start: bufsize %d not a multiple of block size %d\n",
1340 bp->b_bufsize, jnl->jhdr->jhdr_size);
1341 return -1;
1342 }
1343
1344 // make sure that this transaction isn't bigger than the whole journal
1345 if (tr->total_bytes+bp->b_bufsize >= (jnl->jhdr->size - jnl->jhdr->jhdr_size)) {
1346 panic("jnl: transaction too big (%d >= %lld bytes, bufsize %d, tr 0x%x bp 0x%x)\n",
1347 tr->total_bytes, (tr->jnl->jhdr->size - jnl->jhdr->jhdr_size), bp->b_bufsize, tr, bp);
1348 return -1;
1349 }
1350
1351 // if the block is dirty and not already locked we have to write
1352 // it out before we muck with it because it has data that belongs
1353 // (presumably) to another transaction.
1354 //
1355 if ((bp->b_flags & B_DELWRI) && (bp->b_flags & B_LOCKED) == 0) {
1356
1357 // this will cause it to not be brelse()'d
1358 bp->b_flags |= B_NORELSE;
1359 VOP_BWRITE(bp);
1360 }
1361
1362 bp->b_flags |= B_LOCKED;
1363
1364 return 0;
1365 }
1366
1367 int
1368 journal_modify_block_abort(journal *jnl, struct buf *bp)
1369 {
1370 transaction *tr;
1371 block_list_header *blhdr;
1372 int i, j;
1373
1374 CHECK_JOURNAL(jnl);
1375
1376 tr = jnl->active_tr;
1377
1378 //
1379 // if there's no active transaction then we just want to
1380 // call brelse() and return since this is just a block
1381 // that happened to be modified as part of another tr.
1382 //
1383 if (tr == NULL) {
1384 brelse(bp);
1385 return 0;
1386 }
1387
1388 if (jnl->flags & JOURNAL_INVALID) {
1389 return EINVAL;
1390 }
1391
1392 CHECK_TRANSACTION(tr);
1393
1394 if (jnl->owner != current_act()) {
1395 panic("jnl: modify_block_abort: called w/out a transaction! jnl 0x%x, owner 0x%x, curact 0x%x\n",
1396 jnl, jnl->owner, current_act());
1397 }
1398
1399 free_old_stuff(jnl);
1400
1401 // printf("jnl: modify_block_abort: tr 0x%x bp 0x%x\n", jnl->active_tr, bp);
1402
1403 // first check if it's already part of this transaction
1404 for(blhdr=tr->blhdr; blhdr; blhdr=(block_list_header *)((long)blhdr->binfo[0].bnum)) {
1405 for(i=1; i < blhdr->num_blocks; i++) {
1406 if (bp == blhdr->binfo[i].bp) {
1407 if (bp->b_bufsize != blhdr->binfo[i].bsize) {
1408 panic("jnl: bp @ 0x%x changed size on me! (%d vs. %d, jnl 0x%x)\n",
1409 bp, bp->b_bufsize, blhdr->binfo[i].bsize, jnl);
1410 }
1411 break;
1412 }
1413 }
1414
1415 if (i < blhdr->num_blocks) {
1416 break;
1417 }
1418 }
1419
1420 //
1421 // if blhdr is null, then this block has only had modify_block_start
1422 // called on it as part of the current transaction. that means that
1423 // it is ok to clear the LOCKED bit since it hasn't actually been
1424 // modified. if blhdr is non-null then modify_block_end was called
1425 // on it and so we need to keep it locked in memory.
1426 //
1427 if (blhdr == NULL) {
1428 bp->b_flags &= ~(B_LOCKED);
1429 }
1430
1431 brelse(bp);
1432 return 0;
1433 }
1434
1435
1436 int
1437 journal_modify_block_end(journal *jnl, struct buf *bp)
1438 {
1439 int i, j, tbuffer_offset;
1440 char *blkptr;
1441 block_list_header *blhdr, *prev=NULL;
1442 transaction *tr;
1443
1444 CHECK_JOURNAL(jnl);
1445
1446 if (jnl->flags & JOURNAL_INVALID) {
1447 return EINVAL;
1448 }
1449
1450 tr = jnl->active_tr;
1451 CHECK_TRANSACTION(tr);
1452
1453 if (jnl->owner != current_act()) {
1454 panic("jnl: modify_block_end: called w/out a transaction! jnl 0x%x, owner 0x%x, curact 0x%x\n",
1455 jnl, jnl->owner, current_act());
1456 }
1457
1458 free_old_stuff(jnl);
1459
1460 //printf("jnl: mod block end: (bp 0x%x vp 0x%x l/blkno %d/%d bsz %d, total bytes %d)\n",
1461 // bp, bp->b_vp, bp->b_lblkno, bp->b_blkno, bp->b_bufsize, tr->total_bytes);
1462
1463 if ((bp->b_flags & B_LOCKED) == 0) {
1464 panic("jnl: modify_block_end: bp 0x%x not locked! jnl @ 0x%x\n", bp, jnl);
1465 bp->b_flags |= B_LOCKED;
1466 }
1467
1468 // first check if it's already part of this transaction
1469 for(blhdr=tr->blhdr; blhdr; prev=blhdr,blhdr=(block_list_header *)((long)blhdr->binfo[0].bnum)) {
1470 tbuffer_offset = jnl->jhdr->blhdr_size;
1471
1472 for(i=1; i < blhdr->num_blocks; i++) {
1473 if (bp == blhdr->binfo[i].bp) {
1474 if (bp->b_bufsize != blhdr->binfo[i].bsize) {
1475 panic("jnl: bp @ 0x%x changed size on me! (%d vs. %d, jnl 0x%x)\n",
1476 bp, bp->b_bufsize, blhdr->binfo[i].bsize, jnl);
1477 }
1478 break;
1479 }
1480 tbuffer_offset += blhdr->binfo[i].bsize;
1481 }
1482
1483 if (i < blhdr->num_blocks) {
1484 break;
1485 }
1486 }
1487
1488 if (blhdr == NULL
1489 && prev
1490 && (prev->num_blocks+1) <= prev->max_blocks
1491 && (prev->bytes_used+bp->b_bufsize) <= tr->tbuffer_size) {
1492 blhdr = prev;
1493 } else if (blhdr == NULL) {
1494 block_list_header *nblhdr;
1495
1496 if (prev == NULL) {
1497 panic("jnl: modify block end: no way man, prev == NULL?!?, jnl 0x%x, bp 0x%x\n", jnl, bp);
1498 }
1499
1500 // we got to the end of the list, didn't find the block and there's
1501 // no room in the block_list_header pointed to by prev
1502
1503 // we allocate another tbuffer and link it in at the end of the list
1504 // through prev->binfo[0].bnum. that's a skanky way to do things but
1505 // avoids having yet another linked list of small data structures to manage.
1506
1507 if (kmem_alloc(kernel_map, (vm_offset_t *)&nblhdr, tr->tbuffer_size)) {
1508 panic("jnl: end_tr: no space for new block tr @ 0x%x (total bytes: %d)!\n",
1509 tr, tr->total_bytes);
1510 }
1511
1512 // journal replay code checksum check depends on this.
1513 memset(nblhdr, 0, BLHDR_CHECKSUM_SIZE);
1514
1515 // initialize the new guy
1516 nblhdr->max_blocks = (jnl->jhdr->blhdr_size / sizeof(block_info)) - 1;
1517 nblhdr->num_blocks = 1; // accounts for this header block
1518 nblhdr->bytes_used = jnl->jhdr->blhdr_size;
1519
1520 tr->num_blhdrs++;
1521 tr->total_bytes += jnl->jhdr->blhdr_size;
1522
1523 // then link him in at the end
1524 prev->binfo[0].bnum = (off_t)((long)nblhdr);
1525
1526 // and finally switch to using the new guy
1527 blhdr = nblhdr;
1528 tbuffer_offset = jnl->jhdr->blhdr_size;
1529 i = 1;
1530 }
1531
1532
1533 if ((i+1) > blhdr->max_blocks) {
1534 panic("jnl: modify_block_end: i = %d, max_blocks %d\n", i, blhdr->max_blocks);
1535 }
1536
1537 // copy the data into the in-memory transaction buffer
1538 blkptr = (char *)&((char *)blhdr)[tbuffer_offset];
1539 memcpy(blkptr, bp->b_data, bp->b_bufsize);
1540
1541 // if this is true then this is a new block we haven't seen
1542 if (i >= blhdr->num_blocks) {
1543 vget(bp->b_vp, 0, current_proc());
1544
1545 blhdr->binfo[i].bnum = bp->b_blkno;
1546 blhdr->binfo[i].bsize = bp->b_bufsize;
1547 blhdr->binfo[i].bp = bp;
1548
1549 blhdr->bytes_used += bp->b_bufsize;
1550 tr->total_bytes += bp->b_bufsize;
1551
1552 blhdr->num_blocks++;
1553 }
1554
1555 bdwrite(bp);
1556
1557 return 0;
1558 }
1559
1560 int
1561 journal_kill_block(journal *jnl, struct buf *bp)
1562 {
1563 int i;
1564 block_list_header *blhdr;
1565 transaction *tr;
1566
1567 CHECK_JOURNAL(jnl);
1568
1569 if (jnl->flags & JOURNAL_INVALID) {
1570 return EINVAL;
1571 }
1572
1573 tr = jnl->active_tr;
1574 CHECK_TRANSACTION(tr);
1575
1576 if (jnl->owner != current_act()) {
1577 panic("jnl: modify_block_end: called w/out a transaction! jnl 0x%x, owner 0x%x, curact 0x%x\n",
1578 jnl, jnl->owner, current_act());
1579 }
1580
1581 free_old_stuff(jnl);
1582
1583 if ((bp->b_flags & B_LOCKED) == 0) {
1584 panic("jnl: kill block: bp 0x%x not locked! jnl @ 0x%x\n", bp, jnl);
1585 }
1586
1587 // first check if it's already part of this transaction
1588 for(blhdr=tr->blhdr; blhdr; blhdr=(block_list_header *)((long)blhdr->binfo[0].bnum)) {
1589
1590 for(i=1; i < blhdr->num_blocks; i++) {
1591 if (bp == blhdr->binfo[i].bp) {
1592 bp->b_flags &= ~B_LOCKED;
1593
1594 // this undoes the vget() in journal_modify_block_end()
1595 vrele(bp->b_vp);
1596
1597 // if the block has the DELWRI and CALL bits sets, then
1598 // things are seriously weird. if it was part of another
1599 // transaction then journal_modify_block_start() should
1600 // have force it to be written.
1601 //
1602 if ((bp->b_flags & B_DELWRI) && (bp->b_flags & B_CALL)) {
1603 panic("jnl: kill block: this defies all logic! bp 0x%x\n", bp);
1604 } else {
1605 tr->num_killed += bp->b_bufsize;
1606 }
1607
1608 if (bp->b_flags & B_BUSY) {
1609 brelse(bp);
1610 }
1611
1612 blhdr->binfo[i].bp = NULL;
1613 blhdr->binfo[i].bnum = (off_t)-1;
1614 break;
1615 }
1616 }
1617
1618 if (i < blhdr->num_blocks) {
1619 break;
1620 }
1621 }
1622
1623 return 0;
1624 }
1625
1626
1627 static int
1628 journal_binfo_cmp(void *a, void *b)
1629 {
1630 block_info *bi_a = (struct block_info *)a,
1631 *bi_b = (struct block_info *)b;
1632 daddr_t res;
1633
1634 if (bi_a->bp == NULL) {
1635 return 1;
1636 }
1637 if (bi_b->bp == NULL) {
1638 return -1;
1639 }
1640
1641 // don't have to worry about negative block
1642 // numbers so this is ok to do.
1643 //
1644 res = (bi_a->bp->b_blkno - bi_b->bp->b_blkno);
1645
1646 return (int)res;
1647 }
1648
1649
1650 static int
1651 end_transaction(transaction *tr, int force_it)
1652 {
1653 int i, j, ret, amt;
1654 off_t end;
1655 journal *jnl = tr->jnl;
1656 struct buf *bp;
1657 block_list_header *blhdr=NULL, *next=NULL;
1658
1659 if (jnl->cur_tr) {
1660 panic("jnl: jnl @ 0x%x already has cur_tr 0x%x, new tr: 0x%x\n",
1661 jnl, jnl->cur_tr, tr);
1662 }
1663
1664 // if there weren't any modified blocks in the transaction
1665 // just save off the transaction pointer and return.
1666 if (tr->total_bytes == jnl->jhdr->blhdr_size) {
1667 jnl->cur_tr = tr;
1668 return;
1669 }
1670
1671 // if our transaction buffer isn't very full, just hang
1672 // on to it and don't actually flush anything. this is
1673 // what is known as "group commit". we will flush the
1674 // transaction buffer if it's full or if we have more than
1675 // one of them so we don't start hogging too much memory.
1676 //
1677 if ( force_it == 0
1678 && (jnl->flags & JOURNAL_NO_GROUP_COMMIT) == 0
1679 && tr->num_blhdrs < 3
1680 && (tr->total_bytes <= ((tr->tbuffer_size*tr->num_blhdrs) - tr->tbuffer_size/8))) {
1681
1682 jnl->cur_tr = tr;
1683 return;
1684 }
1685
1686
1687 // if we're here we're going to flush the transaction buffer to disk.
1688 // make sure there is room in the journal first.
1689 check_free_space(jnl, tr->total_bytes);
1690
1691 // range check the end index
1692 if (jnl->jhdr->end <= 0 || jnl->jhdr->end > jnl->jhdr->size) {
1693 panic("jnl: end_transaction: end is bogus 0x%llx (sz 0x%llx)\n",
1694 jnl->jhdr->end, jnl->jhdr->size);
1695 }
1696
1697 // this transaction starts where the current journal ends
1698 tr->journal_start = jnl->jhdr->end;
1699 end = jnl->jhdr->end;
1700
1701 //
1702 // if the first entry in old_start[] isn't free yet, loop calling the
1703 // file system flush routine until it is (or we panic).
1704 //
1705 i = 0;
1706 simple_lock(&jnl->old_start_lock);
1707 while ((jnl->old_start[0] & 0x8000000000000000LL) != 0) {
1708 if (jnl->flush) {
1709 simple_unlock(&jnl->old_start_lock);
1710
1711 if (jnl->flush) {
1712 jnl->flush(jnl->flush_arg);
1713 }
1714
1715 // yield the cpu so others can get in to clear the lock bit
1716 (void)tsleep((void *)jnl, PRIBIO, "jnl-old-start-sleep", 1);
1717
1718 simple_lock(&jnl->old_start_lock);
1719 }
1720 if (i++ >= 100) {
1721 panic("jnl: transaction that started at 0x%llx is not completing! jnl 0x%x\n",
1722 jnl->old_start[0] & (~0x8000000000000000LL), jnl);
1723 }
1724 }
1725
1726 //
1727 // slide everyone else down and put our latest guy in the last
1728 // entry in the old_start array
1729 //
1730 memcpy(&jnl->old_start[0], &jnl->old_start[1], sizeof(jnl->old_start)-sizeof(jnl->old_start[0]));
1731 jnl->old_start[sizeof(jnl->old_start)/sizeof(jnl->old_start[0]) - 1] = tr->journal_start | 0x8000000000000000LL;
1732
1733 simple_unlock(&jnl->old_start_lock);
1734
1735
1736 // for each block, make sure that the physical block # is set
1737 for(blhdr=tr->blhdr; blhdr; blhdr=next) {
1738
1739 for(i=1; i < blhdr->num_blocks; i++) {
1740
1741 bp = blhdr->binfo[i].bp;
1742 if (bp == NULL) { // only true if a block was "killed"
1743 if (blhdr->binfo[i].bnum != (off_t)-1) {
1744 panic("jnl: inconsistent binfo (NULL bp w/bnum %lld; jnl @ 0x%x, tr 0x%x)\n",
1745 blhdr->binfo[i].bnum, jnl, tr);
1746 }
1747 continue;
1748 }
1749
1750 if (bp->b_vp == NULL && bp->b_lblkno == bp->b_blkno) {
1751 panic("jnl: end_tr: DANGER! bp @ 0x%x w/null vp and l/blkno = %d/%d\n",
1752 bp, bp->b_lblkno, bp->b_blkno);
1753 }
1754
1755 // if the lblkno is the same as blkno and this bp isn't
1756 // associated with the underlying file system device then
1757 // we need to call bmap() to get the actual physical block.
1758 //
1759 if ((bp->b_lblkno == bp->b_blkno) && (bp->b_vp != jnl->fsdev)) {
1760 if (VOP_BMAP(bp->b_vp, bp->b_lblkno, NULL, &bp->b_blkno, NULL) != 0) {
1761 printf("jnl: end_tr: can't bmap the bp @ 0x%x, jnl 0x%x\n", bp, jnl);
1762 goto bad_journal;
1763 }
1764 }
1765
1766 // update this so we write out the correct physical block number!
1767 blhdr->binfo[i].bnum = bp->b_blkno;
1768 }
1769
1770 next = (block_list_header *)((long)blhdr->binfo[0].bnum);
1771 }
1772
1773 for(blhdr=tr->blhdr; blhdr; blhdr=(block_list_header *)((long)blhdr->binfo[0].bnum)) {
1774
1775 amt = blhdr->bytes_used;
1776
1777 blhdr->checksum = 0;
1778 blhdr->checksum = calc_checksum((char *)blhdr, BLHDR_CHECKSUM_SIZE);
1779
1780 ret = write_journal_data(jnl, &end, blhdr, amt);
1781 if (ret != amt) {
1782 printf("jnl: end_transaction: only wrote %d of %d bytes to the journal!\n",
1783 ret, amt);
1784
1785 goto bad_journal;
1786 }
1787 }
1788
1789 jnl->jhdr->end = end; // update where the journal now ends
1790 tr->journal_end = end; // the transaction ends here too
1791 if (tr->journal_start == 0 || tr->journal_end == 0) {
1792 panic("jnl: end_transaction: bad tr journal start/end: 0x%llx 0x%llx\n",
1793 tr->journal_start, tr->journal_end);
1794 }
1795
1796 if (write_journal_header(jnl) != 0) {
1797 goto bad_journal;
1798 }
1799
1800 //
1801 // setup for looping through all the blhdr's. we null out the
1802 // tbuffer and blhdr fields so that they're not used any more.
1803 //
1804 blhdr = tr->blhdr;
1805 tr->tbuffer = NULL;
1806 tr->blhdr = NULL;
1807
1808 // the buffer_flushed_callback will only be called for the
1809 // real blocks that get flushed so we have to account for
1810 // the block_list_headers here.
1811 //
1812 tr->num_flushed = tr->num_blhdrs * jnl->jhdr->blhdr_size;
1813
1814 // for each block, set the iodone callback and unlock it
1815 for(; blhdr; blhdr=next) {
1816
1817 // we can re-order the buf ptrs because everything is written out already
1818 qsort(&blhdr->binfo[1], blhdr->num_blocks-1, sizeof(block_info), journal_binfo_cmp);
1819
1820 for(i=1; i < blhdr->num_blocks; i++) {
1821 if (blhdr->binfo[i].bp == NULL) {
1822 continue;
1823 }
1824
1825 ret = meta_bread(blhdr->binfo[i].bp->b_vp,
1826 (daddr_t)blhdr->binfo[i].bp->b_lblkno,
1827 blhdr->binfo[i].bp->b_bufsize,
1828 NOCRED,
1829 &bp);
1830 if (ret == 0 && bp != NULL) {
1831 struct vnode *save_vp;
1832
1833 if (bp != blhdr->binfo[i].bp) {
1834 panic("jnl: end_tr: got back a different bp! (bp 0x%x should be 0x%x, jnl 0x%x\n",
1835 bp, blhdr->binfo[i].bp, jnl);
1836 }
1837
1838 if ((bp->b_flags & (B_LOCKED|B_DELWRI)) != (B_LOCKED|B_DELWRI)) {
1839 if (jnl->flags & JOURNAL_CLOSE_PENDING) {
1840 brelse(bp);
1841 continue;
1842 } else {
1843 panic("jnl: end_tr: !!!DANGER!!! bp 0x%x flags (0x%x) not LOCKED & DELWRI\n", bp, bp->b_flags);
1844 }
1845 }
1846
1847 if (bp->b_iodone != NULL) {
1848 panic("jnl: bp @ 0x%x (blkno %d, vp 0x%x) has non-null iodone (0x%x) buffflushcb 0x%x\n",
1849 bp, bp->b_blkno, bp->b_vp, bp->b_iodone, buffer_flushed_callback);
1850 }
1851
1852 save_vp = bp->b_vp;
1853
1854 bp->b_iodone = buffer_flushed_callback;
1855 bp->b_transaction = tr;
1856 bp->b_flags |= B_CALL;
1857 bp->b_flags &= ~(B_LOCKED);
1858
1859 // kicking off the write here helps performance
1860 bawrite(bp);
1861 // XXXdbg this is good for testing: bdwrite(bp);
1862 //bdwrite(bp);
1863
1864 // this undoes the vget() in journal_modify_block_end()
1865 vrele(save_vp);
1866
1867 } else {
1868 printf("jnl: end_transaction: could not find block %Ld vp 0x%x!\n",
1869 blhdr->binfo[i].bnum, blhdr->binfo[i].bp);
1870 if (bp) {
1871 brelse(bp);
1872 }
1873 }
1874 }
1875
1876 next = (block_list_header *)((long)blhdr->binfo[0].bnum);
1877
1878 // we can free blhdr here since we won't need it any more
1879 blhdr->binfo[0].bnum = 0xdeadc0de;
1880 kmem_free(kernel_map, (vm_offset_t)blhdr, tr->tbuffer_size);
1881 }
1882
1883 //printf("jnl: end_tr: tr @ 0x%x, jnl-blocks: 0x%llx - 0x%llx. exit!\n",
1884 // tr, tr->journal_start, tr->journal_end);
1885 return 0;
1886
1887
1888 bad_journal:
1889 jnl->flags |= JOURNAL_INVALID;
1890 abort_transaction(jnl, tr);
1891 return -1;
1892 }
1893
1894 static void
1895 abort_transaction(journal *jnl, transaction *tr)
1896 {
1897 int i, ret;
1898 block_list_header *blhdr, *next;
1899 struct buf *bp;
1900
1901 // for each block list header, iterate over the blocks then
1902 // free up the memory associated with the block list.
1903 //
1904 // for each block, clear the lock bit and release it.
1905 //
1906 for(blhdr=tr->blhdr; blhdr; blhdr=next) {
1907
1908 for(i=1; i < blhdr->num_blocks; i++) {
1909 if (blhdr->binfo[i].bp == NULL) {
1910 continue;
1911 }
1912
1913 ret = meta_bread(blhdr->binfo[i].bp->b_vp,
1914 (daddr_t)blhdr->binfo[i].bp->b_lblkno,
1915 blhdr->binfo[i].bp->b_bufsize,
1916 NOCRED,
1917 &bp);
1918 if (ret == 0) {
1919 if (bp != blhdr->binfo[i].bp) {
1920 panic("jnl: abort_tr: got back a different bp! (bp 0x%x should be 0x%x, jnl 0x%x\n",
1921 bp, blhdr->binfo[i].bp, jnl);
1922 }
1923
1924 // clear the locked bit and the delayed-write bit. we
1925 // don't want these blocks going to disk.
1926 bp->b_flags &= ~(B_LOCKED|B_DELWRI);
1927 bp->b_flags |= B_INVAL;
1928
1929 brelse(bp);
1930
1931 } else {
1932 printf("jnl: abort_tr: could not find block %Ld vp 0x%x!\n",
1933 blhdr->binfo[i].bnum, blhdr->binfo[i].bp);
1934 if (bp) {
1935 brelse(bp);
1936 }
1937 }
1938 }
1939
1940 next = (block_list_header *)((long)blhdr->binfo[0].bnum);
1941
1942 // we can free blhdr here since we won't need it any more
1943 blhdr->binfo[0].bnum = 0xdeadc0de;
1944 kmem_free(kernel_map, (vm_offset_t)blhdr, tr->tbuffer_size);
1945 }
1946
1947 tr->tbuffer = NULL;
1948 tr->blhdr = NULL;
1949 tr->total_bytes = 0xdbadc0de;
1950 FREE_ZONE(tr, sizeof(transaction), M_JNL_TR);
1951 }
1952
1953
1954 int
1955 journal_end_transaction(journal *jnl)
1956 {
1957 int ret;
1958 transaction *tr;
1959
1960 CHECK_JOURNAL(jnl);
1961
1962 if ((jnl->flags & JOURNAL_INVALID) && jnl->owner == NULL) {
1963 return 0;
1964 }
1965
1966 if (jnl->owner != current_act()) {
1967 panic("jnl: end_tr: I'm not the owner! jnl 0x%x, owner 0x%x, curact 0x%x\n",
1968 jnl, jnl->owner, current_act());
1969 }
1970
1971 free_old_stuff(jnl);
1972
1973 jnl->nested_count--;
1974 if (jnl->nested_count > 0) {
1975 return 0;
1976 } else if (jnl->nested_count < 0) {
1977 panic("jnl: jnl @ 0x%x has negative nested count (%d). bad boy.\n", jnl, jnl->nested_count);
1978 }
1979
1980 if (jnl->flags & JOURNAL_INVALID) {
1981 if (jnl->active_tr) {
1982 transaction *tr;
1983
1984 if (jnl->cur_tr != NULL) {
1985 panic("jnl: journal @ 0x%x has active tr (0x%x) and cur tr (0x%x)\n",
1986 jnl, jnl->active_tr, jnl->cur_tr);
1987 }
1988
1989 tr = jnl->active_tr;
1990 jnl->active_tr = NULL;
1991 abort_transaction(jnl, tr);
1992 }
1993
1994 jnl->owner = NULL;
1995 semaphore_signal(jnl->jsem);
1996
1997 return EINVAL;
1998 }
1999
2000 tr = jnl->active_tr;
2001 CHECK_TRANSACTION(tr);
2002
2003 // clear this out here so that when check_free_space() calls
2004 // the FS flush function, we don't panic in journal_flush()
2005 // if the FS were to call that. note: check_free_space() is
2006 // called from end_transaction().
2007 //
2008 jnl->active_tr = NULL;
2009 ret = end_transaction(tr, 0);
2010
2011 jnl->owner = NULL;
2012 semaphore_signal(jnl->jsem);
2013
2014 return ret;
2015 }
2016
2017
2018 int
2019 journal_flush(journal *jnl)
2020 {
2021 int need_signal = 0;
2022
2023 CHECK_JOURNAL(jnl);
2024
2025 if (jnl->flags & JOURNAL_INVALID) {
2026 return -1;
2027 }
2028
2029 if (jnl->owner != current_act()) {
2030 int ret;
2031
2032 while ((ret = semaphore_wait(jnl->jsem)) == KERN_ABORTED) {
2033 // just keep looping if we've ben ^C'ed
2034 }
2035 if (ret != 0) {
2036 printf("jnl: flush: sem wait failed.\n");
2037 return -1;
2038 }
2039 need_signal = 1;
2040 }
2041
2042 free_old_stuff(jnl);
2043
2044 // if we're not active, flush any buffered transactions
2045 if (jnl->active_tr == NULL && jnl->cur_tr) {
2046 transaction *tr = jnl->cur_tr;
2047
2048 jnl->cur_tr = NULL;
2049 end_transaction(tr, 1); // force it to get flushed
2050 }
2051
2052 if (need_signal) {
2053 semaphore_signal(jnl->jsem);
2054 }
2055
2056 return 0;
2057 }
2058
2059 int
2060 journal_active(journal *jnl)
2061 {
2062 if (jnl->flags & JOURNAL_INVALID) {
2063 return -1;
2064 }
2065
2066 return (jnl->active_tr == NULL) ? 0 : 1;
2067 }