xfs_trans.c 39 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457
  1. /*
  2. * Copyright (c) 2000-2003,2005 Silicon Graphics, Inc.
  3. * All Rights Reserved.
  4. *
  5. * This program is free software; you can redistribute it and/or
  6. * modify it under the terms of the GNU General Public License as
  7. * published by the Free Software Foundation.
  8. *
  9. * This program is distributed in the hope that it would be useful,
  10. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. * GNU General Public License for more details.
  13. *
  14. * You should have received a copy of the GNU General Public License
  15. * along with this program; if not, write the Free Software Foundation,
  16. * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
  17. */
  18. #include "xfs.h"
  19. #include "xfs_fs.h"
  20. #include "xfs_types.h"
  21. #include "xfs_bit.h"
  22. #include "xfs_log.h"
  23. #include "xfs_inum.h"
  24. #include "xfs_trans.h"
  25. #include "xfs_sb.h"
  26. #include "xfs_ag.h"
  27. #include "xfs_dir2.h"
  28. #include "xfs_dmapi.h"
  29. #include "xfs_mount.h"
  30. #include "xfs_error.h"
  31. #include "xfs_da_btree.h"
  32. #include "xfs_bmap_btree.h"
  33. #include "xfs_alloc_btree.h"
  34. #include "xfs_ialloc_btree.h"
  35. #include "xfs_dir2_sf.h"
  36. #include "xfs_attr_sf.h"
  37. #include "xfs_dinode.h"
  38. #include "xfs_inode.h"
  39. #include "xfs_btree.h"
  40. #include "xfs_ialloc.h"
  41. #include "xfs_alloc.h"
  42. #include "xfs_bmap.h"
  43. #include "xfs_quota.h"
  44. #include "xfs_trans_priv.h"
  45. #include "xfs_trans_space.h"
  46. #include "xfs_inode_item.h"
  47. STATIC void xfs_trans_apply_sb_deltas(xfs_trans_t *);
  48. STATIC uint xfs_trans_count_vecs(xfs_trans_t *);
  49. STATIC void xfs_trans_fill_vecs(xfs_trans_t *, xfs_log_iovec_t *);
  50. STATIC void xfs_trans_uncommit(xfs_trans_t *, uint);
  51. STATIC void xfs_trans_committed(xfs_trans_t *, int);
  52. STATIC void xfs_trans_chunk_committed(xfs_log_item_chunk_t *, xfs_lsn_t, int);
  53. STATIC void xfs_trans_free(xfs_trans_t *);
  54. kmem_zone_t *xfs_trans_zone;
  55. /*
  56. * Reservation functions here avoid a huge stack in xfs_trans_init
  57. * due to register overflow from temporaries in the calculations.
  58. */
  59. STATIC uint
  60. xfs_calc_write_reservation(xfs_mount_t *mp)
  61. {
  62. return XFS_CALC_WRITE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  63. }
  64. STATIC uint
  65. xfs_calc_itruncate_reservation(xfs_mount_t *mp)
  66. {
  67. return XFS_CALC_ITRUNCATE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  68. }
  69. STATIC uint
  70. xfs_calc_rename_reservation(xfs_mount_t *mp)
  71. {
  72. return XFS_CALC_RENAME_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  73. }
  74. STATIC uint
  75. xfs_calc_link_reservation(xfs_mount_t *mp)
  76. {
  77. return XFS_CALC_LINK_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  78. }
  79. STATIC uint
  80. xfs_calc_remove_reservation(xfs_mount_t *mp)
  81. {
  82. return XFS_CALC_REMOVE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  83. }
  84. STATIC uint
  85. xfs_calc_symlink_reservation(xfs_mount_t *mp)
  86. {
  87. return XFS_CALC_SYMLINK_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  88. }
  89. STATIC uint
  90. xfs_calc_create_reservation(xfs_mount_t *mp)
  91. {
  92. return XFS_CALC_CREATE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  93. }
  94. STATIC uint
  95. xfs_calc_mkdir_reservation(xfs_mount_t *mp)
  96. {
  97. return XFS_CALC_MKDIR_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  98. }
  99. STATIC uint
  100. xfs_calc_ifree_reservation(xfs_mount_t *mp)
  101. {
  102. return XFS_CALC_IFREE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  103. }
  104. STATIC uint
  105. xfs_calc_ichange_reservation(xfs_mount_t *mp)
  106. {
  107. return XFS_CALC_ICHANGE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  108. }
  109. STATIC uint
  110. xfs_calc_growdata_reservation(xfs_mount_t *mp)
  111. {
  112. return XFS_CALC_GROWDATA_LOG_RES(mp);
  113. }
  114. STATIC uint
  115. xfs_calc_growrtalloc_reservation(xfs_mount_t *mp)
  116. {
  117. return XFS_CALC_GROWRTALLOC_LOG_RES(mp);
  118. }
  119. STATIC uint
  120. xfs_calc_growrtzero_reservation(xfs_mount_t *mp)
  121. {
  122. return XFS_CALC_GROWRTZERO_LOG_RES(mp);
  123. }
  124. STATIC uint
  125. xfs_calc_growrtfree_reservation(xfs_mount_t *mp)
  126. {
  127. return XFS_CALC_GROWRTFREE_LOG_RES(mp);
  128. }
  129. STATIC uint
  130. xfs_calc_swrite_reservation(xfs_mount_t *mp)
  131. {
  132. return XFS_CALC_SWRITE_LOG_RES(mp);
  133. }
  134. STATIC uint
  135. xfs_calc_writeid_reservation(xfs_mount_t *mp)
  136. {
  137. return XFS_CALC_WRITEID_LOG_RES(mp);
  138. }
  139. STATIC uint
  140. xfs_calc_addafork_reservation(xfs_mount_t *mp)
  141. {
  142. return XFS_CALC_ADDAFORK_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  143. }
  144. STATIC uint
  145. xfs_calc_attrinval_reservation(xfs_mount_t *mp)
  146. {
  147. return XFS_CALC_ATTRINVAL_LOG_RES(mp);
  148. }
  149. STATIC uint
  150. xfs_calc_attrset_reservation(xfs_mount_t *mp)
  151. {
  152. return XFS_CALC_ATTRSET_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  153. }
  154. STATIC uint
  155. xfs_calc_attrrm_reservation(xfs_mount_t *mp)
  156. {
  157. return XFS_CALC_ATTRRM_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp);
  158. }
  159. STATIC uint
  160. xfs_calc_clear_agi_bucket_reservation(xfs_mount_t *mp)
  161. {
  162. return XFS_CALC_CLEAR_AGI_BUCKET_LOG_RES(mp);
  163. }
  164. /*
  165. * Initialize the precomputed transaction reservation values
  166. * in the mount structure.
  167. */
  168. void
  169. xfs_trans_init(
  170. xfs_mount_t *mp)
  171. {
  172. xfs_trans_reservations_t *resp;
  173. resp = &(mp->m_reservations);
  174. resp->tr_write = xfs_calc_write_reservation(mp);
  175. resp->tr_itruncate = xfs_calc_itruncate_reservation(mp);
  176. resp->tr_rename = xfs_calc_rename_reservation(mp);
  177. resp->tr_link = xfs_calc_link_reservation(mp);
  178. resp->tr_remove = xfs_calc_remove_reservation(mp);
  179. resp->tr_symlink = xfs_calc_symlink_reservation(mp);
  180. resp->tr_create = xfs_calc_create_reservation(mp);
  181. resp->tr_mkdir = xfs_calc_mkdir_reservation(mp);
  182. resp->tr_ifree = xfs_calc_ifree_reservation(mp);
  183. resp->tr_ichange = xfs_calc_ichange_reservation(mp);
  184. resp->tr_growdata = xfs_calc_growdata_reservation(mp);
  185. resp->tr_swrite = xfs_calc_swrite_reservation(mp);
  186. resp->tr_writeid = xfs_calc_writeid_reservation(mp);
  187. resp->tr_addafork = xfs_calc_addafork_reservation(mp);
  188. resp->tr_attrinval = xfs_calc_attrinval_reservation(mp);
  189. resp->tr_attrset = xfs_calc_attrset_reservation(mp);
  190. resp->tr_attrrm = xfs_calc_attrrm_reservation(mp);
  191. resp->tr_clearagi = xfs_calc_clear_agi_bucket_reservation(mp);
  192. resp->tr_growrtalloc = xfs_calc_growrtalloc_reservation(mp);
  193. resp->tr_growrtzero = xfs_calc_growrtzero_reservation(mp);
  194. resp->tr_growrtfree = xfs_calc_growrtfree_reservation(mp);
  195. }
  196. /*
  197. * This routine is called to allocate a transaction structure.
  198. * The type parameter indicates the type of the transaction. These
  199. * are enumerated in xfs_trans.h.
  200. *
  201. * Dynamically allocate the transaction structure from the transaction
  202. * zone, initialize it, and return it to the caller.
  203. */
  204. xfs_trans_t *
  205. xfs_trans_alloc(
  206. xfs_mount_t *mp,
  207. uint type)
  208. {
  209. xfs_wait_for_freeze(mp, SB_FREEZE_TRANS);
  210. return _xfs_trans_alloc(mp, type, KM_SLEEP);
  211. }
  212. xfs_trans_t *
  213. _xfs_trans_alloc(
  214. xfs_mount_t *mp,
  215. uint type,
  216. uint memflags)
  217. {
  218. xfs_trans_t *tp;
  219. atomic_inc(&mp->m_active_trans);
  220. tp = kmem_zone_zalloc(xfs_trans_zone, memflags);
  221. tp->t_magic = XFS_TRANS_MAGIC;
  222. tp->t_type = type;
  223. tp->t_mountp = mp;
  224. tp->t_items_free = XFS_LIC_NUM_SLOTS;
  225. tp->t_busy_free = XFS_LBC_NUM_SLOTS;
  226. xfs_lic_init(&(tp->t_items));
  227. XFS_LBC_INIT(&(tp->t_busy));
  228. return tp;
  229. }
  230. /*
  231. * This is called to create a new transaction which will share the
  232. * permanent log reservation of the given transaction. The remaining
  233. * unused block and rt extent reservations are also inherited. This
  234. * implies that the original transaction is no longer allowed to allocate
  235. * blocks. Locks and log items, however, are no inherited. They must
  236. * be added to the new transaction explicitly.
  237. */
  238. xfs_trans_t *
  239. xfs_trans_dup(
  240. xfs_trans_t *tp)
  241. {
  242. xfs_trans_t *ntp;
  243. ntp = kmem_zone_zalloc(xfs_trans_zone, KM_SLEEP);
  244. /*
  245. * Initialize the new transaction structure.
  246. */
  247. ntp->t_magic = XFS_TRANS_MAGIC;
  248. ntp->t_type = tp->t_type;
  249. ntp->t_mountp = tp->t_mountp;
  250. ntp->t_items_free = XFS_LIC_NUM_SLOTS;
  251. ntp->t_busy_free = XFS_LBC_NUM_SLOTS;
  252. xfs_lic_init(&(ntp->t_items));
  253. XFS_LBC_INIT(&(ntp->t_busy));
  254. ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
  255. ASSERT(tp->t_ticket != NULL);
  256. ntp->t_flags = XFS_TRANS_PERM_LOG_RES | (tp->t_flags & XFS_TRANS_RESERVE);
  257. ntp->t_ticket = xfs_log_ticket_get(tp->t_ticket);
  258. ntp->t_blk_res = tp->t_blk_res - tp->t_blk_res_used;
  259. tp->t_blk_res = tp->t_blk_res_used;
  260. ntp->t_rtx_res = tp->t_rtx_res - tp->t_rtx_res_used;
  261. tp->t_rtx_res = tp->t_rtx_res_used;
  262. ntp->t_pflags = tp->t_pflags;
  263. xfs_trans_dup_dqinfo(tp, ntp);
  264. atomic_inc(&tp->t_mountp->m_active_trans);
  265. return ntp;
  266. }
  267. /*
  268. * This is called to reserve free disk blocks and log space for the
  269. * given transaction. This must be done before allocating any resources
  270. * within the transaction.
  271. *
  272. * This will return ENOSPC if there are not enough blocks available.
  273. * It will sleep waiting for available log space.
  274. * The only valid value for the flags parameter is XFS_RES_LOG_PERM, which
  275. * is used by long running transactions. If any one of the reservations
  276. * fails then they will all be backed out.
  277. *
  278. * This does not do quota reservations. That typically is done by the
  279. * caller afterwards.
  280. */
  281. int
  282. xfs_trans_reserve(
  283. xfs_trans_t *tp,
  284. uint blocks,
  285. uint logspace,
  286. uint rtextents,
  287. uint flags,
  288. uint logcount)
  289. {
  290. int log_flags;
  291. int error = 0;
  292. int rsvd = (tp->t_flags & XFS_TRANS_RESERVE) != 0;
  293. /* Mark this thread as being in a transaction */
  294. current_set_flags_nested(&tp->t_pflags, PF_FSTRANS);
  295. /*
  296. * Attempt to reserve the needed disk blocks by decrementing
  297. * the number needed from the number available. This will
  298. * fail if the count would go below zero.
  299. */
  300. if (blocks > 0) {
  301. error = xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FDBLOCKS,
  302. -((int64_t)blocks), rsvd);
  303. if (error != 0) {
  304. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  305. return (XFS_ERROR(ENOSPC));
  306. }
  307. tp->t_blk_res += blocks;
  308. }
  309. /*
  310. * Reserve the log space needed for this transaction.
  311. */
  312. if (logspace > 0) {
  313. ASSERT((tp->t_log_res == 0) || (tp->t_log_res == logspace));
  314. ASSERT((tp->t_log_count == 0) ||
  315. (tp->t_log_count == logcount));
  316. if (flags & XFS_TRANS_PERM_LOG_RES) {
  317. log_flags = XFS_LOG_PERM_RESERV;
  318. tp->t_flags |= XFS_TRANS_PERM_LOG_RES;
  319. } else {
  320. ASSERT(tp->t_ticket == NULL);
  321. ASSERT(!(tp->t_flags & XFS_TRANS_PERM_LOG_RES));
  322. log_flags = 0;
  323. }
  324. error = xfs_log_reserve(tp->t_mountp, logspace, logcount,
  325. &tp->t_ticket,
  326. XFS_TRANSACTION, log_flags, tp->t_type);
  327. if (error) {
  328. goto undo_blocks;
  329. }
  330. tp->t_log_res = logspace;
  331. tp->t_log_count = logcount;
  332. }
  333. /*
  334. * Attempt to reserve the needed realtime extents by decrementing
  335. * the number needed from the number available. This will
  336. * fail if the count would go below zero.
  337. */
  338. if (rtextents > 0) {
  339. error = xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FREXTENTS,
  340. -((int64_t)rtextents), rsvd);
  341. if (error) {
  342. error = XFS_ERROR(ENOSPC);
  343. goto undo_log;
  344. }
  345. tp->t_rtx_res += rtextents;
  346. }
  347. return 0;
  348. /*
  349. * Error cases jump to one of these labels to undo any
  350. * reservations which have already been performed.
  351. */
  352. undo_log:
  353. if (logspace > 0) {
  354. if (flags & XFS_TRANS_PERM_LOG_RES) {
  355. log_flags = XFS_LOG_REL_PERM_RESERV;
  356. } else {
  357. log_flags = 0;
  358. }
  359. xfs_log_done(tp->t_mountp, tp->t_ticket, NULL, log_flags);
  360. tp->t_ticket = NULL;
  361. tp->t_log_res = 0;
  362. tp->t_flags &= ~XFS_TRANS_PERM_LOG_RES;
  363. }
  364. undo_blocks:
  365. if (blocks > 0) {
  366. (void) xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FDBLOCKS,
  367. (int64_t)blocks, rsvd);
  368. tp->t_blk_res = 0;
  369. }
  370. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  371. return error;
  372. }
  373. /*
  374. * Record the indicated change to the given field for application
  375. * to the file system's superblock when the transaction commits.
  376. * For now, just store the change in the transaction structure.
  377. *
  378. * Mark the transaction structure to indicate that the superblock
  379. * needs to be updated before committing.
  380. *
  381. * Because we may not be keeping track of allocated/free inodes and
  382. * used filesystem blocks in the superblock, we do not mark the
  383. * superblock dirty in this transaction if we modify these fields.
  384. * We still need to update the transaction deltas so that they get
  385. * applied to the incore superblock, but we don't want them to
  386. * cause the superblock to get locked and logged if these are the
  387. * only fields in the superblock that the transaction modifies.
  388. */
  389. void
  390. xfs_trans_mod_sb(
  391. xfs_trans_t *tp,
  392. uint field,
  393. int64_t delta)
  394. {
  395. uint32_t flags = (XFS_TRANS_DIRTY|XFS_TRANS_SB_DIRTY);
  396. xfs_mount_t *mp = tp->t_mountp;
  397. switch (field) {
  398. case XFS_TRANS_SB_ICOUNT:
  399. tp->t_icount_delta += delta;
  400. if (xfs_sb_version_haslazysbcount(&mp->m_sb))
  401. flags &= ~XFS_TRANS_SB_DIRTY;
  402. break;
  403. case XFS_TRANS_SB_IFREE:
  404. tp->t_ifree_delta += delta;
  405. if (xfs_sb_version_haslazysbcount(&mp->m_sb))
  406. flags &= ~XFS_TRANS_SB_DIRTY;
  407. break;
  408. case XFS_TRANS_SB_FDBLOCKS:
  409. /*
  410. * Track the number of blocks allocated in the
  411. * transaction. Make sure it does not exceed the
  412. * number reserved.
  413. */
  414. if (delta < 0) {
  415. tp->t_blk_res_used += (uint)-delta;
  416. ASSERT(tp->t_blk_res_used <= tp->t_blk_res);
  417. }
  418. tp->t_fdblocks_delta += delta;
  419. if (xfs_sb_version_haslazysbcount(&mp->m_sb))
  420. flags &= ~XFS_TRANS_SB_DIRTY;
  421. break;
  422. case XFS_TRANS_SB_RES_FDBLOCKS:
  423. /*
  424. * The allocation has already been applied to the
  425. * in-core superblock's counter. This should only
  426. * be applied to the on-disk superblock.
  427. */
  428. ASSERT(delta < 0);
  429. tp->t_res_fdblocks_delta += delta;
  430. if (xfs_sb_version_haslazysbcount(&mp->m_sb))
  431. flags &= ~XFS_TRANS_SB_DIRTY;
  432. break;
  433. case XFS_TRANS_SB_FREXTENTS:
  434. /*
  435. * Track the number of blocks allocated in the
  436. * transaction. Make sure it does not exceed the
  437. * number reserved.
  438. */
  439. if (delta < 0) {
  440. tp->t_rtx_res_used += (uint)-delta;
  441. ASSERT(tp->t_rtx_res_used <= tp->t_rtx_res);
  442. }
  443. tp->t_frextents_delta += delta;
  444. break;
  445. case XFS_TRANS_SB_RES_FREXTENTS:
  446. /*
  447. * The allocation has already been applied to the
  448. * in-core superblock's counter. This should only
  449. * be applied to the on-disk superblock.
  450. */
  451. ASSERT(delta < 0);
  452. tp->t_res_frextents_delta += delta;
  453. break;
  454. case XFS_TRANS_SB_DBLOCKS:
  455. ASSERT(delta > 0);
  456. tp->t_dblocks_delta += delta;
  457. break;
  458. case XFS_TRANS_SB_AGCOUNT:
  459. ASSERT(delta > 0);
  460. tp->t_agcount_delta += delta;
  461. break;
  462. case XFS_TRANS_SB_IMAXPCT:
  463. tp->t_imaxpct_delta += delta;
  464. break;
  465. case XFS_TRANS_SB_REXTSIZE:
  466. tp->t_rextsize_delta += delta;
  467. break;
  468. case XFS_TRANS_SB_RBMBLOCKS:
  469. tp->t_rbmblocks_delta += delta;
  470. break;
  471. case XFS_TRANS_SB_RBLOCKS:
  472. tp->t_rblocks_delta += delta;
  473. break;
  474. case XFS_TRANS_SB_REXTENTS:
  475. tp->t_rextents_delta += delta;
  476. break;
  477. case XFS_TRANS_SB_REXTSLOG:
  478. tp->t_rextslog_delta += delta;
  479. break;
  480. default:
  481. ASSERT(0);
  482. return;
  483. }
  484. tp->t_flags |= flags;
  485. }
  486. /*
  487. * xfs_trans_apply_sb_deltas() is called from the commit code
  488. * to bring the superblock buffer into the current transaction
  489. * and modify it as requested by earlier calls to xfs_trans_mod_sb().
  490. *
  491. * For now we just look at each field allowed to change and change
  492. * it if necessary.
  493. */
  494. STATIC void
  495. xfs_trans_apply_sb_deltas(
  496. xfs_trans_t *tp)
  497. {
  498. xfs_dsb_t *sbp;
  499. xfs_buf_t *bp;
  500. int whole = 0;
  501. bp = xfs_trans_getsb(tp, tp->t_mountp, 0);
  502. sbp = XFS_BUF_TO_SBP(bp);
  503. /*
  504. * Check that superblock mods match the mods made to AGF counters.
  505. */
  506. ASSERT((tp->t_fdblocks_delta + tp->t_res_fdblocks_delta) ==
  507. (tp->t_ag_freeblks_delta + tp->t_ag_flist_delta +
  508. tp->t_ag_btree_delta));
  509. /*
  510. * Only update the superblock counters if we are logging them
  511. */
  512. if (!xfs_sb_version_haslazysbcount(&(tp->t_mountp->m_sb))) {
  513. if (tp->t_icount_delta)
  514. be64_add_cpu(&sbp->sb_icount, tp->t_icount_delta);
  515. if (tp->t_ifree_delta)
  516. be64_add_cpu(&sbp->sb_ifree, tp->t_ifree_delta);
  517. if (tp->t_fdblocks_delta)
  518. be64_add_cpu(&sbp->sb_fdblocks, tp->t_fdblocks_delta);
  519. if (tp->t_res_fdblocks_delta)
  520. be64_add_cpu(&sbp->sb_fdblocks, tp->t_res_fdblocks_delta);
  521. }
  522. if (tp->t_frextents_delta)
  523. be64_add_cpu(&sbp->sb_frextents, tp->t_frextents_delta);
  524. if (tp->t_res_frextents_delta)
  525. be64_add_cpu(&sbp->sb_frextents, tp->t_res_frextents_delta);
  526. if (tp->t_dblocks_delta) {
  527. be64_add_cpu(&sbp->sb_dblocks, tp->t_dblocks_delta);
  528. whole = 1;
  529. }
  530. if (tp->t_agcount_delta) {
  531. be32_add_cpu(&sbp->sb_agcount, tp->t_agcount_delta);
  532. whole = 1;
  533. }
  534. if (tp->t_imaxpct_delta) {
  535. sbp->sb_imax_pct += tp->t_imaxpct_delta;
  536. whole = 1;
  537. }
  538. if (tp->t_rextsize_delta) {
  539. be32_add_cpu(&sbp->sb_rextsize, tp->t_rextsize_delta);
  540. whole = 1;
  541. }
  542. if (tp->t_rbmblocks_delta) {
  543. be32_add_cpu(&sbp->sb_rbmblocks, tp->t_rbmblocks_delta);
  544. whole = 1;
  545. }
  546. if (tp->t_rblocks_delta) {
  547. be64_add_cpu(&sbp->sb_rblocks, tp->t_rblocks_delta);
  548. whole = 1;
  549. }
  550. if (tp->t_rextents_delta) {
  551. be64_add_cpu(&sbp->sb_rextents, tp->t_rextents_delta);
  552. whole = 1;
  553. }
  554. if (tp->t_rextslog_delta) {
  555. sbp->sb_rextslog += tp->t_rextslog_delta;
  556. whole = 1;
  557. }
  558. if (whole)
  559. /*
  560. * Log the whole thing, the fields are noncontiguous.
  561. */
  562. xfs_trans_log_buf(tp, bp, 0, sizeof(xfs_dsb_t) - 1);
  563. else
  564. /*
  565. * Since all the modifiable fields are contiguous, we
  566. * can get away with this.
  567. */
  568. xfs_trans_log_buf(tp, bp, offsetof(xfs_dsb_t, sb_icount),
  569. offsetof(xfs_dsb_t, sb_frextents) +
  570. sizeof(sbp->sb_frextents) - 1);
  571. }
  572. /*
  573. * xfs_trans_unreserve_and_mod_sb() is called to release unused reservations
  574. * and apply superblock counter changes to the in-core superblock. The
  575. * t_res_fdblocks_delta and t_res_frextents_delta fields are explicitly NOT
  576. * applied to the in-core superblock. The idea is that that has already been
  577. * done.
  578. *
  579. * This is done efficiently with a single call to xfs_mod_incore_sb_batch().
  580. * However, we have to ensure that we only modify each superblock field only
  581. * once because the application of the delta values may not be atomic. That can
  582. * lead to ENOSPC races occurring if we have two separate modifcations of the
  583. * free space counter to put back the entire reservation and then take away
  584. * what we used.
  585. *
  586. * If we are not logging superblock counters, then the inode allocated/free and
  587. * used block counts are not updated in the on disk superblock. In this case,
  588. * XFS_TRANS_SB_DIRTY will not be set when the transaction is updated but we
  589. * still need to update the incore superblock with the changes.
  590. */
  591. STATIC void
  592. xfs_trans_unreserve_and_mod_sb(
  593. xfs_trans_t *tp)
  594. {
  595. xfs_mod_sb_t msb[14]; /* If you add cases, add entries */
  596. xfs_mod_sb_t *msbp;
  597. xfs_mount_t *mp = tp->t_mountp;
  598. /* REFERENCED */
  599. int error;
  600. int rsvd;
  601. int64_t blkdelta = 0;
  602. int64_t rtxdelta = 0;
  603. msbp = msb;
  604. rsvd = (tp->t_flags & XFS_TRANS_RESERVE) != 0;
  605. /* calculate free blocks delta */
  606. if (tp->t_blk_res > 0)
  607. blkdelta = tp->t_blk_res;
  608. if ((tp->t_fdblocks_delta != 0) &&
  609. (xfs_sb_version_haslazysbcount(&mp->m_sb) ||
  610. (tp->t_flags & XFS_TRANS_SB_DIRTY)))
  611. blkdelta += tp->t_fdblocks_delta;
  612. if (blkdelta != 0) {
  613. msbp->msb_field = XFS_SBS_FDBLOCKS;
  614. msbp->msb_delta = blkdelta;
  615. msbp++;
  616. }
  617. /* calculate free realtime extents delta */
  618. if (tp->t_rtx_res > 0)
  619. rtxdelta = tp->t_rtx_res;
  620. if ((tp->t_frextents_delta != 0) &&
  621. (tp->t_flags & XFS_TRANS_SB_DIRTY))
  622. rtxdelta += tp->t_frextents_delta;
  623. if (rtxdelta != 0) {
  624. msbp->msb_field = XFS_SBS_FREXTENTS;
  625. msbp->msb_delta = rtxdelta;
  626. msbp++;
  627. }
  628. /* apply remaining deltas */
  629. if (xfs_sb_version_haslazysbcount(&mp->m_sb) ||
  630. (tp->t_flags & XFS_TRANS_SB_DIRTY)) {
  631. if (tp->t_icount_delta != 0) {
  632. msbp->msb_field = XFS_SBS_ICOUNT;
  633. msbp->msb_delta = tp->t_icount_delta;
  634. msbp++;
  635. }
  636. if (tp->t_ifree_delta != 0) {
  637. msbp->msb_field = XFS_SBS_IFREE;
  638. msbp->msb_delta = tp->t_ifree_delta;
  639. msbp++;
  640. }
  641. }
  642. if (tp->t_flags & XFS_TRANS_SB_DIRTY) {
  643. if (tp->t_dblocks_delta != 0) {
  644. msbp->msb_field = XFS_SBS_DBLOCKS;
  645. msbp->msb_delta = tp->t_dblocks_delta;
  646. msbp++;
  647. }
  648. if (tp->t_agcount_delta != 0) {
  649. msbp->msb_field = XFS_SBS_AGCOUNT;
  650. msbp->msb_delta = tp->t_agcount_delta;
  651. msbp++;
  652. }
  653. if (tp->t_imaxpct_delta != 0) {
  654. msbp->msb_field = XFS_SBS_IMAX_PCT;
  655. msbp->msb_delta = tp->t_imaxpct_delta;
  656. msbp++;
  657. }
  658. if (tp->t_rextsize_delta != 0) {
  659. msbp->msb_field = XFS_SBS_REXTSIZE;
  660. msbp->msb_delta = tp->t_rextsize_delta;
  661. msbp++;
  662. }
  663. if (tp->t_rbmblocks_delta != 0) {
  664. msbp->msb_field = XFS_SBS_RBMBLOCKS;
  665. msbp->msb_delta = tp->t_rbmblocks_delta;
  666. msbp++;
  667. }
  668. if (tp->t_rblocks_delta != 0) {
  669. msbp->msb_field = XFS_SBS_RBLOCKS;
  670. msbp->msb_delta = tp->t_rblocks_delta;
  671. msbp++;
  672. }
  673. if (tp->t_rextents_delta != 0) {
  674. msbp->msb_field = XFS_SBS_REXTENTS;
  675. msbp->msb_delta = tp->t_rextents_delta;
  676. msbp++;
  677. }
  678. if (tp->t_rextslog_delta != 0) {
  679. msbp->msb_field = XFS_SBS_REXTSLOG;
  680. msbp->msb_delta = tp->t_rextslog_delta;
  681. msbp++;
  682. }
  683. }
  684. /*
  685. * If we need to change anything, do it.
  686. */
  687. if (msbp > msb) {
  688. error = xfs_mod_incore_sb_batch(tp->t_mountp, msb,
  689. (uint)(msbp - msb), rsvd);
  690. ASSERT(error == 0);
  691. }
  692. }
  693. /*
  694. * xfs_trans_commit
  695. *
  696. * Commit the given transaction to the log a/synchronously.
  697. *
  698. * XFS disk error handling mechanism is not based on a typical
  699. * transaction abort mechanism. Logically after the filesystem
  700. * gets marked 'SHUTDOWN', we can't let any new transactions
  701. * be durable - ie. committed to disk - because some metadata might
  702. * be inconsistent. In such cases, this returns an error, and the
  703. * caller may assume that all locked objects joined to the transaction
  704. * have already been unlocked as if the commit had succeeded.
  705. * Do not reference the transaction structure after this call.
  706. */
  707. /*ARGSUSED*/
  708. int
  709. _xfs_trans_commit(
  710. xfs_trans_t *tp,
  711. uint flags,
  712. int *log_flushed)
  713. {
  714. xfs_log_iovec_t *log_vector;
  715. int nvec;
  716. xfs_mount_t *mp;
  717. xfs_lsn_t commit_lsn;
  718. /* REFERENCED */
  719. int error;
  720. int log_flags;
  721. int sync;
  722. #define XFS_TRANS_LOGVEC_COUNT 16
  723. xfs_log_iovec_t log_vector_fast[XFS_TRANS_LOGVEC_COUNT];
  724. void *commit_iclog;
  725. int shutdown;
  726. commit_lsn = -1;
  727. /*
  728. * Determine whether this commit is releasing a permanent
  729. * log reservation or not.
  730. */
  731. if (flags & XFS_TRANS_RELEASE_LOG_RES) {
  732. ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
  733. log_flags = XFS_LOG_REL_PERM_RESERV;
  734. } else {
  735. log_flags = 0;
  736. }
  737. mp = tp->t_mountp;
  738. /*
  739. * If there is nothing to be logged by the transaction,
  740. * then unlock all of the items associated with the
  741. * transaction and free the transaction structure.
  742. * Also make sure to return any reserved blocks to
  743. * the free pool.
  744. */
  745. shut_us_down:
  746. shutdown = XFS_FORCED_SHUTDOWN(mp) ? EIO : 0;
  747. if (!(tp->t_flags & XFS_TRANS_DIRTY) || shutdown) {
  748. xfs_trans_unreserve_and_mod_sb(tp);
  749. /*
  750. * It is indeed possible for the transaction to be
  751. * not dirty but the dqinfo portion to be. All that
  752. * means is that we have some (non-persistent) quota
  753. * reservations that need to be unreserved.
  754. */
  755. xfs_trans_unreserve_and_mod_dquots(tp);
  756. if (tp->t_ticket) {
  757. commit_lsn = xfs_log_done(mp, tp->t_ticket,
  758. NULL, log_flags);
  759. if (commit_lsn == -1 && !shutdown)
  760. shutdown = XFS_ERROR(EIO);
  761. }
  762. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  763. xfs_trans_free_items(tp, shutdown? XFS_TRANS_ABORT : 0);
  764. xfs_trans_free_busy(tp);
  765. xfs_trans_free(tp);
  766. XFS_STATS_INC(xs_trans_empty);
  767. return (shutdown);
  768. }
  769. ASSERT(tp->t_ticket != NULL);
  770. /*
  771. * If we need to update the superblock, then do it now.
  772. */
  773. if (tp->t_flags & XFS_TRANS_SB_DIRTY)
  774. xfs_trans_apply_sb_deltas(tp);
  775. xfs_trans_apply_dquot_deltas(tp);
  776. /*
  777. * Ask each log item how many log_vector entries it will
  778. * need so we can figure out how many to allocate.
  779. * Try to avoid the kmem_alloc() call in the common case
  780. * by using a vector from the stack when it fits.
  781. */
  782. nvec = xfs_trans_count_vecs(tp);
  783. if (nvec == 0) {
  784. xfs_force_shutdown(mp, SHUTDOWN_LOG_IO_ERROR);
  785. goto shut_us_down;
  786. } else if (nvec <= XFS_TRANS_LOGVEC_COUNT) {
  787. log_vector = log_vector_fast;
  788. } else {
  789. log_vector = (xfs_log_iovec_t *)kmem_alloc(nvec *
  790. sizeof(xfs_log_iovec_t),
  791. KM_SLEEP);
  792. }
  793. /*
  794. * Fill in the log_vector and pin the logged items, and
  795. * then write the transaction to the log.
  796. */
  797. xfs_trans_fill_vecs(tp, log_vector);
  798. error = xfs_log_write(mp, log_vector, nvec, tp->t_ticket, &(tp->t_lsn));
  799. /*
  800. * The transaction is committed incore here, and can go out to disk
  801. * at any time after this call. However, all the items associated
  802. * with the transaction are still locked and pinned in memory.
  803. */
  804. commit_lsn = xfs_log_done(mp, tp->t_ticket, &commit_iclog, log_flags);
  805. tp->t_commit_lsn = commit_lsn;
  806. if (nvec > XFS_TRANS_LOGVEC_COUNT) {
  807. kmem_free(log_vector);
  808. }
  809. /*
  810. * If we got a log write error. Unpin the logitems that we
  811. * had pinned, clean up, free trans structure, and return error.
  812. */
  813. if (error || commit_lsn == -1) {
  814. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  815. xfs_trans_uncommit(tp, flags|XFS_TRANS_ABORT);
  816. return XFS_ERROR(EIO);
  817. }
  818. /*
  819. * Once the transaction has committed, unused
  820. * reservations need to be released and changes to
  821. * the superblock need to be reflected in the in-core
  822. * version. Do that now.
  823. */
  824. xfs_trans_unreserve_and_mod_sb(tp);
  825. sync = tp->t_flags & XFS_TRANS_SYNC;
  826. /*
  827. * Tell the LM to call the transaction completion routine
  828. * when the log write with LSN commit_lsn completes (e.g.
  829. * when the transaction commit really hits the on-disk log).
  830. * After this call we cannot reference tp, because the call
  831. * can happen at any time and the call will free the transaction
  832. * structure pointed to by tp. The only case where we call
  833. * the completion routine (xfs_trans_committed) directly is
  834. * if the log is turned off on a debug kernel or we're
  835. * running in simulation mode (the log is explicitly turned
  836. * off).
  837. */
  838. tp->t_logcb.cb_func = (void(*)(void*, int))xfs_trans_committed;
  839. tp->t_logcb.cb_arg = tp;
  840. /*
  841. * We need to pass the iclog buffer which was used for the
  842. * transaction commit record into this function, and attach
  843. * the callback to it. The callback must be attached before
  844. * the items are unlocked to avoid racing with other threads
  845. * waiting for an item to unlock.
  846. */
  847. shutdown = xfs_log_notify(mp, commit_iclog, &(tp->t_logcb));
  848. /*
  849. * Mark this thread as no longer being in a transaction
  850. */
  851. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  852. /*
  853. * Once all the items of the transaction have been copied
  854. * to the in core log and the callback is attached, the
  855. * items can be unlocked.
  856. *
  857. * This will free descriptors pointing to items which were
  858. * not logged since there is nothing more to do with them.
  859. * For items which were logged, we will keep pointers to them
  860. * so they can be unpinned after the transaction commits to disk.
  861. * This will also stamp each modified meta-data item with
  862. * the commit lsn of this transaction for dependency tracking
  863. * purposes.
  864. */
  865. xfs_trans_unlock_items(tp, commit_lsn);
  866. /*
  867. * If we detected a log error earlier, finish committing
  868. * the transaction now (unpin log items, etc).
  869. *
  870. * Order is critical here, to avoid using the transaction
  871. * pointer after its been freed (by xfs_trans_committed
  872. * either here now, or as a callback). We cannot do this
  873. * step inside xfs_log_notify as was done earlier because
  874. * of this issue.
  875. */
  876. if (shutdown)
  877. xfs_trans_committed(tp, XFS_LI_ABORTED);
  878. /*
  879. * Now that the xfs_trans_committed callback has been attached,
  880. * and the items are released we can finally allow the iclog to
  881. * go to disk.
  882. */
  883. error = xfs_log_release_iclog(mp, commit_iclog);
  884. /*
  885. * If the transaction needs to be synchronous, then force the
  886. * log out now and wait for it.
  887. */
  888. if (sync) {
  889. if (!error) {
  890. error = _xfs_log_force(mp, commit_lsn,
  891. XFS_LOG_FORCE | XFS_LOG_SYNC,
  892. log_flushed);
  893. }
  894. XFS_STATS_INC(xs_trans_sync);
  895. } else {
  896. XFS_STATS_INC(xs_trans_async);
  897. }
  898. return (error);
  899. }
  900. /*
  901. * Total up the number of log iovecs needed to commit this
  902. * transaction. The transaction itself needs one for the
  903. * transaction header. Ask each dirty item in turn how many
  904. * it needs to get the total.
  905. */
  906. STATIC uint
  907. xfs_trans_count_vecs(
  908. xfs_trans_t *tp)
  909. {
  910. int nvecs;
  911. xfs_log_item_desc_t *lidp;
  912. nvecs = 1;
  913. lidp = xfs_trans_first_item(tp);
  914. ASSERT(lidp != NULL);
  915. /* In the non-debug case we need to start bailing out if we
  916. * didn't find a log_item here, return zero and let trans_commit
  917. * deal with it.
  918. */
  919. if (lidp == NULL)
  920. return 0;
  921. while (lidp != NULL) {
  922. /*
  923. * Skip items which aren't dirty in this transaction.
  924. */
  925. if (!(lidp->lid_flags & XFS_LID_DIRTY)) {
  926. lidp = xfs_trans_next_item(tp, lidp);
  927. continue;
  928. }
  929. lidp->lid_size = IOP_SIZE(lidp->lid_item);
  930. nvecs += lidp->lid_size;
  931. lidp = xfs_trans_next_item(tp, lidp);
  932. }
  933. return nvecs;
  934. }
  935. /*
  936. * Called from the trans_commit code when we notice that
  937. * the filesystem is in the middle of a forced shutdown.
  938. */
  939. STATIC void
  940. xfs_trans_uncommit(
  941. xfs_trans_t *tp,
  942. uint flags)
  943. {
  944. xfs_log_item_desc_t *lidp;
  945. for (lidp = xfs_trans_first_item(tp);
  946. lidp != NULL;
  947. lidp = xfs_trans_next_item(tp, lidp)) {
  948. /*
  949. * Unpin all but those that aren't dirty.
  950. */
  951. if (lidp->lid_flags & XFS_LID_DIRTY)
  952. IOP_UNPIN_REMOVE(lidp->lid_item, tp);
  953. }
  954. xfs_trans_unreserve_and_mod_sb(tp);
  955. xfs_trans_unreserve_and_mod_dquots(tp);
  956. xfs_trans_free_items(tp, flags);
  957. xfs_trans_free_busy(tp);
  958. xfs_trans_free(tp);
  959. }
  960. /*
  961. * Fill in the vector with pointers to data to be logged
  962. * by this transaction. The transaction header takes
  963. * the first vector, and then each dirty item takes the
  964. * number of vectors it indicated it needed in xfs_trans_count_vecs().
  965. *
  966. * As each item fills in the entries it needs, also pin the item
  967. * so that it cannot be flushed out until the log write completes.
  968. */
  969. STATIC void
  970. xfs_trans_fill_vecs(
  971. xfs_trans_t *tp,
  972. xfs_log_iovec_t *log_vector)
  973. {
  974. xfs_log_item_desc_t *lidp;
  975. xfs_log_iovec_t *vecp;
  976. uint nitems;
  977. /*
  978. * Skip over the entry for the transaction header, we'll
  979. * fill that in at the end.
  980. */
  981. vecp = log_vector + 1; /* pointer arithmetic */
  982. nitems = 0;
  983. lidp = xfs_trans_first_item(tp);
  984. ASSERT(lidp != NULL);
  985. while (lidp != NULL) {
  986. /*
  987. * Skip items which aren't dirty in this transaction.
  988. */
  989. if (!(lidp->lid_flags & XFS_LID_DIRTY)) {
  990. lidp = xfs_trans_next_item(tp, lidp);
  991. continue;
  992. }
  993. /*
  994. * The item may be marked dirty but not log anything.
  995. * This can be used to get called when a transaction
  996. * is committed.
  997. */
  998. if (lidp->lid_size) {
  999. nitems++;
  1000. }
  1001. IOP_FORMAT(lidp->lid_item, vecp);
  1002. vecp += lidp->lid_size; /* pointer arithmetic */
  1003. IOP_PIN(lidp->lid_item);
  1004. lidp = xfs_trans_next_item(tp, lidp);
  1005. }
  1006. /*
  1007. * Now that we've counted the number of items in this
  1008. * transaction, fill in the transaction header.
  1009. */
  1010. tp->t_header.th_magic = XFS_TRANS_HEADER_MAGIC;
  1011. tp->t_header.th_type = tp->t_type;
  1012. tp->t_header.th_num_items = nitems;
  1013. log_vector->i_addr = (xfs_caddr_t)&tp->t_header;
  1014. log_vector->i_len = sizeof(xfs_trans_header_t);
  1015. XLOG_VEC_SET_TYPE(log_vector, XLOG_REG_TYPE_TRANSHDR);
  1016. }
  1017. /*
  1018. * Unlock all of the transaction's items and free the transaction.
  1019. * The transaction must not have modified any of its items, because
  1020. * there is no way to restore them to their previous state.
  1021. *
  1022. * If the transaction has made a log reservation, make sure to release
  1023. * it as well.
  1024. */
  1025. void
  1026. xfs_trans_cancel(
  1027. xfs_trans_t *tp,
  1028. int flags)
  1029. {
  1030. int log_flags;
  1031. #ifdef DEBUG
  1032. xfs_log_item_chunk_t *licp;
  1033. xfs_log_item_desc_t *lidp;
  1034. xfs_log_item_t *lip;
  1035. int i;
  1036. #endif
  1037. xfs_mount_t *mp = tp->t_mountp;
  1038. /*
  1039. * See if the caller is being too lazy to figure out if
  1040. * the transaction really needs an abort.
  1041. */
  1042. if ((flags & XFS_TRANS_ABORT) && !(tp->t_flags & XFS_TRANS_DIRTY))
  1043. flags &= ~XFS_TRANS_ABORT;
  1044. /*
  1045. * See if the caller is relying on us to shut down the
  1046. * filesystem. This happens in paths where we detect
  1047. * corruption and decide to give up.
  1048. */
  1049. if ((tp->t_flags & XFS_TRANS_DIRTY) && !XFS_FORCED_SHUTDOWN(mp)) {
  1050. XFS_ERROR_REPORT("xfs_trans_cancel", XFS_ERRLEVEL_LOW, mp);
  1051. xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
  1052. }
  1053. #ifdef DEBUG
  1054. if (!(flags & XFS_TRANS_ABORT)) {
  1055. licp = &(tp->t_items);
  1056. while (licp != NULL) {
  1057. lidp = licp->lic_descs;
  1058. for (i = 0; i < licp->lic_unused; i++, lidp++) {
  1059. if (xfs_lic_isfree(licp, i)) {
  1060. continue;
  1061. }
  1062. lip = lidp->lid_item;
  1063. if (!XFS_FORCED_SHUTDOWN(mp))
  1064. ASSERT(!(lip->li_type == XFS_LI_EFD));
  1065. }
  1066. licp = licp->lic_next;
  1067. }
  1068. }
  1069. #endif
  1070. xfs_trans_unreserve_and_mod_sb(tp);
  1071. xfs_trans_unreserve_and_mod_dquots(tp);
  1072. if (tp->t_ticket) {
  1073. if (flags & XFS_TRANS_RELEASE_LOG_RES) {
  1074. ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
  1075. log_flags = XFS_LOG_REL_PERM_RESERV;
  1076. } else {
  1077. log_flags = 0;
  1078. }
  1079. xfs_log_done(mp, tp->t_ticket, NULL, log_flags);
  1080. }
  1081. /* mark this thread as no longer being in a transaction */
  1082. current_restore_flags_nested(&tp->t_pflags, PF_FSTRANS);
  1083. xfs_trans_free_items(tp, flags);
  1084. xfs_trans_free_busy(tp);
  1085. xfs_trans_free(tp);
  1086. }
  1087. /*
  1088. * Free the transaction structure. If there is more clean up
  1089. * to do when the structure is freed, add it here.
  1090. */
  1091. STATIC void
  1092. xfs_trans_free(
  1093. xfs_trans_t *tp)
  1094. {
  1095. atomic_dec(&tp->t_mountp->m_active_trans);
  1096. xfs_trans_free_dqinfo(tp);
  1097. kmem_zone_free(xfs_trans_zone, tp);
  1098. }
  1099. /*
  1100. * Roll from one trans in the sequence of PERMANENT transactions to
  1101. * the next: permanent transactions are only flushed out when
  1102. * committed with XFS_TRANS_RELEASE_LOG_RES, but we still want as soon
  1103. * as possible to let chunks of it go to the log. So we commit the
  1104. * chunk we've been working on and get a new transaction to continue.
  1105. */
  1106. int
  1107. xfs_trans_roll(
  1108. struct xfs_trans **tpp,
  1109. struct xfs_inode *dp)
  1110. {
  1111. struct xfs_trans *trans;
  1112. unsigned int logres, count;
  1113. int error;
  1114. /*
  1115. * Ensure that the inode is always logged.
  1116. */
  1117. trans = *tpp;
  1118. xfs_trans_log_inode(trans, dp, XFS_ILOG_CORE);
  1119. /*
  1120. * Copy the critical parameters from one trans to the next.
  1121. */
  1122. logres = trans->t_log_res;
  1123. count = trans->t_log_count;
  1124. *tpp = xfs_trans_dup(trans);
  1125. /*
  1126. * Commit the current transaction.
  1127. * If this commit failed, then it'd just unlock those items that
  1128. * are not marked ihold. That also means that a filesystem shutdown
  1129. * is in progress. The caller takes the responsibility to cancel
  1130. * the duplicate transaction that gets returned.
  1131. */
  1132. error = xfs_trans_commit(trans, 0);
  1133. if (error)
  1134. return (error);
  1135. trans = *tpp;
  1136. /*
  1137. * transaction commit worked ok so we can drop the extra ticket
  1138. * reference that we gained in xfs_trans_dup()
  1139. */
  1140. xfs_log_ticket_put(trans->t_ticket);
  1141. /*
  1142. * Reserve space in the log for th next transaction.
  1143. * This also pushes items in the "AIL", the list of logged items,
  1144. * out to disk if they are taking up space at the tail of the log
  1145. * that we want to use. This requires that either nothing be locked
  1146. * across this call, or that anything that is locked be logged in
  1147. * the prior and the next transactions.
  1148. */
  1149. error = xfs_trans_reserve(trans, 0, logres, 0,
  1150. XFS_TRANS_PERM_LOG_RES, count);
  1151. /*
  1152. * Ensure that the inode is in the new transaction and locked.
  1153. */
  1154. if (error)
  1155. return error;
  1156. xfs_trans_ijoin(trans, dp, XFS_ILOCK_EXCL);
  1157. xfs_trans_ihold(trans, dp);
  1158. return 0;
  1159. }
  1160. /*
  1161. * THIS SHOULD BE REWRITTEN TO USE xfs_trans_next_item().
  1162. *
  1163. * This is typically called by the LM when a transaction has been fully
  1164. * committed to disk. It needs to unpin the items which have
  1165. * been logged by the transaction and update their positions
  1166. * in the AIL if necessary.
  1167. * This also gets called when the transactions didn't get written out
  1168. * because of an I/O error. Abortflag & XFS_LI_ABORTED is set then.
  1169. *
  1170. * Call xfs_trans_chunk_committed() to process the items in
  1171. * each chunk.
  1172. */
  1173. STATIC void
  1174. xfs_trans_committed(
  1175. xfs_trans_t *tp,
  1176. int abortflag)
  1177. {
  1178. xfs_log_item_chunk_t *licp;
  1179. xfs_log_item_chunk_t *next_licp;
  1180. xfs_log_busy_chunk_t *lbcp;
  1181. xfs_log_busy_slot_t *lbsp;
  1182. int i;
  1183. /*
  1184. * Call the transaction's completion callback if there
  1185. * is one.
  1186. */
  1187. if (tp->t_callback != NULL) {
  1188. tp->t_callback(tp, tp->t_callarg);
  1189. }
  1190. /*
  1191. * Special case the chunk embedded in the transaction.
  1192. */
  1193. licp = &(tp->t_items);
  1194. if (!(xfs_lic_are_all_free(licp))) {
  1195. xfs_trans_chunk_committed(licp, tp->t_lsn, abortflag);
  1196. }
  1197. /*
  1198. * Process the items in each chunk in turn.
  1199. */
  1200. licp = licp->lic_next;
  1201. while (licp != NULL) {
  1202. ASSERT(!xfs_lic_are_all_free(licp));
  1203. xfs_trans_chunk_committed(licp, tp->t_lsn, abortflag);
  1204. next_licp = licp->lic_next;
  1205. kmem_free(licp);
  1206. licp = next_licp;
  1207. }
  1208. /*
  1209. * Clear all the per-AG busy list items listed in this transaction
  1210. */
  1211. lbcp = &tp->t_busy;
  1212. while (lbcp != NULL) {
  1213. for (i = 0, lbsp = lbcp->lbc_busy; i < lbcp->lbc_unused; i++, lbsp++) {
  1214. if (!XFS_LBC_ISFREE(lbcp, i)) {
  1215. xfs_alloc_clear_busy(tp, lbsp->lbc_ag,
  1216. lbsp->lbc_idx);
  1217. }
  1218. }
  1219. lbcp = lbcp->lbc_next;
  1220. }
  1221. xfs_trans_free_busy(tp);
  1222. /*
  1223. * That's it for the transaction structure. Free it.
  1224. */
  1225. xfs_trans_free(tp);
  1226. }
  1227. /*
  1228. * This is called to perform the commit processing for each
  1229. * item described by the given chunk.
  1230. *
  1231. * The commit processing consists of unlocking items which were
  1232. * held locked with the SYNC_UNLOCK attribute, calling the committed
  1233. * routine of each logged item, updating the item's position in the AIL
  1234. * if necessary, and unpinning each item. If the committed routine
  1235. * returns -1, then do nothing further with the item because it
  1236. * may have been freed.
  1237. *
  1238. * Since items are unlocked when they are copied to the incore
  1239. * log, it is possible for two transactions to be completing
  1240. * and manipulating the same item simultaneously. The AIL lock
  1241. * will protect the lsn field of each item. The value of this
  1242. * field can never go backwards.
  1243. *
  1244. * We unpin the items after repositioning them in the AIL, because
  1245. * otherwise they could be immediately flushed and we'd have to race
  1246. * with the flusher trying to pull the item from the AIL as we add it.
  1247. */
  1248. STATIC void
  1249. xfs_trans_chunk_committed(
  1250. xfs_log_item_chunk_t *licp,
  1251. xfs_lsn_t lsn,
  1252. int aborted)
  1253. {
  1254. xfs_log_item_desc_t *lidp;
  1255. xfs_log_item_t *lip;
  1256. xfs_lsn_t item_lsn;
  1257. int i;
  1258. lidp = licp->lic_descs;
  1259. for (i = 0; i < licp->lic_unused; i++, lidp++) {
  1260. struct xfs_ail *ailp;
  1261. if (xfs_lic_isfree(licp, i)) {
  1262. continue;
  1263. }
  1264. lip = lidp->lid_item;
  1265. if (aborted)
  1266. lip->li_flags |= XFS_LI_ABORTED;
  1267. /*
  1268. * Send in the ABORTED flag to the COMMITTED routine
  1269. * so that it knows whether the transaction was aborted
  1270. * or not.
  1271. */
  1272. item_lsn = IOP_COMMITTED(lip, lsn);
  1273. /*
  1274. * If the committed routine returns -1, make
  1275. * no more references to the item.
  1276. */
  1277. if (XFS_LSN_CMP(item_lsn, (xfs_lsn_t)-1) == 0) {
  1278. continue;
  1279. }
  1280. /*
  1281. * If the returned lsn is greater than what it
  1282. * contained before, update the location of the
  1283. * item in the AIL. If it is not, then do nothing.
  1284. * Items can never move backwards in the AIL.
  1285. *
  1286. * While the new lsn should usually be greater, it
  1287. * is possible that a later transaction completing
  1288. * simultaneously with an earlier one using the
  1289. * same item could complete first with a higher lsn.
  1290. * This would cause the earlier transaction to fail
  1291. * the test below.
  1292. */
  1293. ailp = lip->li_ailp;
  1294. spin_lock(&ailp->xa_lock);
  1295. if (XFS_LSN_CMP(item_lsn, lip->li_lsn) > 0) {
  1296. /*
  1297. * This will set the item's lsn to item_lsn
  1298. * and update the position of the item in
  1299. * the AIL.
  1300. *
  1301. * xfs_trans_ail_update() drops the AIL lock.
  1302. */
  1303. xfs_trans_ail_update(ailp, lip, item_lsn);
  1304. } else {
  1305. spin_unlock(&ailp->xa_lock);
  1306. }
  1307. /*
  1308. * Now that we've repositioned the item in the AIL,
  1309. * unpin it so it can be flushed. Pass information
  1310. * about buffer stale state down from the log item
  1311. * flags, if anyone else stales the buffer we do not
  1312. * want to pay any attention to it.
  1313. */
  1314. IOP_UNPIN(lip, lidp->lid_flags & XFS_LID_BUF_STALE);
  1315. }
  1316. }