ViewVC Help
View File | Revision Log | Show Annotations | Download File
/cvs/IO-AIO/AIO.xs
(Generate patch)

Comparing IO-AIO/AIO.xs (file contents):
Revision 1.45 by root, Sun Oct 22 00:19:05 2006 UTC vs.
Revision 1.75 by root, Thu Oct 26 06:44:48 2006 UTC

1/* solaris */
2#define _POSIX_PTHREAD_SEMANTICS 1
3
4#if __linux
5# define _GNU_SOURCE
6#endif
7
1#define _REENTRANT 1 8#define _REENTRANT 1
9
2#include <errno.h> 10#include <errno.h>
3 11
4#include "EXTERN.h" 12#include "EXTERN.h"
5#include "perl.h" 13#include "perl.h"
6#include "XSUB.h" 14#include "XSUB.h"
… …
39/* used for struct dirent, AIX doesn't provide it */ 47/* used for struct dirent, AIX doesn't provide it */
40#ifndef NAME_MAX 48#ifndef NAME_MAX
41# define NAME_MAX 4096 49# define NAME_MAX 4096
42#endif 50#endif
43 51
52#ifndef PTHREAD_STACK_MIN
53/* care for broken platforms, e.g. windows */
54# define PTHREAD_STACK_MIN 16384
55#endif
56
44#if __ia64 57#if __ia64
45# define STACKSIZE 65536 58# define STACKSIZE 65536
59#elif __i386 || __x86_64 /* 16k is unreasonably high :( */
60# define STACKSIZE PTHREAD_STACK_MIN
46#else 61#else
47# define STACKSIZE 8192 62# define STACKSIZE 16384
48#endif 63#endif
64
65/* buffer size for various temporary buffers */
66#define AIO_BUFSIZE 65536
67
68#define dBUF \
69 char *aio_buf; \
70 LOCK (wrklock); \
71 self->dbuf = aio_buf = malloc (AIO_BUFSIZE); \
72 UNLOCK (wrklock); \
73 if (!aio_buf) \
74 return -1;
49 75
50enum { 76enum {
51 REQ_QUIT, 77 REQ_QUIT,
52 REQ_OPEN, REQ_CLOSE, 78 REQ_OPEN, REQ_CLOSE,
53 REQ_READ, REQ_WRITE, REQ_READAHEAD, 79 REQ_READ, REQ_WRITE, REQ_READAHEAD,
… …
55 REQ_STAT, REQ_LSTAT, REQ_FSTAT, 81 REQ_STAT, REQ_LSTAT, REQ_FSTAT,
56 REQ_FSYNC, REQ_FDATASYNC, 82 REQ_FSYNC, REQ_FDATASYNC,
57 REQ_UNLINK, REQ_RMDIR, REQ_RENAME, 83 REQ_UNLINK, REQ_RMDIR, REQ_RENAME,
58 REQ_READDIR, 84 REQ_READDIR,
59 REQ_LINK, REQ_SYMLINK, 85 REQ_LINK, REQ_SYMLINK,
60 REQ_SLEEP, 86 REQ_GROUP, REQ_NOP,
61 REQ_GROUP, 87 REQ_BUSY,
62}; 88};
63 89
64#define AIO_REQ_KLASS "IO::AIO::REQ" 90#define AIO_REQ_KLASS "IO::AIO::REQ"
65#define AIO_GRP_KLASS "IO::AIO::GRP" 91#define AIO_GRP_KLASS "IO::AIO::GRP"
66 92
67typedef struct aio_cb 93typedef struct aio_cb
68{ 94{
69 struct aio_cb *grp, *grp_prev, *grp_next;
70
71 struct aio_cb *volatile next; 95 struct aio_cb *volatile next;
72
73 SV *self; /* the perl counterpart of this request, if any */
74 96
75 SV *data, *callback; 97 SV *data, *callback;
76 SV *fh, *fh2; 98 SV *fh, *fh2;
77 void *dataptr, *data2ptr; 99 void *dataptr, *data2ptr;
78 Stat_t *statdata; 100 Stat_t *statdata;
79 off_t offset; 101 off_t offset;
80 size_t length; 102 size_t length;
81 ssize_t result; 103 ssize_t result;
82 104
105 STRLEN dataoffset;
83 int type; 106 int type;
84 int fd, fd2; 107 int fd, fd2;
85 int errorno; 108 int errorno;
86 STRLEN dataoffset;
87 mode_t mode; /* open */ 109 mode_t mode; /* open */
110
88 unsigned char cancelled; 111 unsigned char flags;
112 unsigned char pri;
113
114 SV *self; /* the perl counterpart of this request, if any */
115 struct aio_cb *grp, *grp_prev, *grp_next, *grp_first;
89} aio_cb; 116} aio_cb;
117
118enum {
119 FLAG_CANCELLED = 0x01,
120};
90 121
91typedef aio_cb *aio_req; 122typedef aio_cb *aio_req;
92typedef aio_cb *aio_req_ornot; 123typedef aio_cb *aio_req_ornot;
93typedef aio_cb *aio_group; 124
125enum {
126 PRI_MIN = -4,
127 PRI_MAX = 4,
128
129 DEFAULT_PRI = 0,
130 PRI_BIAS = -PRI_MIN,
131 NUM_PRI = PRI_MAX + PRI_BIAS + 1,
132};
133
134static int next_pri = DEFAULT_PRI + PRI_BIAS;
94 135
95static int started, wanted; 136static int started, wanted;
96static volatile int nreqs; 137static volatile int nreqs;
97static int max_outstanding = 1<<30;
98static int respipe [2]; 138static int respipe [2];
99 139
140#if __linux && defined (PTHREAD_ADAPTIVE_MUTEX_INITIALIZER_NP)
141# define AIO_MUTEX_INIT PTHREAD_ADAPTIVE_MUTEX_INITIALIZER_NP
142#else
143# define AIO_MUTEX_INIT PTHREAD_MUTEX_INITIALIZER
144#endif
145
146#define LOCK(mutex) pthread_mutex_lock (&(mutex))
147#define UNLOCK(mutex) pthread_mutex_unlock (&(mutex))
148
149/* worker threasd management */
150static pthread_mutex_t wrklock = AIO_MUTEX_INIT;
151
152typedef struct worker {
153 /* locked by wrklock */
154 struct worker *prev, *next;
155
156 pthread_t tid;
157
158 /* locked by reslock, reqlock or wrklock */
159 aio_req req; /* currently processed request */
160 void *dbuf;
161 DIR *dirp;
162} worker;
163
164static worker wrk_first = { &wrk_first, &wrk_first, 0 };
165
166static void worker_clear (worker *wrk)
167{
168 if (wrk->dirp)
169 {
170 closedir (wrk->dirp);
171 wrk->dirp = 0;
172 }
173
174 if (wrk->dbuf)
175 {
176 free (wrk->dbuf);
177 wrk->dbuf = 0;
178 }
179}
180
181static void worker_free (worker *wrk)
182{
183 wrk->next->prev = wrk->prev;
184 wrk->prev->next = wrk->next;
185
186 free (wrk);
187}
188
100static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER; 189static pthread_mutex_t reslock = AIO_MUTEX_INIT;
101static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER; 190static pthread_mutex_t reqlock = AIO_MUTEX_INIT;
102static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER; 191static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER;
103 192
104static volatile aio_req reqs, reqe; /* queue start, queue end */ 193/*
105static volatile aio_req ress, rese; /* queue start, queue end */ 194 * a somewhat faster data structure might be nice, but
195 * with 8 priorities this actually needs <20 insns
196 * per shift, the most expensive operation.
197 */
198typedef struct {
199 aio_req qs[NUM_PRI], qe[NUM_PRI]; /* qstart, qend */
200 int size;
201} reqq;
106 202
203static reqq req_queue;
204static reqq res_queue;
205
206int reqq_push (reqq *q, aio_req req)
207{
208 int pri = req->pri;
209 req->next = 0;
210
211 if (q->qe[pri])
212 {
213 q->qe[pri]->next = req;
214 q->qe[pri] = req;
215 }
216 else
217 q->qe[pri] = q->qs[pri] = req;
218
219 return q->size++;
220}
221
222aio_req reqq_shift (reqq *q)
223{
224 int pri;
225
226 if (!q->size)
227 return 0;
228
229 --q->size;
230
231 for (pri = NUM_PRI; pri--; )
232 {
233 aio_req req = q->qs[pri];
234
235 if (req)
236 {
237 if (!(q->qs[pri] = req->next))
238 q->qe[pri] = 0;
239
240 return req;
241 }
242 }
243
244 abort ();
245}
246
247static int poll_cb ();
248static void req_invoke (aio_req req);
107static void req_free (aio_req req); 249static void req_free (aio_req req);
250static void req_cancel (aio_req req);
108 251
109/* must be called at most once */ 252/* must be called at most once */
110static SV *req_sv (aio_req req, const char *klass) 253static SV *req_sv (aio_req req, const char *klass)
111{ 254{
255 if (!req->self)
256 {
112 req->self = (SV *)newHV (); 257 req->self = (SV *)newHV ();
113 sv_magic (req->self, 0, PERL_MAGIC_ext, (char *)req, 0); 258 sv_magic (req->self, 0, PERL_MAGIC_ext, (char *)req, 0);
259 }
114 260
115 return sv_2mortal (sv_bless (newRV_inc (req->self), gv_stashpv (klass, 1))); 261 return sv_2mortal (sv_bless (newRV_inc (req->self), gv_stashpv (klass, 1)));
116} 262}
117 263
118static aio_req SvAIO_REQ (SV *sv) 264static aio_req SvAIO_REQ (SV *sv)
119{ 265{
266 MAGIC *mg;
267
120 if (!sv_derived_from (sv, AIO_REQ_KLASS) || !SvROK (sv)) 268 if (!sv_derived_from (sv, AIO_REQ_KLASS) || !SvROK (sv))
121 croak ("object of class " AIO_REQ_KLASS " expected"); 269 croak ("object of class " AIO_REQ_KLASS " expected");
122 270
123 MAGIC *mg = mg_find (SvRV (sv), PERL_MAGIC_ext); 271 mg = mg_find (SvRV (sv), PERL_MAGIC_ext);
124 272
125 return mg ? (aio_req)mg->mg_ptr : 0; 273 return mg ? (aio_req)mg->mg_ptr : 0;
126} 274}
127 275
276static void aio_grp_feed (aio_req grp)
277{
278 while (grp->length < grp->fd2 && !(grp->flags & FLAG_CANCELLED))
279 {
280 int old_len = grp->length;
281
282 if (grp->fh2 && SvOK (grp->fh2))
283 {
284 dSP;
285
286 ENTER;
287 SAVETMPS;
288 PUSHMARK (SP);
289 XPUSHs (req_sv (grp, AIO_GRP_KLASS));
290 PUTBACK;
291 call_sv (grp->fh2, G_VOID | G_EVAL | G_KEEPERR);
292 SPAGAIN;
293 FREETMPS;
294 LEAVE;
295 }
296
297 /* stop if no progress has been made */
298 if (old_len == grp->length)
299 {
300 SvREFCNT_dec (grp->fh2);
301 grp->fh2 = 0;
302 break;
303 }
304 }
305}
306
307static void aio_grp_dec (aio_req grp)
308{
309 --grp->length;
310
311 /* call feeder, if applicable */
312 aio_grp_feed (grp);
313
314 /* finish, if done */
315 if (!grp->length && grp->fd)
316 {
317 req_invoke (grp);
318 req_free (grp);
319 }
320}
321
128static void poll_wait () 322static void poll_wait ()
129{ 323{
130 if (nreqs && !ress)
131 {
132 fd_set rfd; 324 fd_set rfd;
325
326 while (nreqs)
327 {
328 int size;
329#if !(__i386 || __x86_64) /* safe without sempahore on these archs */
330 LOCK (reslock);
331#endif
332 size = res_queue.size;
333#if !(__i386 || __x86_64) /* safe without sempahore on these archs */
334 UNLOCK (reslock);
335#endif
336
337 if (size)
338 return;
339
133 FD_ZERO(&rfd); 340 FD_ZERO(&rfd);
134 FD_SET(respipe [0], &rfd); 341 FD_SET(respipe [0], &rfd);
135 342
136 select (respipe [0] + 1, &rfd, 0, 0, 0); 343 select (respipe [0] + 1, &rfd, 0, 0, 0);
137 } 344 }
138} 345}
139 346
140static void req_invoke (aio_req req) 347static void req_invoke (aio_req req)
141{ 348{
142 dSP; 349 dSP;
143 int errorno = errno;
144 350
145 if (req->cancelled || !SvOK (req->callback)) 351 if (!(req->flags & FLAG_CANCELLED) && SvOK (req->callback))
146 return; 352 {
147
148 errno = req->errorno; 353 errno = req->errorno;
149 354
150 ENTER; 355 ENTER;
356 SAVETMPS;
151 PUSHMARK (SP); 357 PUSHMARK (SP);
358 EXTEND (SP, 1);
152 359
153 switch (req->type) 360 switch (req->type)
154 {
155 case REQ_READDIR:
156 { 361 {
157 SV *rv = &PL_sv_undef; 362 case REQ_READDIR:
158
159 if (req->result >= 0)
160 { 363 {
161 char *buf = req->data2ptr; 364 SV *rv = &PL_sv_undef;
162 AV *av = newAV ();
163 365
164 while (req->result) 366 if (req->result >= 0)
165 { 367 {
368 int i;
369 char *buf = req->data2ptr;
370 AV *av = newAV ();
371
372 av_extend (av, req->result - 1);
373
374 for (i = 0; i < req->result; ++i)
375 {
166 SV *sv = newSVpv (buf, 0); 376 SV *sv = newSVpv (buf, 0);
167 377
168 av_push (av, sv); 378 av_store (av, i, sv);
169 buf += SvCUR (sv) + 1; 379 buf += SvCUR (sv) + 1;
170 req->result--; 380 }
381
382 rv = sv_2mortal (newRV_noinc ((SV *)av));
171 } 383 }
172 384
173 rv = sv_2mortal (newRV_noinc ((SV *)av)); 385 PUSHs (rv);
174 } 386 }
387 break;
175 388
176 XPUSHs (rv); 389 case REQ_OPEN:
390 {
391 /* convert fd to fh */
392 SV *fh;
393
394 PUSHs (sv_2mortal (newSViv (req->result)));
395 PUTBACK;
396 call_pv ("IO::AIO::_fd2fh", G_SCALAR | G_EVAL);
397 SPAGAIN;
398
399 fh = SvREFCNT_inc (POPs);
400
401 PUSHMARK (SP);
402 XPUSHs (sv_2mortal (fh));
403 }
404 break;
405
406 case REQ_GROUP:
407 req->fd = 2; /* mark group as finished */
408
409 if (req->data)
410 {
411 int i;
412 AV *av = (AV *)req->data;
413
414 EXTEND (SP, AvFILL (av) + 1);
415 for (i = 0; i <= AvFILL (av); ++i)
416 PUSHs (*av_fetch (av, i, 0));
417 }
418 break;
419
420 case REQ_NOP:
421 case REQ_BUSY:
422 break;
423
424 default:
425 PUSHs (sv_2mortal (newSViv (req->result)));
426 break;
177 } 427 }
178 break;
179 428
180 case REQ_OPEN:
181 {
182 /* convert fd to fh */
183 SV *fh;
184 429
185 XPUSHs (sv_2mortal (newSViv (req->result)));
186 PUTBACK; 430 PUTBACK;
187 call_pv ("IO::AIO::_fd2fh", G_SCALAR | G_EVAL);
188 SPAGAIN;
189
190 fh = SvREFCNT_inc (POPs);
191
192 PUSHMARK (SP);
193 XPUSHs (sv_2mortal (fh));
194 }
195 break;
196
197 case REQ_SLEEP:
198 case REQ_GROUP:
199 break;
200
201 default:
202 XPUSHs (sv_2mortal (newSViv (req->result)));
203 break;
204 }
205
206
207 PUTBACK;
208 call_sv (req->callback, G_VOID | G_EVAL); 431 call_sv (req->callback, G_VOID | G_EVAL);
209 SPAGAIN; 432 SPAGAIN;
433
434 FREETMPS;
435 LEAVE;
436 }
437
438 if (req->grp)
439 {
440 aio_req grp = req->grp;
441
442 /* unlink request */
443 if (req->grp_next) req->grp_next->grp_prev = req->grp_prev;
444 if (req->grp_prev) req->grp_prev->grp_next = req->grp_next;
445
446 if (grp->grp_first == req)
447 grp->grp_first = req->grp_next;
448
449 aio_grp_dec (grp);
450 }
210 451
211 if (SvTRUE (ERRSV)) 452 if (SvTRUE (ERRSV))
212 { 453 {
213 req_free (req); 454 req_free (req);
214 croak (0); 455 croak (0);
215 } 456 }
216
217 LEAVE;
218
219 errno = errorno;
220} 457}
221 458
222static void req_free (aio_req req) 459static void req_free (aio_req req)
223{ 460{
224 if (req->grp)
225 {
226 aio_req grp = req->grp;
227
228 /* unlink request */
229 req->grp_next->grp_prev = req->grp_prev;
230 req->grp_prev->grp_next = req->grp_next;
231
232 if (grp->grp_next == grp)
233 {
234 req_invoke (grp);
235 req_free (grp);
236 }
237 }
238
239 if (req->self) 461 if (req->self)
240 { 462 {
241 sv_unmagic (req->self, PERL_MAGIC_ext); 463 sv_unmagic (req->self, PERL_MAGIC_ext);
242 SvREFCNT_dec (req->self); 464 SvREFCNT_dec (req->self);
243 } 465 }
244 466
245 if (req->data)
246 SvREFCNT_dec (req->data); 467 SvREFCNT_dec (req->data);
247
248 if (req->fh)
249 SvREFCNT_dec (req->fh); 468 SvREFCNT_dec (req->fh);
250
251 if (req->fh2)
252 SvREFCNT_dec (req->fh2); 469 SvREFCNT_dec (req->fh2);
253
254 if (req->statdata)
255 Safefree (req->statdata);
256
257 if (req->callback)
258 SvREFCNT_dec (req->callback); 470 SvREFCNT_dec (req->callback);
471 Safefree (req->statdata);
259 472
260 if (req->type == REQ_READDIR && req->result >= 0) 473 if (req->type == REQ_READDIR)
261 free (req->data2ptr); 474 free (req->data2ptr);
262 475
263 Safefree (req); 476 Safefree (req);
264} 477}
265 478
479static void req_cancel_subs (aio_req grp)
480{
481 aio_req sub;
482
483 if (grp->type != REQ_GROUP)
484 return;
485
486 SvREFCNT_dec (grp->fh2);
487 grp->fh2 = 0;
488
489 for (sub = grp->grp_first; sub; sub = sub->grp_next)
490 req_cancel (sub);
491}
492
266static void req_cancel (aio_req req) 493static void req_cancel (aio_req req)
267{ 494{
268 req->cancelled = 1; 495 req->flags |= FLAG_CANCELLED;
269 496
270 if (req->type == REQ_GROUP) 497 req_cancel_subs (req);
271 {
272 aio_req sub;
273
274 for (sub = req->grp_next; sub != req; sub = sub->grp_next)
275 req_cancel (sub);
276 }
277} 498}
278 499
279static int poll_cb () 500static int poll_cb ()
280{ 501{
281 dSP; 502 dSP;
… …
283 int do_croak = 0; 504 int do_croak = 0;
284 aio_req req; 505 aio_req req;
285 506
286 for (;;) 507 for (;;)
287 { 508 {
288 pthread_mutex_lock (&reslock); 509 LOCK (reslock);
289 req = ress; 510 req = reqq_shift (&res_queue);
290 511
291 if (req) 512 if (req)
292 { 513 {
293 ress = req->next;
294
295 if (!ress) 514 if (!res_queue.size)
296 { 515 {
297 /* read any signals sent by the worker threads */ 516 /* read any signals sent by the worker threads */
298 char buf [32]; 517 char buf [32];
299 while (read (respipe [0], buf, 32) == 32) 518 while (read (respipe [0], buf, 32) == 32)
300 ; 519 ;
301
302 rese = 0;
303 } 520 }
304 } 521 }
305 522
306 pthread_mutex_unlock (&reslock); 523 UNLOCK (reslock);
307 524
308 if (!req) 525 if (!req)
309 break; 526 break;
310 527
311 nreqs--; 528 --nreqs;
312 529
313 if (req->type == REQ_QUIT) 530 if (req->type == REQ_QUIT)
314 started--; 531 started--;
315 else if (req->type == REQ_GROUP && req->grp_next != req) 532 else if (req->type == REQ_GROUP && req->length)
533 {
534 req->fd = 1; /* mark request as delayed */
316 continue; 535 continue;
536 }
317 else 537 else
318 { 538 {
319 if (req->type == REQ_READ) 539 if (req->type == REQ_READ)
320 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0)); 540 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0));
321 541
… …
343static void *aio_proc(void *arg); 563static void *aio_proc(void *arg);
344 564
345static void start_thread (void) 565static void start_thread (void)
346{ 566{
347 sigset_t fullsigset, oldsigset; 567 sigset_t fullsigset, oldsigset;
348 pthread_t tid;
349 pthread_attr_t attr; 568 pthread_attr_t attr;
569
570 worker *wrk = calloc (1, sizeof (worker));
571
572 if (!wrk)
573 croak ("unable to allocate worker thread data");
350 574
351 pthread_attr_init (&attr); 575 pthread_attr_init (&attr);
352 pthread_attr_setstacksize (&attr, STACKSIZE); 576 pthread_attr_setstacksize (&attr, STACKSIZE);
353 pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED); 577 pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED);
354 578
355 sigfillset (&fullsigset); 579 sigfillset (&fullsigset);
580
581 LOCK (wrklock);
356 sigprocmask (SIG_SETMASK, &fullsigset, &oldsigset); 582 sigprocmask (SIG_SETMASK, &fullsigset, &oldsigset);
357 583
358 if (pthread_create (&tid, &attr, aio_proc, 0) == 0) 584 if (pthread_create (&wrk->tid, &attr, aio_proc, (void *)wrk) == 0)
585 {
586 wrk->prev = &wrk_first;
587 wrk->next = wrk_first.next;
588 wrk_first.next->prev = wrk;
589 wrk_first.next = wrk;
359 started++; 590 started++;
591 }
592 else
593 free (wrk);
360 594
361 sigprocmask (SIG_SETMASK, &oldsigset, 0); 595 sigprocmask (SIG_SETMASK, &oldsigset, 0);
596 UNLOCK (wrklock);
362} 597}
363 598
364static void req_send (aio_req req) 599static void req_send (aio_req req)
365{ 600{
366 while (started < wanted && nreqs >= started) 601 while (started < wanted && nreqs >= started)
367 start_thread (); 602 start_thread ();
368 603
369 nreqs++; 604 ++nreqs;
370 605
371 pthread_mutex_lock (&reqlock); 606 LOCK (reqlock);
372 607 reqq_push (&req_queue, req);
373 req->next = 0;
374
375 if (reqe)
376 {
377 reqe->next = req;
378 reqe = req;
379 }
380 else
381 reqe = reqs = req;
382
383 pthread_cond_signal (&reqwait); 608 pthread_cond_signal (&reqwait);
384 pthread_mutex_unlock (&reqlock); 609 UNLOCK (reqlock);
385
386 if (nreqs > max_outstanding)
387 for (;;)
388 {
389 poll_cb ();
390
391 if (nreqs <= max_outstanding)
392 break;
393
394 poll_wait ();
395 }
396} 610}
397 611
398static void end_thread (void) 612static void end_thread (void)
399{ 613{
400 aio_req req; 614 aio_req req;
615
401 Newz (0, req, 1, aio_cb); 616 Newz (0, req, 1, aio_cb);
617
402 req->type = REQ_QUIT; 618 req->type = REQ_QUIT;
619 req->pri = PRI_MAX + PRI_BIAS;
403 620
404 req_send (req); 621 req_send (req);
405} 622}
406 623
407static void min_parallel (int nthreads) 624static void min_parallel (int nthreads)
… …
459static ssize_t pread (int fd, void *buf, size_t count, off_t offset) 676static ssize_t pread (int fd, void *buf, size_t count, off_t offset)
460{ 677{
461 ssize_t res; 678 ssize_t res;
462 off_t ooffset; 679 off_t ooffset;
463 680
464 pthread_mutex_lock (&preadwritelock); 681 LOCK (preadwritelock);
465 ooffset = lseek (fd, 0, SEEK_CUR); 682 ooffset = lseek (fd, 0, SEEK_CUR);
466 lseek (fd, offset, SEEK_SET); 683 lseek (fd, offset, SEEK_SET);
467 res = read (fd, buf, count); 684 res = read (fd, buf, count);
468 lseek (fd, ooffset, SEEK_SET); 685 lseek (fd, ooffset, SEEK_SET);
469 pthread_mutex_unlock (&preadwritelock); 686 UNLOCK (preadwritelock);
470 687
471 return res; 688 return res;
472} 689}
473 690
474static ssize_t pwrite (int fd, void *buf, size_t count, off_t offset) 691static ssize_t pwrite (int fd, void *buf, size_t count, off_t offset)
475{ 692{
476 ssize_t res; 693 ssize_t res;
477 off_t ooffset; 694 off_t ooffset;
478 695
479 pthread_mutex_lock (&preadwritelock); 696 LOCK (preadwritelock);
480 ooffset = lseek (fd, 0, SEEK_CUR); 697 ooffset = lseek (fd, 0, SEEK_CUR);
481 lseek (fd, offset, SEEK_SET); 698 lseek (fd, offset, SEEK_SET);
482 res = write (fd, buf, count); 699 res = write (fd, buf, count);
483 lseek (fd, offset, SEEK_SET); 700 lseek (fd, offset, SEEK_SET);
484 pthread_mutex_unlock (&preadwritelock); 701 UNLOCK (preadwritelock);
485 702
486 return res; 703 return res;
487} 704}
488#endif 705#endif
489 706
490#if !HAVE_FDATASYNC 707#if !HAVE_FDATASYNC
491# define fdatasync fsync 708# define fdatasync fsync
492#endif 709#endif
493 710
494#if !HAVE_READAHEAD 711#if !HAVE_READAHEAD
495# define readahead aio_readahead 712# define readahead(fd,offset,count) aio_readahead (fd, offset, count, self)
496 713
497static ssize_t readahead (int fd, off_t offset, size_t count) 714static ssize_t aio_readahead (int fd, off_t offset, size_t count, worker *self)
498{ 715{
499 char readahead_buf[4096]; 716 dBUF;
500 717
501 while (count > 0) 718 while (count > 0)
502 { 719 {
503 size_t len = count < sizeof (readahead_buf) ? count : sizeof (readahead_buf); 720 size_t len = count < AIO_BUFSIZE ? count : AIO_BUFSIZE;
504 721
505 pread (fd, readahead_buf, len, offset); 722 pread (fd, aio_buf, len, offset);
506 offset += len; 723 offset += len;
507 count -= len; 724 count -= len;
508 } 725 }
509 726
510 errno = 0; 727 errno = 0;
511} 728}
729
512#endif 730#endif
513 731
514#if !HAVE_READDIR_R 732#if !HAVE_READDIR_R
515# define readdir_r aio_readdir_r 733# define readdir_r aio_readdir_r
516 734
… …
519static int readdir_r (DIR *dirp, struct dirent *ent, struct dirent **res) 737static int readdir_r (DIR *dirp, struct dirent *ent, struct dirent **res)
520{ 738{
521 struct dirent *e; 739 struct dirent *e;
522 int errorno; 740 int errorno;
523 741
524 pthread_mutex_lock (&readdirlock); 742 LOCK (readdirlock);
525 743
526 e = readdir (dirp); 744 e = readdir (dirp);
527 errorno = errno; 745 errorno = errno;
528 746
529 if (e) 747 if (e)
… …
532 strcpy (ent->d_name, e->d_name); 750 strcpy (ent->d_name, e->d_name);
533 } 751 }
534 else 752 else
535 *res = 0; 753 *res = 0;
536 754
537 pthread_mutex_unlock (&readdirlock); 755 UNLOCK (readdirlock);
538 756
539 errno = errorno; 757 errno = errorno;
540 return e ? 0 : -1; 758 return e ? 0 : -1;
541} 759}
542#endif 760#endif
543 761
544/* sendfile always needs emulation */ 762/* sendfile always needs emulation */
545static ssize_t sendfile_ (int ofd, int ifd, off_t offset, size_t count) 763static ssize_t sendfile_ (int ofd, int ifd, off_t offset, size_t count, worker *self)
546{ 764{
547 ssize_t res; 765 ssize_t res;
548 766
549 if (!count) 767 if (!count)
550 return 0; 768 return 0;
… …
599#endif 817#endif
600 ) 818 )
601 ) 819 )
602 { 820 {
603 /* emulate sendfile. this is a major pain in the ass */ 821 /* emulate sendfile. this is a major pain in the ass */
604 char buf[4096]; 822 dBUF;
823
605 res = 0; 824 res = 0;
606 825
607 while (count) 826 while (count)
608 { 827 {
609 ssize_t cnt; 828 ssize_t cnt;
610 829
611 cnt = pread (ifd, buf, count > 4096 ? 4096 : count, offset); 830 cnt = pread (ifd, aio_buf, count > AIO_BUFSIZE ? AIO_BUFSIZE : count, offset);
612 831
613 if (cnt <= 0) 832 if (cnt <= 0)
614 { 833 {
615 if (cnt && !res) res = -1; 834 if (cnt && !res) res = -1;
616 break; 835 break;
617 } 836 }
618 837
619 cnt = write (ofd, buf, cnt); 838 cnt = write (ofd, aio_buf, cnt);
620 839
621 if (cnt <= 0) 840 if (cnt <= 0)
622 { 841 {
623 if (cnt && !res) res = -1; 842 if (cnt && !res) res = -1;
624 break; 843 break;
… …
632 851
633 return res; 852 return res;
634} 853}
635 854
636/* read a full directory */ 855/* read a full directory */
637static int scandir_ (const char *path, void **namesp) 856static void scandir_ (aio_req req, worker *self)
638{ 857{
639 DIR *dirp = opendir (path); 858 DIR *dirp;
640 union 859 union
641 { 860 {
642 struct dirent d; 861 struct dirent d;
643 char b [offsetof (struct dirent, d_name) + NAME_MAX + 1]; 862 char b [offsetof (struct dirent, d_name) + NAME_MAX + 1];
644 } u; 863 } *u;
645 struct dirent *entp; 864 struct dirent *entp;
646 char *name, *names; 865 char *name, *names;
647 int memlen = 4096; 866 int memlen = 4096;
648 int memofs = 0; 867 int memofs = 0;
649 int res = 0; 868 int res = 0;
650 int errorno; 869 int errorno;
651 870
652 if (!dirp) 871 LOCK (wrklock);
653 return -1; 872 self->dirp = dirp = opendir (req->dataptr);
873 self->dbuf = u = malloc (sizeof (*u));
874 UNLOCK (wrklock);
654 875
655 names = malloc (memlen); 876 req->data2ptr = names = malloc (memlen);
656 877
878 if (dirp && u && names)
657 for (;;) 879 for (;;)
658 { 880 {
881 errno = 0;
659 errno = 0, readdir_r (dirp, &u.d, &entp); 882 readdir_r (dirp, &u->d, &entp);
660 883
661 if (!entp) 884 if (!entp)
662 break; 885 break;
663 886
664 name = entp->d_name; 887 name = entp->d_name;
665 888
666 if (name [0] != '.' || (name [1] && (name [1] != '.' || name [2]))) 889 if (name [0] != '.' || (name [1] && (name [1] != '.' || name [2])))
667 { 890 {
668 int len = strlen (name) + 1; 891 int len = strlen (name) + 1;
669 892
670 res++; 893 res++;
671 894
672 while (memofs + len > memlen) 895 while (memofs + len > memlen)
673 { 896 {
674 memlen *= 2; 897 memlen *= 2;
898 LOCK (wrklock);
675 names = realloc (names, memlen); 899 req->data2ptr = names = realloc (names, memlen);
900 UNLOCK (wrklock);
901
676 if (!names) 902 if (!names)
677 break; 903 break;
678 } 904 }
679 905
680 memcpy (names + memofs, name, len); 906 memcpy (names + memofs, name, len);
681 memofs += len; 907 memofs += len;
682 } 908 }
683 } 909 }
684 910
685 errorno = errno;
686 closedir (dirp);
687
688 if (errorno) 911 if (errno)
689 {
690 free (names);
691 errno = errorno;
692 res = -1; 912 res = -1;
693 } 913
694 914 req->result = res;
695 *namesp = (void *)names;
696 return res;
697} 915}
698 916
699/*****************************************************************************/ 917/*****************************************************************************/
700 918
701static void *aio_proc (void *thr_arg) 919static void *aio_proc (void *thr_arg)
702{ 920{
703 aio_req req; 921 aio_req req;
704 int type; 922 int type;
923 worker *self = (worker *)thr_arg;
705 924
706 do 925 do
707 { 926 {
708 pthread_mutex_lock (&reqlock); 927 LOCK (reqlock);
709 928
710 for (;;) 929 for (;;)
711 { 930 {
712 req = reqs; 931 self->req = req = reqq_shift (&req_queue);
713
714 if (reqs)
715 {
716 reqs = reqs->next;
717 if (!reqs) reqe = 0;
718 }
719 932
720 if (req) 933 if (req)
721 break; 934 break;
722 935
723 pthread_cond_wait (&reqwait, &reqlock); 936 pthread_cond_wait (&reqwait, &reqlock);
724 } 937 }
725 938
726 pthread_mutex_unlock (&reqlock); 939 UNLOCK (reqlock);
727 940
728 errno = 0; /* strictly unnecessary */ 941 errno = 0; /* strictly unnecessary */
942 type = req->type; /* remember type for QUIT check */
729 943
730 if (!req->cancelled) 944 if (!(req->flags & FLAG_CANCELLED))
731 switch (req->type) 945 switch (type)
732 { 946 {
733 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break; 947 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break;
734 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break; 948 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break;
735 949
736 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break; 950 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break;
737 case REQ_SENDFILE: req->result = sendfile_ (req->fd, req->fd2, req->offset, req->length); break; 951 case REQ_SENDFILE: req->result = sendfile_ (req->fd, req->fd2, req->offset, req->length, self); break;
738 952
739 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 953 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
740 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 954 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
741 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 955 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
742 956
… …
748 case REQ_LINK: req->result = link (req->data2ptr, req->dataptr); break; 962 case REQ_LINK: req->result = link (req->data2ptr, req->dataptr); break;
749 case REQ_SYMLINK: req->result = symlink (req->data2ptr, req->dataptr); break; 963 case REQ_SYMLINK: req->result = symlink (req->data2ptr, req->dataptr); break;
750 964
751 case REQ_FDATASYNC: req->result = fdatasync (req->fd); break; 965 case REQ_FDATASYNC: req->result = fdatasync (req->fd); break;
752 case REQ_FSYNC: req->result = fsync (req->fd); break; 966 case REQ_FSYNC: req->result = fsync (req->fd); break;
753 case REQ_READDIR: req->result = scandir_ (req->dataptr, &req->data2ptr); break; 967 case REQ_READDIR: scandir_ (req, self); break;
754 968
755 case REQ_SLEEP: 969 case REQ_BUSY:
756 { 970 {
757 struct timeval tv; 971 struct timeval tv;
758 972
759 tv.tv_sec = req->fd; 973 tv.tv_sec = req->fd;
760 tv.tv_usec = req->fd2; 974 tv.tv_usec = req->fd2;
761 975
762 req->result = select (0, 0, 0, 0, &tv); 976 req->result = select (0, 0, 0, 0, &tv);
763 } 977 }
764 978
979 case REQ_GROUP:
980 case REQ_NOP:
765 case REQ_QUIT: 981 case REQ_QUIT:
766 break; 982 break;
767 983
768 default: 984 default:
769 req->result = ENOSYS; 985 req->result = ENOSYS;
770 break; 986 break;
771 } 987 }
772 988
773 req->errorno = errno; 989 req->errorno = errno;
774 990
775 pthread_mutex_lock (&reslock); 991 LOCK (reslock);
776 992
777 req->next = 0; 993 if (!reqq_push (&res_queue, req))
778
779 if (rese)
780 {
781 rese->next = req;
782 rese = req;
783 }
784 else
785 {
786 rese = ress = req;
787
788 /* write a dummy byte to the pipe so fh becomes ready */ 994 /* write a dummy byte to the pipe so fh becomes ready */
789 write (respipe [1], &respipe, 1); 995 write (respipe [1], &respipe, 1);
790 }
791 996
792 pthread_mutex_unlock (&reslock); 997 self->req = 0;
998 worker_clear (self);
999
1000 UNLOCK (reslock);
793 } 1001 }
794 while (type != REQ_QUIT); 1002 while (type != REQ_QUIT);
795 1003
1004 LOCK (wrklock);
1005 worker_free (self);
1006 UNLOCK (wrklock);
1007
796 return 0; 1008 return 0;
797} 1009}
798 1010
799/*****************************************************************************/ 1011/*****************************************************************************/
800 1012
801static void atfork_prepare (void) 1013static void atfork_prepare (void)
802{ 1014{
803 pthread_mutex_lock (&reqlock); 1015 LOCK (wrklock);
804 pthread_mutex_lock (&reslock); 1016 LOCK (reqlock);
1017 LOCK (reslock);
805#if !HAVE_PREADWRITE 1018#if !HAVE_PREADWRITE
806 pthread_mutex_lock (&preadwritelock); 1019 LOCK (preadwritelock);
807#endif 1020#endif
808#if !HAVE_READDIR_R 1021#if !HAVE_READDIR_R
809 pthread_mutex_lock (&readdirlock); 1022 LOCK (readdirlock);
810#endif 1023#endif
811} 1024}
812 1025
813static void atfork_parent (void) 1026static void atfork_parent (void)
814{ 1027{
815#if !HAVE_READDIR_R 1028#if !HAVE_READDIR_R
816 pthread_mutex_unlock (&readdirlock); 1029 UNLOCK (readdirlock);
817#endif 1030#endif
818#if !HAVE_PREADWRITE 1031#if !HAVE_PREADWRITE
819 pthread_mutex_unlock (&preadwritelock); 1032 UNLOCK (preadwritelock);
820#endif 1033#endif
821 pthread_mutex_unlock (&reslock); 1034 UNLOCK (reslock);
822 pthread_mutex_unlock (&reqlock); 1035 UNLOCK (reqlock);
1036 UNLOCK (wrklock);
823} 1037}
824 1038
825static void atfork_child (void) 1039static void atfork_child (void)
826{ 1040{
827 aio_req prv; 1041 aio_req prv;
828 1042
1043 while (prv = reqq_shift (&req_queue))
1044 req_free (prv);
1045
1046 while (prv = reqq_shift (&res_queue))
1047 req_free (prv);
1048
1049 while (wrk_first.next != &wrk_first)
1050 {
1051 worker *wrk = wrk_first.next;
1052
1053 if (wrk->req)
1054 req_free (wrk->req);
1055
1056 worker_clear (wrk);
1057 worker_free (wrk);
1058 }
1059
829 started = 0; 1060 started = 0;
830 1061 nreqs = 0;
831 while (reqs)
832 {
833 prv = reqs;
834 reqs = prv->next;
835 req_free (prv);
836 }
837
838 reqs = reqe = 0;
839
840 while (ress)
841 {
842 prv = ress;
843 ress = prv->next;
844 req_free (prv);
845 }
846
847 ress = rese = 0;
848 1062
849 close (respipe [0]); 1063 close (respipe [0]);
850 close (respipe [1]); 1064 close (respipe [1]);
851 create_pipe (); 1065 create_pipe ();
852 1066
853 atfork_parent (); 1067 atfork_parent ();
854} 1068}
855 1069
856#define dREQ \ 1070#define dREQ \
857 aio_req req; \ 1071 aio_req req; \
1072 int req_pri = next_pri; \
1073 next_pri = DEFAULT_PRI + PRI_BIAS; \
858 \ 1074 \
859 if (SvOK (callback) && !SvROK (callback)) \ 1075 if (SvOK (callback) && !SvROK (callback)) \
860 croak ("callback must be undef or of reference type"); \ 1076 croak ("callback must be undef or of reference type"); \
861 \ 1077 \
862 Newz (0, req, 1, aio_cb); \ 1078 Newz (0, req, 1, aio_cb); \
863 if (!req) \ 1079 if (!req) \
864 croak ("out of memory during aio_req allocation"); \ 1080 croak ("out of memory during aio_req allocation"); \
865 \ 1081 \
866 req->callback = newSVsv (callback) 1082 req->callback = newSVsv (callback); \
1083 req->pri = req_pri
867 1084
868#define REQ_SEND \ 1085#define REQ_SEND \
869 req_send (req); \ 1086 req_send (req); \
870 \ 1087 \
871 if (GIMME_V != G_VOID) \ 1088 if (GIMME_V != G_VOID) \
… …
893 1110
894void 1111void
895max_parallel (nthreads) 1112max_parallel (nthreads)
896 int nthreads 1113 int nthreads
897 PROTOTYPE: $ 1114 PROTOTYPE: $
898
899int
900max_outstanding (nreqs)
901 int nreqs
902 PROTOTYPE: $
903 CODE:
904 RETVAL = max_outstanding;
905 max_outstanding = nreqs;
906 1115
907void 1116void
908aio_open (pathname,flags,mode,callback=&PL_sv_undef) 1117aio_open (pathname,flags,mode,callback=&PL_sv_undef)
909 SV * pathname 1118 SV * pathname
910 int flags 1119 int flags
… …
1125 1334
1126 REQ_SEND; 1335 REQ_SEND;
1127} 1336}
1128 1337
1129void 1338void
1130aio_sleep (delay,callback=&PL_sv_undef) 1339aio_busy (delay,callback=&PL_sv_undef)
1131 double delay 1340 double delay
1132 SV * callback 1341 SV * callback
1133 PPCODE: 1342 PPCODE:
1134{ 1343{
1135 dREQ; 1344 dREQ;
1136 1345
1137 req->type = REQ_SLEEP; 1346 req->type = REQ_BUSY;
1138 req->fd = delay < 0. ? 0 : delay; 1347 req->fd = delay < 0. ? 0 : delay;
1139 req->fd2 = delay < 0. ? 0 : 1000. * (delay - req->fd); 1348 req->fd2 = delay < 0. ? 0 : 1000. * (delay - req->fd);
1140 1349
1141 REQ_SEND; 1350 REQ_SEND;
1142} 1351}
1143 1352
1144void 1353void
1145aio_group (callback=&PL_sv_undef) 1354aio_group (callback=&PL_sv_undef)
1146 SV * callback 1355 SV * callback
1147 PROTOTYPE: ;& 1356 PROTOTYPE: ;$
1148 PPCODE: 1357 PPCODE:
1149{ 1358{
1150 dREQ; 1359 dREQ;
1360
1151 req->type = REQ_GROUP; 1361 req->type = REQ_GROUP;
1152 req->grp_next = req;
1153 req->grp_prev = req;
1154
1155 req_send (req); 1362 req_send (req);
1363
1156 XPUSHs (req_sv (req, AIO_GRP_KLASS)); 1364 XPUSHs (req_sv (req, AIO_GRP_KLASS));
1157} 1365}
1366
1367void
1368aio_nop (callback=&PL_sv_undef)
1369 SV * callback
1370 PPCODE:
1371{
1372 dREQ;
1373
1374 req->type = REQ_NOP;
1375
1376 REQ_SEND;
1377}
1378
1379void
1380aioreq_pri (int pri = DEFAULT_PRI)
1381 CODE:
1382 if (pri < PRI_MIN) pri = PRI_MIN;
1383 if (pri > PRI_MAX) pri = PRI_MAX;
1384 next_pri = pri + PRI_BIAS;
1385
1386void
1387aioreq_nice (int nice = 0)
1388 CODE:
1389 nice = next_pri - nice;
1390 if (nice < PRI_MIN) nice = PRI_MIN;
1391 if (nice > PRI_MAX) nice = PRI_MAX;
1392 next_pri = nice + PRI_BIAS;
1158 1393
1159void 1394void
1160flush () 1395flush ()
1161 PROTOTYPE: 1396 PROTOTYPE:
1162 CODE: 1397 CODE:
… …
1205 CODE: 1440 CODE:
1206 RETVAL = nreqs; 1441 RETVAL = nreqs;
1207 OUTPUT: 1442 OUTPUT:
1208 RETVAL 1443 RETVAL
1209 1444
1445PROTOTYPES: DISABLE
1446
1210MODULE = IO::AIO PACKAGE = IO::AIO::REQ 1447MODULE = IO::AIO PACKAGE = IO::AIO::REQ
1211 1448
1212void 1449void
1213cancel (aio_req_ornot req) 1450cancel (aio_req_ornot req)
1214 PROTOTYPE:
1215 CODE: 1451 CODE:
1216 req_cancel (req); 1452 req_cancel (req);
1217 1453
1454void
1455cb (aio_req_ornot req, SV *callback=&PL_sv_undef)
1456 CODE:
1457 SvREFCNT_dec (req->callback);
1458 req->callback = newSVsv (callback);
1459
1218MODULE = IO::AIO PACKAGE = IO::AIO::GRP 1460MODULE = IO::AIO PACKAGE = IO::AIO::GRP
1219 1461
1220void 1462void
1221add (aio_req grp, ...) 1463add (aio_req grp, ...)
1222 PROTOTYPE: $;@
1223 PPCODE: 1464 PPCODE:
1224{ 1465{
1225 int i; 1466 int i;
1467 aio_req req;
1468
1469 if (grp->fd == 2)
1470 croak ("cannot add requests to IO::AIO::GRP after the group finished");
1226 1471
1227 for (i = 1; i < items; ++i ) 1472 for (i = 1; i < items; ++i )
1228 { 1473 {
1229 aio_req req = SvAIO_REQ (ST (i));
1230
1231 req->grp_prev = grp;
1232 req->grp_next = grp->grp_next;
1233 grp->grp_next->grp_prev = req;
1234 grp->grp_next = req;
1235
1236 req->grp = grp;
1237
1238 if (GIMME_V != G_VOID) 1474 if (GIMME_V != G_VOID)
1239 XPUSHs (sv_2mortal (newSVsv (ST (i)))); 1475 XPUSHs (sv_2mortal (newSVsv (ST (i))));
1476
1477 req = SvAIO_REQ (ST (i));
1478
1479 if (req)
1480 {
1481 ++grp->length;
1482 req->grp = grp;
1483
1484 req->grp_prev = 0;
1485 req->grp_next = grp->grp_first;
1486
1487 if (grp->grp_first)
1488 grp->grp_first->grp_prev = req;
1489
1490 grp->grp_first = req;
1491 }
1240 } 1492 }
1241} 1493}
1242 1494
1495void
1496cancel_subs (aio_req_ornot req)
1497 CODE:
1498 req_cancel_subs (req);
1499
1500void
1501result (aio_req grp, ...)
1502 CODE:
1503{
1504 int i;
1505 AV *av = newAV ();
1506
1507 for (i = 1; i < items; ++i )
1508 av_push (av, newSVsv (ST (i)));
1509
1510 SvREFCNT_dec (grp->data);
1511 grp->data = (SV *)av;
1512}
1513
1514void
1515limit (aio_req grp, int limit)
1516 CODE:
1517 grp->fd2 = limit;
1518 aio_grp_feed (grp);
1519
1520void
1521feed (aio_req grp, SV *callback=&PL_sv_undef)
1522 CODE:
1523{
1524 SvREFCNT_dec (grp->fh2);
1525 grp->fh2 = newSVsv (callback);
1526
1527 if (grp->fd2 <= 0)
1528 grp->fd2 = 2;
1529
1530 aio_grp_feed (grp);
1531}
1532

Diff Legend

– Removed lines
+ Added lines
< Changed lines
> Changed lines