]> Git Repo - linux.git/blob - fs/gfs2/glops.c
GFS2: Fix glock deallocation race
[linux.git] / fs / gfs2 / glops.c
1 /*
2  * Copyright (C) Sistina Software, Inc.  1997-2003 All rights reserved.
3  * Copyright (C) 2004-2008 Red Hat, Inc.  All rights reserved.
4  *
5  * This copyrighted material is made available to anyone wishing to use,
6  * modify, copy, or redistribute it subject to the terms and conditions
7  * of the GNU General Public License version 2.
8  */
9
10 #include <linux/spinlock.h>
11 #include <linux/completion.h>
12 #include <linux/buffer_head.h>
13 #include <linux/gfs2_ondisk.h>
14 #include <linux/bio.h>
15 #include <linux/posix_acl.h>
16
17 #include "gfs2.h"
18 #include "incore.h"
19 #include "bmap.h"
20 #include "glock.h"
21 #include "glops.h"
22 #include "inode.h"
23 #include "log.h"
24 #include "meta_io.h"
25 #include "recovery.h"
26 #include "rgrp.h"
27 #include "util.h"
28 #include "trans.h"
29
30 /**
31  * ail_empty_gl - remove all buffers for a given lock from the AIL
32  * @gl: the glock
33  *
34  * None of the buffers should be dirty, locked, or pinned.
35  */
36
37 static void gfs2_ail_empty_gl(struct gfs2_glock *gl)
38 {
39         struct gfs2_sbd *sdp = gl->gl_sbd;
40         struct list_head *head = &gl->gl_ail_list;
41         struct gfs2_bufdata *bd;
42         struct buffer_head *bh;
43         struct gfs2_trans tr;
44
45         memset(&tr, 0, sizeof(tr));
46         tr.tr_revokes = atomic_read(&gl->gl_ail_count);
47
48         if (!tr.tr_revokes)
49                 return;
50
51         /* A shortened, inline version of gfs2_trans_begin() */
52         tr.tr_reserved = 1 + gfs2_struct2blk(sdp, tr.tr_revokes, sizeof(u64));
53         tr.tr_ip = (unsigned long)__builtin_return_address(0);
54         INIT_LIST_HEAD(&tr.tr_list_buf);
55         gfs2_log_reserve(sdp, tr.tr_reserved);
56         BUG_ON(current->journal_info);
57         current->journal_info = &tr;
58
59         gfs2_log_lock(sdp);
60         while (!list_empty(head)) {
61                 bd = list_entry(head->next, struct gfs2_bufdata,
62                                 bd_ail_gl_list);
63                 bh = bd->bd_bh;
64                 gfs2_remove_from_ail(bd);
65                 bd->bd_bh = NULL;
66                 bh->b_private = NULL;
67                 bd->bd_blkno = bh->b_blocknr;
68                 gfs2_assert_withdraw(sdp, !buffer_busy(bh));
69                 gfs2_trans_add_revoke(sdp, bd);
70         }
71         gfs2_assert_withdraw(sdp, !atomic_read(&gl->gl_ail_count));
72         gfs2_log_unlock(sdp);
73
74         gfs2_trans_end(sdp);
75         gfs2_log_flush(sdp, NULL);
76 }
77
78 /**
79  * rgrp_go_sync - sync out the metadata for this glock
80  * @gl: the glock
81  *
82  * Called when demoting or unlocking an EX glock.  We must flush
83  * to disk all dirty buffers/pages relating to this glock, and must not
84  * not return to caller to demote/unlock the glock until I/O is complete.
85  */
86
87 static void rgrp_go_sync(struct gfs2_glock *gl)
88 {
89         struct address_space *metamapping = gfs2_glock2aspace(gl);
90         int error;
91
92         if (!test_and_clear_bit(GLF_DIRTY, &gl->gl_flags))
93                 return;
94         BUG_ON(gl->gl_state != LM_ST_EXCLUSIVE);
95
96         gfs2_log_flush(gl->gl_sbd, gl);
97         filemap_fdatawrite(metamapping);
98         error = filemap_fdatawait(metamapping);
99         mapping_set_error(metamapping, error);
100         gfs2_ail_empty_gl(gl);
101 }
102
103 /**
104  * rgrp_go_inval - invalidate the metadata for this glock
105  * @gl: the glock
106  * @flags:
107  *
108  * We never used LM_ST_DEFERRED with resource groups, so that we
109  * should always see the metadata flag set here.
110  *
111  */
112
113 static void rgrp_go_inval(struct gfs2_glock *gl, int flags)
114 {
115         struct address_space *mapping = gfs2_glock2aspace(gl);
116
117         BUG_ON(!(flags & DIO_METADATA));
118         gfs2_assert_withdraw(gl->gl_sbd, !atomic_read(&gl->gl_ail_count));
119         truncate_inode_pages(mapping, 0);
120
121         if (gl->gl_object) {
122                 struct gfs2_rgrpd *rgd = (struct gfs2_rgrpd *)gl->gl_object;
123                 rgd->rd_flags &= ~GFS2_RDF_UPTODATE;
124         }
125 }
126
127 /**
128  * inode_go_sync - Sync the dirty data and/or metadata for an inode glock
129  * @gl: the glock protecting the inode
130  *
131  */
132
133 static void inode_go_sync(struct gfs2_glock *gl)
134 {
135         struct gfs2_inode *ip = gl->gl_object;
136         struct address_space *metamapping = gfs2_glock2aspace(gl);
137         int error;
138
139         if (ip && !S_ISREG(ip->i_inode.i_mode))
140                 ip = NULL;
141         if (ip && test_and_clear_bit(GIF_SW_PAGED, &ip->i_flags))
142                 unmap_shared_mapping_range(ip->i_inode.i_mapping, 0, 0);
143         if (!test_and_clear_bit(GLF_DIRTY, &gl->gl_flags))
144                 return;
145
146         BUG_ON(gl->gl_state != LM_ST_EXCLUSIVE);
147
148         gfs2_log_flush(gl->gl_sbd, gl);
149         filemap_fdatawrite(metamapping);
150         if (ip) {
151                 struct address_space *mapping = ip->i_inode.i_mapping;
152                 filemap_fdatawrite(mapping);
153                 error = filemap_fdatawait(mapping);
154                 mapping_set_error(mapping, error);
155         }
156         error = filemap_fdatawait(metamapping);
157         mapping_set_error(metamapping, error);
158         gfs2_ail_empty_gl(gl);
159         /*
160          * Writeback of the data mapping may cause the dirty flag to be set
161          * so we have to clear it again here.
162          */
163         smp_mb__before_clear_bit();
164         clear_bit(GLF_DIRTY, &gl->gl_flags);
165 }
166
167 /**
168  * inode_go_inval - prepare a inode glock to be released
169  * @gl: the glock
170  * @flags:
171  * 
172  * Normally we invlidate everything, but if we are moving into
173  * LM_ST_DEFERRED from LM_ST_SHARED or LM_ST_EXCLUSIVE then we
174  * can keep hold of the metadata, since it won't have changed.
175  *
176  */
177
178 static void inode_go_inval(struct gfs2_glock *gl, int flags)
179 {
180         struct gfs2_inode *ip = gl->gl_object;
181
182         gfs2_assert_withdraw(gl->gl_sbd, !atomic_read(&gl->gl_ail_count));
183
184         if (flags & DIO_METADATA) {
185                 struct address_space *mapping = gfs2_glock2aspace(gl);
186                 truncate_inode_pages(mapping, 0);
187                 if (ip) {
188                         set_bit(GIF_INVALID, &ip->i_flags);
189                         forget_all_cached_acls(&ip->i_inode);
190                 }
191         }
192
193         if (ip == GFS2_I(gl->gl_sbd->sd_rindex))
194                 gl->gl_sbd->sd_rindex_uptodate = 0;
195         if (ip && S_ISREG(ip->i_inode.i_mode))
196                 truncate_inode_pages(ip->i_inode.i_mapping, 0);
197 }
198
199 /**
200  * inode_go_demote_ok - Check to see if it's ok to unlock an inode glock
201  * @gl: the glock
202  *
203  * Returns: 1 if it's ok
204  */
205
206 static int inode_go_demote_ok(const struct gfs2_glock *gl)
207 {
208         struct gfs2_sbd *sdp = gl->gl_sbd;
209         struct gfs2_holder *gh;
210
211         if (sdp->sd_jindex == gl->gl_object || sdp->sd_rindex == gl->gl_object)
212                 return 0;
213
214         if (!list_empty(&gl->gl_holders)) {
215                 gh = list_entry(gl->gl_holders.next, struct gfs2_holder, gh_list);
216                 if (gh->gh_list.next != &gl->gl_holders)
217                         return 0;
218         }
219
220         return 1;
221 }
222
223 /**
224  * inode_go_lock - operation done after an inode lock is locked by a process
225  * @gl: the glock
226  * @flags:
227  *
228  * Returns: errno
229  */
230
231 static int inode_go_lock(struct gfs2_holder *gh)
232 {
233         struct gfs2_glock *gl = gh->gh_gl;
234         struct gfs2_sbd *sdp = gl->gl_sbd;
235         struct gfs2_inode *ip = gl->gl_object;
236         int error = 0;
237
238         if (!ip || (gh->gh_flags & GL_SKIP))
239                 return 0;
240
241         if (test_bit(GIF_INVALID, &ip->i_flags)) {
242                 error = gfs2_inode_refresh(ip);
243                 if (error)
244                         return error;
245         }
246
247         if ((ip->i_diskflags & GFS2_DIF_TRUNC_IN_PROG) &&
248             (gl->gl_state == LM_ST_EXCLUSIVE) &&
249             (gh->gh_state == LM_ST_EXCLUSIVE)) {
250                 spin_lock(&sdp->sd_trunc_lock);
251                 if (list_empty(&ip->i_trunc_list))
252                         list_add(&sdp->sd_trunc_list, &ip->i_trunc_list);
253                 spin_unlock(&sdp->sd_trunc_lock);
254                 wake_up(&sdp->sd_quota_wait);
255                 return 1;
256         }
257
258         return error;
259 }
260
261 /**
262  * inode_go_dump - print information about an inode
263  * @seq: The iterator
264  * @ip: the inode
265  *
266  * Returns: 0 on success, -ENOBUFS when we run out of space
267  */
268
269 static int inode_go_dump(struct seq_file *seq, const struct gfs2_glock *gl)
270 {
271         const struct gfs2_inode *ip = gl->gl_object;
272         if (ip == NULL)
273                 return 0;
274         gfs2_print_dbg(seq, " I: n:%llu/%llu t:%u f:0x%02lx d:0x%08x s:%llu\n",
275                   (unsigned long long)ip->i_no_formal_ino,
276                   (unsigned long long)ip->i_no_addr,
277                   IF2DT(ip->i_inode.i_mode), ip->i_flags,
278                   (unsigned int)ip->i_diskflags,
279                   (unsigned long long)i_size_read(&ip->i_inode));
280         return 0;
281 }
282
283 /**
284  * rgrp_go_lock - operation done after an rgrp lock is locked by
285  *    a first holder on this node.
286  * @gl: the glock
287  * @flags:
288  *
289  * Returns: errno
290  */
291
292 static int rgrp_go_lock(struct gfs2_holder *gh)
293 {
294         return gfs2_rgrp_bh_get(gh->gh_gl->gl_object);
295 }
296
297 /**
298  * rgrp_go_unlock - operation done before an rgrp lock is unlocked by
299  *    a last holder on this node.
300  * @gl: the glock
301  * @flags:
302  *
303  */
304
305 static void rgrp_go_unlock(struct gfs2_holder *gh)
306 {
307         gfs2_rgrp_bh_put(gh->gh_gl->gl_object);
308 }
309
310 /**
311  * trans_go_sync - promote/demote the transaction glock
312  * @gl: the glock
313  * @state: the requested state
314  * @flags:
315  *
316  */
317
318 static void trans_go_sync(struct gfs2_glock *gl)
319 {
320         struct gfs2_sbd *sdp = gl->gl_sbd;
321
322         if (gl->gl_state != LM_ST_UNLOCKED &&
323             test_bit(SDF_JOURNAL_LIVE, &sdp->sd_flags)) {
324                 gfs2_meta_syncfs(sdp);
325                 gfs2_log_shutdown(sdp);
326         }
327 }
328
329 /**
330  * trans_go_xmote_bh - After promoting/demoting the transaction glock
331  * @gl: the glock
332  *
333  */
334
335 static int trans_go_xmote_bh(struct gfs2_glock *gl, struct gfs2_holder *gh)
336 {
337         struct gfs2_sbd *sdp = gl->gl_sbd;
338         struct gfs2_inode *ip = GFS2_I(sdp->sd_jdesc->jd_inode);
339         struct gfs2_glock *j_gl = ip->i_gl;
340         struct gfs2_log_header_host head;
341         int error;
342
343         if (test_bit(SDF_JOURNAL_LIVE, &sdp->sd_flags)) {
344                 j_gl->gl_ops->go_inval(j_gl, DIO_METADATA);
345
346                 error = gfs2_find_jhead(sdp->sd_jdesc, &head);
347                 if (error)
348                         gfs2_consist(sdp);
349                 if (!(head.lh_flags & GFS2_LOG_HEAD_UNMOUNT))
350                         gfs2_consist(sdp);
351
352                 /*  Initialize some head of the log stuff  */
353                 if (!test_bit(SDF_SHUTDOWN, &sdp->sd_flags)) {
354                         sdp->sd_log_sequence = head.lh_sequence + 1;
355                         gfs2_log_pointers_init(sdp, head.lh_blkno);
356                 }
357         }
358         return 0;
359 }
360
361 /**
362  * trans_go_demote_ok
363  * @gl: the glock
364  *
365  * Always returns 0
366  */
367
368 static int trans_go_demote_ok(const struct gfs2_glock *gl)
369 {
370         return 0;
371 }
372
373 /**
374  * iopen_go_callback - schedule the dcache entry for the inode to be deleted
375  * @gl: the glock
376  *
377  * gl_spin lock is held while calling this
378  */
379 static void iopen_go_callback(struct gfs2_glock *gl)
380 {
381         struct gfs2_inode *ip = (struct gfs2_inode *)gl->gl_object;
382
383         if (gl->gl_demote_state == LM_ST_UNLOCKED &&
384             gl->gl_state == LM_ST_SHARED && ip) {
385                 gfs2_glock_hold(gl);
386                 if (queue_work(gfs2_delete_workqueue, &gl->gl_delete) == 0)
387                         gfs2_glock_put_nolock(gl);
388         }
389 }
390
391 const struct gfs2_glock_operations gfs2_meta_glops = {
392         .go_type = LM_TYPE_META,
393 };
394
395 const struct gfs2_glock_operations gfs2_inode_glops = {
396         .go_xmote_th = inode_go_sync,
397         .go_inval = inode_go_inval,
398         .go_demote_ok = inode_go_demote_ok,
399         .go_lock = inode_go_lock,
400         .go_dump = inode_go_dump,
401         .go_type = LM_TYPE_INODE,
402         .go_min_hold_time = HZ / 5,
403         .go_flags = GLOF_ASPACE,
404 };
405
406 const struct gfs2_glock_operations gfs2_rgrp_glops = {
407         .go_xmote_th = rgrp_go_sync,
408         .go_inval = rgrp_go_inval,
409         .go_lock = rgrp_go_lock,
410         .go_unlock = rgrp_go_unlock,
411         .go_dump = gfs2_rgrp_dump,
412         .go_type = LM_TYPE_RGRP,
413         .go_min_hold_time = HZ / 5,
414         .go_flags = GLOF_ASPACE,
415 };
416
417 const struct gfs2_glock_operations gfs2_trans_glops = {
418         .go_xmote_th = trans_go_sync,
419         .go_xmote_bh = trans_go_xmote_bh,
420         .go_demote_ok = trans_go_demote_ok,
421         .go_type = LM_TYPE_NONDISK,
422 };
423
424 const struct gfs2_glock_operations gfs2_iopen_glops = {
425         .go_type = LM_TYPE_IOPEN,
426         .go_callback = iopen_go_callback,
427 };
428
429 const struct gfs2_glock_operations gfs2_flock_glops = {
430         .go_type = LM_TYPE_FLOCK,
431 };
432
433 const struct gfs2_glock_operations gfs2_nondisk_glops = {
434         .go_type = LM_TYPE_NONDISK,
435 };
436
437 const struct gfs2_glock_operations gfs2_quota_glops = {
438         .go_type = LM_TYPE_QUOTA,
439 };
440
441 const struct gfs2_glock_operations gfs2_journal_glops = {
442         .go_type = LM_TYPE_JOURNAL,
443 };
444
445 const struct gfs2_glock_operations *gfs2_glops_list[] = {
446         [LM_TYPE_META] = &gfs2_meta_glops,
447         [LM_TYPE_INODE] = &gfs2_inode_glops,
448         [LM_TYPE_RGRP] = &gfs2_rgrp_glops,
449         [LM_TYPE_IOPEN] = &gfs2_iopen_glops,
450         [LM_TYPE_FLOCK] = &gfs2_flock_glops,
451         [LM_TYPE_NONDISK] = &gfs2_nondisk_glops,
452         [LM_TYPE_QUOTA] = &gfs2_quota_glops,
453         [LM_TYPE_JOURNAL] = &gfs2_journal_glops,
454 };
455
This page took 0.057948 seconds and 4 git commands to generate.