Changeset 7dafb7b

Timestamp:

Jan 12, 2021, 1:50:56 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

56911ce

Parents:

481ee28

Message:

Moved zeroing-out of sqes to call.cfa

Location:

libcfa/src/concurrency

Files:

• io.cfa (modified) (1 diff)
• io/call.cfa.in (modified) (4 diffs)

libcfa/src/concurrency/io.cfa

@@ -380 +380 @@
 
                                         // Success return the data
-                                        sqe->opcode = 0;
-                                        sqe->flags = 0;
-                                        sqe->ioprio = 0;
-                                        sqe->fd = 0;
-                                        sqe->off = 0;
-                                        sqe->addr = 0;
-                                        sqe->len = 0;
-                                        sqe->accept_flags = 0;
-                                        sqe->__pad2[0] = 0;
-                                        sqe->__pad2[1] = 0;
-                                        sqe->__pad2[2] = 0;
                                         return [sqe, idx];
                                 }

libcfa/src/concurrency/io/call.cfa.in

@@ -221 +221 @@
 
                 __u32 idx;
-                volatile struct io_uring_sqe * sqe;
-                [sqe, idx] = __submit_alloc( ring, (__u64)(uintptr_t)&future );
-
-                sqe->__pad2[0] = sqe->__pad2[1] = sqe->__pad2[2] = 0;
+                struct io_uring_sqe * sqe;
+                [(volatile struct io_uring_sqe *) sqe, idx] = __submit_alloc( ring, (__u64)(uintptr_t)&future );
+
                 sqe->opcode = IORING_OP_{op};
-                sqe->flags = sflags;{body}
+                sqe->flags = sflags;
+                sqe->ioprio = 0;
+                sqe->fd = 0;
+                sqe->off = 0;
+                sqe->addr = 0;
+                sqe->len = 0;
+                sqe->accept_flags = 0;
+                sqe->__pad2[0] = 0;
+                sqe->__pad2[1] = 0;
+                sqe->__pad2[2] = 0;{body}
+
+                asm volatile("": : :"memory");
 
                 verify( sqe->user_data == (__u64)(uintptr_t)&future );
@@ -314 +324 @@
         Call('ACCEPT', 'int accept4(int sockfd, struct sockaddr *addr, socklen_t *addrlen, int flags)', {
                 'fd': 'sockfd',
-                'ioprio': '0',
                 'addr': '(__u64)addr',
                 'addr2': '(__u64)addrlen',
@@ -374 +383 @@
         Call('READ', 'ssize_t read(int fd, void * buf, size_t count)', {
                 'fd': 'fd',
-                'off': '0',
                 'addr': '(__u64)buf',
                 'len': 'count'
@@ -381 +389 @@
         Call('WRITE', 'ssize_t write(int fd, void * buf, size_t count)', {
                 'fd': 'fd',
-                'off': '0',
                 'addr': '(__u64)buf',
                 'len': 'count'