ModEpoll.cc
Go to the documentation of this file.
1 /*
2  * Copyright (C) 1996-2023 The Squid Software Foundation and contributors
3  *
4  * Squid software is distributed under GPLv2+ license and includes
5  * contributions from numerous individuals and organizations.
6  * Please see the COPYING and CONTRIBUTORS files for details.
7  */
8 
9 /* DEBUG: section 05 Socket Functions */
10 
11 /*
12  * The idea for this came from these two websites:
13  * http://www.xmailserver.org/linux-patches/nio-improve.html
14  * http://www.kegel.com/c10k.html
15  *
16  * This is to support the epoll sysctl being added to the linux 2.5
17  * kernel tree. The new sys_epoll is an event based poller without
18  * most of the fuss of rtsignals.
19  *
20  * -- David Nicklay <dnicklay@web.turner.com>
21  */
22 
23 /*
24  * XXX Currently not implemented / supported by this module XXX
25  *
26  * - delay pools
27  * - deferred reads
28  *
29  */
30 
31 #include "squid.h"
32 
33 #if USE_EPOLL
34 
35 #include "base/CodeContext.h"
36 #include "base/IoManip.h"
37 #include "comm/Loops.h"
38 #include "fde.h"
39 #include "globals.h"
40 #include "mgr/Registration.h"
41 #include "StatCounters.h"
42 #include "StatHist.h"
43 #include "Store.h"
44 
45 #define DEBUG_EPOLL 0
46 
47 #include <cerrno>
48 #if HAVE_SYS_EPOLL_H
49 #include <sys/epoll.h>
50 #endif
51 
52 static int kdpfd = -1;
53 static int max_poll_time = 1000;
54 
55 static struct epoll_event *pevents;
56 
57 static void commEPollRegisterWithCacheManager(void);
58 
59 /* XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX */
60 /* Public functions */
61 
62 /*
63  * This is a needed exported function which will be called to initialise
64  * the network loop code.
65  */
66 void
68 {
69  pevents = (struct epoll_event *) xmalloc(SQUID_MAXFD * sizeof(struct epoll_event));
70 
71  if (!pevents) {
72  int xerrno = errno;
73  fatalf("comm_select_init: xmalloc() failed: %s\n", xstrerr(xerrno));
74  }
75 
76  kdpfd = epoll_create(SQUID_MAXFD);
77 
78  if (kdpfd < 0) {
79  int xerrno = errno;
80  fatalf("comm_select_init: epoll_create(): %s\n", xstrerr(xerrno));
81  }
82 
84 }
85 
86 static const char* epolltype_atoi(int x)
87 {
88  switch (x) {
89 
90  case EPOLL_CTL_ADD:
91  return "EPOLL_CTL_ADD";
92 
93  case EPOLL_CTL_DEL:
94  return "EPOLL_CTL_DEL";
95 
96  case EPOLL_CTL_MOD:
97  return "EPOLL_CTL_MOD";
98 
99  default:
100  return "UNKNOWN_EPOLLCTL_OP";
101  }
102 }
103 
108 void
109 Comm::SetSelect(int fd, unsigned int type, PF * handler, void *client_data, time_t timeout)
110 {
111  fde *F = &fd_table[fd];
112  int epoll_ctl_type = 0;
113 
114  assert(fd >= 0);
115  debugs(5, 5, "FD " << fd << ", type=" << type <<
116  ", handler=" << handler << ", client_data=" << client_data <<
117  ", timeout=" << timeout);
118 
119  struct epoll_event ev;
120  memset(&ev, 0, sizeof(ev));
121  ev.data.fd = fd;
122 
123  if (!F->flags.open) {
124  epoll_ctl(kdpfd, EPOLL_CTL_DEL, fd, &ev);
125  return;
126  }
127 
128  // If read is an interest
129 
130  if (type & COMM_SELECT_READ) {
131  if (handler) {
132  // Hack to keep the events flowing if there is data immediately ready
133  if (F->flags.read_pending)
134  ev.events |= EPOLLOUT;
135  ev.events |= EPOLLIN;
136  }
137 
138  F->read_handler = handler;
139 
140  F->read_data = client_data;
141 
142  // Otherwise, use previously stored value
143  } else if (F->epoll_state & EPOLLIN) {
144  ev.events |= EPOLLIN;
145  }
146 
147  // If write is an interest
148  if (type & COMM_SELECT_WRITE) {
149  if (handler)
150  ev.events |= EPOLLOUT;
151 
152  F->write_handler = handler;
153 
154  F->write_data = client_data;
155 
156  // Otherwise, use previously stored value
157  } else if (F->epoll_state & EPOLLOUT) {
158  ev.events |= EPOLLOUT;
159  }
160 
161  if (ev.events)
162  ev.events |= EPOLLHUP | EPOLLERR;
163 
164  if (ev.events != F->epoll_state) {
165  if (F->epoll_state) // already monitoring something.
166  epoll_ctl_type = ev.events ? EPOLL_CTL_MOD : EPOLL_CTL_DEL;
167  else
168  epoll_ctl_type = EPOLL_CTL_ADD;
169 
170  F->epoll_state = ev.events;
171 
172  if (epoll_ctl(kdpfd, epoll_ctl_type, fd, &ev) < 0) {
173  int xerrno = errno;
174  debugs(5, DEBUG_EPOLL ? 0 : 8, "ERROR: epoll_ctl(," << epolltype_atoi(epoll_ctl_type) <<
175  ",,): failed on FD " << fd << ": " << xstrerr(xerrno));
176  }
177  }
178 
179  if (timeout)
180  F->timeout = squid_curtime + timeout;
181 
182  if (timeout || handler) // all non-cleanup requests
183  F->codeContext = CodeContext::Current(); // TODO: Avoid clearing if set?
184  else if (!ev.events) // full cleanup: no more FD-associated work expected
185  F->codeContext = nullptr;
186  // else: direction-specific/timeout cleanup requests preserve F->codeContext
187 }
188 
189 static void commIncomingStats(StoreEntry * sentry);
190 
191 static void
193 {
194  Mgr::RegisterAction("comm_epoll_incoming",
195  "comm_incoming() stats",
196  commIncomingStats, 0, 1);
197 }
198 
199 static void
201 {
203  storeAppendPrintf(sentry, "Total number of epoll(2) loops: %ld\n", statCounter.select_loops);
204  storeAppendPrintf(sentry, "Histogram of returned filedescriptors\n");
206 }
207 
219 Comm::DoSelect(int msec)
220 {
221  int num, i,fd;
222  fde *F;
223  PF *hdl;
224 
225  struct epoll_event *cevents;
226 
227  if (msec > max_poll_time)
228  msec = max_poll_time;
229 
230  for (;;) {
231  num = epoll_wait(kdpfd, pevents, SQUID_MAXFD, msec);
233 
234  if (num >= 0)
235  break;
236 
237  if (ignoreErrno(errno))
238  break;
239 
240  getCurrentTime();
241 
242  return Comm::COMM_ERROR;
243  }
244 
245  getCurrentTime();
246 
248 
249  if (num == 0)
250  return Comm::TIMEOUT; /* No error.. */
251 
252  for (i = 0, cevents = pevents; i < num; ++i, ++cevents) {
253  fd = cevents->data.fd;
254  F = &fd_table[fd];
255  CodeContext::Reset(F->codeContext);
256  debugs(5, DEBUG_EPOLL ? 0 : 8, "got FD " << fd << " events=" <<
257  asHex(cevents->events) << " monitoring=" << asHex(F->epoll_state) <<
258  " F->read_handler=" << F->read_handler << " F->write_handler=" << F->write_handler);
259 
260  // TODO: add EPOLLPRI??
261 
262  if (cevents->events & (EPOLLIN|EPOLLHUP|EPOLLERR) || F->flags.read_pending) {
263  if ((hdl = F->read_handler) != nullptr) {
264  debugs(5, DEBUG_EPOLL ? 0 : 8, "Calling read handler on FD " << fd);
265  F->read_handler = nullptr;
266  hdl(fd, F->read_data);
268  } else {
269  debugs(5, DEBUG_EPOLL ? 0 : 8, "no read handler for FD " << fd);
270  // remove interest since no handler exist for this event.
271  SetSelect(fd, COMM_SELECT_READ, nullptr, nullptr, 0);
272  }
273  }
274 
275  if (cevents->events & (EPOLLOUT|EPOLLHUP|EPOLLERR)) {
276  if ((hdl = F->write_handler) != nullptr) {
277  debugs(5, DEBUG_EPOLL ? 0 : 8, "Calling write handler on FD " << fd);
278  F->write_handler = nullptr;
279  hdl(fd, F->write_data);
281  } else {
282  debugs(5, DEBUG_EPOLL ? 0 : 8, "no write handler for FD " << fd);
283  // remove interest since no handler exist for this event.
284  SetSelect(fd, COMM_SELECT_WRITE, nullptr, nullptr, 0);
285  }
286  }
287  }
288 
290 
291  return Comm::OK;
292 }
293 
294 void
296 {
297  max_poll_time = 10;
298 }
299 
300 #endif /* USE_EPOLL */
301 
const char * xstrerr(int error)
Definition: xstrerror.cc:83
#define xmalloc
static void commEPollRegisterWithCacheManager(void)
Definition: ModEpoll.cc:192
void storeAppendPrintf(StoreEntry *e, const char *fmt,...)
Definition: store.cc:855
Comm::Flag DoSelect(int)
Do poll and trigger callback functions as appropriate.
Definition: ModDevPoll.cc:308
static uint32 F(uint32 X, uint32 Y, uint32 Z)
Definition: md4.c:46
static void commIncomingStats(StoreEntry *sentry)
Definition: ModEpoll.cc:200
@ TIMEOUT
Definition: Flag.h:18
@ OK
Definition: Flag.h:16
Definition: fde.h:51
static struct epoll_event * pevents
Definition: ModEpoll.cc:55
static void Reset()
forgets the current context, setting it to nil/unknown
Definition: CodeContext.cc:77
time_t getCurrentTime() STUB_RETVAL(0) int tvSubUsec(struct timeval
static int kdpfd
Definition: ModEpoll.cc:52
void dump(StoreEntry *sentry, StatHistBinDumper *bd) const
Definition: StatHist.cc:171
AsHex< Integer > asHex(const Integer n)
a helper to ease AsHex object creation
Definition: IoManip.h:169
void count(double val)
Definition: StatHist.cc:55
#define assert(EX)
Definition: assert.h:17
void fatalf(const char *fmt,...)
Definition: fatal.cc:68
@ COMM_ERROR
Definition: Flag.h:17
#define COMM_SELECT_READ
Definition: defines.h:24
static const char * epolltype_atoi(int x)
Definition: ModEpoll.cc:86
time_t squid_curtime
Definition: stub_libtime.cc:20
void SelectLoopInit(void)
Initialize the module on Squid startup.
Definition: ModDevPoll.cc:170
Flag
Definition: Flag.h:15
int ignoreErrno(int ierrno)
Definition: comm.cc:1422
#define fd_table
Definition: fde.h:189
StatHist select_fds_hist
Definition: StatCounters.h:130
#define DEBUG_EPOLL
Definition: ModEpoll.cc:45
unsigned long int select_loops
Definition: StatCounters.h:119
static const Pointer & Current()
Definition: CodeContext.cc:33
static int max_poll_time
Definition: ModEpoll.cc:53
StatHistBinDumper statHistIntDumper
Definition: StatHist.h:119
void SetSelect(int, unsigned int, PF *, void *, time_t)
Mark an FD to be watched for its IO status.
Definition: ModDevPoll.cc:220
void RegisterAction(char const *action, char const *desc, OBJH *handler, Protected, Atomic, Format)
Definition: Registration.cc:54
#define debugs(SECTION, LEVEL, CONTENT)
Definition: Stream.h:192
#define COMM_SELECT_WRITE
Definition: defines.h:25
void QuickPollRequired(void)
Definition: ModDevPoll.cc:414
void PF(int, void *)
Definition: forward.h:18
StatCounters statCounter
Definition: StatCounters.cc:12

 

Introduction

Documentation

Support

Miscellaneous