xref: /freebsd/tests/sys/fs/fusefs/cache.cc (revision b3e7694832e81d7a904a10f525f8797b753bf0d3)
1b0ecfb42SAlan Somers /*-
24d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
3b0ecfb42SAlan Somers  *
4b0ecfb42SAlan Somers  * Copyright (c) 2020 Alan Somers
5b0ecfb42SAlan Somers  *
6b0ecfb42SAlan Somers  * Redistribution and use in source and binary forms, with or without
7b0ecfb42SAlan Somers  * modification, are permitted provided that the following conditions
8b0ecfb42SAlan Somers  * are met:
9b0ecfb42SAlan Somers  * 1. Redistributions of source code must retain the above copyright
10b0ecfb42SAlan Somers  *    notice, this list of conditions and the following disclaimer.
11b0ecfb42SAlan Somers  * 2. Redistributions in binary form must reproduce the above copyright
12b0ecfb42SAlan Somers  *    notice, this list of conditions and the following disclaimer in the
13b0ecfb42SAlan Somers  *    documentation and/or other materials provided with the distribution.
14b0ecfb42SAlan Somers  *
15b0ecfb42SAlan Somers  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16b0ecfb42SAlan Somers  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17b0ecfb42SAlan Somers  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18b0ecfb42SAlan Somers  * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19b0ecfb42SAlan Somers  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20b0ecfb42SAlan Somers  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21b0ecfb42SAlan Somers  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22b0ecfb42SAlan Somers  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23b0ecfb42SAlan Somers  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24b0ecfb42SAlan Somers  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25b0ecfb42SAlan Somers  * SUCH DAMAGE.
26b0ecfb42SAlan Somers  */
27b0ecfb42SAlan Somers 
28b0ecfb42SAlan Somers extern "C" {
29b0ecfb42SAlan Somers #include <sys/param.h>
30b0ecfb42SAlan Somers #include <fcntl.h>
31b0ecfb42SAlan Somers }
32b0ecfb42SAlan Somers 
33b0ecfb42SAlan Somers #include "mockfs.hh"
34b0ecfb42SAlan Somers #include "utils.hh"
35b0ecfb42SAlan Somers 
36b0ecfb42SAlan Somers /*
37b0ecfb42SAlan Somers  * Tests for thorny cache problems not specific to any one opcode
38b0ecfb42SAlan Somers  */
39b0ecfb42SAlan Somers 
40b0ecfb42SAlan Somers using namespace testing;
41b0ecfb42SAlan Somers 
42b0ecfb42SAlan Somers /*
43b0ecfb42SAlan Somers  * Parameters
44b0ecfb42SAlan Somers  * - reopen file	- If true, close and reopen the file between reads
45b0ecfb42SAlan Somers  * - cache lookups	- If true, allow lookups to be cached
46b0ecfb42SAlan Somers  * - cache attrs	- If true, allow file attributes to be cached
47b0ecfb42SAlan Somers  * - cache_mode		- uncached, writeback, or writethrough
48b0ecfb42SAlan Somers  * - initial size	- File size before truncation
49b0ecfb42SAlan Somers  * - truncated size	- File size after truncation
50b0ecfb42SAlan Somers  */
51b0ecfb42SAlan Somers typedef tuple<tuple<bool, bool, bool>, cache_mode, ssize_t, ssize_t> CacheParam;
52b0ecfb42SAlan Somers 
53b0ecfb42SAlan Somers class Cache: public FuseTest, public WithParamInterface<CacheParam> {
54b0ecfb42SAlan Somers public:
55b0ecfb42SAlan Somers bool m_direct_io;
56b0ecfb42SAlan Somers 
Cache()57b0ecfb42SAlan Somers Cache(): m_direct_io(false) {};
58b0ecfb42SAlan Somers 
SetUp()59b0ecfb42SAlan Somers virtual void SetUp() {
60b0ecfb42SAlan Somers 	int cache_mode = get<1>(GetParam());
61b0ecfb42SAlan Somers 	switch (cache_mode) {
62b0ecfb42SAlan Somers 		case Uncached:
63b0ecfb42SAlan Somers 			m_direct_io = true;
64b0ecfb42SAlan Somers 			break;
65b0ecfb42SAlan Somers 		case WritebackAsync:
66b0ecfb42SAlan Somers 			m_async = true;
67b0ecfb42SAlan Somers 			/* FALLTHROUGH */
68b0ecfb42SAlan Somers 		case Writeback:
69b0ecfb42SAlan Somers 			m_init_flags |= FUSE_WRITEBACK_CACHE;
70b0ecfb42SAlan Somers 			/* FALLTHROUGH */
71b0ecfb42SAlan Somers 		case Writethrough:
72b0ecfb42SAlan Somers 			break;
73b0ecfb42SAlan Somers 		default:
74b0ecfb42SAlan Somers 			FAIL() << "Unknown cache mode";
75b0ecfb42SAlan Somers 	}
7691972cfcSAlan Somers 	m_noatime = true;	// To prevent SETATTR for atime on close
77b0ecfb42SAlan Somers 
78b0ecfb42SAlan Somers 	FuseTest::SetUp();
79b0ecfb42SAlan Somers 	if (IsSkipped())
80b0ecfb42SAlan Somers 		return;
81b0ecfb42SAlan Somers }
82b0ecfb42SAlan Somers 
expect_getattr(uint64_t ino,int times,uint64_t size,uint64_t attr_valid)83b0ecfb42SAlan Somers void expect_getattr(uint64_t ino, int times, uint64_t size, uint64_t attr_valid)
84b0ecfb42SAlan Somers {
85b0ecfb42SAlan Somers 	EXPECT_CALL(*m_mock, process(
86b0ecfb42SAlan Somers 		ResultOf([=](auto in) {
87b0ecfb42SAlan Somers 			return (in.header.opcode == FUSE_GETATTR &&
88b0ecfb42SAlan Somers 				in.header.nodeid == ino);
89b0ecfb42SAlan Somers 		}, Eq(true)),
90b0ecfb42SAlan Somers 		_)
91b0ecfb42SAlan Somers 	).Times(times)
92b0ecfb42SAlan Somers 	.WillRepeatedly(Invoke(ReturnImmediate([=](auto i __unused, auto& out) {
93b0ecfb42SAlan Somers 		SET_OUT_HEADER_LEN(out, attr);
94b0ecfb42SAlan Somers 		out.body.attr.attr_valid = attr_valid;
95b0ecfb42SAlan Somers 		out.body.attr.attr.ino = ino;
96b0ecfb42SAlan Somers 		out.body.attr.attr.mode = S_IFREG | 0644;
97b0ecfb42SAlan Somers 		out.body.attr.attr.size = size;
98b0ecfb42SAlan Somers 	})));
99b0ecfb42SAlan Somers }
100b0ecfb42SAlan Somers 
expect_lookup(const char * relpath,uint64_t ino,uint64_t size,uint64_t entry_valid,uint64_t attr_valid)101b0ecfb42SAlan Somers void expect_lookup(const char *relpath, uint64_t ino,
102b0ecfb42SAlan Somers 	uint64_t size, uint64_t entry_valid, uint64_t attr_valid)
103b0ecfb42SAlan Somers {
104b0ecfb42SAlan Somers 	EXPECT_LOOKUP(FUSE_ROOT_ID, relpath)
105b0ecfb42SAlan Somers 	.WillRepeatedly(Invoke(ReturnImmediate([=](auto in __unused, auto& out) {
106b0ecfb42SAlan Somers 		SET_OUT_HEADER_LEN(out, entry);
107b0ecfb42SAlan Somers 		out.body.entry.attr.mode = S_IFREG | 0644;
108b0ecfb42SAlan Somers 		out.body.entry.nodeid = ino;
109b0ecfb42SAlan Somers 		out.body.entry.attr.nlink = 1;
110b0ecfb42SAlan Somers 		out.body.entry.attr_valid = attr_valid;
111b0ecfb42SAlan Somers 		out.body.entry.attr.size = size;
112b0ecfb42SAlan Somers 		out.body.entry.entry_valid = entry_valid;
113b0ecfb42SAlan Somers 	})));
114b0ecfb42SAlan Somers }
115b0ecfb42SAlan Somers 
expect_open(uint64_t ino,int times)116b0ecfb42SAlan Somers void expect_open(uint64_t ino, int times)
117b0ecfb42SAlan Somers {
118b0ecfb42SAlan Somers 	FuseTest::expect_open(ino, m_direct_io ? FOPEN_DIRECT_IO: 0, times);
119b0ecfb42SAlan Somers }
120b0ecfb42SAlan Somers 
expect_release(uint64_t ino,ProcessMockerT r)121b0ecfb42SAlan Somers void expect_release(uint64_t ino, ProcessMockerT r)
122b0ecfb42SAlan Somers {
123b0ecfb42SAlan Somers 	EXPECT_CALL(*m_mock, process(
124b0ecfb42SAlan Somers 		ResultOf([=](auto in) {
125b0ecfb42SAlan Somers 			return (in.header.opcode == FUSE_RELEASE &&
126b0ecfb42SAlan Somers 				in.header.nodeid == ino);
127b0ecfb42SAlan Somers 		}, Eq(true)),
128b0ecfb42SAlan Somers 		_)
129b0ecfb42SAlan Somers 	).WillRepeatedly(Invoke(r));
130b0ecfb42SAlan Somers }
131b0ecfb42SAlan Somers 
132b0ecfb42SAlan Somers };
133b0ecfb42SAlan Somers 
134b0ecfb42SAlan Somers // If the server truncates the file behind the kernel's back, the kernel should
135b0ecfb42SAlan Somers // invalidate cached pages beyond the new EOF
TEST_P(Cache,truncate_by_surprise_invalidates_cache)136b0ecfb42SAlan Somers TEST_P(Cache, truncate_by_surprise_invalidates_cache)
137b0ecfb42SAlan Somers {
138b0ecfb42SAlan Somers 	const char FULLPATH[] = "mountpoint/some_file.txt";
139b0ecfb42SAlan Somers 	const char RELPATH[] = "some_file.txt";
140b0ecfb42SAlan Somers 	const char *CONTENTS = "abcdefghijklmnopqrstuvwxyz";
141b0ecfb42SAlan Somers 	uint64_t ino = 42;
142b0ecfb42SAlan Somers 	uint64_t attr_valid, entry_valid;
143b0ecfb42SAlan Somers 	int fd;
144b0ecfb42SAlan Somers 	ssize_t bufsize = strlen(CONTENTS);
145b0ecfb42SAlan Somers 	uint8_t buf[bufsize];
146b0ecfb42SAlan Somers 	bool reopen = get<0>(get<0>(GetParam()));
147b0ecfb42SAlan Somers 	bool cache_lookups = get<1>(get<0>(GetParam()));
148b0ecfb42SAlan Somers 	bool cache_attrs = get<2>(get<0>(GetParam()));
149b0ecfb42SAlan Somers 	ssize_t osize = get<2>(GetParam());
150b0ecfb42SAlan Somers 	ssize_t nsize = get<3>(GetParam());
151b0ecfb42SAlan Somers 
152b0ecfb42SAlan Somers 	ASSERT_LE(osize, bufsize);
153b0ecfb42SAlan Somers 	ASSERT_LE(nsize, bufsize);
154b0ecfb42SAlan Somers 	if (cache_attrs)
155b0ecfb42SAlan Somers 		attr_valid = UINT64_MAX;
156b0ecfb42SAlan Somers 	else
157b0ecfb42SAlan Somers 		attr_valid = 0;
158b0ecfb42SAlan Somers 	if (cache_lookups)
159b0ecfb42SAlan Somers 		entry_valid = UINT64_MAX;
160b0ecfb42SAlan Somers 	else
161b0ecfb42SAlan Somers 		entry_valid = 0;
162b0ecfb42SAlan Somers 
163b0ecfb42SAlan Somers 	expect_lookup(RELPATH, ino, osize, entry_valid, attr_valid);
164b0ecfb42SAlan Somers 	expect_open(ino, 1);
165b0ecfb42SAlan Somers 	if (!cache_attrs)
166b0ecfb42SAlan Somers 		expect_getattr(ino, 2, osize, attr_valid);
167b0ecfb42SAlan Somers 	expect_read(ino, 0, osize, osize, CONTENTS);
168b0ecfb42SAlan Somers 
169b0ecfb42SAlan Somers 	fd = open(FULLPATH, O_RDONLY);
170b0ecfb42SAlan Somers 	ASSERT_LE(0, fd) << strerror(errno);
171b0ecfb42SAlan Somers 
172b0ecfb42SAlan Somers 	ASSERT_EQ(osize, read(fd, buf, bufsize)) << strerror(errno);
173b0ecfb42SAlan Somers 	ASSERT_EQ(0, memcmp(buf, CONTENTS, osize));
174b0ecfb42SAlan Somers 
175b0ecfb42SAlan Somers 	// Now truncate the file behind the kernel's back.  The next read
176b0ecfb42SAlan Somers 	// should discard cache and fetch from disk again.
177b0ecfb42SAlan Somers 	if (reopen) {
178b0ecfb42SAlan Somers 		// Close and reopen the file
179b0ecfb42SAlan Somers 		expect_flush(ino, 1, ReturnErrno(ENOSYS));
180b0ecfb42SAlan Somers 		expect_release(ino, ReturnErrno(0));
181b0ecfb42SAlan Somers 		ASSERT_EQ(0, close(fd));
182b0ecfb42SAlan Somers 		expect_lookup(RELPATH, ino, nsize, entry_valid, attr_valid);
183b0ecfb42SAlan Somers 		expect_open(ino, 1);
184b0ecfb42SAlan Somers 		fd = open(FULLPATH, O_RDONLY);
185b0ecfb42SAlan Somers 		ASSERT_LE(0, fd) << strerror(errno);
186b0ecfb42SAlan Somers 	}
187b0ecfb42SAlan Somers 
188b0ecfb42SAlan Somers 	if (!cache_attrs)
189b0ecfb42SAlan Somers 		expect_getattr(ino, 1, nsize, attr_valid);
190b0ecfb42SAlan Somers 	expect_read(ino, 0, nsize, nsize, CONTENTS);
191b0ecfb42SAlan Somers 	ASSERT_EQ(0, lseek(fd, 0, SEEK_SET));
192b0ecfb42SAlan Somers 	ASSERT_EQ(nsize, read(fd, buf, bufsize)) << strerror(errno);
193b0ecfb42SAlan Somers 	ASSERT_EQ(0, memcmp(buf, CONTENTS, nsize));
194b0ecfb42SAlan Somers 
195b0ecfb42SAlan Somers 	leak(fd);
196b0ecfb42SAlan Somers }
197b0ecfb42SAlan Somers 
198*811e0a31SEnji Cooper INSTANTIATE_TEST_SUITE_P(Cache, Cache,
199b0ecfb42SAlan Somers 	Combine(
200b0ecfb42SAlan Somers 		/* Test every combination that:
201b0ecfb42SAlan Somers 		 * - does not cache at least one of entries and attrs
202b0ecfb42SAlan Somers 		 * - either doesn't cache attrs, or reopens the file
203b0ecfb42SAlan Somers 		 * In the other combinations, the kernel will never learn that
204b0ecfb42SAlan Somers 		 * the file's size has changed.
205b0ecfb42SAlan Somers 		 */
206b0ecfb42SAlan Somers 		Values(
207b0ecfb42SAlan Somers 			std::make_tuple(false, false, false),
208b0ecfb42SAlan Somers 			std::make_tuple(false, true, false),
209b0ecfb42SAlan Somers 			std::make_tuple(true, false, false),
210b0ecfb42SAlan Somers 			std::make_tuple(true, false, true),
211b0ecfb42SAlan Somers 			std::make_tuple(true, true, false)
212b0ecfb42SAlan Somers 		),
213b0ecfb42SAlan Somers 		Values(Writethrough, Writeback),
214b0ecfb42SAlan Somers 		/* Test both reductions and extensions to file size */
215b0ecfb42SAlan Somers 		Values(20),
216b0ecfb42SAlan Somers 		Values(10, 25)
217b0ecfb42SAlan Somers 	)
218b0ecfb42SAlan Somers );
219