]> granicus.if.org Git - strace/blob - tests/readv.c
Fix decoding and dumping of readv syscall in case of short read
[strace] / tests / readv.c
1 /*
2  * Check decoding of readv and writev syscalls.
3  *
4  * Copyright (c) 2016 Dmitry V. Levin <ldv@altlinux.org>
5  * All rights reserved.
6  *
7  * Redistribution and use in source and binary forms, with or without
8  * modification, are permitted provided that the following conditions
9  * are met:
10  * 1. Redistributions of source code must retain the above copyright
11  *    notice, this list of conditions and the following disclaimer.
12  * 2. Redistributions in binary form must reproduce the above copyright
13  *    notice, this list of conditions and the following disclaimer in the
14  *    documentation and/or other materials provided with the distribution.
15  * 3. The name of the author may not be used to endorse or promote products
16  *    derived from this software without specific prior written permission.
17  *
18  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28  */
29
30 #include "tests.h"
31
32 #include <assert.h>
33 #include <stdio.h>
34 #include <unistd.h>
35 #include <sys/uio.h>
36
37 int
38 main(void)
39 {
40         tprintf("%s", "");
41
42         int fds[2];
43         if (pipe(fds))
44                 perror_msg_and_fail("pipe");
45         assert(0 == fds[0]);
46         assert(1 == fds[1]);
47
48         static const char w0_c[] = "012";
49         const char *w0_d = hexdump_strdup(w0_c);
50         void *w0 = tail_memdup(w0_c, LENGTH_OF(w0_c));
51
52         static const char w1_c[] = "34567";
53         const char *w1_d = hexdump_strdup(w1_c);
54         void *w1 = tail_memdup(w1_c, LENGTH_OF(w1_c));
55
56         static const char w2_c[] = "89abcde";
57         const char *w2_d = hexdump_strdup(w2_c);
58         void *w2 = tail_memdup(w2_c, LENGTH_OF(w2_c));
59
60         static const char r0_c[] = "01234567";
61         const char *r0_d = hexdump_strdup(r0_c);
62         static const char r1_c[] = "89abcde";
63         const char *r1_d = hexdump_strdup(r1_c);
64
65         const struct iovec w_iov_[] = {
66                 {
67                         .iov_base = w0,
68                         .iov_len = LENGTH_OF(w0_c)
69                 }, {
70                         .iov_base = w1,
71                         .iov_len = LENGTH_OF(w1_c)
72                 }, {
73                         .iov_base = w2,
74                         .iov_len = LENGTH_OF(w2_c)
75                 }
76         };
77         const struct iovec *w_iov = tail_memdup(w_iov_, sizeof(w_iov_));
78         const unsigned int w_len =
79                 LENGTH_OF(w0_c) + LENGTH_OF(w1_c) + LENGTH_OF(w2_c);
80
81         assert(writev(1, w_iov, ARRAY_SIZE(w_iov_)) == (int) w_len);
82         close(1);
83         tprintf("writev(1, [{\"%s\", %u}, {\"%s\", %u}"
84                 ", {\"%s\", %u}], %u) = %u\n"
85                 " * %u bytes in buffer 0\n"
86                 " | 00000 %-49s  %-16s |\n"
87                 " * %u bytes in buffer 1\n"
88                 " | 00000 %-49s  %-16s |\n"
89                 " * %u bytes in buffer 2\n"
90                 " | 00000 %-49s  %-16s |\n",
91                 w0_c, LENGTH_OF(w0_c), w1_c, LENGTH_OF(w1_c),
92                 w2_c, LENGTH_OF(w2_c), ARRAY_SIZE(w_iov_), w_len,
93                 LENGTH_OF(w0_c), w0_d, w0_c,
94                 LENGTH_OF(w1_c), w1_d, w1_c, LENGTH_OF(w2_c), w2_d, w2_c);
95
96         const unsigned int r_len = (w_len + 1) / 2;
97         void *r0 = tail_alloc(r_len);
98         const struct iovec r0_iov_[] = {
99                 {
100                         .iov_base = r0,
101                         .iov_len = r_len
102                 }
103         };
104         const struct iovec *r_iov = tail_memdup(r0_iov_, sizeof(r0_iov_));
105
106         assert(readv(0, r_iov, ARRAY_SIZE(r0_iov_)) == (int) r_len);
107         tprintf("readv(0, [{\"%s\", %u}], %u) = %u\n"
108                 " * %u bytes in buffer 0\n"
109                 " | 00000 %-49s  %-16s |\n",
110                 r0_c, r_len, ARRAY_SIZE(r0_iov_), r_len, r_len, r0_d, r0_c);
111
112         void *r1 = tail_alloc(r_len);
113         void *r2 = tail_alloc(w_len);
114         const struct iovec r1_iov_[] = {
115                 {
116                         .iov_base = r1,
117                         .iov_len = r_len
118                 },
119                 {
120                         .iov_base = r2,
121                         .iov_len = w_len
122                 }
123         };
124         r_iov = tail_memdup(r1_iov_, sizeof(r1_iov_));
125
126         assert(readv(0, r_iov, ARRAY_SIZE(r1_iov_)) == (int) w_len - r_len);
127         tprintf("readv(0, [{\"%s\", %u}, {\"\", %u}], %u) = %u\n"
128                 " * %u bytes in buffer 0\n"
129                 " | 00000 %-49s  %-16s |\n",
130                 r1_c, r_len, w_len, ARRAY_SIZE(r1_iov_), w_len - r_len,
131                 w_len - r_len, r1_d, r1_c);
132         close(0);
133
134         tprintf("+++ exited with 0 +++\n");
135         return 0;
136 }