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