xref: /freebsd/tests/sys/fs/fusefs/flush.cc (revision 4d846d260e2b9a3d4d0a701462568268cbfe7a5b)
19821f1d3SAlan Somers /*-
2*4d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
39821f1d3SAlan Somers  *
49821f1d3SAlan Somers  * Copyright (c) 2019 The FreeBSD Foundation
59821f1d3SAlan Somers  *
69821f1d3SAlan Somers  * This software was developed by BFF Storage Systems, LLC under sponsorship
79821f1d3SAlan Somers  * from the FreeBSD Foundation.
89821f1d3SAlan Somers  *
99821f1d3SAlan Somers  * Redistribution and use in source and binary forms, with or without
109821f1d3SAlan Somers  * modification, are permitted provided that the following conditions
119821f1d3SAlan Somers  * are met:
129821f1d3SAlan Somers  * 1. Redistributions of source code must retain the above copyright
139821f1d3SAlan Somers  *    notice, this list of conditions and the following disclaimer.
149821f1d3SAlan Somers  * 2. Redistributions in binary form must reproduce the above copyright
159821f1d3SAlan Somers  *    notice, this list of conditions and the following disclaimer in the
169821f1d3SAlan Somers  *    documentation and/or other materials provided with the distribution.
179821f1d3SAlan Somers  *
189821f1d3SAlan Somers  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
199821f1d3SAlan Somers  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
209821f1d3SAlan Somers  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
219821f1d3SAlan Somers  * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
229821f1d3SAlan Somers  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
239821f1d3SAlan Somers  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
249821f1d3SAlan Somers  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
259821f1d3SAlan Somers  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
269821f1d3SAlan Somers  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
279821f1d3SAlan Somers  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
289821f1d3SAlan Somers  * SUCH DAMAGE.
291fa8ebfbSAlan Somers  *
301fa8ebfbSAlan Somers  * $FreeBSD$
319821f1d3SAlan Somers  */
329821f1d3SAlan Somers 
339821f1d3SAlan Somers extern "C" {
349821f1d3SAlan Somers #include <fcntl.h>
359821f1d3SAlan Somers #include <unistd.h>
369821f1d3SAlan Somers }
379821f1d3SAlan Somers 
389821f1d3SAlan Somers #include "mockfs.hh"
399821f1d3SAlan Somers #include "utils.hh"
409821f1d3SAlan Somers 
419821f1d3SAlan Somers using namespace testing;
429821f1d3SAlan Somers 
439821f1d3SAlan Somers class Flush: public FuseTest {
449821f1d3SAlan Somers 
459821f1d3SAlan Somers public:
469f10f423SAlan Somers void
479f10f423SAlan Somers expect_flush(uint64_t ino, int times, pid_t lo, ProcessMockerT r)
489821f1d3SAlan Somers {
499821f1d3SAlan Somers 	EXPECT_CALL(*m_mock, process(
509821f1d3SAlan Somers 		ResultOf([=](auto in) {
5129edc611SAlan Somers 			return (in.header.opcode == FUSE_FLUSH &&
5229edc611SAlan Somers 				in.header.nodeid == ino &&
5329edc611SAlan Somers 				in.body.flush.lock_owner == (uint64_t)lo &&
5429edc611SAlan Somers 				in.body.flush.fh == FH);
559821f1d3SAlan Somers 		}, Eq(true)),
569821f1d3SAlan Somers 		_)
579821f1d3SAlan Somers 	).Times(times)
589821f1d3SAlan Somers 	.WillRepeatedly(Invoke(r));
599821f1d3SAlan Somers }
609821f1d3SAlan Somers 
619f10f423SAlan Somers void expect_lookup(const char *relpath, uint64_t ino, int times)
629821f1d3SAlan Somers {
639f10f423SAlan Somers 	FuseTest::expect_lookup(relpath, ino, S_IFREG | 0644, 0, times);
649821f1d3SAlan Somers }
659821f1d3SAlan Somers 
669821f1d3SAlan Somers /*
679821f1d3SAlan Somers  * When testing FUSE_FLUSH, the FUSE_RELEASE calls are uninteresting.  This
689821f1d3SAlan Somers  * expectation will silence googlemock warnings
699821f1d3SAlan Somers  */
709821f1d3SAlan Somers void expect_release()
719821f1d3SAlan Somers {
729821f1d3SAlan Somers 	EXPECT_CALL(*m_mock, process(
739821f1d3SAlan Somers 		ResultOf([=](auto in) {
7429edc611SAlan Somers 			return (in.header.opcode == FUSE_RELEASE);
759821f1d3SAlan Somers 		}, Eq(true)),
769821f1d3SAlan Somers 		_)
779821f1d3SAlan Somers 	).WillRepeatedly(Invoke(ReturnErrno(0)));
789821f1d3SAlan Somers }
799821f1d3SAlan Somers };
809821f1d3SAlan Somers 
819821f1d3SAlan Somers class FlushWithLocks: public Flush {
829821f1d3SAlan Somers 	virtual void SetUp() {
839821f1d3SAlan Somers 		m_init_flags = FUSE_POSIX_LOCKS;
849821f1d3SAlan Somers 		Flush::SetUp();
859821f1d3SAlan Somers 	}
869821f1d3SAlan Somers };
879821f1d3SAlan Somers 
889f10f423SAlan Somers /*
899f10f423SAlan Somers  * If multiple file descriptors refer to the same file handle, closing each
909f10f423SAlan Somers  * should send FUSE_FLUSH
919f10f423SAlan Somers  */
929f10f423SAlan Somers TEST_F(Flush, open_twice)
939821f1d3SAlan Somers {
949821f1d3SAlan Somers 	const char FULLPATH[] = "mountpoint/some_file.txt";
959821f1d3SAlan Somers 	const char RELPATH[] = "some_file.txt";
969821f1d3SAlan Somers 	uint64_t ino = 42;
979821f1d3SAlan Somers 	int fd, fd2;
989821f1d3SAlan Somers 
999f10f423SAlan Somers 	expect_lookup(RELPATH, ino, 2);
1009821f1d3SAlan Somers 	expect_open(ino, 0, 1);
101f067b609SAlan Somers 	expect_flush(ino, 2, getpid(), ReturnErrno(0));
1029821f1d3SAlan Somers 	expect_release();
1039821f1d3SAlan Somers 
1049821f1d3SAlan Somers 	fd = open(FULLPATH, O_WRONLY);
105d2621689SAlan Somers 	ASSERT_LE(0, fd) << strerror(errno);
1069821f1d3SAlan Somers 
1079f10f423SAlan Somers 	fd2 = open(FULLPATH, O_WRONLY);
108d2621689SAlan Somers 	ASSERT_LE(0, fd2) << strerror(errno);
1099821f1d3SAlan Somers 
1109f10f423SAlan Somers 	EXPECT_EQ(0, close(fd2)) << strerror(errno);
1119f10f423SAlan Somers 	EXPECT_EQ(0, close(fd)) << strerror(errno);
1129821f1d3SAlan Somers }
1139821f1d3SAlan Somers 
1149821f1d3SAlan Somers /*
1159821f1d3SAlan Somers  * Some FUSE filesystem cache data internally and flush it on release.  Such
1169821f1d3SAlan Somers  * filesystems may generate errors during release.  On Linux, these get
1179821f1d3SAlan Somers  * returned by close(2).  However, POSIX does not require close(2) to return
1189821f1d3SAlan Somers  * this error.  FreeBSD's fuse(4) should return EIO if it returns an error at
1199821f1d3SAlan Somers  * all.
1209821f1d3SAlan Somers  */
1219821f1d3SAlan Somers /* http://pubs.opengroup.org/onlinepubs/9699919799/functions/close.html */
1229f10f423SAlan Somers TEST_F(Flush, eio)
1239821f1d3SAlan Somers {
1249821f1d3SAlan Somers 	const char FULLPATH[] = "mountpoint/some_file.txt";
1259821f1d3SAlan Somers 	const char RELPATH[] = "some_file.txt";
1269821f1d3SAlan Somers 	uint64_t ino = 42;
1279821f1d3SAlan Somers 	int fd;
1289821f1d3SAlan Somers 
1299f10f423SAlan Somers 	expect_lookup(RELPATH, ino, 1);
1309821f1d3SAlan Somers 	expect_open(ino, 0, 1);
131f067b609SAlan Somers 	expect_flush(ino, 1, getpid(), ReturnErrno(EIO));
1329821f1d3SAlan Somers 	expect_release();
1339821f1d3SAlan Somers 
1349821f1d3SAlan Somers 	fd = open(FULLPATH, O_WRONLY);
135d2621689SAlan Somers 	ASSERT_LE(0, fd) << strerror(errno);
1369821f1d3SAlan Somers 
1379821f1d3SAlan Somers 	ASSERT_TRUE(0 == close(fd) || errno == EIO) << strerror(errno);
1389821f1d3SAlan Somers }
1399821f1d3SAlan Somers 
1409821f1d3SAlan Somers /*
1419821f1d3SAlan Somers  * If the filesystem returns ENOSYS, it will be treated as success and
1429821f1d3SAlan Somers  * no more FUSE_FLUSH operations will be sent to the daemon
1439821f1d3SAlan Somers  */
1449f10f423SAlan Somers TEST_F(Flush, enosys)
1459821f1d3SAlan Somers {
1469f10f423SAlan Somers 	const char FULLPATH0[] = "mountpoint/some_file.txt";
1479f10f423SAlan Somers 	const char RELPATH0[] = "some_file.txt";
1489f10f423SAlan Somers 	const char FULLPATH1[] = "mountpoint/other_file.txt";
1499f10f423SAlan Somers 	const char RELPATH1[] = "other_file.txt";
1509f10f423SAlan Somers 	uint64_t ino0 = 42;
1519f10f423SAlan Somers 	uint64_t ino1 = 43;
1529f10f423SAlan Somers 	int fd0, fd1;
1539821f1d3SAlan Somers 
1549f10f423SAlan Somers 	expect_lookup(RELPATH0, ino0, 1);
1559f10f423SAlan Somers 	expect_open(ino0, 0, 1);
1569821f1d3SAlan Somers 	/* On the 2nd close, FUSE_FLUSH won't be sent at all */
157f067b609SAlan Somers 	expect_flush(ino0, 1, getpid(), ReturnErrno(ENOSYS));
1589821f1d3SAlan Somers 	expect_release();
1599821f1d3SAlan Somers 
1609f10f423SAlan Somers 	expect_lookup(RELPATH1, ino1, 1);
1619f10f423SAlan Somers 	expect_open(ino1, 0, 1);
1629f10f423SAlan Somers 	/* On the 2nd close, FUSE_FLUSH won't be sent at all */
1639f10f423SAlan Somers 	expect_release();
1649821f1d3SAlan Somers 
1659f10f423SAlan Somers 	fd0 = open(FULLPATH0, O_WRONLY);
1669f10f423SAlan Somers 	ASSERT_LE(0, fd0) << strerror(errno);
1679821f1d3SAlan Somers 
1689f10f423SAlan Somers 	fd1 = open(FULLPATH1, O_WRONLY);
1699f10f423SAlan Somers 	ASSERT_LE(0, fd1) << strerror(errno);
1709f10f423SAlan Somers 
1719f10f423SAlan Somers 	EXPECT_EQ(0, close(fd0)) << strerror(errno);
1729f10f423SAlan Somers 	EXPECT_EQ(0, close(fd1)) << strerror(errno);
1739821f1d3SAlan Somers }
1749821f1d3SAlan Somers 
1759821f1d3SAlan Somers /* A FUSE_FLUSH should be sent on close(2) */
1769f10f423SAlan Somers TEST_F(Flush, flush)
1779821f1d3SAlan Somers {
1789821f1d3SAlan Somers 	const char FULLPATH[] = "mountpoint/some_file.txt";
1799821f1d3SAlan Somers 	const char RELPATH[] = "some_file.txt";
1809821f1d3SAlan Somers 	uint64_t ino = 42;
1819821f1d3SAlan Somers 	int fd;
1829821f1d3SAlan Somers 
1839f10f423SAlan Somers 	expect_lookup(RELPATH, ino, 1);
1849821f1d3SAlan Somers 	expect_open(ino, 0, 1);
185f067b609SAlan Somers 	expect_flush(ino, 1, getpid(), ReturnErrno(0));
1869821f1d3SAlan Somers 	expect_release();
1879821f1d3SAlan Somers 
1889821f1d3SAlan Somers 	fd = open(FULLPATH, O_WRONLY);
189d2621689SAlan Somers 	ASSERT_LE(0, fd) << strerror(errno);
1909821f1d3SAlan Somers 
1919821f1d3SAlan Somers 	ASSERT_TRUE(0 == close(fd)) << strerror(errno);
1929821f1d3SAlan Somers }
1939821f1d3SAlan Somers 
1949821f1d3SAlan Somers /*
1959821f1d3SAlan Somers  * When closing a file with a POSIX file lock, flush should release the lock,
1969821f1d3SAlan Somers  * _even_if_ it's not the process's last file descriptor for this file.
1979821f1d3SAlan Somers  */
198f067b609SAlan Somers TEST_F(FlushWithLocks, unlock_on_close)
1999821f1d3SAlan Somers {
2009821f1d3SAlan Somers 	const char FULLPATH[] = "mountpoint/some_file.txt";
2019821f1d3SAlan Somers 	const char RELPATH[] = "some_file.txt";
2029821f1d3SAlan Somers 	uint64_t ino = 42;
2039821f1d3SAlan Somers 	int fd, fd2;
2049821f1d3SAlan Somers 	struct flock fl;
2059821f1d3SAlan Somers 	pid_t pid = getpid();
2069821f1d3SAlan Somers 
207f067b609SAlan Somers 	expect_lookup(RELPATH, ino, 2);
2089821f1d3SAlan Somers 	expect_open(ino, 0, 1);
2099821f1d3SAlan Somers 	EXPECT_CALL(*m_mock, process(
2109821f1d3SAlan Somers 		ResultOf([=](auto in) {
21129edc611SAlan Somers 			return (in.header.opcode == FUSE_SETLK &&
21229edc611SAlan Somers 				in.header.nodeid == ino &&
213929acdb1SAlan Somers 				in.body.setlk.lk.type == F_RDLCK &&
214929acdb1SAlan Somers 				in.body.setlk.fh == FH);
215929acdb1SAlan Somers 		}, Eq(true)),
216929acdb1SAlan Somers 		_)
217929acdb1SAlan Somers 	).WillOnce(Invoke(ReturnErrno(0)));
218929acdb1SAlan Somers 	EXPECT_CALL(*m_mock, process(
219929acdb1SAlan Somers 		ResultOf([=](auto in) {
220929acdb1SAlan Somers 			return (in.header.opcode == FUSE_SETLK &&
221929acdb1SAlan Somers 				in.header.nodeid == ino &&
222929acdb1SAlan Somers 				in.body.setlk.lk.type == F_UNLCK &&
22329edc611SAlan Somers 				in.body.setlk.fh == FH);
2249821f1d3SAlan Somers 		}, Eq(true)),
2259821f1d3SAlan Somers 		_)
226f067b609SAlan Somers 	).WillOnce(Invoke(ReturnErrno(0)));
2279821f1d3SAlan Somers 	expect_flush(ino, 1, pid, ReturnErrno(0));
2289821f1d3SAlan Somers 
2299821f1d3SAlan Somers 	fd = open(FULLPATH, O_RDWR);
2309821f1d3SAlan Somers 	ASSERT_LE(0, fd) << strerror(errno);
2319821f1d3SAlan Somers 	fl.l_start = 0;
2329821f1d3SAlan Somers 	fl.l_len = 0;
2339821f1d3SAlan Somers 	fl.l_pid = pid;
2349821f1d3SAlan Somers 	fl.l_type = F_RDLCK;
2359821f1d3SAlan Somers 	fl.l_whence = SEEK_SET;
2369821f1d3SAlan Somers 	fl.l_sysid = 0;
237929acdb1SAlan Somers 	ASSERT_NE(-1, fcntl(fd, F_SETLK, &fl)) << strerror(errno);
2389821f1d3SAlan Somers 
239f067b609SAlan Somers 	fd2 = open(FULLPATH, O_WRONLY);
240f067b609SAlan Somers 	ASSERT_LE(0, fd2) << strerror(errno);
2419821f1d3SAlan Somers 	ASSERT_EQ(0, close(fd2)) << strerror(errno);
2427fc0921dSAlan Somers 	leak(fd);
2437fc0921dSAlan Somers 	leak(fd2);
2449821f1d3SAlan Somers }
245