18a272653SPeter Holm#!/bin/sh 28a272653SPeter Holm 38a272653SPeter Holm# 44d846d26SWarner Losh# SPDX-License-Identifier: BSD-2-Clause 58a272653SPeter Holm# 68a272653SPeter Holm# Copyright (c) 2019 Dell EMC Isilon 78a272653SPeter Holm# 88a272653SPeter Holm# Redistribution and use in source and binary forms, with or without 98a272653SPeter Holm# modification, are permitted provided that the following conditions 108a272653SPeter Holm# are met: 118a272653SPeter Holm# 1. Redistributions of source code must retain the above copyright 128a272653SPeter Holm# notice, this list of conditions and the following disclaimer. 138a272653SPeter Holm# 2. Redistributions in binary form must reproduce the above copyright 148a272653SPeter Holm# notice, this list of conditions and the following disclaimer in the 158a272653SPeter Holm# documentation and/or other materials provided with the distribution. 168a272653SPeter Holm# 178a272653SPeter Holm# THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 188a272653SPeter Holm# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 198a272653SPeter Holm# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 208a272653SPeter Holm# ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 218a272653SPeter Holm# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 228a272653SPeter Holm# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 238a272653SPeter Holm# OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 248a272653SPeter Holm# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 258a272653SPeter Holm# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 268a272653SPeter Holm# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 278a272653SPeter Holm# SUCH DAMAGE. 288a272653SPeter Holm# 298a272653SPeter Holm 308a272653SPeter Holm# Test of pipe_poll() 318a272653SPeter Holm# https://reviews.freebsd.org/D21333 328a272653SPeter Holm 338a272653SPeter Holm# No problems seen. 348a272653SPeter Holm 358a272653SPeter Holm# markj@ write: 368a272653SPeter Holm# A simplified reproducible might be tricky to come up with. I think this 378a272653SPeter Holm# would do it: 388a272653SPeter Holm# 398a272653SPeter Holm# - Thread W writes 8KB (PIPE_MINDIRECT) of data to a pipe at a time. 408a272653SPeter Holm# - Thread P poll()s the pipe for POLLIN. 418a272653SPeter Holm# - Thread R reads 8KB of data from the pipe at a time. 428a272653SPeter Holm# 438a272653SPeter Holm# Thread P uses non-blocking poll() (timeout == 0). When thread P does 448a272653SPeter Holm# not see POLLIN, it signals the reader and the writer and continues 458a272653SPeter Holm# polling in a loop. When thread P sees POLLIN it signals the reader and 468a272653SPeter Holm# sleeps until the reader returns and wakes it up. After threads R and W 478a272653SPeter Holm# finish their respective system calls, they always wait for another 488a272653SPeter Holm# signal from P before doing anything. 498a272653SPeter Holm# 508a272653SPeter Holm# Basically, if all three threads are executing their respective system 518a272653SPeter Holm# calls, and the reader has drained the writer's data and awoken the 528a272653SPeter Holm# writer, there is a window where poll() will return POLLIN even though 538a272653SPeter Holm# all data has been read. If the reader then attempts to read() from the 548a272653SPeter Holm# pipe again, it will block and the application appears to be hung. 558a272653SPeter Holm 568a272653SPeter Holm. ../default.cfg 578a272653SPeter Holm 588a272653SPeter Holmdir=/tmp 598a272653SPeter Holmodir=`pwd` 608a272653SPeter Holmcd $dir 618a272653SPeter Holmrm -f $dir/poll2.c || exit 1 628a272653SPeter Holmsed '1,/^EOF/d' < $odir/$0 > $dir/poll2.c 638a272653SPeter Holmmycc -o poll2 -Wall -Wextra -O0 -g poll2.c -lpthread || exit 1 648a272653SPeter Holm 658a272653SPeter Holmcpuset -l 0 $dir/poll2 668a272653SPeter Holms=$? 678a272653SPeter Holmpkill swap 688a272653SPeter Holmwait 698a272653SPeter Holm 708a272653SPeter Holmrm -rf poll2 poll2.c poll2.core 718a272653SPeter Holmexit $s 728a272653SPeter Holm 738a272653SPeter HolmEOF 748a272653SPeter Holm#include <sys/param.h> 758a272653SPeter Holm 768a272653SPeter Holm#include <err.h> 778a272653SPeter Holm#include <errno.h> 788a272653SPeter Holm#include <fcntl.h> 798a272653SPeter Holm#include <poll.h> 808a272653SPeter Holm#include <pthread.h> 818a272653SPeter Holm#include <pthread_np.h> 828a272653SPeter Holm#include <stdio.h> 838a272653SPeter Holm#include <stdlib.h> 848a272653SPeter Holm#include <time.h> 858a272653SPeter Holm#include <unistd.h> 868a272653SPeter Holm 878a272653SPeter Holmstatic volatile int done, frd, fwr, fpl; 888a272653SPeter Holmstatic int fds[2]; 898a272653SPeter Holmstatic char b1[8192], b2[8192]; 908a272653SPeter Holm 918a272653SPeter Holm#define RUNTIME (2 * 60) 928a272653SPeter Holm#define LOOP 400000 938a272653SPeter Holm 948a272653SPeter Holmstatic void * 958a272653SPeter Holmwr(void *data __unused) 968a272653SPeter Holm{ 978a272653SPeter Holm int i; 988a272653SPeter Holm 998a272653SPeter Holm for (i = 0; i < LOOP; i++) { 1008a272653SPeter Holm pthread_set_name_np(pthread_self(), "wr-idle"); 1018a272653SPeter Holm while (fwr == 0) 1028a272653SPeter Holm usleep(5); 1038a272653SPeter Holm pthread_set_name_np(pthread_self(), "wr-act"); 1048a272653SPeter Holm fpl = 1; 1058a272653SPeter Holm if (write(fds[1], b1, sizeof(b1)) != sizeof(b1)) 1068a272653SPeter Holm err(1, "write"); 1078a272653SPeter Holm fpl = 1; 1088a272653SPeter Holm fwr = 0; 1098a272653SPeter Holm } 1108a272653SPeter Holm 1118a272653SPeter Holm return (NULL); 1128a272653SPeter Holm} 1138a272653SPeter Holm 1148a272653SPeter Holmstatic void * 1158a272653SPeter Holmrd(void *data __unused) 1168a272653SPeter Holm{ 1178a272653SPeter Holm int i; 1188a272653SPeter Holm 1198a272653SPeter Holm for (i = 0; i < LOOP; i++) { 1208a272653SPeter Holm fpl = 1; 1218a272653SPeter Holm pthread_set_name_np(pthread_self(), "rd-idle"); 1228a272653SPeter Holm while (frd == 0) 1238a272653SPeter Holm usleep(5); 1248a272653SPeter Holm pthread_set_name_np(pthread_self(), "rd-act"); 1258a272653SPeter Holm if (read(fds[0], b2, sizeof(b2)) != sizeof(b2)) 1268a272653SPeter Holm err(1, "read"); 1278a272653SPeter Holm frd = 0; 1288a272653SPeter Holm fpl = 1; 1298a272653SPeter Holm } 1308a272653SPeter Holm done = 1; 1318a272653SPeter Holm 1328a272653SPeter Holm return (NULL); 1338a272653SPeter Holm} 1348a272653SPeter Holm 1358a272653SPeter Holmstatic void * 1368a272653SPeter Holmpl(void *data __unused) 1378a272653SPeter Holm{ 1388a272653SPeter Holm struct pollfd pfd; 139*ef1dad6dSPeter Holm int r; 1408a272653SPeter Holm 1418a272653SPeter Holm pfd.fd = fds[0]; 1428a272653SPeter Holm pfd.events = POLLIN; 143*ef1dad6dSPeter Holm while (done == 0) { 1448a272653SPeter Holm pfd.fd = fds[0]; 1458a272653SPeter Holm pfd.events = POLLIN; 1468a272653SPeter Holm pthread_set_name_np(pthread_self(), "pl-idle"); 1478a272653SPeter Holm pthread_set_name_np(pthread_self(), "pl-act"); 1488a272653SPeter Holm while (fpl == 0) 1498a272653SPeter Holm usleep(5); 1508a272653SPeter Holmagain: 1518a272653SPeter Holm if ((r = poll(&pfd, 1, 0)) == -1) 1528a272653SPeter Holm err(1, "poll"); 1538a272653SPeter Holm if (done == 1) 1548a272653SPeter Holm return (NULL); 1558a272653SPeter Holm if (r == 0) { 1568a272653SPeter Holm frd = fwr = 1; 1578a272653SPeter Holm goto again; 1588a272653SPeter Holm } else { 1598a272653SPeter Holm fpl = 0; 1608a272653SPeter Holm frd = fwr = 1; 1618a272653SPeter Holm } 1628a272653SPeter Holm } 1638a272653SPeter Holm 1648a272653SPeter Holm return (NULL); 1658a272653SPeter Holm} 1668a272653SPeter Holm 1678a272653SPeter Holmvoid 1688a272653SPeter Holmtest(void) 1698a272653SPeter Holm{ 1708a272653SPeter Holm pthread_t tid[3]; 1718a272653SPeter Holm int rc; 1728a272653SPeter Holm 1738a272653SPeter Holm if (pipe(fds) == -1) 1748a272653SPeter Holm err(1, "pipe"); 1758a272653SPeter Holm done = 0; 1768a272653SPeter Holm fpl = 0; 1778a272653SPeter Holm frd = 0; 1788a272653SPeter Holm fwr = 0; 1798a272653SPeter Holm if ((rc = pthread_create(&tid[0], NULL, rd, NULL)) != 0) 1808a272653SPeter Holm errc(1, rc, "pthread_create"); 1818a272653SPeter Holm if ((rc = pthread_create(&tid[1], NULL, wr, NULL)) != 0) 1828a272653SPeter Holm errc(1, rc, "pthread_create"); 1838a272653SPeter Holm if ((rc = pthread_create(&tid[2], NULL, pl, NULL)) != 0) 1848a272653SPeter Holm errc(1, rc, "pthread_create"); 1858a272653SPeter Holm 1868a272653SPeter Holm frd = 1; 1878a272653SPeter Holm fwr = 1; 1888a272653SPeter Holm 1898a272653SPeter Holm if ((rc = pthread_join(tid[0], NULL)) != 0) 1908a272653SPeter Holm errc(1, rc, "pthread_join"); 1918a272653SPeter Holm if ((rc = pthread_join(tid[1], NULL)) != 0) 1928a272653SPeter Holm errc(1, rc, "pthread_join"); 1938a272653SPeter Holm if ((rc = pthread_join(tid[2], NULL)) != 0) 1948a272653SPeter Holm errc(1, rc, "pthread_join"); 1958a272653SPeter Holm 1968a272653SPeter Holm close(fds[0]); 1978a272653SPeter Holm close(fds[1]); 1988a272653SPeter Holm} 1998a272653SPeter Holm 2008a272653SPeter Holmint 2018a272653SPeter Holmmain(void) 2028a272653SPeter Holm{ 2038a272653SPeter Holm time_t start; 2048a272653SPeter Holm 2058a272653SPeter Holm alarm(600); 2068a272653SPeter Holm start = time(NULL); 2078a272653SPeter Holm while ((time(NULL) - start) < RUNTIME) { 2088a272653SPeter Holm test(); 2098a272653SPeter Holm } 2108a272653SPeter Holm 2118a272653SPeter Holm return (0); 2128a272653SPeter Holm} 213