Skip to content

Commit

Permalink
Fix mmap / libaio deadlock
Browse files Browse the repository at this point in the history
Calling uiomove() in mappedread() under the page lock can result
in a deadlock if the user space page needs to be faulted in.

Resolve the issue by dropping the page lock before the uiomove().
The inode range lock protects against concurrent updates via
zfs_read() and zfs_write().

Reviewed-by: Albert Lee <trisk@forkgnu.org>
Reviewed-by: Chunwei Chen <david.chen@nutanix.com>
Signed-off-by: Brian Behlendorf <behlendorf1@llnl.gov>
Closes openzfs#7335
Closes openzfs#7339
  • Loading branch information
behlendorf authored and tonyhutter committed May 4, 2018
1 parent c7d556a commit cb46b82
Show file tree
Hide file tree
Showing 14 changed files with 184 additions and 5 deletions.
14 changes: 14 additions & 0 deletions config/user-libaio.m4
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
dnl #
dnl # Check for libaio - only used for libaiot test cases.
dnl #
AC_DEFUN([ZFS_AC_CONFIG_USER_LIBAIO], [
LIBAIO=
AC_CHECK_HEADER([libaio.h], [
user_libaio=yes
AC_SUBST([LIBAIO], ["-laio"])
AC_DEFINE([HAVE_LIBAIO], 1, [Define if you have libaio])
], [
user_libaio=no
])
])
1 change: 1 addition & 0 deletions config/user.m4
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@ AC_DEFUN([ZFS_AC_CONFIG_USER], [
ZFS_AC_CONFIG_USER_LIBBLKID
ZFS_AC_CONFIG_USER_LIBUDEV
ZFS_AC_CONFIG_USER_FRAME_LARGER_THAN
ZFS_AC_CONFIG_USER_LIBAIO
ZFS_AC_CONFIG_USER_RUNSTATEDIR
ZFS_AC_CONFIG_USER_MAKEDEV_IN_SYSMACROS
ZFS_AC_CONFIG_USER_MAKEDEV_IN_MKDEV
Expand Down
4 changes: 2 additions & 2 deletions config/zfs-build.m4
Original file line number Diff line number Diff line change
Expand Up @@ -118,11 +118,11 @@ AC_DEFUN([ZFS_AC_CONFIG], [
AM_CONDITIONAL([CONFIG_KERNEL],
[test "$ZFS_CONFIG" = kernel -o "$ZFS_CONFIG" = all] &&
[test "x$enable_linux_builtin" != xyes ])
AM_CONDITIONAL([WANT_DEVNAME2DEVID],
[test "x$user_libudev" = xyes ])
AM_CONDITIONAL([CONFIG_QAT],
[test "$ZFS_CONFIG" = kernel -o "$ZFS_CONFIG" = all] &&
[test "x$qatsrc" != x ])
AM_CONDITIONAL([WANT_DEVNAME2DEVID], [test "x$user_libudev" = xyes ])
AM_CONDITIONAL([WANT_MMAP_LIBAIO], [test "x$user_libaio" = xyes ])
])

dnl #
Expand Down
1 change: 1 addition & 0 deletions configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -165,6 +165,7 @@ AC_CONFIG_FILES([
tests/zfs-tests/cmd/mkfiles/Makefile
tests/zfs-tests/cmd/mktree/Makefile
tests/zfs-tests/cmd/mmap_exec/Makefile
tests/zfs-tests/cmd/mmap_libaio/Makefile
tests/zfs-tests/cmd/mmapwrite/Makefile
tests/zfs-tests/cmd/randfree_file/Makefile
tests/zfs-tests/cmd/readmmap/Makefile
Expand Down
2 changes: 1 addition & 1 deletion module/zfs/zfs_vnops.c
Original file line number Diff line number Diff line change
Expand Up @@ -398,6 +398,7 @@ mappedread(struct inode *ip, int nbytes, uio_t *uio)
pp = find_lock_page(mp, start >> PAGE_SHIFT);
if (pp) {
ASSERT(PageUptodate(pp));
unlock_page(pp);

pb = kmap(pp);
error = uiomove(pb + off, bytes, UIO_READ, uio);
Expand All @@ -407,7 +408,6 @@ mappedread(struct inode *ip, int nbytes, uio_t *uio)
flush_dcache_page(pp);

mark_page_accessed(pp);
unlock_page(pp);
put_page(pp);
} else {
error = dmu_read_uio_dbuf(sa_get_db(zp->z_sa_hdl),
Expand Down
1 change: 1 addition & 0 deletions rpm/generic/zfs.spec.in
Original file line number Diff line number Diff line change
Expand Up @@ -183,6 +183,7 @@ Requires: acl
Requires: sudo
Requires: sysstat
Requires: rng-tools
Requires: libaio
AutoReqProv: no

%description test
Expand Down
2 changes: 1 addition & 1 deletion tests/runfiles/linux.run
Original file line number Diff line number Diff line change
Expand Up @@ -485,7 +485,7 @@ tests = ['migration_001_pos', 'migration_002_pos', 'migration_003_pos',
tags = ['functional', 'migration']

[tests/functional/mmap]
tests = ['mmap_write_001_pos', 'mmap_read_001_pos']
tests = ['mmap_write_001_pos', 'mmap_read_001_pos', 'mmap_libaio_001_pos']
tags = ['functional', 'mmap']

[tests/functional/mmp]
Expand Down
1 change: 1 addition & 0 deletions tests/zfs-tests/cmd/Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ SUBDIRS = \
mkfiles \
mktree \
mmap_exec \
mmap_libaio \
mmapwrite \
randfree_file \
readmmap \
Expand Down
1 change: 1 addition & 0 deletions tests/zfs-tests/cmd/mmap_libaio/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/mmap_libaio
9 changes: 9 additions & 0 deletions tests/zfs-tests/cmd/mmap_libaio/Makefile.am
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
include $(top_srcdir)/config/Rules.am

pkgexecdir = $(datadir)/@PACKAGE@/zfs-tests/bin

if WANT_MMAP_LIBAIO
pkgexec_PROGRAMS = mmap_libaio
mmap_libaio_SOURCES = mmap_libaio.c
mmap_libaio_LDADD = $(LIBAIO)
endif
88 changes: 88 additions & 0 deletions tests/zfs-tests/cmd/mmap_libaio/mmap_libaio.c
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
/*
* CDDL HEADER START
*
* The contents of this file are subject to the terms of the
* Common Development and Distribution License (the "License").
* You may not use this file except in compliance with the License.
*
* You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
* or http://www.opensolaris.org/os/licensing.
* See the License for the specific language governing permissions
* and limitations under the License.
*
* When distributing Covered Code, include this CDDL HEADER in each
* file and include the License file at usr/src/OPENSOLARIS.LICENSE.
* If applicable, add the following below this CDDL HEADER, with the
* fields enclosed by brackets "[]" replaced with your own identifying
* information: Portions Copyright [yyyy] [name of copyright owner]
*
* CDDL HEADER END
*/

/*
* Copyright 2018 Canonical. All rights reserved.
*/

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>
#include <sys/mman.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <libaio.h>
#include <err.h>

io_context_t io_ctx;

static void
do_sync_io(struct iocb *iocb)
{
struct io_event event;
struct iocb *iocbs[] = { iocb };
struct timespec ts = { 30, 0 };

if (io_submit(io_ctx, 1, iocbs) != 1)
err(1, "io_submit failed");

if (io_getevents(io_ctx, 0, 1, &event, &ts) != 1)
err(1, "io_getevents failed");
}

int
main(int argc, char **argv)
{
char *buf;
int page_size = getpagesize();
int buf_size = strtol(argv[2], NULL, 0);
int rwfd;
struct iocb iocb;

if (io_queue_init(1024, &io_ctx))
err(1, "io_queue_init failed");

rwfd = open(argv[1], O_RDWR | O_CREAT, S_IRUSR | S_IWUSR);
if (rwfd < 0)
err(1, "open failed");

if (ftruncate(rwfd, buf_size) < 0)
err(1, "ftruncate failed");

buf = mmap(0, page_size, PROT_READ | PROT_WRITE, MAP_SHARED, rwfd, 0);
if (buf == MAP_FAILED)
err(1, "mmap failed");

(void) io_prep_pwrite(&iocb, rwfd, buf, buf_size, 0);
do_sync_io(&iocb);

(void) io_prep_pread(&iocb, rwfd, buf, buf_size, 0);
do_sync_io(&iocb);

if (close(rwfd))
err(1, "close failed");

if (io_queue_release(io_ctx) != 0)
err(1, "io_queue_release failed");

return (0);
}
1 change: 1 addition & 0 deletions tests/zfs-tests/include/commands.cfg
Original file line number Diff line number Diff line change
Expand Up @@ -158,6 +158,7 @@ export ZFSTEST_FILES='chg_usr_exec
mkfiles
mktree
mmap_exec
mmap_libaio
mmapwrite
randfree_file
readmmap
Expand Down
3 changes: 2 additions & 1 deletion tests/zfs-tests/tests/functional/mmap/Makefile.am
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,5 @@ dist_pkgdata_SCRIPTS = \
cleanup.ksh \
mmap.cfg \
mmap_read_001_pos.ksh \
mmap_write_001_pos.ksh
mmap_write_001_pos.ksh \
mmap_libaio_001_pos.ksh
61 changes: 61 additions & 0 deletions tests/zfs-tests/tests/functional/mmap/mmap_libaio_001_pos.ksh
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
#!/bin/ksh -p
#
# CDDL HEADER START
#
# The contents of this file are subject to the terms of the
# Common Development and Distribution License (the "License").
# You may not use this file except in compliance with the License.
#
# You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE
# or http://www.opensolaris.org/os/licensing.
# See the License for the specific language governing permissions
# and limitations under the License.
#
# When distributing Covered Code, include this CDDL HEADER in each
# file and include the License file at usr/src/OPENSOLARIS.LICENSE.
# If applicable, add the following below this CDDL HEADER, with the
# fields enclosed by brackets "[]" replaced with your own identifying
# information: Portions Copyright [yyyy] [name of copyright owner]
#
# CDDL HEADER END
#

#
# Copyright 2018 Canonical. All rights reserved.
#

. $STF_SUITE/include/libtest.shlib
. $STF_SUITE/tests/functional/mmap/mmap.cfg

#
# DESCRIPTION:
# Verify libaio functions correctly with mmap()'d files.
#
# STRATEGY:
# 1. Call mmap_libaio binary
# 2. Verify the file exists and is the expected size
# 3. Verify the filesystem is intact and not hung in any way
#

verify_runnable "global"

log_assert "verify mmap'd pages work with libaio"

# mmap_libaio is built when the libaio-devel package is installed.
if ! which mmap_libaio; then
log_unsupported "This test requires mmap_libaio."
fi

log_must chmod 777 $TESTDIR

for size in 512 4096 8192; do
log_mustnot stat $TESTDIR/test-libaio-file
log_must mmap_libaio $TESTDIR/test-libaio-file $size
log_must verify_eq $(stat --format=%s $TESTDIR/test-libaio-file) $size
log_must rm $TESTDIR/test-libaio-file
done

typeset dir=$(get_device_dir $DISKS)
verify_filesys "$TESTPOOL" "$TESTPOOL/$TESTFS" "$dir"

log_pass "mmap'd pages work with libaio"

0 comments on commit cb46b82

Please sign in to comment.