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.22 by root, Tue Aug 16 22:22:18 2005 UTC vs.
Revision 1.36 by root, Tue Aug 23 01:18:04 2005 UTC

… …
4#include "EXTERN.h" 4#include "EXTERN.h"
5#include "perl.h" 5#include "perl.h"
6#include "XSUB.h" 6#include "XSUB.h"
7 7
8#include "autoconf/config.h" 8#include "autoconf/config.h"
9
10#include <pthread.h>
9 11
10#include <sys/types.h> 12#include <sys/types.h>
11#include <sys/stat.h> 13#include <sys/stat.h>
12 14
13#include <unistd.h> 15#include <unistd.h>
14#include <fcntl.h> 16#include <fcntl.h>
15#include <signal.h> 17#include <signal.h>
16#include <sched.h> 18#include <sched.h>
17 19
18#include <pthread.h> 20#if HAVE_SENDFILE
19 21# if __linux
20typedef void *InputStream; /* hack, but 5.6.1 is simply toooo old ;) */ 22# include <sys/sendfile.h>
21typedef void *OutputStream; /* hack, but 5.6.1 is simply toooo old ;) */ 23# elif __freebsd
22typedef void *InOutStream; /* hack, but 5.6.1 is simply toooo old ;) */ 24# include <sys/socket.h>
25# include <sys/uio.h>
26# elif __hpux
27# include <sys/socket.h>
28# elif __solaris /* not yet */
29# include <sys/sendfile.h>
30# else
31# error sendfile support requested but not available
32# endif
33#endif
23 34
24#if __ia64 35#if __ia64
25# define STACKSIZE 65536 36# define STACKSIZE 65536
26#else 37#else
27# define STACKSIZE 4096 38# define STACKSIZE 4096
… …
29 40
30enum { 41enum {
31 REQ_QUIT, 42 REQ_QUIT,
32 REQ_OPEN, REQ_CLOSE, 43 REQ_OPEN, REQ_CLOSE,
33 REQ_READ, REQ_WRITE, REQ_READAHEAD, 44 REQ_READ, REQ_WRITE, REQ_READAHEAD,
45 REQ_SENDFILE,
34 REQ_STAT, REQ_LSTAT, REQ_FSTAT, 46 REQ_STAT, REQ_LSTAT, REQ_FSTAT,
35 REQ_FSYNC, REQ_FDATASYNC, 47 REQ_FSYNC, REQ_FDATASYNC,
36 REQ_UNLINK, REQ_RMDIR, REQ_SYMLINK, 48 REQ_UNLINK, REQ_RMDIR,
37 REQ_SYMLINK, 49 REQ_SYMLINK,
38}; 50};
39 51
40typedef struct aio_cb { 52typedef struct aio_cb {
41 struct aio_cb *volatile next; 53 struct aio_cb *volatile next;
42 54
43 int type; 55 int type;
44 56
45 int fd; 57 int fd, fd2;
46 off_t offset; 58 off_t offset;
47 size_t length; 59 size_t length;
48 ssize_t result; 60 ssize_t result;
49 mode_t mode; /* open */ 61 mode_t mode; /* open */
50 int errorno; 62 int errorno;
51 SV *data, *callback, *fh; 63 SV *data, *callback;
64 SV *fh, *fh2;
52 void *dataptr, *data2ptr; 65 void *dataptr, *data2ptr;
53 STRLEN dataoffset; 66 STRLEN dataoffset;
54 67
55 Stat_t *statdata; 68 Stat_t *statdata;
56} aio_cb; 69} aio_cb;
57 70
58typedef aio_cb *aio_req; 71typedef aio_cb *aio_req;
59 72
60static int started; 73static int started, wanted;
61static volatile int nreqs; 74static volatile int nreqs;
62static int max_outstanding = 1<<30; 75static int max_outstanding = 1<<30;
63static int respipe [2]; 76static int respipe [2];
64 77
65static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER; 78static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER;
66static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER; 79static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER;
67static pthread_mutex_t frklock = PTHREAD_MUTEX_INITIALIZER;
68static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER; 80static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER;
69 81
70static volatile aio_req reqs, reqe; /* queue start, queue end */ 82static volatile aio_req reqs, reqe; /* queue start, queue end */
71static volatile aio_req ress, rese; /* queue start, queue end */ 83static volatile aio_req ress, rese; /* queue start, queue end */
84
85static void free_req (aio_req req)
86{
87 if (req->data)
88 SvREFCNT_dec (req->data);
89
90 if (req->fh)
91 SvREFCNT_dec (req->fh);
92
93 if (req->fh2)
94 SvREFCNT_dec (req->fh2);
95
96 if (req->statdata)
97 Safefree (req->statdata);
98
99 if (req->callback)
100 SvREFCNT_dec (req->callback);
101
102 Safefree (req);
103}
72 104
73static void 105static void
74poll_wait () 106poll_wait ()
75{ 107{
76 if (nreqs && !ress) 108 if (nreqs && !ress)
… …
86static int 118static int
87poll_cb () 119poll_cb ()
88{ 120{
89 dSP; 121 dSP;
90 int count = 0; 122 int count = 0;
123 int do_croak = 0;
91 aio_req req, prv; 124 aio_req req;
92 125
93 pthread_mutex_lock (&reslock); 126 for (;;)
94
95 {
96 /* read any signals sent by the worker threads */
97 char buf [32];
98 while (read (respipe [0], buf, 32) == 32)
99 ;
100 }
101
102 req = ress;
103 ress = rese = 0;
104
105 pthread_mutex_unlock (&reslock);
106
107 while (req)
108 { 127 {
128 pthread_mutex_lock (&reslock);
129 req = ress;
130
131 if (req)
132 {
133 ress = req->next;
134
135 if (!ress)
136 {
137 /* read any signals sent by the worker threads */
138 char buf [32];
139 while (read (respipe [0], buf, 32) == 32)
140 ;
141
142 rese = 0;
143 }
144 }
145
146 pthread_mutex_unlock (&reslock);
147
148 if (!req)
149 break;
150
109 nreqs--; 151 nreqs--;
110 152
111 if (req->type == REQ_QUIT) 153 if (req->type == REQ_QUIT)
112 started--; 154 started--;
113 else 155 else
114 { 156 {
115 int errorno = errno; 157 int errorno = errno;
116 errno = req->errorno; 158 errno = req->errorno;
117 159
118 if (req->type == REQ_READ) 160 if (req->type == REQ_READ)
119 SvCUR_set (req->data, req->dataoffset 161 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0));
120 + req->result > 0 ? req->result : 0);
121 162
163 if (req->data2ptr && (req->type == REQ_READ || req->type == REQ_WRITE))
164 SvREADONLY_off (req->data);
165
122 if (req->data) 166 if (req->statdata)
123 SvREFCNT_dec (req->data);
124
125 if (req->fh)
126 SvREFCNT_dec (req->fh);
127
128 if (req->type == REQ_STAT || req->type == REQ_LSTAT || req->type == REQ_FSTAT)
129 { 167 {
130 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT; 168 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT;
131 PL_laststatval = req->result; 169 PL_laststatval = req->result;
132 PL_statcache = *(req->statdata); 170 PL_statcache = *(req->statdata);
133
134 Safefree (req->statdata);
135 } 171 }
136 172
137 ENTER; 173 ENTER;
138 PUSHMARK (SP); 174 PUSHMARK (SP);
139 XPUSHs (sv_2mortal (newSViv (req->result))); 175 XPUSHs (sv_2mortal (newSViv (req->result)));
… …
156 if (SvOK (req->callback)) 192 if (SvOK (req->callback))
157 { 193 {
158 PUTBACK; 194 PUTBACK;
159 call_sv (req->callback, G_VOID | G_EVAL); 195 call_sv (req->callback, G_VOID | G_EVAL);
160 SPAGAIN; 196 SPAGAIN;
197
198 if (SvTRUE (ERRSV))
199 {
200 free_req (req);
201 croak (0);
202 }
161 } 203 }
162 204
163 LEAVE; 205 LEAVE;
164
165 if (req->callback)
166 SvREFCNT_dec (req->callback);
167 206
168 errno = errorno; 207 errno = errorno;
169 count++; 208 count++;
170 } 209 }
171 210
172 prv = req; 211 free_req (req);
173 req = req->next;
174 Safefree (prv);
175
176 /* TODO: croak on errors? */
177 } 212 }
178 213
179 return count; 214 return count;
180} 215}
181 216
… …
202} 237}
203 238
204static void 239static void
205send_req (aio_req req) 240send_req (aio_req req)
206{ 241{
242 while (started < wanted && nreqs >= started)
243 start_thread ();
244
207 nreqs++; 245 nreqs++;
208 246
209 pthread_mutex_lock (&reqlock); 247 pthread_mutex_lock (&reqlock);
210 248
211 req->next = 0; 249 req->next = 0;
… …
219 reqe = reqs = req; 257 reqe = reqs = req;
220 258
221 pthread_cond_signal (&reqwait); 259 pthread_cond_signal (&reqwait);
222 pthread_mutex_unlock (&reqlock); 260 pthread_mutex_unlock (&reqlock);
223 261
224 while (nreqs > max_outstanding) 262 if (nreqs > max_outstanding)
263 for (;;)
264 {
265 poll_cb ();
266
267 if (nreqs <= max_outstanding)
268 break;
269
270 poll_wait ();
271 }
272}
273
274static void
275end_thread (void)
276{
277 aio_req req;
278 Newz (0, req, 1, aio_cb);
279 req->type = REQ_QUIT;
280
281 send_req (req);
282}
283
284static void min_parallel (int nthreads)
285{
286 if (wanted < nthreads)
287 wanted = nthreads;
288}
289
290static void max_parallel (int nthreads)
291{
292 int cur = started;
293
294 if (wanted > nthreads)
295 wanted = nthreads;
296
297 while (cur > wanted)
298 {
299 end_thread ();
300 cur--;
301 }
302
303 while (started > wanted)
225 { 304 {
226 poll_wait (); 305 poll_wait ();
227 poll_cb (); 306 poll_cb ();
228 } 307 }
229} 308}
230 309
231static void 310static void create_pipe ()
232end_thread (void)
233{ 311{
312 if (pipe (respipe))
313 croak ("unable to initialize result pipe");
314
315 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
316 croak ("cannot set result pipe to nonblocking mode");
317
318 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
319 croak ("cannot set result pipe to nonblocking mode");
320}
321
322static void atfork_prepare (void)
323{
324 pthread_mutex_lock (&reqlock);
325 pthread_mutex_lock (&reslock);
326}
327
328static void atfork_parent (void)
329{
330 pthread_mutex_unlock (&reslock);
331 pthread_mutex_unlock (&reqlock);
332}
333
334static void atfork_child (void)
335{
234 aio_req req; 336 aio_req prv;
235 New (0, req, 1, aio_cb);
236 req->type = REQ_QUIT;
237 337
238 send_req (req); 338 started = 0;
239}
240 339
241 340 while (reqs)
242static void min_parallel (int nthreads) 341 {
243{ 342 prv = reqs;
244 while (nthreads > started) 343 reqs = prv->next;
245 start_thread (); 344 free_req (prv);
246}
247
248static void max_parallel (int nthreads)
249{
250 int cur = started;
251 while (cur > nthreads)
252 {
253 end_thread ();
254 cur--;
255 } 345 }
256 346
257 while (started > nthreads) 347 reqs = reqe = 0;
348
349 while (ress)
258 { 350 {
259 poll_wait (); 351 prv = ress;
260 poll_cb (); 352 ress = prv->next;
353 free_req (prv);
261 } 354 }
262}
263
264static int fork_started;
265
266static void atfork_prepare (void)
267{
268 pthread_mutex_lock (&frklock);
269
270 fork_started = started;
271
272 for (;;) {
273 while (nreqs)
274 { 355
275 poll_wait ();
276 poll_cb ();
277 }
278
279 max_parallel (0);
280
281 pthread_mutex_lock (&reqlock);
282
283 if (!nreqs && !started)
284 break;
285
286 pthread_mutex_unlock (&reqlock);
287
288 min_parallel (fork_started);
289 }
290
291 pthread_mutex_lock (&reslock);
292
293 assert (!started);
294 assert (!nreqs);
295 assert (!reqs && !reqe);
296 assert (!ress && !rese);
297}
298
299static void atfork_parent (void)
300{
301 pthread_mutex_unlock (&reslock);
302 min_parallel (fork_started);
303 pthread_mutex_unlock (&reqlock);
304 pthread_mutex_unlock (&frklock);
305}
306
307static void atfork_child (void)
308{
309 reqs = reqe = 0; 356 ress = rese = 0;
357
358 close (respipe [0]);
359 close (respipe [1]);
360 create_pipe ();
310 361
311 atfork_parent (); 362 atfork_parent ();
312} 363}
313 364
314/*****************************************************************************/ 365/*****************************************************************************/
… …
381 432
382 errno = 0; 433 errno = 0;
383} 434}
384#endif 435#endif
385 436
437/* sendfile always needs emulation */
438static ssize_t
439sendfile_ (int ofd, int ifd, off_t offset, size_t count)
440{
441 ssize_t res;
442
443 if (!count)
444 return 0;
445
446#if HAVE_SENDFILE
447# if __linux
448 res = sendfile (ofd, ifd, &offset, count);
449
450# elif __freebsd
451 /*
452 * Of course, the freebsd sendfile is a dire hack with no thoughts
453 * wasted on making it similar to other I/O functions.
454 */
455 {
456 off_t sbytes;
457 res = sendfile (ifd, ofd, offset, count, 0, &sbytes, 0);
458
459 if (res < 0 && sbytes)
460 /* maybe only on EAGAIN only: as usual, the manpage leaves you guessing */
461 res = sbytes;
462 }
463
464# elif __hpux
465 res = sendfile (ofd, ifd, offset, count, 0, 0);
466
467# elif __solaris
468 {
469 struct sendfilevec vec;
470 size_t sbytes;
471
472 vec.sfv_fd = ifd;
473 vec.sfv_flag = 0;
474 vec.sfv_off = offset;
475 vec.sfv_len = count;
476
477 res = sendfilev (ofd, &vec, 1, &sbytes);
478
479 if (res < 0 && sbytes)
480 res = sbytes;
481 }
482
483# else
484 res = -1;
485 errno = ENOSYS;
486# endif
487#endif
488
489 if (res < 0
490 && (errno == ENOSYS || errno == EINVAL || errno == ENOTSOCK
491#if __solaris
492 || errno == EAFNOSUPPORT || errno == EPROTOTYPE
493#endif
494 )
495 )
496 {
497 /* emulate sendfile. this is a major pain in the ass */
498 char *buf = malloc (4096);
499 res = 0;
500
501 for (;;)
502 {
503 ssize_t cnt;
504
505 cnt = pread (ifd, buf, 4096, offset);
506
507 if (cnt <= 0)
508 {
509 if (cnt && !res) res = -1;
510 break;
511 }
512
513 cnt = write (ofd, buf, cnt);
514
515 if (cnt <= 0)
516 {
517 if (cnt && !res) res = -1;
518 break;
519 }
520
521 offset += cnt;
522 res += cnt;
523 }
524
525 {
526 int errorno = errno;
527 free (buf);
528 errno = errorno;
529 }
530 }
531
532 return res;
533}
534
386/*****************************************************************************/ 535/*****************************************************************************/
387 536
388static void * 537static void *
389aio_proc (void *thr_arg) 538aio_proc (void *thr_arg)
390{ 539{
… …
421 { 570 {
422 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break; 571 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break;
423 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break; 572 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break;
424 573
425 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break; 574 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break;
575 case REQ_SENDFILE: req->result = sendfile_ (req->fd, req->fd2, req->offset, req->length); break;
426 576
427 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 577 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
428 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 578 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
429 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 579 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
430 580
… …
479 \ 629 \
480 Newz (0, req, 1, aio_cb); \ 630 Newz (0, req, 1, aio_cb); \
481 if (!req) \ 631 if (!req) \
482 croak ("out of memory during aio_req allocation"); \ 632 croak ("out of memory during aio_req allocation"); \
483 \ 633 \
484 req->callback = SvREFCNT_inc (callback); 634 req->callback = newSVsv (callback);
485 635
486MODULE = IO::AIO PACKAGE = IO::AIO 636MODULE = IO::AIO PACKAGE = IO::AIO
487 637
488PROTOTYPES: ENABLE 638PROTOTYPES: ENABLE
489 639
490BOOT: 640BOOT:
491{ 641{
492 if (pipe (respipe)) 642 create_pipe ();
493 croak ("unable to initialize result pipe");
494
495 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
496 croak ("cannot set result pipe to nonblocking mode");
497
498 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
499 croak ("cannot set result pipe to nonblocking mode");
500
501 pthread_atfork (atfork_prepare, atfork_parent, atfork_child); 643 pthread_atfork (atfork_prepare, atfork_parent, atfork_child);
502} 644}
503 645
504void 646void
505min_parallel(nthreads) 647min_parallel(nthreads)
… …
561 703
562void 704void
563aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef) 705aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef)
564 SV * fh 706 SV * fh
565 UV offset 707 UV offset
566 IV length 708 UV length
567 SV * data 709 SV * data
568 IV dataoffset 710 UV dataoffset
569 SV * callback 711 SV * callback
570 ALIAS: 712 ALIAS:
571 aio_read = REQ_READ 713 aio_read = REQ_READ
572 aio_write = REQ_WRITE 714 aio_write = REQ_WRITE
573 PROTOTYPE: $$$$$;$ 715 PROTOTYPE: $$$$$;$
… …
610 : IoOFP (sv_2io (fh))); 752 : IoOFP (sv_2io (fh)));
611 req->offset = offset; 753 req->offset = offset;
612 req->length = length; 754 req->length = length;
613 req->data = SvREFCNT_inc (data); 755 req->data = SvREFCNT_inc (data);
614 req->dataptr = (char *)svptr + dataoffset; 756 req->dataptr = (char *)svptr + dataoffset;
615 req->callback = SvREFCNT_inc (callback); 757
758 if (!SvREADONLY (data))
759 {
760 SvREADONLY_on (data);
761 req->data2ptr = (void *)data;
762 }
616 763
617 send_req (req); 764 send_req (req);
618 } 765 }
766}
767
768void
769aio_sendfile(out_fh,in_fh,in_offset,length,callback=&PL_sv_undef)
770 SV * out_fh
771 SV * in_fh
772 UV in_offset
773 UV length
774 SV * callback
775 PROTOTYPE: $$$$;$
776 CODE:
777{
778 dREQ;
779
780 req->type = REQ_SENDFILE;
781 req->fh = newSVsv (out_fh);
782 req->fd = PerlIO_fileno (IoIFP (sv_2io (out_fh)));
783 req->fh2 = newSVsv (in_fh);
784 req->fd2 = PerlIO_fileno (IoIFP (sv_2io (in_fh)));
785 req->offset = in_offset;
786 req->length = length;
787
788 send_req (req);
619} 789}
620 790
621void 791void
622aio_readahead(fh,offset,length,callback=&PL_sv_undef) 792aio_readahead(fh,offset,length,callback=&PL_sv_undef)
623 SV * fh 793 SV * fh
… …
649{ 819{
650 dREQ; 820 dREQ;
651 821
652 New (0, req->statdata, 1, Stat_t); 822 New (0, req->statdata, 1, Stat_t);
653 if (!req->statdata) 823 if (!req->statdata)
824 {
825 free_req (req);
654 croak ("out of memory during aio_req->statdata allocation (sorry, i just leaked memory, too)"); 826 croak ("out of memory during aio_req->statdata allocation");
827 }
655 828
656 if (SvPOK (fh_or_path)) 829 if (SvPOK (fh_or_path))
657 { 830 {
658 req->type = ix; 831 req->type = ix;
659 req->data = newSVsv (fh_or_path); 832 req->data = newSVsv (fh_or_path);

Diff Legend

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