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.24 by root, Wed Aug 17 03:01:56 2005 UTC vs.
Revision 1.33 by root, Mon Aug 22 23:21:57 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# endif
29#endif
23 30
24#if __ia64 31#if __ia64
25# define STACKSIZE 65536 32# define STACKSIZE 65536
26#else 33#else
27# define STACKSIZE 4096 34# define STACKSIZE 4096
29 36
30enum { 37enum {
31 REQ_QUIT, 38 REQ_QUIT,
32 REQ_OPEN, REQ_CLOSE, 39 REQ_OPEN, REQ_CLOSE,
33 REQ_READ, REQ_WRITE, REQ_READAHEAD, 40 REQ_READ, REQ_WRITE, REQ_READAHEAD,
41 REQ_SENDFILE,
34 REQ_STAT, REQ_LSTAT, REQ_FSTAT, 42 REQ_STAT, REQ_LSTAT, REQ_FSTAT,
35 REQ_FSYNC, REQ_FDATASYNC, 43 REQ_FSYNC, REQ_FDATASYNC,
36 REQ_UNLINK, REQ_RMDIR, 44 REQ_UNLINK, REQ_RMDIR,
37 REQ_SYMLINK, 45 REQ_SYMLINK,
38}; 46};
40typedef struct aio_cb { 48typedef struct aio_cb {
41 struct aio_cb *volatile next; 49 struct aio_cb *volatile next;
42 50
43 int type; 51 int type;
44 52
45 int fd; 53 int fd, fd2;
46 off_t offset; 54 off_t offset;
47 size_t length; 55 size_t length;
48 ssize_t result; 56 ssize_t result;
49 mode_t mode; /* open */ 57 mode_t mode; /* open */
50 int errorno; 58 int errorno;
51 SV *data, *callback, *fh; 59 SV *data, *callback;
60 SV *fh, *fh2;
52 void *dataptr, *data2ptr; 61 void *dataptr, *data2ptr;
53 STRLEN dataoffset; 62 STRLEN dataoffset;
54 63
55 Stat_t *statdata; 64 Stat_t *statdata;
56} aio_cb; 65} aio_cb;
57 66
58typedef aio_cb *aio_req; 67typedef aio_cb *aio_req;
59 68
60static int started; 69static int started, wanted;
61static volatile int nreqs; 70static volatile int nreqs;
62static int max_outstanding = 1<<30; 71static int max_outstanding = 1<<30;
63static int respipe [2]; 72static int respipe [2];
64 73
65static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER; 74static pthread_mutex_t reslock = PTHREAD_MUTEX_INITIALIZER;
66static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER; 75static pthread_mutex_t reqlock = PTHREAD_MUTEX_INITIALIZER;
67static pthread_mutex_t frklock = PTHREAD_MUTEX_INITIALIZER;
68static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER; 76static pthread_cond_t reqwait = PTHREAD_COND_INITIALIZER;
69 77
70static volatile aio_req reqs, reqe; /* queue start, queue end */ 78static volatile aio_req reqs, reqe; /* queue start, queue end */
71static volatile aio_req ress, rese; /* queue start, queue end */ 79static volatile aio_req ress, rese; /* queue start, queue end */
80
81static void free_req (aio_req req)
82{
83 if (req->data)
84 SvREFCNT_dec (req->data);
85
86 if (req->fh)
87 SvREFCNT_dec (req->fh);
88
89 if (req->fh2)
90 SvREFCNT_dec (req->fh2);
91
92 if (req->statdata)
93 Safefree (req->statdata);
94
95 if (req->callback)
96 SvREFCNT_dec (req->callback);
97
98 Safefree (req);
99}
72 100
73static void 101static void
74poll_wait () 102poll_wait ()
75{ 103{
76 if (nreqs && !ress) 104 if (nreqs && !ress)
87poll_cb () 115poll_cb ()
88{ 116{
89 dSP; 117 dSP;
90 int count = 0; 118 int count = 0;
91 int do_croak = 0; 119 int do_croak = 0;
92 aio_req req, prv; 120 aio_req req;
93 121
94 pthread_mutex_lock (&reslock); 122 for (;;)
95
96 {
97 /* read any signals sent by the worker threads */
98 char buf [32];
99 while (read (respipe [0], buf, 32) == 32)
100 ;
101 }
102
103 req = ress;
104 ress = rese = 0;
105
106 pthread_mutex_unlock (&reslock);
107
108 while (req)
109 { 123 {
124 pthread_mutex_lock (&reslock);
125 req = ress;
126
127 if (req)
128 {
129 ress = req->next;
130
131 if (!ress)
132 {
133 /* read any signals sent by the worker threads */
134 char buf [32];
135 while (read (respipe [0], buf, 32) == 32)
136 ;
137
138 rese = 0;
139 }
140 }
141
142 pthread_mutex_unlock (&reslock);
143
144 if (!req)
145 break;
146
110 nreqs--; 147 nreqs--;
111 148
112 if (req->type == REQ_QUIT) 149 if (req->type == REQ_QUIT)
113 started--; 150 started--;
114 else 151 else
115 { 152 {
116 int errorno = errno; 153 int errorno = errno;
117 errno = req->errorno; 154 errno = req->errorno;
118 155
119 if (req->type == REQ_READ) 156 if (req->type == REQ_READ)
120 SvCUR_set (req->data, req->dataoffset 157 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0));
121 + req->result > 0 ? req->result : 0);
122 158
159 if (req->data2ptr && (req->type == REQ_READ || req->type == REQ_WRITE))
160 SvREADONLY_off (req->data);
161
123 if (req->data) 162 if (req->statdata)
124 SvREFCNT_dec (req->data);
125
126 if (req->fh)
127 SvREFCNT_dec (req->fh);
128
129 if (req->type == REQ_STAT || req->type == REQ_LSTAT || req->type == REQ_FSTAT)
130 { 163 {
131 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT; 164 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT;
132 PL_laststatval = req->result; 165 PL_laststatval = req->result;
133 PL_statcache = *(req->statdata); 166 PL_statcache = *(req->statdata);
134
135 Safefree (req->statdata);
136 } 167 }
137 168
138 ENTER; 169 ENTER;
139 PUSHMARK (SP); 170 PUSHMARK (SP);
140 XPUSHs (sv_2mortal (newSViv (req->result))); 171 XPUSHs (sv_2mortal (newSViv (req->result)));
157 if (SvOK (req->callback)) 188 if (SvOK (req->callback))
158 { 189 {
159 PUTBACK; 190 PUTBACK;
160 call_sv (req->callback, G_VOID | G_EVAL); 191 call_sv (req->callback, G_VOID | G_EVAL);
161 SPAGAIN; 192 SPAGAIN;
193
194 if (SvTRUE (ERRSV))
195 {
196 free_req (req);
197 croak (0);
198 }
162 } 199 }
163 200
164 do_croak = SvTRUE (ERRSV);
165
166 LEAVE; 201 LEAVE;
167
168 if (req->callback)
169 SvREFCNT_dec (req->callback);
170 202
171 errno = errorno; 203 errno = errorno;
172 count++; 204 count++;
173 } 205 }
174 206
175 prv = req; 207 free_req (req);
176 req = req->next;
177 Safefree (prv);
178
179 if (do_croak)
180 croak (0);
181 } 208 }
182 209
183 return count; 210 return count;
184} 211}
185 212
206} 233}
207 234
208static void 235static void
209send_req (aio_req req) 236send_req (aio_req req)
210{ 237{
238 while (started < wanted && nreqs >= started)
239 start_thread ();
240
211 nreqs++; 241 nreqs++;
212 242
213 pthread_mutex_lock (&reqlock); 243 pthread_mutex_lock (&reqlock);
214 244
215 req->next = 0; 245 req->next = 0;
223 reqe = reqs = req; 253 reqe = reqs = req;
224 254
225 pthread_cond_signal (&reqwait); 255 pthread_cond_signal (&reqwait);
226 pthread_mutex_unlock (&reqlock); 256 pthread_mutex_unlock (&reqlock);
227 257
228 while (nreqs > max_outstanding) 258 if (nreqs > max_outstanding)
259 for (;;)
260 {
261 poll_cb ();
262
263 if (nreqs <= max_outstanding)
264 break;
265
266 poll_wait ();
267 }
268}
269
270static void
271end_thread (void)
272{
273 aio_req req;
274 Newz (0, req, 1, aio_cb);
275 req->type = REQ_QUIT;
276
277 send_req (req);
278}
279
280static void min_parallel (int nthreads)
281{
282 if (wanted < nthreads)
283 wanted = nthreads;
284}
285
286static void max_parallel (int nthreads)
287{
288 int cur = started;
289
290 if (wanted > nthreads)
291 wanted = nthreads;
292
293 while (cur > wanted)
294 {
295 end_thread ();
296 cur--;
297 }
298
299 while (started > wanted)
229 { 300 {
230 poll_wait (); 301 poll_wait ();
231 poll_cb (); 302 poll_cb ();
232 } 303 }
233} 304}
234 305
235static void 306static void create_pipe ()
236end_thread (void)
237{ 307{
308 if (pipe (respipe))
309 croak ("unable to initialize result pipe");
310
311 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
312 croak ("cannot set result pipe to nonblocking mode");
313
314 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
315 croak ("cannot set result pipe to nonblocking mode");
316}
317
318static void atfork_prepare (void)
319{
320 pthread_mutex_lock (&reqlock);
321 pthread_mutex_lock (&reslock);
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{
238 aio_req req; 332 aio_req prv;
239 New (0, req, 1, aio_cb);
240 req->type = REQ_QUIT;
241 333
242 send_req (req); 334 started = 0;
243}
244 335
245 336 while (reqs)
246static void min_parallel (int nthreads) 337 {
247{ 338 prv = reqs;
248 while (nthreads > started) 339 reqs = prv->next;
249 start_thread (); 340 free_req (prv);
250}
251
252static void max_parallel (int nthreads)
253{
254 int cur = started;
255 while (cur > nthreads)
256 {
257 end_thread ();
258 cur--;
259 } 341 }
260 342
261 while (started > nthreads) 343 reqs = reqe = 0;
344
345 while (ress)
262 { 346 {
263 poll_wait (); 347 prv = ress;
264 poll_cb (); 348 ress = prv->next;
349 free_req (prv);
265 } 350 }
266}
267
268static int fork_started;
269
270static void atfork_prepare (void)
271{
272 pthread_mutex_lock (&frklock);
273
274 fork_started = started;
275
276 for (;;) {
277 while (nreqs)
278 { 351
279 poll_wait ();
280 poll_cb ();
281 }
282
283 max_parallel (0);
284
285 pthread_mutex_lock (&reqlock);
286
287 if (!nreqs && !started)
288 break;
289
290 pthread_mutex_unlock (&reqlock);
291
292 min_parallel (fork_started);
293 }
294
295 pthread_mutex_lock (&reslock);
296
297 assert (!started);
298 assert (!nreqs);
299 assert (!reqs && !reqe);
300 assert (!ress && !rese);
301}
302
303static void atfork_parent (void)
304{
305 pthread_mutex_unlock (&reslock);
306 min_parallel (fork_started);
307 pthread_mutex_unlock (&reqlock);
308 pthread_mutex_unlock (&frklock);
309}
310
311static void atfork_child (void)
312{
313 reqs = reqe = 0; 352 ress = rese = 0;
353
354 close (respipe [0]);
355 close (respipe [1]);
356 create_pipe ();
314 357
315 atfork_parent (); 358 atfork_parent ();
316} 359}
317 360
318/*****************************************************************************/ 361/*****************************************************************************/
385 428
386 errno = 0; 429 errno = 0;
387} 430}
388#endif 431#endif
389 432
433/* sendfile always needs emulation */
434static ssize_t
435sendfile_ (int ofd, int ifd, off_t offset, size_t count)
436{
437 ssize_t res;
438
439 if (!count)
440 return 0;
441
442#if __linux
443 res = sendfile (ofd, ifd, &offset, count);
444
445#elif __freebsd
446 /*
447 * Of course, the freebsd sendfile is a dire hack with no thoughts
448 * wasted on making it similar to other i/o functions.
449 */
450 {
451 off_t sbytes;
452 res = sendfile (ifd, ofd, offset, count, 0, &sbytes, 0);
453
454 if (!res && errno == EAGAIN)
455 /* maybe on others, too, as usual, the manpage leaves you guessing */
456 res = sbytes;
457 }
458
459#elif __hpux
460 res = sendfile (ofd, ifd, offset, count, 0, 0);
461
462#else
463 res = -1;
464 errno = ENOSYS;
465#endif
466
467 if (res < 0 && (errno == ENOSYS || errno == EINVAL || errno == ENOTSOCK))
468 {
469 /* emulate sendfile. this is a major pain in the ass */
470 char *buf = malloc (4096);
471 res = 0;
472
473 for (;;)
474 {
475 ssize_t cnt;
476
477 cnt = pread (ifd, buf, 4096, offset);
478
479 if (cnt <= 0)
480 {
481 if (cnt && !res) res = -1;
482 break;
483 }
484
485 cnt = write (ofd, buf, cnt);
486
487 if (cnt <= 0)
488 {
489 if (cnt && !res) res = -1;
490 break;
491 }
492
493 offset += cnt;
494 res += cnt;
495 }
496
497 {
498 int errorno = errno;
499 free (buf);
500 errno = errorno;
501 }
502 }
503
504 return res;
505}
506
390/*****************************************************************************/ 507/*****************************************************************************/
391 508
392static void * 509static void *
393aio_proc (void *thr_arg) 510aio_proc (void *thr_arg)
394{ 511{
425 { 542 {
426 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break; 543 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break;
427 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break; 544 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break;
428 545
429 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break; 546 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break;
547 case REQ_SENDFILE: req->result = sendfile_ (req->fd, req->fd2, req->offset, req->length); break;
430 548
431 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 549 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
432 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 550 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
433 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 551 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
434 552
483 \ 601 \
484 Newz (0, req, 1, aio_cb); \ 602 Newz (0, req, 1, aio_cb); \
485 if (!req) \ 603 if (!req) \
486 croak ("out of memory during aio_req allocation"); \ 604 croak ("out of memory during aio_req allocation"); \
487 \ 605 \
488 req->callback = SvREFCNT_inc (callback); 606 req->callback = newSVsv (callback);
489 607
490MODULE = IO::AIO PACKAGE = IO::AIO 608MODULE = IO::AIO PACKAGE = IO::AIO
491 609
492PROTOTYPES: ENABLE 610PROTOTYPES: ENABLE
493 611
494BOOT: 612BOOT:
495{ 613{
496 if (pipe (respipe)) 614 create_pipe ();
497 croak ("unable to initialize result pipe");
498
499 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
500 croak ("cannot set result pipe to nonblocking mode");
501
502 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
503 croak ("cannot set result pipe to nonblocking mode");
504
505 pthread_atfork (atfork_prepare, atfork_parent, atfork_child); 615 pthread_atfork (atfork_prepare, atfork_parent, atfork_child);
506} 616}
507 617
508void 618void
509min_parallel(nthreads) 619min_parallel(nthreads)
565 675
566void 676void
567aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef) 677aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef)
568 SV * fh 678 SV * fh
569 UV offset 679 UV offset
570 IV length 680 UV length
571 SV * data 681 SV * data
572 IV dataoffset 682 UV dataoffset
573 SV * callback 683 SV * callback
574 ALIAS: 684 ALIAS:
575 aio_read = REQ_READ 685 aio_read = REQ_READ
576 aio_write = REQ_WRITE 686 aio_write = REQ_WRITE
577 PROTOTYPE: $$$$$;$ 687 PROTOTYPE: $$$$$;$
614 : IoOFP (sv_2io (fh))); 724 : IoOFP (sv_2io (fh)));
615 req->offset = offset; 725 req->offset = offset;
616 req->length = length; 726 req->length = length;
617 req->data = SvREFCNT_inc (data); 727 req->data = SvREFCNT_inc (data);
618 req->dataptr = (char *)svptr + dataoffset; 728 req->dataptr = (char *)svptr + dataoffset;
619 req->callback = SvREFCNT_inc (callback); 729
730 if (!SvREADONLY (data))
731 {
732 SvREADONLY_on (data);
733 req->data2ptr = (void *)data;
734 }
620 735
621 send_req (req); 736 send_req (req);
622 } 737 }
738}
739
740void
741aio_sendfile(out_fh,in_fh,in_offset,length,callback=&PL_sv_undef)
742 SV * out_fh
743 SV * in_fh
744 UV in_offset
745 UV length
746 SV * callback
747 PROTOTYPE: $$$$;$
748 CODE:
749{
750 dREQ;
751
752 req->type = REQ_SENDFILE;
753 req->fh = newSVsv (out_fh);
754 req->fd = PerlIO_fileno (IoIFP (sv_2io (out_fh)));
755 req->fh2 = newSVsv (in_fh);
756 req->fd2 = PerlIO_fileno (IoIFP (sv_2io (in_fh)));
757 req->offset = in_offset;
758 req->length = length;
759
760 send_req (req);
623} 761}
624 762
625void 763void
626aio_readahead(fh,offset,length,callback=&PL_sv_undef) 764aio_readahead(fh,offset,length,callback=&PL_sv_undef)
627 SV * fh 765 SV * fh
653{ 791{
654 dREQ; 792 dREQ;
655 793
656 New (0, req->statdata, 1, Stat_t); 794 New (0, req->statdata, 1, Stat_t);
657 if (!req->statdata) 795 if (!req->statdata)
796 {
797 free_req (req);
658 croak ("out of memory during aio_req->statdata allocation (sorry, i just leaked memory, too)"); 798 croak ("out of memory during aio_req->statdata allocation");
799 }
659 800
660 if (SvPOK (fh_or_path)) 801 if (SvPOK (fh_or_path))
661 { 802 {
662 req->type = ix; 803 req->type = ix;
663 req->data = newSVsv (fh_or_path); 804 req->data = newSVsv (fh_or_path);

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines