source: libcfa/src/concurrency/iocall.cfa @ 3f850d7

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 3f850d7 was 3f850d7, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Fixed pointer conversion in IO call

  • Property mode set to 100644
File size: 16.3 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2020 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// iocall.cfa --
8//
9// Author           : Thierry Delisle
10// Created On       : Wed Jul  1 14:51:00 2020
11// Last Modified By :
12// Last Modified On :
13// Update Count     :
14//
15
16#include "bits/defs.hfa"
17
18//=============================================================================================
19// I/O uring backend
20//=============================================================================================
21
22#if defined(CFA_HAVE_LINUX_IO_URING_H)
23        #include <stdint.h>
24        #include <linux/io_uring.h>
25
26        #include "kernel_private.hfa"
27
28        extern [* struct io_uring_sqe, uint32_t] __submit_alloc( struct __io_data & ring, uint64_t data );
29        extern void __submit( struct __io_data & ring, uint32_t idx );
30
31        static inline void ?{}(struct io_uring_sqe & this, uint8_t opcode, int fd) {
32                this.opcode = opcode;
33                #if !defined(IOSQE_ASYNC)
34                        this.flags = 0;
35                #else
36                        this.flags = IOSQE_ASYNC;
37                #endif
38                this.ioprio = 0;
39                this.fd = fd;
40                this.off = 0;
41                this.addr = 0;
42                this.len = 0;
43                this.rw_flags = 0;
44                this.__pad2[0] = this.__pad2[1] = this.__pad2[2] = 0;
45        }
46
47        static inline void ?{}(struct io_uring_sqe & this, uint8_t opcode, int fd, void * addr, uint32_t len, uint64_t off ) {
48                (this){ opcode, fd };
49                this.off = off;
50                this.addr = (uint64_t)(uintptr_t)addr;
51                this.len = len;
52        }
53
54        #define __submit_prelude \
55                __io_user_data_t data = { 0, active_thread() }; \
56                struct __io_data & ring = *data.thrd->curr_cluster->io; \
57                struct io_uring_sqe * sqe; \
58                uint32_t idx; \
59                [sqe, idx] = __submit_alloc( ring, (uint64_t)(uintptr_t)&data );
60
61        #define __submit_wait \
62                /*__cfaabi_bits_print_safe( STDERR_FILENO, "Preparing user data %p for %p\n", &data, data.thrd );*/ \
63                verify( sqe->user_data == (uint64_t)(uintptr_t)&data ); \
64                __submit( ring, idx ); \
65                park( __cfaabi_dbg_ctx ); \
66                return data.result;
67#endif
68
69//=============================================================================================
70// I/O Forwards
71//=============================================================================================
72
73// Some forward declarations
74#include <errno.h>
75#include <unistd.h>
76
77extern "C" {
78        #include <sys/types.h>
79        #include <sys/socket.h>
80        #include <sys/syscall.h>
81
82#if defined(HAVE_PREADV2)
83        struct iovec;
84        extern ssize_t preadv2 (int fd, const struct iovec *iov, int iovcnt, off_t offset, int flags);
85#endif
86#if defined(HAVE_PWRITEV2)
87        struct iovec;
88        extern ssize_t pwritev2(int fd, const struct iovec *iov, int iovcnt, off_t offset, int flags);
89#endif
90
91        extern int fsync(int fd);
92        extern int sync_file_range(int fd, int64_t offset, int64_t nbytes, unsigned int flags);
93
94        struct msghdr;
95        struct sockaddr;
96        extern ssize_t sendmsg(int sockfd, const struct msghdr *msg, int flags);
97        extern ssize_t recvmsg(int sockfd, struct msghdr *msg, int flags);
98        extern ssize_t send(int sockfd, const void *buf, size_t len, int flags);
99        extern ssize_t recv(int sockfd, void *buf, size_t len, int flags);
100        extern int accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags);
101        extern int connect(int sockfd, const struct sockaddr *addr, socklen_t addrlen);
102
103        extern int fallocate(int fd, int mode, uint64_t offset, uint64_t len);
104        extern int posix_fadvise(int fd, uint64_t offset, uint64_t len, int advice);
105        extern int madvise(void *addr, size_t length, int advice);
106
107        extern int openat(int dirfd, const char *pathname, int flags, mode_t mode);
108        extern int close(int fd);
109
110        extern ssize_t read (int fd, void *buf, size_t count);
111
112        extern ssize_t splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags);
113        extern ssize_t tee(int fd_in, int fd_out, size_t len, unsigned int flags);
114}
115
116//=============================================================================================
117// I/O Interface
118//=============================================================================================
119
120//-----------------------------------------------------------------------------
121// Asynchronous operations
122#if defined(HAVE_PREADV2)
123        ssize_t cfa_preadv2(int fd, const struct iovec *iov, int iovcnt, off_t offset, int flags) {
124                #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_READV)
125                        return preadv2(fd, iov, iovcnt, offset, flags);
126                #else
127                        __submit_prelude
128
129                        (*sqe){ IORING_OP_READV, fd, iov, iovcnt, offset };
130
131                        __submit_wait
132                #endif
133        }
134
135        ssize_t cfa_preadv2_fixed(int fd, const struct iovec *iov, int iovcnt, off_t offset, int flags) {
136                #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_READV)
137                        return preadv2(fd, iov, iovcnt, offset, flags);
138                #else
139                        __submit_prelude
140
141                        (*sqe){ IORING_OP_READV, fd, iov, iovcnt, offset };
142                        sqe->flags |= IOSQE_FIXED_FILE;
143
144                        __submit_wait
145                #endif
146        }
147#endif
148
149#if defined(HAVE_PWRITEV2)
150        ssize_t cfa_pwritev2(int fd, const struct iovec *iov, int iovcnt, off_t offset, int flags) {
151                #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_WRITEV)
152                        return pwritev2(fd, iov, iovcnt, offset, flags);
153                #else
154                        __submit_prelude
155
156                        (*sqe){ IORING_OP_WRITEV, fd, iov, iovcnt, offset };
157
158                        __submit_wait
159                #endif
160        }
161#endif
162
163int cfa_fsync(int fd) {
164        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_FSYNC)
165                return fsync(fd);
166        #else
167                __submit_prelude
168
169                (*sqe){ IORING_OP_FSYNC, fd };
170
171                __submit_wait
172        #endif
173}
174
175int cfa_sync_file_range(int fd, int64_t offset, int64_t nbytes, unsigned int flags) {
176        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_SYNC_FILE_RANGE)
177                return sync_file_range(fd, offset, nbytes, flags);
178        #else
179                __submit_prelude
180
181                (*sqe){ IORING_OP_SYNC_FILE_RANGE, fd };
182                sqe->off = offset;
183                sqe->len = nbytes;
184                sqe->sync_range_flags = flags;
185
186                __submit_wait
187        #endif
188}
189
190
191ssize_t cfa_sendmsg(int sockfd, const struct msghdr *msg, int flags) {
192        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_SENDMSG)
193                return sendmsg(sockfd, msg, flags);
194        #else
195                __submit_prelude
196
197                (*sqe){ IORING_OP_SENDMSG, sockfd, msg, 1, 0 };
198                sqe->msg_flags = flags;
199
200                __submit_wait
201        #endif
202}
203
204ssize_t cfa_recvmsg(int sockfd, struct msghdr *msg, int flags) {
205        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_RECVMSG)
206                return recvmsg(sockfd, msg, flags);
207        #else
208                __submit_prelude
209
210                (*sqe){ IORING_OP_RECVMSG, sockfd, msg, 1, 0 };
211                sqe->msg_flags = flags;
212
213                __submit_wait
214        #endif
215}
216
217ssize_t cfa_send(int sockfd, const void *buf, size_t len, int flags) {
218        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_SEND)
219                return send( sockfd, buf, len, flags );
220        #else
221                __submit_prelude
222
223                (*sqe){ IORING_OP_SEND, sockfd };
224                sqe->addr = (uint64_t)buf;
225                sqe->len = len;
226                sqe->msg_flags = flags;
227
228                __submit_wait
229        #endif
230}
231
232ssize_t cfa_recv(int sockfd, void *buf, size_t len, int flags) {
233        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_RECV)
234                return recv( sockfd, buf, len, flags );
235        #else
236                __submit_prelude
237
238                (*sqe){ IORING_OP_RECV, sockfd };
239                sqe->addr = (uint64_t)buf;
240                sqe->len = len;
241                sqe->msg_flags = flags;
242
243                __submit_wait
244        #endif
245}
246
247int cfa_accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags) {
248        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_ACCEPT)
249                return accept4( sockfd, addr, addrlen, flags );
250        #else
251                __submit_prelude
252
253                (*sqe){ IORING_OP_ACCEPT, sockfd };
254                sqe->addr = (uint64_t)(uintptr_t)addr;
255                sqe->addr2 = (uint64_t)(uintptr_t)addrlen;
256                sqe->accept_flags = flags;
257
258                __submit_wait
259        #endif
260}
261
262int cfa_connect(int sockfd, const struct sockaddr *addr, socklen_t addrlen) {
263        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_CONNECT)
264                return connect( sockfd, addr, addrlen );
265        #else
266                __submit_prelude
267
268                (*sqe){ IORING_OP_CONNECT, sockfd };
269                sqe->addr = (uint64_t)(uintptr_t)addr;
270                sqe->off  = (uint64_t)(uintptr_t)addrlen;
271
272                __submit_wait
273        #endif
274}
275
276int cfa_fallocate(int fd, int mode, uint64_t offset, uint64_t len) {
277        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_FALLOCATE)
278                return fallocate( fd, mode, offset, len );
279        #else
280                __submit_prelude
281
282                #warning FALLOCATE documentation for linux 5.7 is incorrect, and doesn't handle mode
283
284                (*sqe){ IORING_OP_FALLOCATE, fd };
285                sqe->off = offset;
286                sqe->len = mode;
287                sqe->addr = len;
288
289                __submit_wait
290        #endif
291}
292
293int cfa_fadvise(int fd, uint64_t offset, uint64_t len, int advice) {
294        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_FADVISE)
295                return posix_fadvise( fd, offset, len, advice );
296        #else
297                __submit_prelude
298
299                (*sqe){ IORING_OP_FADVISE, fd };
300                sqe->off = (uint64_t)offset;
301                sqe->len = len;
302                sqe->fadvise_advice = advice;
303
304                __submit_wait
305        #endif
306}
307
308int cfa_madvise(void *addr, size_t length, int advice) {
309        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_MADVISE)
310                return madvise( addr, length, advice );
311        #else
312                __submit_prelude
313
314                (*sqe){ IORING_OP_MADVISE, 0 };
315                sqe->addr = (uint64_t)addr;
316                sqe->len = length;
317                sqe->fadvise_advice = advice;
318
319                __submit_wait
320        #endif
321}
322
323int cfa_openat(int dirfd, const char *pathname, int flags, mode_t mode) {
324        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_OPENAT)
325                return openat( dirfd, pathname, flags, mode );
326        #else
327                __submit_prelude
328
329                (*sqe){ IORING_OP_OPENAT, dirfd };
330                sqe->addr = (uint64_t)pathname;
331                sqe->open_flags = flags;
332                sqe->len = mode;
333
334                __submit_wait
335        #endif
336}
337
338int cfa_close(int fd) {
339        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_CLOSE)
340                return close( fd );
341        #else
342                __submit_prelude
343
344                (*sqe){ IORING_OP_CLOSE, fd };
345
346                __submit_wait
347        #endif
348}
349
350// Forward declare in case it is not supported
351struct statx;
352int cfa_statx(int dirfd, const char *pathname, int flags, unsigned int mask, struct statx *statxbuf) {
353        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_STATX)
354                #if defined(__NR_statx)
355                        return syscall( __NR_statx, dirfd, pathname, flags, mask, statxbuf );
356                #else
357                        errno = ENOTSUP;
358                        return -1;
359                #endif
360        #else
361                __submit_prelude
362
363                (*sqe){ IORING_OP_STATX, dirfd, pathname, mask, (uint64_t)statxbuf };
364                sqe->flags = flags;
365
366                __submit_wait
367        #endif
368}
369
370ssize_t cfa_read(int fd, void *buf, size_t count) {
371        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_READ)
372                return read( fd, buf, count );
373        #else
374                __submit_prelude
375
376                (*sqe){ IORING_OP_READ, fd, buf, count, 0 };
377
378                __submit_wait
379        #endif
380}
381
382ssize_t cfa_write(int fd, void *buf, size_t count) {
383        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_WRITE)
384                return read( fd, buf, count );
385        #else
386                __submit_prelude
387
388                (*sqe){ IORING_OP_WRITE, fd, buf, count, 0 };
389
390                __submit_wait
391        #endif
392}
393
394ssize_t cfa_splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags) {
395        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_SPLICE)
396                return splice( fd_in, off_in, fd_out, off_out, len, flags );
397        #else
398                __submit_prelude
399
400                (*sqe){ IORING_OP_SPLICE, fd_out };
401                if( off_out ) {
402                        sqe->off = *off_out;
403                }
404                else {
405                        sqe->off = (uint64_t)-1;
406                }
407                sqe->len = len;
408                sqe->splice_fd_in  = fd_in;
409                if( off_in ) {
410                        sqe->splice_off_in = *off_in;
411                }
412                else {
413                        sqe->splice_off_in = (uint64_t)-1;
414                }
415                sqe->splice_flags  = flags;
416
417                __submit_wait
418        #endif
419}
420
421ssize_t cfa_splice(int fd_in, loff_t *off_in, int fd_out, loff_t *off_out, size_t len, unsigned int flags, int in_flags, int out_flags) {
422        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_SPLICE)
423                return splice( fd_in, off_in, fd_out, off_out, len, flags );
424        #else
425                __submit_prelude
426
427                (*sqe){ IORING_OP_SPLICE, fd_out };
428                if( off_out ) {
429                        sqe->off = *off_out;
430                }
431                else {
432                        sqe->off = (uint64_t)-1;
433                }
434                sqe->len = len;
435                sqe->splice_fd_in  = fd_in;
436                if( off_in ) {
437                        sqe->splice_off_in = *off_in;
438                }
439                else {
440                        sqe->splice_off_in = (uint64_t)-1;
441                }
442                sqe->splice_flags  = flags | out_flags;
443                sqe->flags = in_flags;
444
445                __submit_wait
446        #endif
447}
448
449ssize_t cfa_tee(int fd_in, int fd_out, size_t len, unsigned int flags) {
450        #if !defined(CFA_HAVE_LINUX_IO_URING_H) || !defined(CFA_HAVE_IORING_OP_TEE)
451                return tee( fd_in, fd_out, len, flags );
452        #else
453                __submit_prelude
454
455                (*sqe){ IORING_OP_TEE, fd_out, 0p, len, 0 };
456                sqe->splice_fd_in = fd_in;
457                sqe->splice_flags = flags;
458
459                __submit_wait
460        #endif
461}
462
463//-----------------------------------------------------------------------------
464// Check if a function is asynchronous
465
466// Macro magic to reduce the size of the following switch case
467#define IS_DEFINED_APPLY(f, ...) f(__VA_ARGS__)
468#define IS_DEFINED_SECOND(first, second, ...) second
469#define IS_DEFINED_TEST(expansion) _CFA_IO_FEATURE_##expansion
470#define IS_DEFINED(macro) IS_DEFINED_APPLY( IS_DEFINED_SECOND,IS_DEFINED_TEST(macro) false, true)
471
472bool has_user_level_blocking( fptr_t func ) {
473        #if defined(CFA_HAVE_LINUX_IO_URING_H)
474                #if defined(HAVE_PREADV2)
475                        if( /*func == (fptr_t)preadv2 || */
476                                func == (fptr_t)cfa_preadv2 )
477                                #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_READV ,
478                                return IS_DEFINED(CFA_HAVE_IORING_OP_READV);
479                #endif
480
481                #if defined(HAVE_PWRITEV2)
482                        if( /*func == (fptr_t)pwritev2 || */
483                                func == (fptr_t)cfa_pwritev2 )
484                                #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_WRITEV ,
485                                return IS_DEFINED(CFA_HAVE_IORING_OP_WRITEV);
486                #endif
487
488                if( /*func == (fptr_t)fsync || */
489                        func == (fptr_t)cfa_fsync )
490                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_FSYNC ,
491                        return IS_DEFINED(CFA_HAVE_IORING_OP_FSYNC);
492
493                if( /*func == (fptr_t)ync_file_range || */
494                        func == (fptr_t)cfa_sync_file_range )
495                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_SYNC_FILE_RANGE ,
496                        return IS_DEFINED(CFA_HAVE_IORING_OP_SYNC_FILE_RANGE);
497
498                if( /*func == (fptr_t)sendmsg || */
499                        func == (fptr_t)cfa_sendmsg )
500                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_SENDMSG ,
501                        return IS_DEFINED(CFA_HAVE_IORING_OP_SENDMSG);
502
503                if( /*func == (fptr_t)recvmsg || */
504                        func == (fptr_t)cfa_recvmsg )
505                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_RECVMSG ,
506                        return IS_DEFINED(CFA_HAVE_IORING_OP_RECVMSG);
507
508                if( /*func == (fptr_t)send || */
509                        func == (fptr_t)cfa_send )
510                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_SEND ,
511                        return IS_DEFINED(CFA_HAVE_IORING_OP_SEND);
512
513                if( /*func == (fptr_t)recv || */
514                        func == (fptr_t)cfa_recv )
515                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_RECV ,
516                        return IS_DEFINED(CFA_HAVE_IORING_OP_RECV);
517
518                if( /*func == (fptr_t)accept4 || */
519                        func == (fptr_t)cfa_accept4 )
520                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_ACCEPT ,
521                        return IS_DEFINED(CFA_HAVE_IORING_OP_ACCEPT);
522
523                if( /*func == (fptr_t)connect || */
524                        func == (fptr_t)cfa_connect )
525                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_CONNECT ,
526                        return IS_DEFINED(CFA_HAVE_IORING_OP_CONNECT);
527
528                if( /*func == (fptr_t)fallocate || */
529                        func == (fptr_t)cfa_fallocate )
530                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_FALLOCATE ,
531                        return IS_DEFINED(CFA_HAVE_IORING_OP_FALLOCATE);
532
533                if( /*func == (fptr_t)posix_fadvise || */
534                        func == (fptr_t)cfa_fadvise )
535                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_FADVISE ,
536                        return IS_DEFINED(CFA_HAVE_IORING_OP_FADVISE);
537
538                if( /*func == (fptr_t)madvise || */
539                        func == (fptr_t)cfa_madvise )
540                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_MADVISE ,
541                        return IS_DEFINED(CFA_HAVE_IORING_OP_MADVISE);
542
543                if( /*func == (fptr_t)openat || */
544                        func == (fptr_t)cfa_openat )
545                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_OPENAT ,
546                        return IS_DEFINED(CFA_HAVE_IORING_OP_OPENAT);
547
548                if( /*func == (fptr_t)close || */
549                        func == (fptr_t)cfa_close )
550                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_CLOSE ,
551                        return IS_DEFINED(CFA_HAVE_IORING_OP_CLOSE);
552
553                if( /*func == (fptr_t)read || */
554                        func == (fptr_t)cfa_read )
555                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_READ ,
556                        return IS_DEFINED(CFA_HAVE_IORING_OP_READ);
557
558                if( /*func == (fptr_t)write || */
559                        func == (fptr_t)cfa_write )
560                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_WRITE ,
561                        return IS_DEFINED(CFA_HAVE_IORING_OP_WRITE);
562
563                if( /*func == (fptr_t)splice || */
564                        func == (fptr_t)(ssize_t (*)(int, loff_t *, int, loff_t *, size_t, unsigned int))cfa_splice,
565                        func == (fptr_t)(ssize_t (*)(int, loff_t *, int, loff_t *, size_t, unsigned int, int, int))cfa_splice )
566                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_SPLICE ,
567                        return IS_DEFINED(CFA_HAVE_IORING_OP_SPLICE);
568
569                if( /*func == (fptr_t)tee || */
570                        func == (fptr_t)cfa_tee )
571                        #define _CFA_IO_FEATURE_CFA_HAVE_IORING_OP_TEE ,
572                        return IS_DEFINED(CFA_HAVE_IORING_OP_TEE);
573        #endif
574
575        return false;
576}
Note: See TracBrowser for help on using the repository browser.