diff options
author | Linus Torvalds <torvalds@linux-foundation.org> | 2010-10-27 12:38:12 -0400 |
---|---|---|
committer | Arnd Bergmann <arnd@arndb.de> | 2010-10-27 16:06:17 -0400 |
commit | f7347ce4ee7c65415f84be915c018473e7076f31 (patch) | |
tree | 613ce14f088ad00bdbc77cdfb686a40a4851180f /fs/locks.c | |
parent | c5b1f0d92c36851aca09ac6c7c0c4f9690ac14f3 (diff) |
fasync: re-organize fasync entry insertion to allow it under a spinlock
You currently cannot use "fasync_helper()" in an atomic environment to
insert a new fasync entry, because it will need to allocate the new
"struct fasync_struct".
Yet fcntl_setlease() wants to call this under lock_flocks(), which is in
the process of being converted from the BKL to a spinlock.
In order to fix this, this abstracts out the actual fasync list
insertion and the fasync allocations into functions of their own, and
teaches fs/locks.c to pre-allocate the fasync_struct entry. That way
the actual list insertion can happen while holding the required
spinlock.
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
[bfields@redhat.com: rebase on top of my changes to Arnd's patch]
Tested-by: J. Bruce Fields <bfields@redhat.com>
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Diffstat (limited to 'fs/locks.c')
-rw-r--r-- | fs/locks.c | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/fs/locks.c b/fs/locks.c index 0391d2ff5a4e..85fd9ce1abae 100644 --- a/fs/locks.c +++ b/fs/locks.c | |||
@@ -1505,6 +1505,7 @@ EXPORT_SYMBOL_GPL(vfs_setlease); | |||
1505 | int fcntl_setlease(unsigned int fd, struct file *filp, long arg) | 1505 | int fcntl_setlease(unsigned int fd, struct file *filp, long arg) |
1506 | { | 1506 | { |
1507 | struct file_lock *fl; | 1507 | struct file_lock *fl; |
1508 | struct fasync_struct *new; | ||
1508 | struct inode *inode = filp->f_path.dentry->d_inode; | 1509 | struct inode *inode = filp->f_path.dentry->d_inode; |
1509 | int error; | 1510 | int error; |
1510 | 1511 | ||
@@ -1512,12 +1513,25 @@ int fcntl_setlease(unsigned int fd, struct file *filp, long arg) | |||
1512 | if (IS_ERR(fl)) | 1513 | if (IS_ERR(fl)) |
1513 | return PTR_ERR(fl); | 1514 | return PTR_ERR(fl); |
1514 | 1515 | ||
1516 | new = fasync_alloc(); | ||
1517 | if (!new) { | ||
1518 | locks_free_lock(fl); | ||
1519 | return -ENOMEM; | ||
1520 | } | ||
1515 | lock_flocks(); | 1521 | lock_flocks(); |
1516 | error = __vfs_setlease(filp, arg, &fl); | 1522 | error = __vfs_setlease(filp, arg, &fl); |
1517 | if (error || arg == F_UNLCK) | 1523 | if (error || arg == F_UNLCK) |
1518 | goto out_unlock; | 1524 | goto out_unlock; |
1519 | 1525 | ||
1520 | error = fasync_helper(fd, filp, 1, &fl->fl_fasync); | 1526 | /* |
1527 | * fasync_insert_entry() returns the old entry if any. | ||
1528 | * If there was no old entry, then it used 'new' and | ||
1529 | * inserted it into the fasync list. Clear new so that | ||
1530 | * we don't release it here. | ||
1531 | */ | ||
1532 | if (!fasync_insert_entry(fd, filp, &fl->fl_fasync, new)) | ||
1533 | new = NULL; | ||
1534 | |||
1521 | if (error < 0) { | 1535 | if (error < 0) { |
1522 | /* remove lease just inserted by setlease */ | 1536 | /* remove lease just inserted by setlease */ |
1523 | fl->fl_type = F_UNLCK | F_INPROGRESS; | 1537 | fl->fl_type = F_UNLCK | F_INPROGRESS; |
@@ -1529,6 +1543,8 @@ int fcntl_setlease(unsigned int fd, struct file *filp, long arg) | |||
1529 | error = __f_setown(filp, task_pid(current), PIDTYPE_PID, 0); | 1543 | error = __f_setown(filp, task_pid(current), PIDTYPE_PID, 0); |
1530 | out_unlock: | 1544 | out_unlock: |
1531 | unlock_flocks(); | 1545 | unlock_flocks(); |
1546 | if (new) | ||
1547 | fasync_free(new); | ||
1532 | return error; | 1548 | return error; |
1533 | } | 1549 | } |
1534 | 1550 | ||