1 /* 2 * ***************************************************************************** 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 * 6 * Copyright (c) 2018-2021 Gavin D. Howard and contributors. 7 * 8 * Redistribution and use in source and binary forms, with or without 9 * modification, are permitted provided that the following conditions are met: 10 * 11 * * Redistributions of source code must retain the above copyright notice, this 12 * list of conditions and the following disclaimer. 13 * 14 * * Redistributions in binary form must reproduce the above copyright notice, 15 * this list of conditions and the following disclaimer in the documentation 16 * and/or other materials provided with the distribution. 17 * 18 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 19 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 20 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 21 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE 22 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 23 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 24 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 25 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 26 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 27 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 28 * POSSIBILITY OF SUCH DAMAGE. 29 * 30 * ***************************************************************************** 31 * 32 * Code for implementing buffered I/O on my own terms. 33 * 34 */ 35 36 #include <assert.h> 37 #include <errno.h> 38 #include <string.h> 39 40 #ifndef _WIN32 41 #include <unistd.h> 42 #endif // _WIN32 43 44 #include <file.h> 45 #include <vm.h> 46 47 static void bc_file_ultoa(unsigned long long val, char buf[BC_FILE_ULL_LENGTH]) 48 { 49 char buf2[BC_FILE_ULL_LENGTH]; 50 size_t i, len; 51 52 memset(buf2, 0, BC_FILE_ULL_LENGTH); 53 54 // The i = 1 is to ensure that there is a null byte at the end. 55 for (i = 1; val; ++i) { 56 unsigned long long mod = val % 10; 57 buf2[i] = ((char) mod) + '0'; 58 val /= 10; 59 } 60 61 len = i; 62 63 for (i = 0; i < len; ++i) buf[i] = buf2[len - i - 1]; 64 } 65 66 static BcStatus bc_file_output(int fd, const char *buf, size_t n) { 67 68 size_t bytes = 0; 69 sig_atomic_t lock; 70 71 BC_SIG_TRYLOCK(lock); 72 73 while (bytes < n) { 74 75 ssize_t written = write(fd, buf + bytes, n - bytes); 76 77 if (BC_ERR(written == -1)) 78 return errno == EPIPE ? BC_STATUS_EOF : BC_STATUS_ERROR_FATAL; 79 80 bytes += (size_t) written; 81 } 82 83 BC_SIG_TRYUNLOCK(lock); 84 85 return BC_STATUS_SUCCESS; 86 } 87 88 BcStatus bc_file_flushErr(BcFile *restrict f, BcFlushType type) 89 { 90 BcStatus s; 91 92 if (f->len) { 93 94 #if BC_ENABLE_HISTORY 95 if (BC_TTY) { 96 if (f->buf[f->len - 1] != '\n' && 97 (type == BC_FLUSH_SAVE_EXTRAS_CLEAR || 98 type == BC_FLUSH_SAVE_EXTRAS_NO_CLEAR)) 99 { 100 size_t i; 101 102 for (i = f->len - 2; i < f->len && f->buf[i] != '\n'; --i); 103 104 i += 1; 105 106 bc_vec_string(&vm.history.extras, f->len - i, f->buf + i); 107 } 108 else if (type >= BC_FLUSH_NO_EXTRAS_CLEAR) { 109 bc_vec_popAll(&vm.history.extras); 110 } 111 } 112 #endif // BC_ENABLE_HISTORY 113 114 s = bc_file_output(f->fd, f->buf, f->len); 115 f->len = 0; 116 } 117 else s = BC_STATUS_SUCCESS; 118 119 return s; 120 } 121 122 void bc_file_flush(BcFile *restrict f, BcFlushType type) { 123 124 BcStatus s = bc_file_flushErr(f, type); 125 126 if (BC_ERR(s)) { 127 128 if (s == BC_STATUS_EOF) { 129 vm.status = (sig_atomic_t) s; 130 BC_VM_JMP; 131 } 132 else bc_vm_fatalError(BC_ERR_FATAL_IO_ERR); 133 } 134 } 135 136 void bc_file_write(BcFile *restrict f, BcFlushType type, 137 const char *buf, size_t n) 138 { 139 if (n > f->cap - f->len) { 140 bc_file_flush(f, type); 141 assert(!f->len); 142 } 143 144 if (BC_UNLIKELY(n > f->cap - f->len)) bc_file_output(f->fd, buf, n); 145 else { 146 memcpy(f->buf + f->len, buf, n); 147 f->len += n; 148 } 149 } 150 151 void bc_file_printf(BcFile *restrict f, const char *fmt, ...) 152 { 153 va_list args; 154 155 va_start(args, fmt); 156 bc_file_vprintf(f, fmt, args); 157 va_end(args); 158 } 159 160 void bc_file_vprintf(BcFile *restrict f, const char *fmt, va_list args) { 161 162 char *percent; 163 const char *ptr = fmt; 164 char buf[BC_FILE_ULL_LENGTH]; 165 166 while ((percent = strchr(ptr, '%')) != NULL) { 167 168 char c; 169 170 if (percent != ptr) { 171 size_t len = (size_t) (percent - ptr); 172 bc_file_write(f, bc_flush_none, ptr, len); 173 } 174 175 c = percent[1]; 176 177 if (c == 'c') { 178 179 uchar uc = (uchar) va_arg(args, int); 180 181 bc_file_putchar(f, bc_flush_none, uc); 182 } 183 else if (c == 's') { 184 185 char *s = va_arg(args, char*); 186 187 bc_file_puts(f, bc_flush_none, s); 188 } 189 #if BC_DEBUG_CODE 190 else if (c == 'd') { 191 192 int d = va_arg(args, int); 193 194 if (d < 0) { 195 bc_file_putchar(f, bc_flush_none, '-'); 196 d = -d; 197 } 198 199 if (!d) bc_file_putchar(f, bc_flush_none, '0'); 200 else { 201 bc_file_ultoa((unsigned long long) d, buf); 202 bc_file_puts(f, bc_flush_none, buf); 203 } 204 } 205 #endif // BC_DEBUG_CODE 206 else { 207 208 unsigned long long ull; 209 210 assert((c == 'l' || c == 'z') && percent[2] == 'u'); 211 212 if (c == 'z') ull = (unsigned long long) va_arg(args, size_t); 213 else ull = (unsigned long long) va_arg(args, unsigned long); 214 215 if (!ull) bc_file_putchar(f, bc_flush_none, '0'); 216 else { 217 bc_file_ultoa(ull, buf); 218 bc_file_puts(f, bc_flush_none, buf); 219 } 220 } 221 222 ptr = percent + 2 + (c == 'l' || c == 'z'); 223 } 224 225 if (ptr[0]) bc_file_puts(f, bc_flush_none, ptr); 226 } 227 228 void bc_file_puts(BcFile *restrict f, BcFlushType type, const char *str) { 229 bc_file_write(f, type, str, strlen(str)); 230 } 231 232 void bc_file_putchar(BcFile *restrict f, BcFlushType type, uchar c) { 233 if (f->len == f->cap) bc_file_flush(f, type); 234 assert(f->len < f->cap); 235 f->buf[f->len] = (char) c; 236 f->len += 1; 237 } 238 239 void bc_file_init(BcFile *f, int fd, char *buf, size_t cap) { 240 BC_SIG_ASSERT_LOCKED; 241 f->fd = fd; 242 f->buf = buf; 243 f->len = 0; 244 f->cap = cap; 245 } 246 247 void bc_file_free(BcFile *f) { 248 BC_SIG_ASSERT_LOCKED; 249 bc_file_flush(f, bc_flush_none); 250 } 251