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.25 by root, Wed Aug 17 03:16:56 2005 UTC vs.
Revision 1.35 by root, Tue Aug 23 01:16:50 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, 48 REQ_UNLINK, REQ_RMDIR,
37 REQ_SYMLINK, 49 REQ_SYMLINK,
38}; 50};
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)
87poll_cb () 119poll_cb ()
88{ 120{
89 dSP; 121 dSP;
90 int count = 0; 122 int count = 0;
91 int do_croak = 0; 123 int do_croak = 0;
92 aio_req req, prv; 124 aio_req req;
93 125
94 pthread_mutex_lock (&reslock); 126 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 { 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
110 nreqs--; 151 nreqs--;
111 152
112 if (req->type == REQ_QUIT) 153 if (req->type == REQ_QUIT)
113 started--; 154 started--;
114 else 155 else
115 { 156 {
116 int errorno = errno; 157 int errorno = errno;
117 errno = req->errorno; 158 errno = req->errorno;
118 159
119 if (req->type == REQ_READ) 160 if (req->type == REQ_READ)
120 SvCUR_set (req->data, req->dataoffset 161 SvCUR_set (req->data, req->dataoffset + (req->result > 0 ? req->result : 0));
121 + req->result > 0 ? req->result : 0);
122 162
163 if (req->data2ptr && (req->type == REQ_READ || req->type == REQ_WRITE))
164 SvREADONLY_off (req->data);
165
123 if (req->data) 166 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 { 167 {
131 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT; 168 PL_laststype = req->type == REQ_LSTAT ? OP_LSTAT : OP_STAT;
132 PL_laststatval = req->result; 169 PL_laststatval = req->result;
133 PL_statcache = *(req->statdata); 170 PL_statcache = *(req->statdata);
134
135 Safefree (req->statdata);
136 } 171 }
137 172
138 ENTER; 173 ENTER;
139 PUSHMARK (SP); 174 PUSHMARK (SP);
140 XPUSHs (sv_2mortal (newSViv (req->result))); 175 XPUSHs (sv_2mortal (newSViv (req->result)));
157 if (SvOK (req->callback)) 192 if (SvOK (req->callback))
158 { 193 {
159 PUTBACK; 194 PUTBACK;
160 call_sv (req->callback, G_VOID | G_EVAL); 195 call_sv (req->callback, G_VOID | G_EVAL);
161 SPAGAIN; 196 SPAGAIN;
197
198 if (SvTRUE (ERRSV))
199 {
200 free_req (req);
201 croak (0);
202 }
162 } 203 }
163 204
164 do_croak = SvTRUE (ERRSV);
165
166 LEAVE; 205 LEAVE;
167
168 if (req->callback)
169 SvREFCNT_dec (req->callback);
170 206
171 errno = errorno; 207 errno = errorno;
172 count++; 208 count++;
173 } 209 }
174 210
175 prv = req; 211 free_req (req);
176 req = req->next;
177 Safefree (prv);
178
179 if (do_croak)
180 croak (0);
181 } 212 }
182 213
183 return count; 214 return count;
184} 215}
185 216
206} 237}
207 238
208static void 239static void
209send_req (aio_req req) 240send_req (aio_req req)
210{ 241{
242 while (started < wanted && nreqs >= started)
243 start_thread ();
244
211 nreqs++; 245 nreqs++;
212 246
213 pthread_mutex_lock (&reqlock); 247 pthread_mutex_lock (&reqlock);
214 248
215 req->next = 0; 249 req->next = 0;
223 reqe = reqs = req; 257 reqe = reqs = req;
224 258
225 pthread_cond_signal (&reqwait); 259 pthread_cond_signal (&reqwait);
226 pthread_mutex_unlock (&reqlock); 260 pthread_mutex_unlock (&reqlock);
227 261
228 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)
229 { 304 {
230 poll_wait (); 305 poll_wait ();
231 poll_cb (); 306 poll_cb ();
232 } 307 }
233} 308}
234 309
235static void 310static void create_pipe ()
236end_thread (void)
237{ 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{
238 aio_req req; 336 aio_req prv;
239 New (0, req, 1, aio_cb);
240 req->type = REQ_QUIT;
241 337
242 send_req (req); 338 started = 0;
243}
244 339
245 340 while (reqs)
246static void min_parallel (int nthreads) 341 {
247{ 342 prv = reqs;
248 while (nthreads > started) 343 reqs = prv->next;
249 start_thread (); 344 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 } 345 }
260 346
261 while (started > nthreads) 347 reqs = reqe = 0;
348
349 while (ress)
262 { 350 {
263 poll_wait (); 351 prv = ress;
264 poll_cb (); 352 ress = prv->next;
353 free_req (prv);
265 } 354 }
266}
267
268static int fork_started;
269
270static void atfork_prepare (void)
271{
272 int nstarted;
273
274 for (;;) {
275 while (nreqs)
276 { 355
277 poll_wait (); 356 ress = rese = 0;
278 poll_cb ();
279 }
280 357
281 nstarted = started; 358 close (respipe [0]);
282 max_parallel (0); 359 close (respipe [1]);
283 360 create_pipe ();
284 pthread_mutex_lock (&reqlock);
285 361
286 if (!nreqs && !started) 362 atfork_parent ();
287 break;
288
289 pthread_mutex_unlock (&reqlock);
290
291 min_parallel (fork_started);
292 }
293
294 pthread_mutex_lock (&frklock);
295 fork_started = nstarted;
296 pthread_mutex_lock (&reslock);
297
298 assert (!started);
299 assert (!nreqs);
300 assert (!reqs && !reqe);
301 assert (!ress && !rese);
302} 363}
303 364
304static void atfork_parent (void) 365/* currently noops */
305{ 366#define LOCK_FD(fd) do { } while (0)
306 pthread_mutex_unlock (&reslock); 367#define UNLOCK_FD(fd) do { } while (0)
307 pthread_mutex_unlock (&frklock);
308 pthread_mutex_unlock (&reqlock);
309
310 min_parallel (fork_started);
311}
312
313#define atfork_child atfork_parent
314 368
315/*****************************************************************************/ 369/*****************************************************************************/
316/* work around various missing functions */ 370/* work around various missing functions */
317 371
318#if !HAVE_PREADWRITE 372#if !HAVE_PREADWRITE
330pread (int fd, void *buf, size_t count, off_t offset) 384pread (int fd, void *buf, size_t count, off_t offset)
331{ 385{
332 ssize_t res; 386 ssize_t res;
333 off_t ooffset; 387 off_t ooffset;
334 388
335 pthread_mutex_lock (&iolock); 389 LOCK_FD (fd);
390 pthread_mutex_lock (&iolock); /* replace by LOCK_FD and private buffer */
336 ooffset = lseek (fd, 0, SEEK_CUR); 391 ooffset = lseek (fd, 0, SEEK_CUR);
337 lseek (fd, offset, SEEK_SET); 392 lseek (fd, offset, SEEK_SET);
338 res = read (fd, buf, count); 393 res = read (fd, buf, count);
339 lseek (fd, ooffset, SEEK_SET); 394 lseek (fd, ooffset, SEEK_SET);
340 pthread_mutex_unlock (&iolock); 395 pthread_mutex_unlock (&iolock);
396 UNLOCK_FD (d);
341 397
342 return res; 398 return res;
343} 399}
344 400
345static ssize_t 401static ssize_t
346pwrite (int fd, void *buf, size_t count, off_t offset) 402pwrite (int fd, void *buf, size_t count, off_t offset)
347{ 403{
348 ssize_t res; 404 ssize_t res;
349 off_t ooffset; 405 off_t ooffset;
350 406
351 pthread_mutex_lock (&iolock); 407 LOCK_FD (fd);
408 pthread_mutex_lock (&iolock); /* replace by LOCK_FD and private buffer */
352 ooffset = lseek (fd, 0, SEEK_CUR); 409 ooffset = lseek (fd, 0, SEEK_CUR);
353 lseek (fd, offset, SEEK_SET); 410 lseek (fd, offset, SEEK_SET);
354 res = write (fd, buf, count); 411 res = write (fd, buf, count);
355 lseek (fd, offset, SEEK_SET); 412 lseek (fd, offset, SEEK_SET);
356 pthread_mutex_unlock (&iolock); 413 pthread_mutex_unlock (&iolock);
414 UNLOCK_FD (d);
357 415
358 return res; 416 return res;
359} 417}
360#endif 418#endif
361 419
381 } 439 }
382 440
383 errno = 0; 441 errno = 0;
384} 442}
385#endif 443#endif
444
445/* sendfile always needs emulation */
446static ssize_t
447sendfile_ (int ofd, int ifd, off_t offset, size_t count)
448{
449 ssize_t res;
450
451 if (!count)
452 return 0;
453
454 LOCK_FD (ofd);
455
456#if HAVE_SENDFILE
457# if __linux
458 res = sendfile (ofd, ifd, &offset, count);
459
460# elif __freebsd
461 /*
462 * Of course, the freebsd sendfile is a dire hack with no thoughts
463 * wasted on making it similar to other I/O functions.
464 */
465 {
466 off_t sbytes;
467 res = sendfile (ifd, ofd, offset, count, 0, &sbytes, 0);
468
469 if (res < 0 && sbytes)
470 /* maybe only on EAGAIN only: as usual, the manpage leaves you guessing */
471 res = sbytes;
472 }
473
474# elif __hpux
475 res = sendfile (ofd, ifd, offset, count, 0, 0);
476
477# elif __solaris
478 {
479 struct sendfilevec vec;
480 size_t sbytes;
481
482 vec.sfv_fd = ifd;
483 vec.sfv_flag = 0;
484 vec.sfv_off = offset;
485 vec.sfv_len = count;
486
487 res = sendfilev (ofd, &vec, 1, &sbytes);
488
489 if (res < 0 && sbytes)
490 res = sbytes;
491 }
492
493# else
494 res = -1;
495 errno = ENOSYS;
496# endif
497#endif
498
499 if (res < 0
500 && (errno == ENOSYS || errno == EINVAL || errno == ENOTSOCK
501#if __solaris
502 || errno == EAFNOSUPPORT || errno == EPROTOTYPE
503#endif
504 )
505 )
506 {
507 /* emulate sendfile. this is a major pain in the ass */
508 char *buf = malloc (4096);
509 res = 0;
510
511 for (;;)
512 {
513 ssize_t cnt;
514
515 cnt = pread (ifd, buf, 4096, offset);
516
517 if (cnt <= 0)
518 {
519 if (cnt && !res) res = -1;
520 break;
521 }
522
523 cnt = write (ofd, buf, cnt);
524
525 if (cnt <= 0)
526 {
527 if (cnt && !res) res = -1;
528 break;
529 }
530
531 offset += cnt;
532 res += cnt;
533 }
534
535 {
536 int errorno = errno;
537 free (buf);
538 errno = errorno;
539 }
540 }
541
542 UNLOCK_FD (ofd);
543
544 return res;
545}
386 546
387/*****************************************************************************/ 547/*****************************************************************************/
388 548
389static void * 549static void *
390aio_proc (void *thr_arg) 550aio_proc (void *thr_arg)
422 { 582 {
423 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break; 583 case REQ_READ: req->result = pread (req->fd, req->dataptr, req->length, req->offset); break;
424 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break; 584 case REQ_WRITE: req->result = pwrite (req->fd, req->dataptr, req->length, req->offset); break;
425 585
426 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break; 586 case REQ_READAHEAD: req->result = readahead (req->fd, req->offset, req->length); break;
587 case REQ_SENDFILE: req->result = sendfile_ (req->fd, req->fd2, req->offset, req->length); break;
427 588
428 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break; 589 case REQ_STAT: req->result = stat (req->dataptr, req->statdata); break;
429 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break; 590 case REQ_LSTAT: req->result = lstat (req->dataptr, req->statdata); break;
430 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break; 591 case REQ_FSTAT: req->result = fstat (req->fd , req->statdata); break;
431 592
480 \ 641 \
481 Newz (0, req, 1, aio_cb); \ 642 Newz (0, req, 1, aio_cb); \
482 if (!req) \ 643 if (!req) \
483 croak ("out of memory during aio_req allocation"); \ 644 croak ("out of memory during aio_req allocation"); \
484 \ 645 \
485 req->callback = SvREFCNT_inc (callback); 646 req->callback = newSVsv (callback);
486 647
487MODULE = IO::AIO PACKAGE = IO::AIO 648MODULE = IO::AIO PACKAGE = IO::AIO
488 649
489PROTOTYPES: ENABLE 650PROTOTYPES: ENABLE
490 651
491BOOT: 652BOOT:
492{ 653{
493 if (pipe (respipe)) 654 create_pipe ();
494 croak ("unable to initialize result pipe");
495
496 if (fcntl (respipe [0], F_SETFL, O_NONBLOCK))
497 croak ("cannot set result pipe to nonblocking mode");
498
499 if (fcntl (respipe [1], F_SETFL, O_NONBLOCK))
500 croak ("cannot set result pipe to nonblocking mode");
501
502 pthread_atfork (atfork_prepare, atfork_parent, atfork_child); 655 pthread_atfork (atfork_prepare, atfork_parent, atfork_child);
503} 656}
504 657
505void 658void
506min_parallel(nthreads) 659min_parallel(nthreads)
562 715
563void 716void
564aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef) 717aio_read(fh,offset,length,data,dataoffset,callback=&PL_sv_undef)
565 SV * fh 718 SV * fh
566 UV offset 719 UV offset
567 IV length 720 UV length
568 SV * data 721 SV * data
569 IV dataoffset 722 UV dataoffset
570 SV * callback 723 SV * callback
571 ALIAS: 724 ALIAS:
572 aio_read = REQ_READ 725 aio_read = REQ_READ
573 aio_write = REQ_WRITE 726 aio_write = REQ_WRITE
574 PROTOTYPE: $$$$$;$ 727 PROTOTYPE: $$$$$;$
611 : IoOFP (sv_2io (fh))); 764 : IoOFP (sv_2io (fh)));
612 req->offset = offset; 765 req->offset = offset;
613 req->length = length; 766 req->length = length;
614 req->data = SvREFCNT_inc (data); 767 req->data = SvREFCNT_inc (data);
615 req->dataptr = (char *)svptr + dataoffset; 768 req->dataptr = (char *)svptr + dataoffset;
616 req->callback = SvREFCNT_inc (callback); 769
770 if (!SvREADONLY (data))
771 {
772 SvREADONLY_on (data);
773 req->data2ptr = (void *)data;
774 }
617 775
618 send_req (req); 776 send_req (req);
619 } 777 }
778}
779
780void
781aio_sendfile(out_fh,in_fh,in_offset,length,callback=&PL_sv_undef)
782 SV * out_fh
783 SV * in_fh
784 UV in_offset
785 UV length
786 SV * callback
787 PROTOTYPE: $$$$;$
788 CODE:
789{
790 dREQ;
791
792 req->type = REQ_SENDFILE;
793 req->fh = newSVsv (out_fh);
794 req->fd = PerlIO_fileno (IoIFP (sv_2io (out_fh)));
795 req->fh2 = newSVsv (in_fh);
796 req->fd2 = PerlIO_fileno (IoIFP (sv_2io (in_fh)));
797 req->offset = in_offset;
798 req->length = length;
799
800 send_req (req);
620} 801}
621 802
622void 803void
623aio_readahead(fh,offset,length,callback=&PL_sv_undef) 804aio_readahead(fh,offset,length,callback=&PL_sv_undef)
624 SV * fh 805 SV * fh
650{ 831{
651 dREQ; 832 dREQ;
652 833
653 New (0, req->statdata, 1, Stat_t); 834 New (0, req->statdata, 1, Stat_t);
654 if (!req->statdata) 835 if (!req->statdata)
836 {
837 free_req (req);
655 croak ("out of memory during aio_req->statdata allocation (sorry, i just leaked memory, too)"); 838 croak ("out of memory during aio_req->statdata allocation");
839 }
656 840
657 if (SvPOK (fh_or_path)) 841 if (SvPOK (fh_or_path))
658 { 842 {
659 req->type = ix; 843 req->type = ix;
660 req->data = newSVsv (fh_or_path); 844 req->data = newSVsv (fh_or_path);

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines