1 /*
2 * *****************************************************************************
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 *
6 * Copyright (c) 2018-2023 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 #if !BC_ENABLE_LINE_LIB
48
49 /**
50 * Translates an integer into a string.
51 * @param val The value to translate.
52 * @param buf The return parameter.
53 */
54 static void
bc_file_ultoa(unsigned long long val,char buf[BC_FILE_ULL_LENGTH])55 bc_file_ultoa(unsigned long long val, char buf[BC_FILE_ULL_LENGTH])
56 {
57 char buf2[BC_FILE_ULL_LENGTH];
58 size_t i, len;
59
60 // We need to make sure the entire thing is zeroed.
61 // NOLINTNEXTLINE
62 memset(buf2, 0, BC_FILE_ULL_LENGTH);
63
64 // The i = 1 is to ensure that there is a null byte at the end.
65 for (i = 1; val; ++i)
66 {
67 unsigned long long mod = val % 10;
68
69 buf2[i] = ((char) mod) + '0';
70 val /= 10;
71 }
72
73 len = i;
74
75 // Since buf2 is reversed, reverse it into buf.
76 for (i = 0; i < len; ++i)
77 {
78 buf[i] = buf2[len - i - 1];
79 }
80 }
81
82 /**
83 * Output to the file directly.
84 * @param fd The file descriptor.
85 * @param buf The buffer of data to output.
86 * @param n The number of bytes to output.
87 * @return A status indicating error or success. We could have a fatal I/O
88 * error or EOF.
89 */
90 static BcStatus
bc_file_output(int fd,const char * buf,size_t n)91 bc_file_output(int fd, const char* buf, size_t n)
92 {
93 size_t bytes = 0;
94 sig_atomic_t lock;
95
96 BC_SIG_TRYLOCK(lock);
97
98 // While the number of bytes written is less than intended...
99 while (bytes < n)
100 {
101 // Write.
102 ssize_t written = write(fd, buf + bytes, n - bytes);
103
104 // Check for error and return, if any.
105 if (BC_ERR(written == -1))
106 {
107 BC_SIG_TRYUNLOCK(lock);
108
109 return errno == EPIPE ? BC_STATUS_EOF : BC_STATUS_ERROR_FATAL;
110 }
111
112 bytes += (size_t) written;
113 }
114
115 BC_SIG_TRYUNLOCK(lock);
116
117 return BC_STATUS_SUCCESS;
118 }
119
120 #endif // !BC_ENABLE_LINE_LIB
121
122 BcStatus
bc_file_flushErr(BcFile * restrict f,BcFlushType type)123 bc_file_flushErr(BcFile* restrict f, BcFlushType type)
124 {
125 BcStatus s;
126
127 BC_SIG_ASSERT_LOCKED;
128
129 #if BC_ENABLE_LINE_LIB
130
131 // Just flush and propagate the error.
132 if (fflush(f->f) == EOF) s = BC_STATUS_ERROR_FATAL;
133 else s = BC_STATUS_SUCCESS;
134
135 #else // BC_ENABLE_LINE_LIB
136
137 // If there is stuff to output...
138 if (f->len)
139 {
140 #if BC_ENABLE_HISTORY
141
142 // If history is enabled...
143 if (BC_TTY)
144 {
145 // If we have been told to save the extras, and there *are*
146 // extras...
147 if (f->buf[f->len - 1] != '\n' &&
148 (type == BC_FLUSH_SAVE_EXTRAS_CLEAR ||
149 type == BC_FLUSH_SAVE_EXTRAS_NO_CLEAR))
150 {
151 size_t i;
152
153 // Look for the last newline.
154 for (i = f->len - 2; i < f->len && f->buf[i] != '\n'; --i)
155 {
156 continue;
157 }
158
159 i += 1;
160
161 // Save the extras.
162 bc_vec_string(&vm->history.extras, f->len - i, f->buf + i);
163 }
164 // Else clear the extras if told to.
165 else if (type >= BC_FLUSH_NO_EXTRAS_CLEAR)
166 {
167 bc_vec_popAll(&vm->history.extras);
168 }
169 }
170 #endif // BC_ENABLE_HISTORY
171
172 // Actually output.
173 s = bc_file_output(f->fd, f->buf, f->len);
174 f->len = 0;
175 }
176 else s = BC_STATUS_SUCCESS;
177
178 #endif // BC_ENABLE_LINE_LIB
179
180 return s;
181 }
182
183 void
bc_file_flush(BcFile * restrict f,BcFlushType type)184 bc_file_flush(BcFile* restrict f, BcFlushType type)
185 {
186 BcStatus s;
187 sig_atomic_t lock;
188
189 BC_SIG_TRYLOCK(lock);
190
191 s = bc_file_flushErr(f, type);
192
193 // If we have an error...
194 if (BC_ERR(s))
195 {
196 // For EOF, set it and jump.
197 if (s == BC_STATUS_EOF)
198 {
199 vm->status = (sig_atomic_t) s;
200 BC_SIG_TRYUNLOCK(lock);
201 BC_JMP;
202 }
203 // Blow up on fatal error. Okay, not blow up, just quit.
204 else bc_vm_fatalError(BC_ERR_FATAL_IO_ERR);
205 }
206
207 BC_SIG_TRYUNLOCK(lock);
208 }
209
210 #if !BC_ENABLE_LINE_LIB
211
212 void
bc_file_write(BcFile * restrict f,BcFlushType type,const char * buf,size_t n)213 bc_file_write(BcFile* restrict f, BcFlushType type, const char* buf, size_t n)
214 {
215 sig_atomic_t lock;
216
217 BC_SIG_TRYLOCK(lock);
218
219 // If we have enough to flush, do it.
220 if (n > f->cap - f->len)
221 {
222 bc_file_flush(f, type);
223 assert(!f->len);
224 }
225
226 // If the output is large enough to flush by itself, just output it.
227 // Otherwise, put it into the buffer.
228 if (BC_UNLIKELY(n > f->cap - f->len))
229 {
230 BcStatus s = bc_file_output(f->fd, buf, n);
231
232 if (BC_ERR(s))
233 {
234 // For EOF, set it and jump.
235 if (s == BC_STATUS_EOF)
236 {
237 vm->status = (sig_atomic_t) s;
238 BC_SIG_TRYUNLOCK(lock);
239 BC_JMP;
240 }
241 // Blow up on fatal error. Okay, not blow up, just quit.
242 else bc_vm_fatalError(BC_ERR_FATAL_IO_ERR);
243 }
244 }
245 else
246 {
247 // NOLINTNEXTLINE
248 memcpy(f->buf + f->len, buf, n);
249 f->len += n;
250 }
251
252 BC_SIG_TRYUNLOCK(lock);
253 }
254
255 #endif // BC_ENABLE_LINE_LIB
256
257 void
bc_file_printf(BcFile * restrict f,const char * fmt,...)258 bc_file_printf(BcFile* restrict f, const char* fmt, ...)
259 {
260 va_list args;
261 sig_atomic_t lock;
262
263 BC_SIG_TRYLOCK(lock);
264
265 va_start(args, fmt);
266 bc_file_vprintf(f, fmt, args);
267 va_end(args);
268
269 BC_SIG_TRYUNLOCK(lock);
270 }
271
272 void
bc_file_vprintf(BcFile * restrict f,const char * fmt,va_list args)273 bc_file_vprintf(BcFile* restrict f, const char* fmt, va_list args)
274 {
275 BC_SIG_ASSERT_LOCKED;
276
277 #if BC_ENABLE_LINE_LIB
278
279 {
280 int r;
281
282 // This mess is to silence a warning.
283 #if BC_CLANG
284 #pragma clang diagnostic ignored "-Wformat-nonliteral"
285 #endif // BC_CLANG
286 r = vfprintf(f->f, fmt, args);
287 #if BC_CLANG
288 #pragma clang diagnostic warning "-Wformat-nonliteral"
289 #endif // BC_CLANG
290
291 // Just print and propagate the error.
292 if (BC_ERR(r < 0))
293 {
294 bc_vm_fatalError(BC_ERR_FATAL_IO_ERR);
295 }
296 }
297
298 #else // BC_ENABLE_LINE_LIB
299
300 {
301 char* percent;
302 const char* ptr = fmt;
303 char buf[BC_FILE_ULL_LENGTH];
304
305 // This is a poor man's printf(). While I could look up algorithms to
306 // make it as fast as possible, and should when I write the standard
307 // library for a new language, for bc, outputting is not the bottleneck.
308 // So we cheese it for now.
309
310 // Find each percent sign.
311 while ((percent = strchr(ptr, '%')) != NULL)
312 {
313 char c;
314
315 // If the percent sign is not where we are, write what's inbetween
316 // to the buffer.
317 if (percent != ptr)
318 {
319 size_t len = (size_t) (percent - ptr);
320 bc_file_write(f, bc_flush_none, ptr, len);
321 }
322
323 c = percent[1];
324
325 // We only parse some format specifiers, the ones bc uses. If you
326 // add more, you need to make sure to add them here.
327 if (c == 'c')
328 {
329 uchar uc = (uchar) va_arg(args, int);
330
331 bc_file_putchar(f, bc_flush_none, uc);
332 }
333 else if (c == 's')
334 {
335 char* s = va_arg(args, char*);
336
337 bc_file_puts(f, bc_flush_none, s);
338 }
339 #if BC_DEBUG
340 // We only print signed integers in debug code.
341 else if (c == 'd')
342 {
343 int d = va_arg(args, int);
344
345 // Take care of negative. Let's not worry about overflow.
346 if (d < 0)
347 {
348 bc_file_putchar(f, bc_flush_none, '-');
349 d = -d;
350 }
351
352 // Either print 0 or translate and print.
353 if (!d) bc_file_putchar(f, bc_flush_none, '0');
354 else
355 {
356 bc_file_ultoa((unsigned long long) d, buf);
357 bc_file_puts(f, bc_flush_none, buf);
358 }
359 }
360 #endif // BC_DEBUG
361 else
362 {
363 unsigned long long ull;
364
365 // These are the ones that it expects from here. Fortunately,
366 // all of these are unsigned types, so they can use the same
367 // code, more or less.
368 assert((c == 'l' || c == 'z') && percent[2] == 'u');
369
370 if (c == 'z') ull = (unsigned long long) va_arg(args, size_t);
371 else ull = (unsigned long long) va_arg(args, unsigned long);
372
373 // Either print 0 or translate and print.
374 if (!ull) bc_file_putchar(f, bc_flush_none, '0');
375 else
376 {
377 bc_file_ultoa(ull, buf);
378 bc_file_puts(f, bc_flush_none, buf);
379 }
380 }
381
382 // Increment to the next spot after the specifier.
383 ptr = percent + 2 + (c == 'l' || c == 'z');
384 }
385
386 // If we get here, there are no more percent signs, so we just output
387 // whatever is left.
388 if (ptr[0]) bc_file_puts(f, bc_flush_none, ptr);
389 }
390
391 #endif // BC_ENABLE_LINE_LIB
392 }
393
394 void
bc_file_puts(BcFile * restrict f,BcFlushType type,const char * str)395 bc_file_puts(BcFile* restrict f, BcFlushType type, const char* str)
396 {
397 #if BC_ENABLE_LINE_LIB
398 // This is used because of flushing issues with using bc_file_write() when
399 // bc is using a line library. It's also using printf() because puts()
400 // writes a newline.
401 bc_file_printf(f, "%s", str);
402 #else // BC_ENABLE_LINE_LIB
403 bc_file_write(f, type, str, strlen(str));
404 #endif // BC_ENABLE_LINE_LIB
405 }
406
407 void
bc_file_putchar(BcFile * restrict f,BcFlushType type,uchar c)408 bc_file_putchar(BcFile* restrict f, BcFlushType type, uchar c)
409 {
410 sig_atomic_t lock;
411
412 BC_SIG_TRYLOCK(lock);
413
414 #if BC_ENABLE_LINE_LIB
415
416 if (BC_ERR(fputc(c, f->f) == EOF))
417 {
418 // This is here to prevent a stack overflow from unbounded recursion.
419 if (f->f == stderr) exit(BC_STATUS_ERROR_FATAL);
420
421 bc_vm_fatalError(BC_ERR_FATAL_IO_ERR);
422 }
423
424 #else // BC_ENABLE_LINE_LIB
425
426 if (f->len == f->cap) bc_file_flush(f, type);
427
428 assert(f->len < f->cap);
429
430 f->buf[f->len] = (char) c;
431 f->len += 1;
432
433 #endif // BC_ENABLE_LINE_LIB
434
435 BC_SIG_TRYUNLOCK(lock);
436 }
437
438 #if BC_ENABLE_LINE_LIB
439
440 void
bc_file_init(BcFile * f,FILE * file)441 bc_file_init(BcFile* f, FILE* file)
442 {
443 BC_SIG_ASSERT_LOCKED;
444 f->f = file;
445 }
446
447 #else // BC_ENABLE_LINE_LIB
448
449 void
bc_file_init(BcFile * f,int fd,char * buf,size_t cap)450 bc_file_init(BcFile* f, int fd, char* buf, size_t cap)
451 {
452 BC_SIG_ASSERT_LOCKED;
453
454 f->fd = fd;
455 f->buf = buf;
456 f->len = 0;
457 f->cap = cap;
458 }
459
460 #endif // BC_ENABLE_LINE_LIB
461
462 void
bc_file_free(BcFile * f)463 bc_file_free(BcFile* f)
464 {
465 BC_SIG_ASSERT_LOCKED;
466 bc_file_flush(f, bc_flush_none);
467 }
468