2 * SPDX-License-Identifier: BSD-2-Clause
4 * Copyright (c) 2020 Jan Kokemüller
6 * Redistribution and use in source and binary forms, with or without
7 * modification, are permitted provided that the following conditions
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.
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
28 #include <sys/param.h>
29 #include <sys/event.h>
43 ATF_TC_WITHOUT_HEAD(fifo_kqueue__writes);
44 ATF_TC_BODY(fifo_kqueue__writes, tc)
46 int p[2] = { -1, -1 };
48 ATF_REQUIRE(mkfifo("testfifo", 0600) == 0);
50 ATF_REQUIRE((p[0] = open("testfifo",
51 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
52 ATF_REQUIRE((p[1] = open("testfifo",
53 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
58 struct kevent kev[32];
59 EV_SET(&kev[0], p[1], EVFILT_WRITE, EV_ADD | EV_CLEAR, 0, 0, 0);
60 EV_SET(&kev[1], p[1], EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
62 ATF_REQUIRE(kevent(kq, kev, 2, NULL, 0, NULL) == 0);
64 /* A new writer should immediately get a EVFILT_WRITE event. */
66 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
67 &(struct timespec) { 0, 0 }) == 1);
68 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
69 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
70 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
71 ATF_REQUIRE(kev[0].fflags == 0);
72 ATF_REQUIRE(kev[0].data == 16384);
73 ATF_REQUIRE(kev[0].udata == 0);
75 /* Filling up the pipe should make the EVFILT_WRITE disappear. */
79 while ((r = write(p[1], &c, 1)) == 1) {
82 ATF_REQUIRE(errno == EAGAIN || errno == EWOULDBLOCK);
84 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
85 &(struct timespec) { 0, 0 }) == 0);
87 /* Reading (PIPE_BUF - 1) bytes will not trigger a EVFILT_WRITE yet. */
89 for (int i = 0; i < PIPE_BUF - 1; ++i) {
90 ATF_REQUIRE(read(p[0], &c, 1) == 1);
93 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
94 &(struct timespec) { 0, 0 }) == 0);
96 /* Reading one additional byte triggers the EVFILT_WRITE. */
98 ATF_REQUIRE(read(p[0], &c, 1) == 1);
100 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
101 &(struct timespec) { 0, 0 }) == 1);
102 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
103 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
104 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
105 ATF_REQUIRE(kev[0].fflags == 0);
106 ATF_REQUIRE(kev[0].data == PIPE_BUF);
107 ATF_REQUIRE(kev[0].udata == 0);
110 * Reading another byte triggers the EVFILT_WRITE again with a changed
114 ATF_REQUIRE(read(p[0], &c, 1) == 1);
116 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
117 &(struct timespec) { 0, 0 }) == 1);
118 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
119 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
120 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
121 ATF_REQUIRE(kev[0].fflags == 0);
122 ATF_REQUIRE(kev[0].data == PIPE_BUF + 1);
123 ATF_REQUIRE(kev[0].udata == 0);
126 * Closing the read end should make a EV_EOF appear but leave the 'data'
130 ATF_REQUIRE(close(p[0]) == 0);
132 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev), NULL) == 1);
133 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
134 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
135 ATF_REQUIRE(kev[0].flags == (EV_CLEAR | EV_EOF));
136 ATF_REQUIRE(kev[0].fflags == 0);
137 ATF_REQUIRE(kev[0].data == PIPE_BUF + 1);
138 ATF_REQUIRE(kev[0].udata == 0);
140 ATF_REQUIRE(close(kq) == 0);
141 ATF_REQUIRE(close(p[1]) == 0);
144 ATF_TC_WITHOUT_HEAD(fifo_kqueue__connecting_reader);
145 ATF_TC_BODY(fifo_kqueue__connecting_reader, tc)
147 int p[2] = { -1, -1 };
149 ATF_REQUIRE(mkfifo("testfifo", 0600) == 0);
151 ATF_REQUIRE((p[0] = open("testfifo",
152 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
153 ATF_REQUIRE((p[1] = open("testfifo",
154 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
157 ATF_REQUIRE(kq >= 0);
159 struct kevent kev[32];
160 EV_SET(&kev[0], p[1], EVFILT_WRITE, EV_ADD | EV_CLEAR, 0, 0, 0);
161 EV_SET(&kev[1], p[1], EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
163 ATF_REQUIRE(kevent(kq, kev, 2, NULL, 0, NULL) == 0);
165 /* A new writer should immediately get a EVFILT_WRITE event. */
167 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
168 &(struct timespec) { 0, 0 }) == 1);
169 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
170 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
171 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
172 &(struct timespec) { 0, 0 }) == 0);
175 * Filling the pipe, reading (PIPE_BUF + 1) bytes, then closing the
176 * read end leads to a EVFILT_WRITE with EV_EOF set.
181 while ((r = write(p[1], &c, 1)) == 1) {
184 ATF_REQUIRE(errno == EAGAIN || errno == EWOULDBLOCK);
186 for (int i = 0; i < PIPE_BUF + 1; ++i) {
187 ATF_REQUIRE(read(p[0], &c, 1) == 1);
190 ATF_REQUIRE(close(p[0]) == 0);
192 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev), NULL) == 1);
193 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
194 ATF_REQUIRE((kev[0].flags & EV_EOF) != 0);
195 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
196 &(struct timespec) { 0, 0 }) == 0);
198 /* Opening the reader again must trigger the EVFILT_WRITE. */
200 ATF_REQUIRE((p[0] = open("testfifo",
201 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
203 r = kevent(kq, NULL, 0, kev, nitems(kev), &(struct timespec) { 1, 0 });
205 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[1]);
206 ATF_REQUIRE(kev[0].filter == EVFILT_WRITE);
207 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
208 ATF_REQUIRE(kev[0].fflags == 0);
209 ATF_REQUIRE(kev[0].data == PIPE_BUF + 1);
210 ATF_REQUIRE(kev[0].udata == 0);
211 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
212 &(struct timespec) { 0, 0 }) == 0);
214 ATF_REQUIRE(close(kq) == 0);
215 ATF_REQUIRE(close(p[0]) == 0);
216 ATF_REQUIRE(close(p[1]) == 0);
219 /* Check that EVFILT_READ behaves sensibly on a FIFO reader. */
220 ATF_TC_WITHOUT_HEAD(fifo_kqueue__reads);
221 ATF_TC_BODY(fifo_kqueue__reads, tc)
223 struct kevent kev[32];
228 ATF_REQUIRE(mkfifo("testfifo", 0600) == 0);
230 ATF_REQUIRE((p[0] = open("testfifo",
231 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
232 ATF_REQUIRE((p[1] = open("testfifo",
233 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
237 while ((n = write(p[1], &c, 1)) == 1)
240 ATF_REQUIRE(errno == EAGAIN || errno == EWOULDBLOCK);
241 ATF_REQUIRE(bytes > 1);
243 for (i = 0; i < bytes / 2; i++)
244 ATF_REQUIRE(read(p[0], &c, 1) == 1);
248 ATF_REQUIRE(kq >= 0);
250 EV_SET(&kev[0], p[0], EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
252 ATF_REQUIRE(kevent(kq, kev, 1, NULL, 0, NULL) == 0);
254 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
255 &(struct timespec){ 0, 0 }) == 1);
256 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[0]);
257 ATF_REQUIRE(kev[0].filter == EVFILT_READ);
258 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
259 ATF_REQUIRE(kev[0].fflags == 0);
260 ATF_REQUIRE(kev[0].data == bytes);
261 ATF_REQUIRE(kev[0].udata == 0);
264 ATF_REQUIRE(read(p[0], &c, 1) == 1);
265 n = read(p[0], &c, 1);
267 ATF_REQUIRE(errno == EAGAIN || errno == EWOULDBLOCK);
269 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
270 &(struct timespec) { 0, 0 }) == 0);
272 ATF_REQUIRE(close(kq) == 0);
273 ATF_REQUIRE(close(p[0]) == 0);
274 ATF_REQUIRE(close(p[1]) == 0);
277 ATF_TC_WITHOUT_HEAD(fifo_kqueue__read_eof_wakeups);
278 ATF_TC_BODY(fifo_kqueue__read_eof_wakeups, tc)
280 int p[2] = { -1, -1 };
282 ATF_REQUIRE(mkfifo("testfifo", 0600) == 0);
284 ATF_REQUIRE((p[0] = open("testfifo",
285 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
286 ATF_REQUIRE((p[1] = open("testfifo",
287 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
290 ATF_REQUIRE(kq >= 0);
292 struct kevent kev[32];
294 EV_SET(&kev[0], p[0], EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
295 ATF_REQUIRE(kevent(kq, kev, 1, NULL, 0, NULL) == 0);
297 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
298 &(struct timespec) { 0, 0 }) == 0);
301 * Closing the writer must trigger a EVFILT_READ edge with EV_EOF set.
304 ATF_REQUIRE(close(p[1]) == 0);
306 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
307 &(struct timespec) { 0, 0 }) == 1);
308 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[0]);
309 ATF_REQUIRE(kev[0].filter == EVFILT_READ);
310 ATF_REQUIRE(kev[0].flags == (EV_EOF | EV_CLEAR));
311 ATF_REQUIRE(kev[0].fflags == 0);
312 ATF_REQUIRE(kev[0].data == 0);
313 ATF_REQUIRE(kev[0].udata == 0);
316 * Trying to read from a closed pipe should not trigger EVFILT_READ
321 ATF_REQUIRE(read(p[0], &c, 1) == 0);
323 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
324 &(struct timespec) { 0, 0 }) == 0);
326 ATF_REQUIRE(close(kq) == 0);
327 ATF_REQUIRE(close(p[0]) == 0);
330 ATF_TC_WITHOUT_HEAD(fifo_kqueue__read_eof_state_when_reconnecting);
331 ATF_TC_BODY(fifo_kqueue__read_eof_state_when_reconnecting, tc)
333 int p[2] = { -1, -1 };
335 ATF_REQUIRE(mkfifo("testfifo", 0600) == 0);
337 ATF_REQUIRE((p[0] = open("testfifo",
338 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
339 ATF_REQUIRE((p[1] = open("testfifo",
340 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
343 ATF_REQUIRE(kq >= 0);
345 struct kevent kev[32];
347 EV_SET(&kev[0], p[0], EVFILT_READ, EV_ADD | EV_CLEAR, 0, 0, 0);
348 ATF_REQUIRE(kevent(kq, kev, 1, NULL, 0, NULL) == 0);
350 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
351 &(struct timespec) { 0, 0 }) == 0);
354 * Closing the writer must trigger a EVFILT_READ edge with EV_EOF set.
357 ATF_REQUIRE(close(p[1]) == 0);
359 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
360 &(struct timespec) { 0, 0 }) == 1);
361 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[0]);
362 ATF_REQUIRE(kev[0].filter == EVFILT_READ);
363 ATF_REQUIRE(kev[0].flags == (EV_EOF | EV_CLEAR));
364 ATF_REQUIRE(kev[0].fflags == 0);
365 ATF_REQUIRE(kev[0].data == 0);
366 ATF_REQUIRE(kev[0].udata == 0);
368 /* A new reader shouldn't see the EOF flag. */
372 ATF_REQUIRE((new_reader = open("testfifo",
373 O_RDONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
375 int new_kq = kqueue();
376 ATF_REQUIRE(new_kq >= 0);
378 struct kevent new_kev[32];
379 EV_SET(&new_kev[0], new_reader, EVFILT_READ, EV_ADD | EV_CLEAR,
381 ATF_REQUIRE(kevent(new_kq, new_kev, 1, NULL, 0, NULL) == 0);
383 ATF_REQUIRE(kevent(new_kq, NULL, 0, new_kev, nitems(new_kev),
384 &(struct timespec) { 0, 0 }) == 0);
386 ATF_REQUIRE(close(new_kq) == 0);
387 ATF_REQUIRE(close(new_reader) == 0);
391 * Simply reopening the writer does not trigger the EVFILT_READ again --
392 * EV_EOF should be cleared, but there is no data yet so the filter
396 ATF_REQUIRE((p[1] = open("testfifo",
397 O_WRONLY | O_CLOEXEC | O_NONBLOCK)) >= 0);
399 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
400 &(struct timespec) { 0, 0 }) == 0);
402 /* Writing a byte should trigger a EVFILT_READ. */
405 ATF_REQUIRE(write(p[1], &c, 1) == 1);
407 ATF_REQUIRE(kevent(kq, NULL, 0, kev, nitems(kev),
408 &(struct timespec) { 0, 0 }) == 1);
409 ATF_REQUIRE(kev[0].ident == (uintptr_t)p[0]);
410 ATF_REQUIRE(kev[0].filter == EVFILT_READ);
411 ATF_REQUIRE(kev[0].flags == EV_CLEAR);
412 ATF_REQUIRE(kev[0].fflags == 0);
413 ATF_REQUIRE(kev[0].data == 1);
414 ATF_REQUIRE(kev[0].udata == 0);
416 ATF_REQUIRE(close(kq) == 0);
417 ATF_REQUIRE(close(p[0]) == 0);
418 ATF_REQUIRE(close(p[1]) == 0);
423 ATF_TP_ADD_TC(tp, fifo_kqueue__writes);
424 ATF_TP_ADD_TC(tp, fifo_kqueue__connecting_reader);
425 ATF_TP_ADD_TC(tp, fifo_kqueue__reads);
426 ATF_TP_ADD_TC(tp, fifo_kqueue__read_eof_wakeups);
427 ATF_TP_ADD_TC(tp, fifo_kqueue__read_eof_state_when_reconnecting);
429 return atf_no_error();