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.16 by root, Sun Jul 31 18:20:07 2005 UTC vs.
Revision 1.27 by root, Wed Aug 17 04:47:02 2005 UTC

1#define _REENTRANT 1
2#include <errno.h>
3
1#include "EXTERN.h" 4#include "EXTERN.h"
2#include "perl.h" 5#include "perl.h"
3#include "XSUB.h" 6#include "XSUB.h"
4 7
5#include "autoconf/config.h" 8#include "autoconf/config.h"
… …
26 29
27enum { 30enum {
28 REQ_QUIT, 31 REQ_QUIT,
29 REQ_OPEN, REQ_CLOSE, 32 REQ_OPEN, REQ_CLOSE,
30 REQ_READ, REQ_WRITE, REQ_READAHEAD, 33 REQ_READ, REQ_WRITE, REQ_READAHEAD,
31 REQ_STAT, REQ_LSTAT, REQ_FSTAT, REQ_UNLINK, 34 REQ_STAT, REQ_LSTAT, REQ_FSTAT,
32 REQ_FSYNC, REQ_FDATASYNC, 35 REQ_FSYNC, REQ_FDATASYNC,
36 REQ_UNLINK, REQ_RMDIR,
37 REQ_SYMLINK,
33}; 38};
34 39
35typedef struct aio_cb { 40typedef struct aio_cb {
36 struct aio_cb *volatile next; 41 struct aio_cb *volatile next;
37 42
… …
42 size_t length; 47 size_t length;
43 ssize_t result; 48 ssize_t result;
44 mode_t mode; /* open */ 49 mode_t mode; /* open */
45 int errorno; 50 int errorno;
46 SV *data, *callback, *fh; 51 SV *data, *callback, *fh;
47 void *dataptr; 52 void *dataptr, *data2ptr;
48 STRLEN dataoffset; 53 STRLEN dataoffset;
49 54
50 Stat_t *statdata; 55 Stat_t *statdata;
51} aio_cb; 56} aio_cb;
52 57
… …
61static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER; 66static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER;
62static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER; 67static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER;
63 68
64static volatile aio_req reqs, reqe; /* queue start, queue end */ 69static volatile aio_req reqs, reqe; /* queue start, queue end */
65static volatile aio_req ress, rese; /* queue start, queue end */ 70static volatile aio_req ress, rese; /* queue start, queue end */
71
72static void free_req (aio_req req)
73{
74 if (req->data)
75 SvREFCNT_dec (req->data);
76
77 if (req->fh)
78 SvREFCNT_dec (req->fh);
79
80 if (req->statdata)
81 Safefree (req->statdata);
82
83 if (req->callback)
84 SvREFCNT_dec (req->callback);
85
86 Safefree (req);
87}
66 88
67static void 89static void
68poll_wait () 90poll_wait ()
69{ 91{
70 if (nreqs && !ress) 92 if (nreqs && !ress)
… …
80static int 102static int
81poll_cb () 103poll_cb ()
82{ 104{
83 dSP; 105 dSP;
84 int count = 0; 106 int count = 0;
107 int do_croak = 0;
85 aio_req req, prv; 108 aio_req req;
86 109
87 pthread_mutex_lock (&reslock); 110 for (;;)
88
89 {
90 /* read any signals sent by the worker threads */
91 char buf [32];
92 while (read (respipe [0], buf, 32) > 0)
93 ;
94 }
95
96 req = ress;
97 ress = rese = 0;
98
99 pthread_mutex_unlock (&reslock);
100
101 while (req)
102 { 111 {
112 pthread_mutex_lock (&reslock);
113 req = ress;
114
115 if (req)
116 {
117 ress = req->next;
118
119 if (!ress)
120 {
121 rese = 0;
122
123 /* read any signals sent by the worker threads */
124 char buf [32];
125 while (read (respipe [0], buf, 32) == 32)
126 ;
127 }
128 }
129
130 pthread_mutex_unlock (&reslock);
131
132 if (!req)
133 break;
134
103 nreqs--; 135 nreqs--;
104 136
105 if (req->type == REQ_QUIT) 137 if (req->type == REQ_QUIT)
106 started--; 138 started--;
107 else 139 else
108 { 140 {
109 int errorno = errno; 141 int errorno = errno;
110 errno = req->errorno; 142 errno = req->errorno;
111 143
112 if (req->type == REQ_READ) 144 if (req->type == REQ_READ)
113 SvCUR_set (req->data, req->dataoffset 145 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0));
114 + req->result > 0 ? req->result : 0);
115 146
116 if (req->data) 147 if (req->statdata)
117 SvREFCNT_dec (req->data);
118
119 if (req->fh)
120 SvREFCNT_dec (req->fh);
121
122 if (req->type == REQ_STAT || req->type == REQ_LSTAT || req->type == REQ_FSTAT)
123 { 148 {
124 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT; 149 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT;
125 PL_laststatval = req->result; 150 PL_laststatval = req->result;
126 PL_statcache = *(req->statdata); 151 PL_statcache = *(req->statdata);
127
128 Safefree (req->statdata);
129 } 152 }
130 153
131 ENTER; 154 ENTER;
132 PUSHMARK (SP); 155 PUSHMARK (SP);
133 XPUSHs (sv_2mortal (newSViv (req->result))); 156 XPUSHs (sv_2mortal (newSViv (req->result)));
… …
150 if (SvOK (req->callback)) 173 if (SvOK (req->callback))
151 { 174 {
152 PUTBACK; 175 PUTBACK;
153 call_sv (req->callback, G_VOID | G_EVAL); 176 call_sv (req->callback, G_VOID | G_EVAL);
154 SPAGAIN; 177 SPAGAIN;
178
179 if (SvTRUE (ERRSV))
180 {
181 free_req (req);
182 croak (0);
183 }
155 } 184 }
156 185
157 LEAVE; 186 LEAVE;
158
159 if (req->callback)
160 SvREFCNT_dec (req->callback);
161 187
162 errno = errorno; 188 errno = errorno;
163 count++; 189 count++;
164 } 190 }
165 191
166 prv = req; 192 free_req (req);
167 req = req->next;
168 Safefree (prv);
169
170 /* TODO: croak on errors? */
171 } 193 }
172 194
173 return count; 195 return count;
174} 196}
175 197
… …
213 reqe = reqs = req; 235 reqe = reqs = req;
214 236
215 pthread_cond_signal (&reqwait); 237 pthread_cond_signal (&reqwait);
216 pthread_mutex_unlock (&reqlock); 238 pthread_mutex_unlock (&reqlock);
217 239
218 while (nreqs > max_outstanding) 240 if (nreqs > max_outstanding)
241 for (;;)
242 {
243 poll_cb ();
244
245 if (nreqs <= max_outstanding)
246 break;
247
248 poll_wait ();
249 }
250}
251
252static void
253end_thread (void)
254{
255 aio_req req;
256 Newz (0, req, 1, aio_cb);
257 req->type = REQ_QUIT;
258
259 send_req (req);
260}
261
262static void min_parallel (int nthreads)
263{
264 while (nthreads > started)
265 start_thread ();
266}
267
268static void max_parallel (int nthreads)
269{
270 int cur = started;
271
272 while (cur > nthreads)
273 {
274 end_thread ();
275 cur--;
276 }
277
278 while (started > nthreads)
219 { 279 {
220 poll_wait (); 280 poll_wait ();
221 poll_cb (); 281 poll_cb ();
222 } 282 }
223} 283}
224 284
225static void 285static void create_pipe ()
226end_thread (void)
227{ 286{
228 aio_req req; 287 if (pipe (respipe))
229 New (0, req, 1, aio_cb); 288 croak ("unable to initialize result pipe");
230 req->type = REQ_QUIT;
231 289
232 send_req (req); 290 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
291 croak ("cannot set result pipe to nonblocking mode");
292
293 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
294 croak ("cannot set result pipe to nonblocking mode");
233} 295}
296
297static void atfork_prepare (void)
298{
299 for (;;) {
300
301 for (;;)
302 {
303 poll_cb ();
304
305 if (!nreqs)
306 break;
307
308 poll_wait ();
309 }
310
311 pthread_mutex_lock (&reqlock);
312
313 if (!nreqs)
314 break;
315
316 pthread_mutex_unlock (&reqlock);
317 }
318
319 pthread_mutex_lock (&reslock);
320
321 assert (!nreqs && !reqs && !ress);
322}
323
324static void atfork_parent (void)
325{
326 pthread_mutex_unlock (&reslock);
327 pthread_mutex_unlock (&reqlock);
328}
329
330static void atfork_child (void)
331{
332 int restart = started;
333 started = 0;
334
335 atfork_parent ();
336
337 min_parallel (restart);
338}
339
340/*****************************************************************************/
341/* work around various missing functions */
342
343#if !HAVE_PREADWRITE
344# define pread aio_pread
345# define pwrite aio_pwrite
346
347/*
348 * make our pread/pwrite safe against themselves, but not against
349 * normal read/write by using a mutex. slows down execution a lot,
350 * but that's your problem, not mine.
351 */
352static pthread_mutex_t iolock = PTHREAD_MUTEX_INITIALIZER;
353
354static ssize_t
355pread (int fd, void *buf, size_t count, off_t offset)
356{
357 ssize_t res;
358 off_t ooffset;
359
360 pthread_mutex_lock (&iolock);
361 ooffset = lseek (fd, 0, SEEK_CUR);
362 lseek (fd, offset, SEEK_SET);
363 res = read (fd, buf, count);
364 lseek (fd, ooffset, SEEK_SET);
365 pthread_mutex_unlock (&iolock);
366
367 return res;
368}
369
370static ssize_t
371pwrite (int fd, void *buf, size_t count, off_t offset)
372{
373 ssize_t res;
374 off_t ooffset;
375
376 pthread_mutex_lock (&iolock);
377 ooffset = lseek (fd, 0, SEEK_CUR);
378 lseek (fd, offset, SEEK_SET);
379 res = write (fd, buf, count);
380 lseek (fd, offset, SEEK_SET);
381 pthread_mutex_unlock (&iolock);
382
383 return res;
384}
385#endif
386
387#if !HAVE_FDATASYNC
388# define fdatasync fsync
389#endif
390
391#if !HAVE_READAHEAD
392# define readahead aio_readahead
393
394static char readahead_buf[4096];
395
396static ssize_t
397readahead (int fd, off_t offset, size_t count)
398{
399 while (count > 0)
400 {
401 size_t len = count < sizeof (readahead_buf) ? count : sizeof (readahead_buf);
402
403 pread (fd, readahead_buf, len, offset);
404 offset += len;
405 count -= len;
406 }
407
408 errno = 0;
409}
410#endif
411
412/*****************************************************************************/
234 413
235static void * 414static void *
236aio_proc (void *thr_arg) 415aio_proc (void *thr_arg)
237{ 416{
238 aio_req req; 417 aio_req req;
… …
264 443
265 type = req->type; 444 type = req->type;
266 445
267 switch (type) 446 switch (type)
268 { 447 {
269#if HAVE_PREADWRITE
270 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break; 448 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break;
271 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break; 449 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break;
272#else
273# error "pread/pwrite cannot be emulated, fix your os"
274#endif
275 450
276#if HAVE_READAHEAD
277 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break; 451 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break;
278#else
279 // TODO: emulate
280 case REQ_READAHEAD: req->result = -1; errno = ENOSYS; break;
281#endif
282 452
283 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 453 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
284 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 454 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
285 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 455 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
286 456
287 case REQ_OPEN: req->result = open (req->dataptr, req->fd, req->mode); break; 457 case REQ_OPEN: req->result = open (req->dataptr, req->fd, req->mode); break;
288 case REQ_CLOSE: req->result = close (req->fd); break; 458 case REQ_CLOSE: req->result = close (req->fd); break;
289 case REQ_UNLINK: req->result = unlink (req->dataptr); break; 459 case REQ_UNLINK: req->result = unlink (req->dataptr); break;
460 case REQ_RMDIR: req->result = rmdir (req->dataptr); break;
461 case REQ_SYMLINK: req->result = symlink (req->data2ptr, req->dataptr); break;
290 462
291 case REQ_FDATASYNC: 463 case REQ_FDATASYNC: req->result = fdatasync (req->fd); break;
292#if HAVE_FDATASYNC
293 req->result = fdatasync (req->fd); break;
294#endif
295 case REQ_FSYNC: req->result = fsync (req->fd); break; 464 case REQ_FSYNC: req->result = fsync (req->fd); break;
296 465
297 case REQ_QUIT: 466 case REQ_QUIT:
298 break; 467 break;
299 468
… …
326 while (type != REQ_QUIT); 495 while (type != REQ_QUIT);
327 496
328 return 0; 497 return 0;
329} 498}
330 499
500#define dREQ \
501 aio_req req; \
502 \
503 if (SvOK (callback) && !SvROK (callback)) \
504 croak ("clalback must be undef or of reference type"); \
505 \
506 Newz (0, req, 1, aio_cb); \
507 if (!req) \
508 croak ("out of memory during aio_req allocation"); \
509 \
510 req->callback = newSVsv (callback);
511
331MODULE = IO::AIO PACKAGE = IO::AIO 512MODULE = IO::AIO PACKAGE = IO::AIO
332 513
333PROTOTYPES: ENABLE 514PROTOTYPES: ENABLE
334 515
335BOOT: 516BOOT:
336{ 517{
337 if (pipe (respipe)) 518 create_pipe ();
338 croak ("unable to initialize result pipe"); 519 pthread_atfork (atfork_prepare, atfork_parent, atfork_child);
339
340 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
341 croak ("cannot set result pipe to nonblocking mode");
342
343 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
344 croak ("cannot set result pipe to nonblocking mode");
345} 520}
346 521
347void 522void
348min_parallel(nthreads) 523min_parallel(nthreads)
349 int nthreads 524 int nthreads
350 PROTOTYPE: $ 525 PROTOTYPE: $
351 CODE:
352 while (nthreads > started)
353 start_thread ();
354 526
355void 527void
356max_parallel(nthreads) 528max_parallel(nthreads)
357 int nthreads 529 int nthreads
358 PROTOTYPE: $ 530 PROTOTYPE: $
359 CODE:
360{
361 int cur = started;
362 while (cur > nthreads)
363 {
364 end_thread ();
365 cur--;
366 }
367
368 while (started > nthreads)
369 {
370 poll_wait ();
371 poll_cb ();
372 }
373}
374 531
375int 532int
376max_outstanding(nreqs) 533max_outstanding(nreqs)
377 int nreqs 534 int nreqs
378 PROTOTYPE: $ 535 PROTOTYPE: $
… …
387 int mode 544 int mode
388 SV * callback 545 SV * callback
389 PROTOTYPE: $$$;$ 546 PROTOTYPE: $$$;$
390 CODE: 547 CODE:
391{ 548{
392 aio_req req; 549 dREQ;
393
394 Newz (0, req, 1, aio_cb);
395
396 if (!req)
397 croak ("out of memory during aio_req allocation");
398 550
399 req->type = REQ_OPEN; 551 req->type = REQ_OPEN;
400 req->data = newSVsv (pathname); 552 req->data = newSVsv (pathname);
401 req->dataptr = SvPV_nolen (req->data); 553 req->dataptr = SvPVbyte_nolen (req->data);
402 req->fd = flags; 554 req->fd = flags;
403 req->mode = mode; 555 req->mode = mode;
404 req->callback = SvREFCNT_inc (callback);
405 556
406 send_req (req); 557 send_req (req);
407} 558}
408 559
409void 560void
… …
415 aio_close = REQ_CLOSE 566 aio_close = REQ_CLOSE
416 aio_fsync = REQ_FSYNC 567 aio_fsync = REQ_FSYNC
417 aio_fdatasync = REQ_FDATASYNC 568 aio_fdatasync = REQ_FDATASYNC
418 CODE: 569 CODE:
419{ 570{
420 aio_req req; 571 dREQ;
421
422 Newz (0, req, 1, aio_cb);
423
424 if (!req)
425 croak ("out of memory during aio_req allocation");
426 572
427 req->type = ix; 573 req->type = ix;
428 req->fh = newSVsv (fh); 574 req->fh = newSVsv (fh);
429 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh))); 575 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh)));
430 req->callback = SvREFCNT_inc (callback);
431 576
432 send_req (req); 577 send_req (req);
433} 578}
434 579
435void 580void
… …
446 PROTOTYPE: $$$$$;$ 591 PROTOTYPE: $$$$$;$
447 CODE: 592 CODE:
448{ 593{
449 aio_req req; 594 aio_req req;
450 STRLEN svlen; 595 STRLEN svlen;
451 char *svptr = SvPV (data, svlen); 596 char *svptr = SvPVbyte (data, svlen);
452 597
453 SvUPGRADE (data, SVt_PV); 598 SvUPGRADE (data, SVt_PV);
454 SvPOK_on (data); 599 SvPOK_on (data);
455 600
456 if (dataoffset < 0) 601 if (dataoffset < 0)
… …
472 } 617 }
473 618
474 if (length < 0) 619 if (length < 0)
475 croak ("length must not be negative"); 620 croak ("length must not be negative");
476 621
477 Newz (0, req, 1, aio_cb); 622 {
623 dREQ;
478 624
479 if (!req)
480 croak ("out of memory during aio_req allocation");
481
482 req->type = ix; 625 req->type = ix;
483 req->fh = newSVsv (fh); 626 req->fh = newSVsv (fh);
484 req->fd = PerlIO_fileno (ix == REQ_READ ? IoIFP (sv_2io (fh)) 627 req->fd = PerlIO_fileno (ix == REQ_READ ? IoIFP (sv_2io (fh))
485 : IoOFP (sv_2io (fh))); 628 : IoOFP (sv_2io (fh)));
486 req->offset = offset; 629 req->offset = offset;
487 req->length = length; 630 req->length = length;
488 req->data = SvREFCNT_inc (data); 631 req->data = SvREFCNT_inc (data);
489 req->dataptr = (char *)svptr + dataoffset; 632 req->dataptr = (char *)svptr + dataoffset;
490 req->callback = SvREFCNT_inc (callback);
491 633
492 send_req (req); 634 send_req (req);
635 }
493} 636}
494 637
495void 638void
496aio_readahead(fh,offset,length,callback=&PL_sv_undef) 639aio_readahead(fh,offset,length,callback=&PL_sv_undef)
497 SV * fh 640 SV * fh
… …
499 IV length 642 IV length
500 SV * callback 643 SV * callback
501 PROTOTYPE: $$$;$ 644 PROTOTYPE: $$$;$
502 CODE: 645 CODE:
503{ 646{
504 aio_req req; 647 dREQ;
505
506 if (length < 0)
507 croak ("length must not be negative");
508
509 Newz (0, req, 1, aio_cb);
510
511 if (!req)
512 croak ("out of memory during aio_req allocation");
513 648
514 req->type = REQ_READAHEAD; 649 req->type = REQ_READAHEAD;
515 req->fh = newSVsv (fh); 650 req->fh = newSVsv (fh);
516 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh))); 651 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh)));
517 req->offset = offset; 652 req->offset = offset;
518 req->length = length; 653 req->length = length;
519 req->callback = SvREFCNT_inc (callback);
520 654
521 send_req (req); 655 send_req (req);
522} 656}
523 657
524void 658void
… …
528 ALIAS: 662 ALIAS:
529 aio_stat = REQ_STAT 663 aio_stat = REQ_STAT
530 aio_lstat = REQ_LSTAT 664 aio_lstat = REQ_LSTAT
531 CODE: 665 CODE:
532{ 666{
533 aio_req req; 667 dREQ;
534
535 Newz (0, req, 1, aio_cb);
536
537 if (!req)
538 croak ("out of memory during aio_req allocation");
539 668
540 New (0, req->statdata, 1, Stat_t); 669 New (0, req->statdata, 1, Stat_t);
541
542 if (!req->statdata) 670 if (!req->statdata)
671 {
672 free_req (req);
543 croak ("out of memory during aio_req->statdata allocation"); 673 croak ("out of memory during aio_req->statdata allocation");
674 }
544 675
545 if (SvPOK (fh_or_path)) 676 if (SvPOK (fh_or_path))
546 { 677 {
547 req->type = ix; 678 req->type = ix;
548 req->data = newSVsv (fh_or_path); 679 req->data = newSVsv (fh_or_path);
549 req->dataptr = SvPV_nolen (req->data); 680 req->dataptr = SvPVbyte_nolen (req->data);
550 } 681 }
551 else 682 else
552 { 683 {
553 req->type = REQ_FSTAT; 684 req->type = REQ_FSTAT;
554 req->fh = newSVsv (fh_or_path); 685 req->fh = newSVsv (fh_or_path);
555 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh_or_path))); 686 req->fd = PerlIO_fileno (IoIFP (sv_2io (fh_or_path)));
556 } 687 }
557 688
558 req->callback = SvREFCNT_inc (callback);
559
560 send_req (req); 689 send_req (req);
561} 690}
562 691
563void 692void
564aio_unlink(pathname,callback=&PL_sv_undef) 693aio_unlink(pathname,callback=&PL_sv_undef)
565 SV * pathname 694 SV * pathname
566 SV * callback 695 SV * callback
696 ALIAS:
697 aio_unlink = REQ_UNLINK
698 aio_rmdir = REQ_RMDIR
567 CODE: 699 CODE:
568{ 700{
569 aio_req req; 701 dREQ;
570 702
571 Newz (0, req, 1, aio_cb); 703 req->type = ix;
704 req->data = newSVsv (pathname);
705 req->dataptr = SvPVbyte_nolen (req->data);
572 706
573 if (!req) 707 send_req (req);
574 croak ("out of memory during aio_req allocation"); 708}
709
710void
711aio_symlink(oldpath,newpath,callback=&PL_sv_undef)
712 SV * oldpath
713 SV * newpath
714 SV * callback
715 CODE:
716{
717 dREQ;
575 718
576 req->type = REQ_UNLINK; 719 req->type = REQ_SYMLINK;
720 req->fh = newSVsv (oldpath);
721 req->data2ptr = SvPVbyte_nolen (req->fh);
577 req->data = newSVsv (pathname); 722 req->data = newSVsv (newpath);
578 req->dataptr = SvPV_nolen (req->data); 723 req->dataptr = SvPVbyte_nolen (req->data);
579 req->callback = SvREFCNT_inc (callback);
580 724
581 send_req (req); 725 send_req (req);
582} 726}
583 727
584void 728void

Diff Legend

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