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.54 by root, Mon Oct 23 00:34:36 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,
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_GROUP, REQ_NOP, 86 REQ_GROUP, REQ_NOP,
61 REQ_SLEEP, 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 *volatile next; 95 struct aio_cb *volatile next;
70
71 struct aio_cb *grp, *grp_prev, *grp_next, *grp_first;
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;
93 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;
135
94static int started, wanted; 136static int started, wanted;
95static volatile int nreqs; 137static volatile int nreqs;
96static int max_outstanding = 1<<30;
97static int respipe [2]; 138static int respipe [2];
98 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
99static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER; 189static pthread_mutex_t reslock = AIO_MUTEX_INIT;
100static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER; 190static pthread_mutex_t reqlock = AIO_MUTEX_INIT;
101static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER; 191static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER;
102 192
103static volatile aio_req reqs, reqe; /* queue start, queue end */ 193/*
104static 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;
105 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 ();
106static void req_invoke (aio_req req); 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{
112 if (!req->self) 255 if (!req->self)
130 return mg ? (aio_req)mg->mg_ptr : 0; 273 return mg ? (aio_req)mg->mg_ptr : 0;
131} 274}
132 275
133static void aio_grp_feed (aio_req grp) 276static void aio_grp_feed (aio_req grp)
134{ 277{
135 while (grp->length < grp->fd2) 278 while (grp->length < grp->fd2 && !(grp->flags & FLAG_CANCELLED))
136 { 279 {
137 int old_len = grp->length; 280 int old_len = grp->length;
138 281
139 if (grp->fh2 && SvOK (grp->fh2)) 282 if (grp->fh2 && SvOK (grp->fh2))
140 { 283 {
143 ENTER; 286 ENTER;
144 SAVETMPS; 287 SAVETMPS;
145 PUSHMARK (SP); 288 PUSHMARK (SP);
146 XPUSHs (req_sv (grp, AIO_GRP_KLASS)); 289 XPUSHs (req_sv (grp, AIO_GRP_KLASS));
147 PUTBACK; 290 PUTBACK;
148 call_sv (grp->fh2, G_VOID | G_EVAL); 291 call_sv (grp->fh2, G_VOID | G_EVAL | G_KEEPERR);
149 SPAGAIN; 292 SPAGAIN;
150 FREETMPS; 293 FREETMPS;
151 LEAVE; 294 LEAVE;
152 } 295 }
153 296
176 } 319 }
177} 320}
178 321
179static void poll_wait () 322static void poll_wait ()
180{ 323{
181 if (nreqs && !ress)
182 {
183 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
184 FD_ZERO(&rfd); 340 FD_ZERO(&rfd);
185 FD_SET(respipe [0], &rfd); 341 FD_SET(respipe [0], &rfd);
186 342
187 select (respipe [0] + 1, &rfd, 0, 0, 0); 343 select (respipe [0] + 1, &rfd, 0, 0, 0);
188 } 344 }
189} 345}
190 346
191static void req_invoke (aio_req req) 347static void req_invoke (aio_req req)
192{ 348{
193 dSP; 349 dSP;
194 int errorno = errno;
195 350
196 if (req->cancelled || !SvOK (req->callback)) 351 if (!(req->flags & FLAG_CANCELLED) && SvOK (req->callback))
197 return; 352 {
198
199 errno = req->errorno; 353 errno = req->errorno;
200 354
201 ENTER; 355 ENTER;
202 SAVETMPS; 356 SAVETMPS;
203 PUSHMARK (SP); 357 PUSHMARK (SP);
204 EXTEND (SP, 1); 358 EXTEND (SP, 1);
205 359
206 switch (req->type) 360 switch (req->type)
207 {
208 case REQ_READDIR:
209 { 361 {
210 SV *rv = &PL_sv_undef; 362 case REQ_READDIR:
211
212 if (req->result >= 0)
213 { 363 {
214 char *buf = req->data2ptr; 364 SV *rv = &PL_sv_undef;
215 AV *av = newAV ();
216 365
217 while (req->result) 366 if (req->result >= 0)
218 { 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 {
219 SV *sv = newSVpv (buf, 0); 376 SV *sv = newSVpv (buf, 0);
220 377
221 av_push (av, sv); 378 av_store (av, i, sv);
222 buf += SvCUR (sv) + 1; 379 buf += SvCUR (sv) + 1;
223 req->result--; 380 }
381
382 rv = sv_2mortal (newRV_noinc ((SV *)av));
224 } 383 }
225 384
226 rv = sv_2mortal (newRV_noinc ((SV *)av)); 385 PUSHs (rv);
227 } 386 }
387 break;
228 388
229 PUSHs (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;
230 } 427 }
231 break;
232 428
233 case REQ_OPEN:
234 {
235 /* convert fd to fh */
236 SV *fh;
237 429
238 PUSHs (sv_2mortal (newSViv (req->result)));
239 PUTBACK; 430 PUTBACK;
240 call_pv ("IO::AIO::_fd2fh", G_SCALAR | G_EVAL);
241 SPAGAIN;
242
243 fh = SvREFCNT_inc (POPs);
244
245 PUSHMARK (SP);
246 XPUSHs (sv_2mortal (fh));
247 }
248 break;
249
250 case REQ_GROUP:
251 req->fd = 2; /* mark group as finished */
252
253 if (req->data)
254 {
255 int i;
256 AV *av = (AV *)req->data;
257
258 EXTEND (SP, AvFILL (av) + 1);
259 for (i = 0; i <= AvFILL (av); ++i)
260 PUSHs (*av_fetch (av, i, 0));
261 }
262 break;
263
264 case REQ_NOP:
265 case REQ_SLEEP:
266 break;
267
268 default:
269 PUSHs (sv_2mortal (newSViv (req->result)));
270 break;
271 }
272
273
274 PUTBACK;
275 call_sv (req->callback, G_VOID | G_EVAL); 431 call_sv (req->callback, G_VOID | G_EVAL);
276 SPAGAIN; 432 SPAGAIN;
277 433
278 FREETMPS; 434 FREETMPS;
279 LEAVE; 435 LEAVE;
280
281 errno = errorno;
282
283 if (SvTRUE (ERRSV))
284 { 436 }
285 req_free (req);
286 croak (0);
287 }
288}
289 437
290static void req_free (aio_req req)
291{
292 if (req->grp) 438 if (req->grp)
293 { 439 {
294 aio_req grp = req->grp; 440 aio_req grp = req->grp;
295 441
296 /* unlink request */ 442 /* unlink request */
301 grp->grp_first = req->grp_next; 447 grp->grp_first = req->grp_next;
302 448
303 aio_grp_dec (grp); 449 aio_grp_dec (grp);
304 } 450 }
305 451
452 if (SvTRUE (ERRSV))
453 {
454 req_free (req);
455 croak (0);
456 }
457}
458
459static void req_free (aio_req req)
460{
306 if (req->self) 461 if (req->self)
307 { 462 {
308 sv_unmagic (req->self, PERL_MAGIC_ext); 463 sv_unmagic (req->self, PERL_MAGIC_ext);
309 SvREFCNT_dec (req->self); 464 SvREFCNT_dec (req->self);
310 } 465 }
313 SvREFCNT_dec (req->fh); 468 SvREFCNT_dec (req->fh);
314 SvREFCNT_dec (req->fh2); 469 SvREFCNT_dec (req->fh2);
315 SvREFCNT_dec (req->callback); 470 SvREFCNT_dec (req->callback);
316 Safefree (req->statdata); 471 Safefree (req->statdata);
317 472
318 if (req->type == REQ_READDIR && req->result >= 0) 473 if (req->type == REQ_READDIR)
319 free (req->data2ptr); 474 free (req->data2ptr);
320 475
321 Safefree (req); 476 Safefree (req);
322} 477}
323 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
324static void req_cancel (aio_req req) 493static void req_cancel (aio_req req)
325{ 494{
326 req->cancelled = 1; 495 req->flags |= FLAG_CANCELLED;
327 496
328 if (req->type == REQ_GROUP) 497 req_cancel_subs (req);
329 {
330 aio_req sub;
331
332 for (sub = req->grp_first; sub; sub = sub->grp_next)
333 req_cancel (sub);
334 }
335} 498}
336 499
337static int poll_cb () 500static int poll_cb ()
338{ 501{
339 dSP; 502 dSP;
341 int do_croak = 0; 504 int do_croak = 0;
342 aio_req req; 505 aio_req req;
343 506
344 for (;;) 507 for (;;)
345 { 508 {
346 pthread_mutex_lock (&reslock); 509 LOCK (reslock);
347 req = ress; 510 req = reqq_shift (&res_queue);
348 511
349 if (req) 512 if (req)
350 { 513 {
351 ress = req->next;
352
353 if (!ress) 514 if (!res_queue.size)
354 { 515 {
355 /* read any signals sent by the worker threads */ 516 /* read any signals sent by the worker threads */
356 char buf [32]; 517 char buf [32];
357 while (read (respipe [0], buf, 32) == 32) 518 while (read (respipe [0], buf, 32) == 32)
358 ; 519 ;
359
360 rese = 0;
361 } 520 }
362 } 521 }
363 522
364 pthread_mutex_unlock (&reslock); 523 UNLOCK (reslock);
365 524
366 if (!req) 525 if (!req)
367 break; 526 break;
368 527
369 --nreqs; 528 --nreqs;
404static void *aio_proc(void *arg); 563static void *aio_proc(void *arg);
405 564
406static void start_thread (void) 565static void start_thread (void)
407{ 566{
408 sigset_t fullsigset, oldsigset; 567 sigset_t fullsigset, oldsigset;
409 pthread_t tid;
410 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");
411 574
412 pthread_attr_init (&attr); 575 pthread_attr_init (&attr);
413 pthread_attr_setstacksize (&attr, STACKSIZE); 576 pthread_attr_setstacksize (&attr, STACKSIZE);
414 pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED); 577 pthread_attr_setdetachstate (&attr, PTHREAD_CREATE_DETACHED);
415 578
416 sigfillset (&fullsigset); 579 sigfillset (&fullsigset);
580
581 LOCK (wrklock);
417 sigprocmask (SIG_SETMASK, &fullsigset, &oldsigset); 582 sigprocmask (SIG_SETMASK, &fullsigset, &oldsigset);
418 583
419 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;
420 started++; 590 started++;
591 }
592 else
593 free (wrk);
421 594
422 sigprocmask (SIG_SETMASK, &oldsigset, 0); 595 sigprocmask (SIG_SETMASK, &oldsigset, 0);
596 UNLOCK (wrklock);
423} 597}
424 598
425static void req_send (aio_req req) 599static void req_send (aio_req req)
426{ 600{
427 while (started < wanted && nreqs >= started) 601 while (started < wanted && nreqs >= started)
428 start_thread (); 602 start_thread ();
429 603
430 ++nreqs; 604 ++nreqs;
431 605
432 pthread_mutex_lock (&reqlock); 606 LOCK (reqlock);
433 607 reqq_push (&req_queue, req);
434 req->next = 0;
435
436 if (reqe)
437 {
438 reqe->next = req;
439 reqe = req;
440 }
441 else
442 reqe = reqs = req;
443
444 pthread_cond_signal (&reqwait); 608 pthread_cond_signal (&reqwait);
445 pthread_mutex_unlock (&reqlock); 609 UNLOCK (reqlock);
446
447 if (nreqs > max_outstanding)
448 for (;;)
449 {
450 poll_cb ();
451
452 if (nreqs <= max_outstanding)
453 break;
454
455 poll_wait ();
456 }
457} 610}
458 611
459static void end_thread (void) 612static void end_thread (void)
460{ 613{
461 aio_req req; 614 aio_req req;
615
462 Newz (0, req, 1, aio_cb); 616 Newz (0, req, 1, aio_cb);
617
463 req->type = REQ_QUIT; 618 req->type = REQ_QUIT;
619 req->pri = PRI_MAX + PRI_BIAS;
464 620
465 req_send (req); 621 req_send (req);
466} 622}
467 623
468static void min_parallel (int nthreads) 624static void min_parallel (int nthreads)
520static 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)
521{ 677{
522 ssize_t res; 678 ssize_t res;
523 off_t ooffset; 679 off_t ooffset;
524 680
525 pthread_mutex_lock (&preadwritelock); 681 LOCK (preadwritelock);
526 ooffset = lseek (fd, 0, SEEK_CUR); 682 ooffset = lseek (fd, 0, SEEK_CUR);
527 lseek (fd, offset, SEEK_SET); 683 lseek (fd, offset, SEEK_SET);
528 res = read (fd, buf, count); 684 res = read (fd, buf, count);
529 lseek (fd, ooffset, SEEK_SET); 685 lseek (fd, ooffset, SEEK_SET);
530 pthread_mutex_unlock (&preadwritelock); 686 UNLOCK (preadwritelock);
531 687
532 return res; 688 return res;
533} 689}
534 690
535static 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)
536{ 692{
537 ssize_t res; 693 ssize_t res;
538 off_t ooffset; 694 off_t ooffset;
539 695
540 pthread_mutex_lock (&preadwritelock); 696 LOCK (preadwritelock);
541 ooffset = lseek (fd, 0, SEEK_CUR); 697 ooffset = lseek (fd, 0, SEEK_CUR);
542 lseek (fd, offset, SEEK_SET); 698 lseek (fd, offset, SEEK_SET);
543 res = write (fd, buf, count); 699 res = write (fd, buf, count);
544 lseek (fd, offset, SEEK_SET); 700 lseek (fd, offset, SEEK_SET);
545 pthread_mutex_unlock (&preadwritelock); 701 UNLOCK (preadwritelock);
546 702
547 return res; 703 return res;
548} 704}
549#endif 705#endif
550 706
551#if !HAVE_FDATASYNC 707#if !HAVE_FDATASYNC
552# define fdatasync fsync 708# define fdatasync fsync
553#endif 709#endif
554 710
555#if !HAVE_READAHEAD 711#if !HAVE_READAHEAD
556# define readahead aio_readahead 712# define readahead(fd,offset,count) aio_readahead (fd, offset, count, self)
557 713
558static 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)
559{ 715{
560 char readahead_buf[4096]; 716 dBUF;
561 717
562 while (count > 0) 718 while (count > 0)
563 { 719 {
564 size_t len = count < sizeof (readahead_buf) ? count : sizeof (readahead_buf); 720 size_t len = count < AIO_BUFSIZE ? count : AIO_BUFSIZE;
565 721
566 pread (fd, readahead_buf, len, offset); 722 pread (fd, aio_buf, len, offset);
567 offset += len; 723 offset += len;
568 count -= len; 724 count -= len;
569 } 725 }
570 726
571 errno = 0; 727 errno = 0;
572} 728}
729
573#endif 730#endif
574 731
575#if !HAVE_READDIR_R 732#if !HAVE_READDIR_R
576# define readdir_r aio_readdir_r 733# define readdir_r aio_readdir_r
577 734
580static int readdir_r (DIR *dirp, struct dirent *ent, struct dirent **res) 737static int readdir_r (DIR *dirp, struct dirent *ent, struct dirent **res)
581{ 738{
582 struct dirent *e; 739 struct dirent *e;
583 int errorno; 740 int errorno;
584 741
585 pthread_mutex_lock (&readdirlock); 742 LOCK (readdirlock);
586 743
587 e = readdir (dirp); 744 e = readdir (dirp);
588 errorno = errno; 745 errorno = errno;
589 746
590 if (e) 747 if (e)
593 strcpy (ent->d_name, e->d_name); 750 strcpy (ent->d_name, e->d_name);
594 } 751 }
595 else 752 else
596 *res = 0; 753 *res = 0;
597 754
598 pthread_mutex_unlock (&readdirlock); 755 UNLOCK (readdirlock);
599 756
600 errno = errorno; 757 errno = errorno;
601 return e ? 0 : -1; 758 return e ? 0 : -1;
602} 759}
603#endif 760#endif
604 761
605/* sendfile always needs emulation */ 762/* sendfile always needs emulation */
606static 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)
607{ 764{
608 ssize_t res; 765 ssize_t res;
609 766
610 if (!count) 767 if (!count)
611 return 0; 768 return 0;
660#endif 817#endif
661 ) 818 )
662 ) 819 )
663 { 820 {
664 /* emulate sendfile. this is a major pain in the ass */ 821 /* emulate sendfile. this is a major pain in the ass */
665 char buf[4096]; 822 dBUF;
823
666 res = 0; 824 res = 0;
667 825
668 while (count) 826 while (count)
669 { 827 {
670 ssize_t cnt; 828 ssize_t cnt;
671 829
672 cnt = pread (ifd, buf, count > 4096 ? 4096 : count, offset); 830 cnt = pread (ifd, aio_buf, count > AIO_BUFSIZE ? AIO_BUFSIZE : count, offset);
673 831
674 if (cnt <= 0) 832 if (cnt <= 0)
675 { 833 {
676 if (cnt && !res) res = -1; 834 if (cnt && !res) res = -1;
677 break; 835 break;
678 } 836 }
679 837
680 cnt = write (ofd, buf, cnt); 838 cnt = write (ofd, aio_buf, cnt);
681 839
682 if (cnt <= 0) 840 if (cnt <= 0)
683 { 841 {
684 if (cnt && !res) res = -1; 842 if (cnt && !res) res = -1;
685 break; 843 break;
693 851
694 return res; 852 return res;
695} 853}
696 854
697/* read a full directory */ 855/* read a full directory */
698static int scandir_ (const char *path, void **namesp) 856static void scandir_ (aio_req req, worker *self)
699{ 857{
700 DIR *dirp = opendir (path); 858 DIR *dirp;
701 union 859 union
702 { 860 {
703 struct dirent d; 861 struct dirent d;
704 char b [offsetof (struct dirent, d_name) + NAME_MAX + 1]; 862 char b [offsetof (struct dirent, d_name) + NAME_MAX + 1];
705 } u; 863 } *u;
706 struct dirent *entp; 864 struct dirent *entp;
707 char *name, *names; 865 char *name, *names;
708 int memlen = 4096; 866 int memlen = 4096;
709 int memofs = 0; 867 int memofs = 0;
710 int res = 0; 868 int res = 0;
711 int errorno; 869 int errorno;
712 870
713 if (!dirp) 871 LOCK (wrklock);
714 return -1; 872 self->dirp = dirp = opendir (req->dataptr);
873 self->dbuf = u = malloc (sizeof (*u));
874 UNLOCK (wrklock);
715 875
716 names = malloc (memlen); 876 req->data2ptr = names = malloc (memlen);
717 877
878 if (dirp && u && names)
718 for (;;) 879 for (;;)
719 { 880 {
881 errno = 0;
720 errno = 0, readdir_r (dirp, &u.d, &entp); 882 readdir_r (dirp, &u->d, &entp);
721 883
722 if (!entp) 884 if (!entp)
723 break; 885 break;
724 886
725 name = entp->d_name; 887 name = entp->d_name;
726 888
727 if (name [0] != '.' || (name [1] && (name [1] != '.' || name [2]))) 889 if (name [0] != '.' || (name [1] && (name [1] != '.' || name [2])))
728 { 890 {
729 int len = strlen (name) + 1; 891 int len = strlen (name) + 1;
730 892
731 res++; 893 res++;
732 894
733 while (memofs + len > memlen) 895 while (memofs + len > memlen)
734 { 896 {
735 memlen *= 2; 897 memlen *= 2;
898 LOCK (wrklock);
736 names = realloc (names, memlen); 899 req->data2ptr = names = realloc (names, memlen);
900 UNLOCK (wrklock);
901
737 if (!names) 902 if (!names)
738 break; 903 break;
739 } 904 }
740 905
741 memcpy (names + memofs, name, len); 906 memcpy (names + memofs, name, len);
742 memofs += len; 907 memofs += len;
743 } 908 }
744 } 909 }
745 910
746 errorno = errno;
747 closedir (dirp);
748
749 if (errorno) 911 if (errno)
750 {
751 free (names);
752 errno = errorno;
753 res = -1; 912 res = -1;
754 } 913
755 914 req->result = res;
756 *namesp = (void *)names;
757 return res;
758} 915}
759 916
760/*****************************************************************************/ 917/*****************************************************************************/
761 918
762static void *aio_proc (void *thr_arg) 919static void *aio_proc (void *thr_arg)
763{ 920{
764 aio_req req; 921 aio_req req;
765 int type; 922 int type;
923 worker *self = (worker *)thr_arg;
766 924
767 do 925 do
768 { 926 {
769 pthread_mutex_lock (&reqlock); 927 LOCK (reqlock);
770 928
771 for (;;) 929 for (;;)
772 { 930 {
773 req = reqs; 931 self->req = req = reqq_shift (&req_queue);
774
775 if (reqs)
776 {
777 reqs = reqs->next;
778 if (!reqs) reqe = 0;
779 }
780 932
781 if (req) 933 if (req)
782 break; 934 break;
783 935
784 pthread_cond_wait (&reqwait, &reqlock); 936 pthread_cond_wait (&reqwait, &reqlock);
785 } 937 }
786 938
787 pthread_mutex_unlock (&reqlock); 939 UNLOCK (reqlock);
788 940
789 errno = 0; /* strictly unnecessary */ 941 errno = 0; /* strictly unnecessary */
790
791 if (!req->cancelled)
792 switch (type = req->type) /* remember type for QUIT check */ 942 type = req->type; /* remember type for QUIT check */
943
944 if (!(req->flags & FLAG_CANCELLED))
945 switch (type)
793 { 946 {
794 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;
795 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;
796 949
797 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;
798 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;
799 952
800 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 953 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
801 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 954 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
802 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 955 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
803 956
809 case REQ_LINK: req->result = link (req->data2ptr, req->dataptr); break; 962 case REQ_LINK: req->result = link (req->data2ptr, req->dataptr); break;
810 case REQ_SYMLINK: req->result = symlink (req->data2ptr, req->dataptr); break; 963 case REQ_SYMLINK: req->result = symlink (req->data2ptr, req->dataptr); break;
811 964
812 case REQ_FDATASYNC: req->result = fdatasync (req->fd); break; 965 case REQ_FDATASYNC: req->result = fdatasync (req->fd); break;
813 case REQ_FSYNC: req->result = fsync (req->fd); break; 966 case REQ_FSYNC: req->result = fsync (req->fd); break;
814 case REQ_READDIR: req->result = scandir_ (req->dataptr, &req->data2ptr); break; 967 case REQ_READDIR: scandir_ (req, self); break;
815 968
816 case REQ_SLEEP: 969 case REQ_BUSY:
817 { 970 {
818 struct timeval tv; 971 struct timeval tv;
819 972
820 tv.tv_sec = req->fd; 973 tv.tv_sec = req->fd;
821 tv.tv_usec = req->fd2; 974 tv.tv_usec = req->fd2;
822 975
823 req->result = select (0, 0, 0, 0, &tv); 976 req->result = select (0, 0, 0, 0, &tv);
824 } 977 }
825 978
826 case REQ_GROUP: /*TODO: should not be handled here */ 979 case REQ_GROUP:
827 case REQ_NOP: /*TODO: should not be handled here */ 980 case REQ_NOP:
828 case REQ_QUIT: 981 case REQ_QUIT:
829 break; 982 break;
830 983
831 default: 984 default:
832 req->result = ENOSYS; 985 req->result = ENOSYS;
833 break; 986 break;
834 } 987 }
835 988
836 req->errorno = errno; 989 req->errorno = errno;
837 990
838 pthread_mutex_lock (&reslock); 991 LOCK (reslock);
839 992
840 req->next = 0; 993 if (!reqq_push (&res_queue, req))
841
842 if (rese)
843 {
844 rese->next = req;
845 rese = req;
846 }
847 else
848 {
849 rese = ress = req;
850
851 /* write a dummy byte to the pipe so fh becomes ready */ 994 /* write a dummy byte to the pipe so fh becomes ready */
852 write (respipe [1], &respipe, 1); 995 write (respipe [1], &respipe, 1);
853 }
854 996
855 pthread_mutex_unlock (&reslock); 997 self->req = 0;
998 worker_clear (self);
999
1000 UNLOCK (reslock);
856 } 1001 }
857 while (type != REQ_QUIT); 1002 while (type != REQ_QUIT);
858 1003
1004 LOCK (wrklock);
1005 worker_free (self);
1006 UNLOCK (wrklock);
1007
859 return 0; 1008 return 0;
860} 1009}
861 1010
862/*****************************************************************************/ 1011/*****************************************************************************/
863 1012
864static void atfork_prepare (void) 1013static void atfork_prepare (void)
865{ 1014{
866 pthread_mutex_lock (&reqlock); 1015 LOCK (wrklock);
867 pthread_mutex_lock (&reslock); 1016 LOCK (reqlock);
1017 LOCK (reslock);
868#if !HAVE_PREADWRITE 1018#if !HAVE_PREADWRITE
869 pthread_mutex_lock (&preadwritelock); 1019 LOCK (preadwritelock);
870#endif 1020#endif
871#if !HAVE_READDIR_R 1021#if !HAVE_READDIR_R
872 pthread_mutex_lock (&readdirlock); 1022 LOCK (readdirlock);
873#endif 1023#endif
874} 1024}
875 1025
876static void atfork_parent (void) 1026static void atfork_parent (void)
877{ 1027{
878#if !HAVE_READDIR_R 1028#if !HAVE_READDIR_R
879 pthread_mutex_unlock (&readdirlock); 1029 UNLOCK (readdirlock);
880#endif 1030#endif
881#if !HAVE_PREADWRITE 1031#if !HAVE_PREADWRITE
882 pthread_mutex_unlock (&preadwritelock); 1032 UNLOCK (preadwritelock);
883#endif 1033#endif
884 pthread_mutex_unlock (&reslock); 1034 UNLOCK (reslock);
885 pthread_mutex_unlock (&reqlock); 1035 UNLOCK (reqlock);
1036 UNLOCK (wrklock);
886} 1037}
887 1038
888static void atfork_child (void) 1039static void atfork_child (void)
889{ 1040{
890 aio_req prv; 1041 aio_req prv;
891 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
892 started = 0; 1060 started = 0;
893 1061 nreqs = 0;
894 while (reqs)
895 {
896 prv = reqs;
897 reqs = prv->next;
898 req_free (prv);
899 }
900
901 reqs = reqe = 0;
902
903 while (ress)
904 {
905 prv = ress;
906 ress = prv->next;
907 req_free (prv);
908 }
909
910 ress = rese = 0;
911 1062
912 close (respipe [0]); 1063 close (respipe [0]);
913 close (respipe [1]); 1064 close (respipe [1]);
914 create_pipe (); 1065 create_pipe ();
915 1066
916 atfork_parent (); 1067 atfork_parent ();
917} 1068}
918 1069
919#define dREQ \ 1070#define dREQ \
920 aio_req req; \ 1071 aio_req req; \
1072 int req_pri = next_pri; \
1073 next_pri = DEFAULT_PRI + PRI_BIAS; \
921 \ 1074 \
922 if (SvOK (callback) && !SvROK (callback)) \ 1075 if (SvOK (callback) && !SvROK (callback)) \
923 croak ("callback must be undef or of reference type"); \ 1076 croak ("callback must be undef or of reference type"); \
924 \ 1077 \
925 Newz (0, req, 1, aio_cb); \ 1078 Newz (0, req, 1, aio_cb); \
926 if (!req) \ 1079 if (!req) \
927 croak ("out of memory during aio_req allocation"); \ 1080 croak ("out of memory during aio_req allocation"); \
928 \ 1081 \
929 req->callback = newSVsv (callback) 1082 req->callback = newSVsv (callback); \
1083 req->pri = req_pri
930 1084
931#define REQ_SEND \ 1085#define REQ_SEND \
932 req_send (req); \ 1086 req_send (req); \
933 \ 1087 \
934 if (GIMME_V != G_VOID) \ 1088 if (GIMME_V != G_VOID) \
956 1110
957void 1111void
958max_parallel (nthreads) 1112max_parallel (nthreads)
959 int nthreads 1113 int nthreads
960 PROTOTYPE: $ 1114 PROTOTYPE: $
961
962int
963max_outstanding (nreqs)
964 int nreqs
965 PROTOTYPE: $
966 CODE:
967 RETVAL = max_outstanding;
968 max_outstanding = nreqs;
969 1115
970void 1116void
971aio_open (pathname,flags,mode,callback=&PL_sv_undef) 1117aio_open (pathname,flags,mode,callback=&PL_sv_undef)
972 SV * pathname 1118 SV * pathname
973 int flags 1119 int flags
1188 1334
1189 REQ_SEND; 1335 REQ_SEND;
1190} 1336}
1191 1337
1192void 1338void
1193aio_sleep (delay,callback=&PL_sv_undef) 1339aio_busy (delay,callback=&PL_sv_undef)
1194 double delay 1340 double delay
1195 SV * callback 1341 SV * callback
1196 PPCODE: 1342 PPCODE:
1197{ 1343{
1198 dREQ; 1344 dREQ;
1199 1345
1200 req->type = REQ_SLEEP; 1346 req->type = REQ_BUSY;
1201 req->fd = delay < 0. ? 0 : delay; 1347 req->fd = delay < 0. ? 0 : delay;
1202 req->fd2 = delay < 0. ? 0 : 1000. * (delay - req->fd); 1348 req->fd2 = delay < 0. ? 0 : 1000. * (delay - req->fd);
1203 1349
1204 REQ_SEND; 1350 REQ_SEND;
1205} 1351}
1209 SV * callback 1355 SV * callback
1210 PROTOTYPE: ;$ 1356 PROTOTYPE: ;$
1211 PPCODE: 1357 PPCODE:
1212{ 1358{
1213 dREQ; 1359 dREQ;
1360
1214 req->type = REQ_GROUP; 1361 req->type = REQ_GROUP;
1215 req_send (req); 1362 req_send (req);
1363
1216 XPUSHs (req_sv (req, AIO_GRP_KLASS)); 1364 XPUSHs (req_sv (req, AIO_GRP_KLASS));
1217} 1365}
1218 1366
1219void 1367void
1220aio_nop (callback=&PL_sv_undef) 1368aio_nop (callback=&PL_sv_undef)
1225 1373
1226 req->type = REQ_NOP; 1374 req->type = REQ_NOP;
1227 1375
1228 REQ_SEND; 1376 REQ_SEND;
1229} 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;
1230 1393
1231void 1394void
1232flush () 1395flush ()
1233 PROTOTYPE: 1396 PROTOTYPE:
1234 CODE: 1397 CODE:
1283 1446
1284MODULE = IO::AIO PACKAGE = IO::AIO::REQ 1447MODULE = IO::AIO PACKAGE = IO::AIO::REQ
1285 1448
1286void 1449void
1287cancel (aio_req_ornot req) 1450cancel (aio_req_ornot req)
1288 PROTOTYPE:
1289 CODE: 1451 CODE:
1290 req_cancel (req); 1452 req_cancel (req);
1453
1454void
1455cb (aio_req_ornot req, SV *callback=&PL_sv_undef)
1456 CODE:
1457 SvREFCNT_dec (req->callback);
1458 req->callback = newSVsv (callback);
1291 1459
1292MODULE = IO::AIO PACKAGE = IO::AIO::GRP 1460MODULE = IO::AIO PACKAGE = IO::AIO::GRP
1293 1461
1294void 1462void
1295add (aio_req grp, ...) 1463add (aio_req grp, ...)
1323 } 1491 }
1324 } 1492 }
1325} 1493}
1326 1494
1327void 1495void
1496cancel_subs (aio_req_ornot req)
1497 CODE:
1498 req_cancel_subs (req);
1499
1500void
1328result (aio_req grp, ...) 1501result (aio_req grp, ...)
1329 CODE: 1502 CODE:
1330{ 1503{
1331 int i; 1504 int i;
1332 AV *av = newAV (); 1505 AV *av = newAV ();
1337 SvREFCNT_dec (grp->data); 1510 SvREFCNT_dec (grp->data);
1338 grp->data = (SV *)av; 1511 grp->data = (SV *)av;
1339} 1512}
1340 1513
1341void 1514void
1342lock (aio_req grp)
1343 CODE:
1344 ++grp->length;
1345
1346void
1347unlock (aio_req grp)
1348 CODE:
1349 aio_grp_dec (grp);
1350
1351void
1352feeder_limit (aio_req grp, int limit) 1515limit (aio_req grp, int limit)
1353 CODE: 1516 CODE:
1354 grp->fd2 = limit; 1517 grp->fd2 = limit;
1355 aio_grp_feed (grp); 1518 aio_grp_feed (grp);
1356 1519
1357void 1520void
1358set_feeder (aio_req grp, SV *callback=&PL_sv_undef) 1521feed (aio_req grp, SV *callback=&PL_sv_undef)
1359 CODE: 1522 CODE:
1360{ 1523{
1361 SvREFCNT_dec (grp->fh2); 1524 SvREFCNT_dec (grp->fh2);
1362 grp->fh2 = newSVsv (callback); 1525 grp->fh2 = newSVsv (callback);
1363 1526

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines