| blob | 77f5bb746bf073969140539752ee87dc8f4f0861 |
1 /*
2 ** Write ahead logging implementation copyright Chris Mason 2000
3 **
4 ** The background commits make this code very interelated, and
5 ** overly complex. I need to rethink things a bit....The major players:
6 **
7 ** journal_begin -- call with the number of blocks you expect to log.
8 ** If the current transaction is too
9 ** old, it will block until the current transaction is
10 ** finished, and then start a new one.
11 ** Usually, your transaction will get joined in with
12 ** previous ones for speed.
13 **
14 ** journal_join -- same as journal_begin, but won't block on the current
15 ** transaction regardless of age. Don't ever call
16 ** this. Ever. There are only two places it should be
17 ** called from, and they are both inside this file.
18 **
19 ** journal_mark_dirty -- adds blocks into this transaction. clears any flags
20 ** that might make them get sent to disk
21 ** and then marks them BH_JDirty. Puts the buffer head
22 ** into the current transaction hash.
23 **
24 ** journal_end -- if the current transaction is batchable, it does nothing
25 ** otherwise, it could do an async/synchronous commit, or
26 ** a full flush of all log and real blocks in the
27 ** transaction.
28 **
29 ** flush_old_commits -- if the current transaction is too old, it is ended and
30 ** commit blocks are sent to disk. Forces commit blocks
31 ** to disk for all backgrounded commits that have been
32 ** around too long.
33 ** -- Note, if you call this as an immediate flush from
34 ** from within kupdate, it will ignore the immediate flag
35 */
37 #include <linux/time.h>
38 #include <linux/semaphore.h>
39 #include <linux/vmalloc.h>
40 #include <linux/reiserfs_fs.h>
41 #include <linux/kernel.h>
42 #include <linux/errno.h>
43 #include <linux/fcntl.h>
44 #include <linux/stat.h>
45 #include <linux/string.h>
46 #include <linux/smp_lock.h>
47 #include <linux/buffer_head.h>
48 #include <linux/workqueue.h>
49 #include <linux/writeback.h>
50 #include <linux/blkdev.h>
51 #include <linux/backing-dev.h>
52 #include <linux/uaccess.h>
54 #include <asm/system.h>
56 /* gets a struct reiserfs_journal_list * from a list head */
57 #define JOURNAL_LIST_ENTRY(h) (list_entry((h), struct reiserfs_journal_list, \
58 j_list))
59 #define JOURNAL_WORK_ENTRY(h) (list_entry((h), struct reiserfs_journal_list, \
60 j_working_list))
62 /* the number of mounted filesystems. This is used to decide when to
63 ** start and kill the commit workqueue
64 */
70 structs at 4k */
73 /* cnode stat bits. Move these into reiserfs_fs.h */
76 #define BLOCK_FREED_HOLDER 3 /* this block was freed during this transaction, and can't be written */
79 #define BLOCK_DIRTIED 5
81 /* journal list state bits */
82 #define LIST_TOUCHED 1
83 #define LIST_DIRTY 2
86 /* flags for do_journal_end */
108 /* values for join in do_journal_begin_r */
113 };
120 {
124 }
126 /*
127 ** clears BH_Dirty and sticks the buffer on the clean list. Called because I can't allow refile_buffer to
128 ** make schedule happen after I've freed a block. Look at remove_from_transaction and journal_mark_freed for
129 ** more details.
130 */
132 {
136 }
138 }
141 {
145 }
149 {
156 }
161 }
165 }
168 {
174 repeat:
182 }
187 }
189 }
192 {
201 }
202 }
205 {
216 }
217 }
218 }
221 b_blocknr_t block,
223 {
229 }
232 }
236 {
245 }
246 }
247 }
249 /*
250 ** only call this on FS unmount.
251 */
254 {
263 }
265 }
268 {
280 }
283 }
285 /*
286 ** get memory for JOURNAL_NUM_BITMAPS worth of bitmaps.
287 ** jb_array is the array to be filled in.
288 */
292 {
307 }
309 }
313 }
315 }
317 /*
318 ** find an available list bitmap. If you can't find one, flush a commit list
319 ** and try again
320 */
322 struct reiserfs_journal_list
324 {
339 }
342 }
343 }
346 }
349 }
351 /*
352 ** allocates a new chunk of X nodes, and links them all together as a list.
353 ** Uses the cnode->next and cnode->prev pointers
354 ** returns NULL on failure
355 */
357 {
362 }
366 }
373 }
376 }
378 /*
379 ** pulls a cnode off the free list, or returns NULL on failure
380 */
382 {
390 }
396 }
399 }
403 }
405 /*
406 ** returns a cnode to the free list
407 */
410 {
417 /* memset(cn, 0, sizeof(struct reiserfs_journal_cnode)) ; */
421 }
422 cn->prev = NULL; /* not needed with the memset, but I might kill the memset, and forget to do this */
424 }
427 {
430 }
432 /* utility function to force a BUG if it is called without the big
433 ** kernel lock held. caller is the string printed just before calling BUG()
434 */
436 {
437 #ifdef CONFIG_SMP
441 }
442 #else
443 ;
444 #endif
445 }
447 /* return a cnode with same dev, block number and size in table, or null if not found */
449 super_block
451 struct
452 reiserfs_journal_cnode
455 {
462 }
464 }
466 /*
467 ** this actually means 'can this block be reallocated yet?'. If you set search_all, a block can only be allocated
468 ** if it is not in the current transaction, was not freed by the current transaction, and has no chance of ever
469 ** being overwritten by a replay after crashing.
470 **
471 ** If you don't set search_all, a block can only be allocated if it is not in the current transaction. Since deleting
472 ** a block removes it from the current transaction, this case should never happen. If you don't set search_all, make
473 ** sure you never write the block without logging it.
474 **
475 ** next_zero_bit is a suggestion about the next block to try for find_forward.
476 ** when bl is rejected because it is set in a journal list bitmap, we search
477 ** for the next zero bit in the bitmap that rejected bl. Then, we return that
478 ** through next_zero_bit for find_forward to try.
479 **
480 ** Just because we return something in next_zero_bit does not mean we won't
481 ** reject it on the next call to reiserfs_in_journal
482 **
483 */
487 {
497 /* If we aren't doing a search_all, this is a metablock, and it will be logged before use.
498 ** if we crash before the transaction that freed it commits, this transaction won't
499 ** have committed either, and the block will never be written
500 */
508 data)) {
512 data),
516 }
517 }
518 }
521 /* is it in any old transactions? */
526 }
528 /* is it in the current transaction. This should never happen */
532 }
535 /* safe for reuse */
537 }
539 /* insert cn into table
540 */
543 {
551 }
553 }
555 /* lock the current transaction */
557 {
560 }
562 /* unlock the current transaction */
564 {
566 }
569 {
571 }
575 {
579 }
582 }
584 /*
585 ** this used to be much more involved, and I'm keeping it just in case things get ugly again.
586 ** it gets called by flush_commit_list, and cleans up any data stored about blocks freed during a
587 ** transaction.
588 */
591 {
596 }
599 }
603 {
612 }
613 }
615 }
617 /*
618 * If page->mapping was null, we failed to truncate this page for
619 * some reason. Most likely because it was truncated after being
620 * logged via data=journal.
621 *
622 * This does a check to see if the buffer belongs to one of these
623 * lost pages before doing the final put_bh. If page->mapping was
624 * null, it tries to free buffers on the page, which should make the
625 * final page_cache_release drop the page from the lru.
626 */
628 {
639 }
640 }
643 {
650 }
653 else
658 }
661 {
664 else
668 }
671 {
681 }
684 {
691 }
694 {
701 }
705 {
712 }
713 }
715 #define CHUNK_SIZE 32
719 };
722 {
727 }
730 }
733 {
738 }
741 }
745 {
756 }
758 }
762 {
769 }
771 }
772 }
774 /*
775 * we want to free the jh when the buffer has been written
776 * and waited on
777 */
779 {
792 }
793 }
797 {
805 }
809 no_jh:
813 /* buffer must be locked for __add_jh, should be able to have
814 * two adds at the same time
815 */
819 }
825 }
828 }
831 {
833 }
835 {
837 }
839 #define JH_ENTRY(l) list_entry((l), struct reiserfs_jh, list)
844 {
862 }
870 }
871 /* in theory, dirty non-uptodate buffers should never get here,
872 * but the upper layer io error paths still have a few quirks.
873 * Handle them here as gracefully as we can
874 */
878 }
885 }
886 loop_next:
889 }
894 }
905 }
908 }
909 /* ugly interaction with invalidatepage here.
910 * reiserfs_invalidate_page will pin any buffer that has a valid
911 * journal head from an older transaction. If someone else sets
912 * our buffer dirty after we write it in the first loop, and
913 * then someone truncates the page away, nobody will ever write
914 * the buffer. We're safe if we write the page one last time
915 * after freeing the journal header.
916 */
921 }
924 }
927 }
931 {
940 find_first:
941 /*
942 * first we walk backwards to find the oldest uncommitted transation
943 */
954 }
956 /* if we didn't find any older uncommitted transactions, return now */
959 }
972 /* list we were called with is gone, return */
976 /* the one we just flushed is gone, this means all
977 * older lists are also gone, so first_jl is no longer
978 * valid either. Go back to the beginning.
979 */
983 }
984 }
990 }
991 }
993 }
996 {
1002 }
1004 /*
1005 ** if this journal list still has commit blocks unflushed, send them to disk.
1006 **
1007 ** log areas must be flushed in order (transaction 2 can't commit before transaction 1)
1008 ** Before the commit block can by written, every other log block must be safely on disk
1009 **
1010 */
1013 {
1015 b_blocknr_t bn;
1027 }
1031 /* before we can put our commit blocks on disk, we have to make sure everyone older than
1032 ** us is on disk too
1033 */
1040 /* list disappeared during flush_older_commits. return */
1042 }
1043 }
1045 /* make sure nobody is trying to flush this one at the same time */
1050 }
1053 /* this commit is done, exit */
1057 }
1060 }
1070 }
1072 /*
1073 * for the description block and all the log blocks, submit any buffers
1074 * that haven't already reached the disk. Try to write at least 256
1075 * log blocks. later on, we will only wait on blocks that correspond
1076 * to this transaction, but while we're unplugging we might as well
1077 * get a chunk of data on there.
1078 */
1091 }
1092 }
1095 /* We're skipping the commit if there's an error */
1099 /* wait on everything written so far before writing the commit
1100 * if we are in barrier mode, send the commit down now
1101 */
1111 }
1112 }
1118 // since we're using ll_rw_blk above, it might have skipped over
1119 // a locked buffer. Double check here
1120 //
1124 #ifdef CONFIG_REISERFS_CHECK
1127 #endif
1129 }
1133 }
1138 /* If there was a write error in the journal - we can't commit
1139 * this transaction - it will be invalid and, if successful,
1140 * will just end up propagating the write error out to
1141 * the file system. */
1147 }
1153 /* If there was a write error in the journal - we can't commit this
1154 * transaction - it will be invalid and, if successful, will just end
1155 * up propagating the write error out to the filesystem. */
1157 #ifdef CONFIG_REISERFS_CHECK
1159 #endif
1161 }
1167 }
1170 /* now, every commit block is on the disk. It is safe to allow blocks freed during this transaction to be reallocated */
1175 /* mark the metadata dirty */
1182 }
1184 put_jl:
1189 __func__);
1192 }
1194 /*
1195 ** flush_journal_list frequently needs to find a newer transaction for a given block. This does that, or
1196 ** returns NULL if it can't find anything
1197 */
1199 reiserfs_journal_cnode
1201 {
1209 }
1211 }
1213 }
1216 {
1226 }
1228 }
1235 /*
1236 ** once all the real blocks have been flushed, it is safe to remove them from the
1237 ** journal list for this transaction. Aside from freeing the cnode, this also allows the
1238 ** block to be reallocated for data blocks if it had been deleted.
1239 */
1243 {
1248 /* which is better, to lock once around the whole loop, or
1249 ** to lock for each call to remove_journal_hash?
1250 */
1258 }
1262 }
1266 }
1268 }
1270 /*
1271 ** if this timestamp is greater than the timestamp we wrote last to the header block, write it to the header block.
1272 ** once this is done, I can safely say the log area for this transaction won't ever be replayed, and I can start
1273 ** releasing blocks in this transaction for reuse as data blocks.
1274 ** called by flush_journal_list, before it calls remove_all_from_journal_list
1275 **
1276 */
1280 {
1291 #ifdef CONFIG_REISERFS_CHECK
1294 #endif
1296 }
1297 }
1301 b_data);
1314 }
1318 sync:
1321 }
1326 }
1327 }
1329 }
1334 {
1336 }
1338 /*
1339 ** flush any and all journal lists older than you are
1340 ** can only be called from flush_journal_list
1341 */
1344 {
1350 /* we know we are the only ones flushing things, no extra race
1351 * protection is required.
1352 */
1353 restart:
1355 /* Did we wrap? */
1361 /* do not flush all */
1364 /* other_jl is now deleted from the list */
1366 }
1368 }
1372 {
1377 }
1378 }
1380 /* flush a journal list, both commit and real blocks
1381 **
1382 ** always set flushall to 1, unless you are calling from inside
1383 ** flush_journal_list
1384 **
1385 ** IMPORTANT. This can only be called while there are no journal writers,
1386 ** and the journal is locked. That means it can only be called from
1387 ** do_journal_end, or by journal_release
1388 */
1391 {
1407 }
1410 /* if flushall == 0, the lock is already held */
1415 }
1422 }
1426 /* if all the work is already done, get out of here */
1430 }
1432 /* start by putting the commit list on disk. This will also flush
1433 ** the commit lists of any olders transactions
1434 */
1441 /* are we done now? */
1445 }
1447 /* loop through each cnode, see if we need to write it,
1448 ** or wait on a more recent transaction, or just ignore it
1449 */
1453 }
1459 /* blocknr of 0 is no longer in the hash, ignore it */
1462 }
1464 /* This transaction failed commit. Don't write out to the disk */
1469 /* the order is important here. We check pjl to make sure we
1470 ** don't clear BH_JDirty_wait if we aren't the one writing this
1471 ** block to disk
1472 */
1476 /* we do this to make sure nobody releases the buffer while
1477 ** we are working with it
1478 */
1486 /* everything with !pjl && jwait should be writable */
1488 }
1489 }
1491 /* if someone has this block in a newer transaction, just make
1492 ** sure they are committed, and don't try writing it to disk
1493 */
1498 }
1500 /* bh == NULL when the block got to disk on its own, OR,
1501 ** the block got freed in a future transaction
1502 */
1505 }
1507 /* this should never happen. kupdate_one_transaction has this list
1508 ** locked while it works, so we should never see a buffer here that
1509 ** is not marked JDirty_wait
1510 */
1513 "BAD! buffer %llu %cdirty %cjwait, "
1518 }
1520 /* we inc again because saved_bh gets decremented at free_cnode */
1527 else
1529 count++;
1535 }
1536 free_cnode:
1540 /* we incremented this to keep others from taking the buffer head away */
1545 }
1546 }
1547 }
1555 }
1560 }
1562 #ifdef CONFIG_REISERFS_CHECK
1565 #endif
1567 }
1568 /* note, we must clear the JDirty_wait bit after the up to date
1569 ** check, otherwise we race against our flushpage routine
1570 */
1574 /* drop one ref for us */
1576 /* drop one ref for journal_mark_dirty */
1578 }
1580 }
1581 }
1586 __func__);
1587 flush_older_and_return:
1589 /* before we can update the journal header block, we _must_ flush all
1590 ** real blocks from all older transactions to disk. This is because
1591 ** once the header block is updated, this transaction will not be
1592 ** replayed after a crash
1593 */
1596 }
1599 /* before we can remove everything from the hash tables for this
1600 ** transaction, we must make sure it can never be replayed
1601 **
1602 ** since we are only called from do_journal_end, we know for sure there
1603 ** are no allocations going on while we are flushing journal lists. So,
1604 ** we only need to update the journal header block for the last list
1605 ** being flushed
1606 */
1608 err =
1616 __func__);
1617 }
1627 }
1630 /* not strictly required since we are freeing the list, but it should
1631 * help find code using dead lists later on
1632 */
1645 }
1649 {
1657 /* if the blocknr == 0, this has been cleared from the hash,
1658 ** skip it
1659 */
1662 }
1665 next:
1668 }
1670 }
1675 {
1683 }
1687 /* if the blocknr == 0, this has been cleared from the hash,
1688 ** skip it
1689 */
1692 }
1695 /* we can race against journal_mark_freed when we try
1696 * to lock_buffer(cn->bh), so we have to inc the buffer
1697 * count, and recheck things after locking
1698 */
1707 ret++;
1709 /* note, cn->bh might be null now */
1711 }
1713 }
1714 next:
1717 }
1719 }
1721 /* used by flush_commit_list */
1724 {
1732 /* look for a more recent transaction that logged this
1733 ** buffer. Only the most recent transaction with a buffer in
1734 ** it is allowed to send that buffer to disk
1735 */
1740 /* if the buffer is prepared, it will either be logged
1741 * or restored. If restored, we need to make sure
1742 * it actually gets marked dirty
1743 */
1750 }
1751 }
1753 }
1755 }
1762 {
1775 }
1777 /* we've got j_flush_mutex held, nobody is going to delete any
1778 * of these lists out from underneath us
1779 */
1788 }
1793 transactions_flushed++;
1797 /* did we wrap? */
1800 }
1803 /* don't bother with older transactions */
1806 }
1809 }
1811 done:
1814 }
1816 /* for o_sync and fsync heavy applications, they tend to use
1817 ** all the journa list slots with tiny transactions. These
1818 ** trigger lots and lots of calls to update the header block, which
1819 ** adds seeks and slows things down.
1820 **
1821 ** This function tries to clear out a large chunk of the journal lists
1822 ** at once, which makes everything faster since only the newest journal
1823 ** list updates the header block
1824 */
1827 {
1840 /* in data logging mode, try harder to flush a lot of blocks */
1843 /* flush for 256 transactions or limit blocks, whichever comes first */
1848 }
1852 }
1858 }
1859 /* try to find a group of blocks we can flush across all the
1860 ** transactions, but only bother if we've actually spanned
1861 ** across multiple lists
1862 */
1865 }
1868 }
1870 /*
1871 ** removes any nodes in table with name block and dev as bh.
1872 ** only touchs the hnext and hprev pointers.
1873 */
1878 {
1885 }
1893 }
1898 }
1906 }
1908 }
1909 }
1912 {
1922 }
1923 /* j_header_bh is on the journal dev, make sure not to release the journal
1924 * dev until we brelse j_header_bh
1925 */
1928 }
1930 /*
1931 ** call on unmount. Only set error to 1 if you haven't made your way out
1932 ** of read_super() yet. Any other caller must keep error at 0.
1933 */
1936 {
1941 /* we only want to flush out transactions if we were called with error == 0
1942 */
1944 /* end the current trans */
1948 /* make sure something gets logged to force our way into the flush code */
1957 }
1958 }
1960 /* this also catches errors during the do_journal_end above */
1970 }
1971 }
1973 reiserfs_mounted_fs_count--;
1974 /* wait for all commits to finish */
1980 }
1985 }
1987 /*
1988 ** call on unmount. flush all journal trans, release all alloc'd ram
1989 */
1992 {
1994 }
1996 /*
1997 ** only call from an error condition inside reiserfs_read_super!
1998 */
2001 {
2003 }
2005 /* compares description block with commit block. returns 1 if they differ, 0 if they are the same */
2009 {
2015 }
2017 }
2019 /* returns 0 if it did not find a description block
2020 ** returns -1 if it found a corrupt commit block
2021 ** returns 1 if both desc and commit were valid
2022 */
2027 {
2042 "journal-986: transaction "
2043 "is valid returning because trans_id %d is greater than "
2048 }
2052 "journal-1087: transaction "
2053 "is valid returning because mount_id %d is less than "
2058 }
2061 "Bad transaction length %d "
2065 }
2068 /* ok, we have a journal description block, lets see if the transaction was valid */
2069 c_bh =
2079 "journal_transaction_is_valid, commit offset %ld had bad "
2090 "journal-1004: "
2091 "transaction_is_valid setting oldest invalid trans_id "
2094 }
2096 }
2099 "journal-1006: found valid "
2108 }
2109 }
2112 {
2116 }
2117 }
2119 /*
2120 ** given the start, and values for the oldest acceptable transactions,
2121 ** this either reads in a replays a transaction, or returns because the transaction
2122 ** is invalid, or too old.
2123 */
2129 {
2154 cur_dblock -
2158 }
2161 "journal_read_trans skipping because %d is != "
2163 newest_mount_id);
2166 }
2173 }
2177 "journal_read_transaction, "
2186 }
2188 /* now we know we've got a good transaction, and it was inside the valid time ranges */
2201 }
2202 /* get all the buffer heads */
2219 }
2222 "REPLAY FAILURE fsck required! "
2223 "Block to replay is outside of "
2226 }
2227 /* make sure we don't try to replay onto log or reserved area */
2231 "REPLAY FAILURE fsck required! "
2233 abort_replay:
2241 }
2242 }
2243 /* read in the log blocks, memcpy to the corresponding real block */
2249 "REPLAY FAILURE fsck required! "
2259 }
2264 }
2265 /* flush out the real blocks */
2269 }
2274 "REPLAY FAILURE, fsck required! "
2283 }
2285 }
2286 cur_dblock =
2294 /* init starting values for the first transaction, in case this is the last transaction to be replayed. */
2298 /* check for trans_id overflow */
2306 }
2308 /* This function reads blocks starting from block and to max_block of bufsize
2309 size (but no more than BUFNR blocks at a time). This proved to improve
2310 mounting speed on self-rebuilding raid5 arrays at least.
2311 Right now it is only used from journal code. But later we might use it
2312 from other places.
2313 Note: Do not use journal_getblk/sb_getblk functions here! */
2316 b_blocknr_t max_block)
2317 {
2329 }
2339 }
2349 }
2351 /*
2352 ** read and replay the log
2353 ** on a clean unmount, the journal header's next unflushed pointer will be to an invalid
2354 ** transaction. This tests that before finding all the transactions in the log, which makes normal mount times fast.
2355 **
2356 ** After a crash, this starts with the next unflushed transaction, and replays until it finds one too old, or invalid.
2357 **
2358 ** On exit, it sets things up so the first transaction will work correctly.
2359 */
2361 {
2383 /* step 1, read in the journal header block. Check the transaction it says
2384 ** is the first unflushed, and if that transaction is not valid,
2385 ** replay is done
2386 */
2392 }
2397 oldest_start =
2403 "journal-1153: found in "
2404 "header: first_unflushed_offset %d, last_flushed_trans_id "
2409 /* now, we try to read the first unflushed offset. If it is not valid,
2410 ** there is nothing more we can do, and it makes no sense to read
2411 ** through the whole log.
2412 */
2413 d_bh =
2420 }
2423 }
2429 }
2431 /* ok, there are transactions that need to be replayed. start with the first log block, find
2432 ** all the valid transactions, and pick out the oldest.
2433 */
2438 /* Note that it is required for blocksize of primary fs device and journal
2439 device to be the same */
2440 d_bh =
2445 ret =
2456 "journal-1179: Setting "
2458 oldest_start -
2459 SB_ONDISK_JOURNAL_1st_BLOCK
2462 /* one we just read was older */
2466 "journal-1180: Resetting "
2468 oldest_start -
2469 SB_ONDISK_JOURNAL_1st_BLOCK
2471 }
2475 "journal-1299: Setting "
2478 }
2481 cur_dblock++;
2482 }
2484 }
2486 start_log_replay:
2490 "journal-1206: Starting replay "
2493 oldest_trans_id);
2495 }
2498 ret =
2505 }
2506 cur_dblock =
2508 replay_count++;
2511 }
2516 }
2517 /* j_start does not get set correctly if we don't replay any transactions.
2518 ** if we had a valid journal_header, set j_start to the first unflushed transaction value,
2519 ** copy the trans_id from the header
2520 */
2525 /* check for trans_id overflow */
2533 }
2541 }
2545 /* replay failed, caller must call free_journal_ram and abort
2546 ** the mount
2547 */
2549 }
2551 }
2554 {
2566 }
2569 {
2571 }
2575 {
2585 }
2590 }
2592 }
2597 {
2599 dev_t jdev;
2612 /* there is no "jdev" option and journal is on separate device */
2628 }
2631 }
2634 }
2646 }
2653 }
2655 /**
2656 * When creating/tuning a file system user can assign some
2657 * journal params within boundaries which depend on the ratio
2658 * blocksize/standard_blocksize.
2659 *
2660 * For blocks >= standard_blocksize transaction size should
2661 * be not less then JOURNAL_TRANS_MIN_DEFAULT, and not more
2662 * then JOURNAL_TRANS_MAX_DEFAULT.
2663 *
2664 * For blocks < standard_blocksize these boundaries should be
2665 * decreased proportionally.
2666 */
2667 #define REISERFS_STANDARD_BLKSIZE (4096)
2671 {
2673 /* Non-default journal params.
2674 Do sanity check for them. */
2682 JOURNAL_MIN_RATIO) {
2684 "bad transaction max size (%u). "
2687 }
2691 "bad transaction max batch (%u). "
2694 }
2696 /* Default journal params.
2697 The file system was created by old version
2698 of mkreiserfs, so some fields contain zeros,
2699 and we need to advise proper values for them */
2704 }
2708 }
2710 }
2712 /*
2713 ** must be called once on fs mount. calls journal_read for you
2714 */
2717 {
2731 }
2744 /* reserved for journal area support */
2746 REISERFS_OLD_DISK_OFFSET_IN_BYTES
2750 REISERFS_DISK_OFFSET_IN_BYTES /
2753 /* Sanity check to see is the standard journal fitting withing first bitmap
2754 (actual for small blocksizes) */
2759 "journal does not fit for area addressed "
2760 "by first of bitmap blocks. It starts at "
2766 }
2772 }
2776 /* read journal header */
2784 }
2787 /* make sure that journal matches to the super block */
2792 "journal header magic %x (device %s) does "
2799 }
2814 }
2817 "journal first block %u, max trans len %u, max batch %u, "
2862 "allocation failed (%ld bytes). Journal is "
2863 "too large for available memory. Usually "
2867 }
2876 }
2881 }
2883 reiserfs_mounted_fs_count++;
2890 free_and_return:
2893 }
2895 /*
2896 ** test for a polite end of the current transaction. Used by file_write, and should
2897 ** be used by delete to make sure they don't write more than can fit inside a single
2898 ** transaction
2899 */
2902 {
2905 /* cannot restart while nested */
2915 }
2916 /* protected by the BKL here */
2920 }
2922 /* this must be called inside a transaction, and requires the
2923 ** kernel_lock to be held
2924 */
2926 {
2932 }
2934 /* this must be called without a transaction started, and does not
2935 ** require BKL
2936 */
2938 {
2942 }
2944 /* this must be called without a transaction started, and does not
2945 ** require BKL
2946 */
2948 {
2952 }
2955 {
2956 wait_queue_t wait;
2960 /*
2961 * we don't want to use wait_event here because
2962 * we only want to wait once.
2963 */
2971 }
2974 {
2978 }
2981 {
2991 }
2997 }
2998 }
3000 /* join == true if you must join an existing transaction.
3001 ** join == false if you can deal with waiting for others to finish
3002 **
3003 ** this will block until the transaction is joinable. send the number of blocks you
3004 ** expect to use in nblocks.
3005 */
3009 {
3021 /* set here for journal_join */
3025 relock:
3031 }
3039 }
3042 /* if there is no room in the journal OR
3043 ** if this transaction is too old, and we weren't called joinable, wait for it to finish before beginning
3044 ** we don't sleep if there aren't other writers
3045 */
3048 (!join
3065 sched_count++;
3068 }
3069 }
3070 /* don't mess with joining the transaction if all we have to do is
3071 * wait for someone else to do a commit
3072 */
3077 }
3079 }
3084 /* someone might have ended the transaction while we joined */
3089 }
3096 }
3097 /* we are the first writer, set trans_id */
3100 }
3111 out_fail:
3113 /* Re-set th->t_super, so we can properly keep track of how many
3114 * persistent transactions there are. We need to do this so if this
3115 * call is part of a failed restart_transaction, we can free it later */
3118 }
3121 super_block
3124 {
3128 /* if we're nesting into an existing transaction. It will be
3129 ** persistent on its own
3130 */
3137 }
3145 }
3149 }
3152 {
3157 else
3162 }
3164 }
3168 {
3171 /* this keeps do_journal_end from NULLing out the current->journal_info
3172 ** pointer
3173 */
3177 }
3181 {
3184 /* this keeps do_journal_end from NULLing out the current->journal_info
3185 ** pointer
3186 */
3190 }
3194 {
3200 /* we are nesting into the current transaction */
3207 "BAD: refcount <= 1, but "
3211 /* we've ended up with a handle from a different filesystem.
3212 ** save it and restore on journal_end. This should never
3213 ** really happen...
3214 */
3219 }
3222 }
3226 /* I guess this boils down to being the reciprocal of clm-2100 above.
3227 * If do_journal_begin_r fails, we need to put it back, since journal_end
3228 * won't be called to do it. */
3231 else
3235 }
3237 /*
3238 ** puts bh into the current transaction. If it was already there, reorders removes the
3239 ** old pointers from the hash, and puts new ones in (to make sure replay happen in the right order).
3240 **
3241 ** if it was dirty, cleans and files onto the clean list. I can't let it be dirty again until the
3242 ** transaction is committed.
3243 **
3244 ** if j_len, is bigger than j_len_alloc, it pushes j_len_alloc to 10 + j_len.
3245 */
3248 {
3260 }
3266 /* already in this transaction, we are done */
3270 }
3272 /* this must be turned into a panic instead of a warning. We can't allow
3273 ** a dirty or journal_dirty or locked buffer to be logged, as some changes
3274 ** could get to disk too early. NOT GOOD.
3275 */
3278 "buffer %llu bad state "
3285 }
3292 }
3293 /* this error means I've screwed up, and we've overflowed the transaction.
3294 ** Nothing can be done here, except make the FS readonly or panic.
3295 */
3300 }
3306 }
3310 }
3314 /* now put this guy on the end */
3319 }
3324 }
3335 }
3336 }
3346 }
3348 }
3352 {
3360 }
3367 /* we aren't allowed to close a nested transaction on a different
3368 ** filesystem from the one in the task struct
3369 */
3375 }
3379 }
3380 }
3382 /* removes from the current transaction, relsing and descrementing any counters.
3383 ** also files the removed buffer directly onto the clean list
3384 **
3385 ** called by journal_mark_freed when a block has been deleted
3386 **
3387 ** returns 1 if it cleaned and relsed the buffer. 0 otherwise
3388 */
3391 {
3400 }
3404 }
3407 }
3410 }
3413 }
3427 }
3429 }
3434 }
3436 /*
3437 ** for any cnode in a journal list, it can only be dirtied of all the
3438 ** transactions that include it are committed to disk.
3439 ** this checks through each transaction, and returns 1 if you are allowed to dirty,
3440 ** and 0 if you aren't
3441 **
3442 ** it is called by dirty_journal_list, which is called after flush_commit_list has gotten all the log
3443 ** blocks for a given transaction on disk
3444 **
3445 */
3447 {
3453 /* first test hprev. These are all newer than cn, so any node here
3454 ** with the same block number and dev means this node can't be sent
3455 ** to disk right now.
3456 */
3461 }
3463 }
3464 /* then test hnext. These are all older than cn. As long as they
3465 ** are committed to the log, it is safe to write cn to disk
3466 */
3473 }
3475 }
3477 }
3479 /* syncs the commit blocks, but does not force the real buffers to disk
3480 ** will wait until the current transaction is done/committed before returning
3481 */
3484 {
3488 /* you can sync while nested, very, very bad */
3494 }
3496 }
3498 /*
3499 ** writeback the pending async commits to disk
3500 */
3502 {
3511 /* last entry is the youngest, commit it and you get everything */
3515 }
3517 }
3519 /*
3520 ** flushes any old transactions to disk
3521 ** ends the current transaction if it is too old
3522 */
3524 {
3530 /* safety check so we don't flush while we are replaying the log during
3531 * mount
3532 */
3535 }
3537 /* check the current transaction. If there are no writers, and it is
3538 * too old, finish it, and force the commit blocks to disk
3539 */
3551 /* we're only being called from kreiserfsd, it makes no sense to do
3552 ** an async commit so that kreiserfsd can do it later
3553 */
3555 }
3556 }
3558 }
3560 /*
3561 ** returns 0 if do_journal_end should return right away, returns 1 if do_journal_end should finish the commit
3562 **
3563 ** if the current transaction is too old, but still has writers, this will wait on j_join_wait until all
3564 ** the writers are done. By the time it wakes up, the transaction it was called has already ended, so it just
3565 ** flushes the commit list and returns 0.
3566 **
3567 ** Won't batch when flush or commit_now is set. Also won't batch when others are waiting on j_join_wait.
3568 **
3569 ** Note, we can't allow the journal_end to proceed while there are still writers in the log.
3570 */
3574 {
3589 }
3592 if (atomic_read(&(journal->j_wcount)) > 0) { /* <= 0 is allowed. unmounting might not call begin */
3594 }
3596 /* BUG, deal with case where j_len is 0, but people previously freed blocks need to be released
3597 ** will be dealt with by next transaction that actually writes something, but should be taken
3598 ** care of in this trans
3599 */
3602 /* if wcount > 0, and we are called to with flush or commit_now,
3603 ** we wait on j_join_wait. We will wake up when the last writer has
3604 ** finished the transaction, and started it on its way to the disk.
3605 ** Then, we flush the commit or journal list, and just return 0
3606 ** because the rest of journal end was already done for this transaction.
3607 */
3619 }
3622 /* sleep while the current transaction is still j_jlocked */
3631 }
3633 }
3634 }
3641 }
3643 }
3646 }
3648 /* deal with old transactions where we are the last writers */
3653 }
3654 /* don't batch when someone is waiting on j_join_wait */
3655 /* don't batch when syncing the commit or flushing the whole trans */
3663 }
3669 }
3671 }
3673 /*
3674 ** Does all the work that makes deleting blocks safe.
3675 ** when deleting a block mark BH_JNew, just remove it from the current transaction, clean it's buffer_head and move on.
3676 **
3677 ** otherwise:
3678 ** set a bit for the block in the journal bitmap. That will prevent it from being allocated for unformatted nodes
3679 ** before this transaction has finished.
3680 **
3681 ** mark any cnodes for this block as BLOCK_FREED, and clear their bh pointers. That will prevent any old transactions with
3682 ** this block from trying to flush to the real location. Since we aren't removing the cnode from the journal_list_hash,
3683 ** the block can't be reallocated yet.
3684 **
3685 ** Then remove it from the current transaction, decrementing any counters and filing it on the clean list.
3686 */
3689 {
3701 }
3702 /* if it is journal new, we just remove it from this transaction */
3709 /* set the bit for this block in the journal bitmap for this transaction */
3714 }
3717 /* Note, the entire while loop is not allowed to schedule. */
3722 }
3725 /* find all older transactions with this block, make sure they don't try to write it out */
3727 blocknr);
3733 /* remove_from_transaction will brelse the buffer if it was
3734 ** in the current trans
3735 */
3737 bh);
3740 bh);
3748 }
3749 }
3753 j_nonzerolen));
3754 }
3756 }
3757 }
3759 }
3760 }
3765 }
3768 {
3772 }
3774 /*
3775 * returns -1 on error, 0 if no commits/barriers were done and 1
3776 * if a transaction was actually committed and the barrier was done
3777 */
3780 {
3786 /* is it from the current transaction, or from an unknown transaction? */
3789 /* try to let other writers come in and grow this transaction */
3793 }
3799 /* someone might have ended this transaction while we joined */
3806 }
3813 /* this gets tricky, we have to make sure the journal list in
3814 * the inode still exists. We know the list is still around
3815 * if we've got a larger transaction id than the oldest list
3816 */
3817 flush_commit_only:
3819 /*
3820 * we only set ret to 1 when we know for sure
3821 * the barrier hasn't been started yet on the commit
3822 * block.
3823 */
3829 }
3830 }
3831 /* otherwise the list is gone, and long since committed */
3833 }
3836 {
3840 /* for the whole inode, assume unset id means it was
3841 * changed in the current transaction. More conservative
3842 */
3846 /* jl will be updated in __commit_trans_jl */
3847 }
3850 }
3854 {
3859 }
3869 }
3870 }
3872 }
3875 /*
3876 ** before we can change a metadata block, we have to make sure it won't
3877 ** be written to disk while we are altering it. So, we must:
3878 ** clean it
3879 ** wait on it.
3880 **
3881 */
3884 {
3891 }
3896 }
3899 }
3902 {
3911 /* this check should always be run, to send old lists to disk */
3918 }
3919 }
3920 }
3922 /*
3923 ** long and ugly. If flush, will not return until all commit
3924 ** blocks and all real buffers in the trans are on disk.
3925 ** If no_async, won't return until all commit blocks are on disk.
3926 **
3927 ** keep reading, there are comments as you go along
3928 **
3929 ** If the journal is aborted, we just clean up. Things like flushing
3930 ** journal lists, etc just won't happen.
3931 */
3935 {
3957 /* protect flush_older_commits from doing mistakes if the
3958 transaction ID counter gets overflowed. */
3971 }
3977 }
3981 }
3983 /* check_journal_end locks the journal, and unlocks if it does not return 1
3984 ** it tells us if we should continue with the journal_end, or just return
3985 */
3991 }
3993 /* check_journal_end might set these, check again */
3996 }
3998 /*
3999 ** j must wait means we have to flush the log blocks, and the real blocks for
4000 ** this transaction
4001 */
4004 }
4005 #ifdef REISERFS_PREALLOCATE
4006 /* quota ops might need to nest, setup the journal_info pointer for them
4007 * and raise the refcount so that it is > 0. */
4011 * the transaction */
4014 #endif
4016 /* setup description block */
4017 d_bh =
4027 /* setup commit block. Don't write (keep it clean too) this one until after everyone else is written */
4036 /* init this journal list */
4039 /* we lock the commit before doing anything because
4040 * we want to make sure nobody tries to run flush_commit_list until
4041 * the new transaction is fully setup, and we've already flushed the
4042 * ordered bh list
4043 */
4046 /* save the transaction id in case we need to commit it later */
4059 /* The ENTIRE FOR LOOP MUST not cause schedule to occur.
4060 ** for each real block, add it to the journal list hash,
4061 ** copy into real block index array in the commit or desc block
4062 */
4070 }
4073 }
4078 }
4080 /* make sure the block we are trying to log is not a block
4081 of journal or reserved area */
4086 "Trying to log block %lu, "
4089 }
4102 }
4104 i--;
4105 }
4106 }
4112 /* special check in case all buffers in the journal were marked for not logging */
4115 /* we're about to dirty all the log blocks, mark the description block
4116 * dirty now too. Don't mark the commit block dirty until all the
4117 * others are on disk
4118 */
4121 /* first data block is j_start + 1, so add one to cur_write_start wherever you use it */
4127 /* copy all the real blocks into log area. dirty log blocks */
4132 tmp_bh =
4136 jindex) %
4146 jindex++;
4150 /* JDirty cleared sometime during transaction. don't log this one */
4152 "BAD, buffer in journal hash, "
4155 }
4160 }
4162 /* we are done with both the c_bh and d_bh, but
4163 ** c_bh must be written after all other commit blocks,
4164 ** so we dirty/relse c_bh in flush_commit_list, with commit_left <= 1.
4165 */
4169 /* now it is safe to insert this transaction on the main list */
4174 /* reset journal values for the next transaction */
4185 /* check for trans_id overflow */
4195 // make sure reiserfs_add_jh sees the new current_jl before we
4196 // write out the tails
4199 /* tail conversion targets have to hit the disk before we end the
4200 * transaction. Otherwise a later transaction might repack the tail
4201 * before this transaction commits, leaving the data block unflushed and
4202 * clean, if we crash before the later transaction commits, the data block
4203 * is lost.
4204 */
4210 }
4214 /* honor the flush wishes from the caller, simple commits can
4215 ** be done outside the journal lock, they are done below
4216 **
4217 ** if we don't flush the commit list right now, we put it into
4218 ** the work queue so the people waiting on the async progress work
4219 ** queue don't wait for this proc to flush journal lists and such.
4220 */
4227 /* if the next transaction has any chance of wrapping, flush
4228 ** transactions that might get overwritten. If any journal lists are very
4229 ** old flush them as well.
4230 */
4231 first_jl:
4242 /* if we don't cross into the next transaction and we don't
4243 * wrap, there is no way we can overlap any later transactions
4244 * break now
4245 */
4247 }
4257 /* we don't overlap anything from out start to the end of the
4258 * log, and our wrapped portion doesn't overlap anything at
4259 * the start of the log. We can break
4260 */
4262 }
4263 }
4264 }
4273 }
4277 /* wake up any body waiting to join. */
4284 }
4285 out:
4289 /* Re-set th->t_super, so we can properly keep track of how many
4290 * persistent transactions there are. We need to do this so if this
4291 * call is part of a failed restart_transaction, we can free it later */
4295 }
4297 /* Send the file system read only and refuse new transactions */
4299 {
4310 #ifdef CONFIG_REISERFS_CHECK
4312 #endif
4313 }