LCOV - code coverage report
Current view: top level - extmod - vfs_posix_file.c (source / functions) Hit Total Coverage
Test: unix_coverage_v1.22.0-333-g49ce7a607.info Lines: 102 106 96.2 %
Date: 2024-04-22 10:07:55 Functions: 8 8 100.0 %
Branches: 41 54 75.9 %

           Branch data     Line data    Source code
       1                 :            : /*
       2                 :            :  * This file is part of the MicroPython project, http://micropython.org/
       3                 :            :  *
       4                 :            :  * The MIT License (MIT)
       5                 :            :  *
       6                 :            :  * Copyright (c) 2013-2018 Damien P. George
       7                 :            :  *
       8                 :            :  * Permission is hereby granted, free of charge, to any person obtaining a copy
       9                 :            :  * of this software and associated documentation files (the "Software"), to deal
      10                 :            :  * in the Software without restriction, including without limitation the rights
      11                 :            :  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
      12                 :            :  * copies of the Software, and to permit persons to whom the Software is
      13                 :            :  * furnished to do so, subject to the following conditions:
      14                 :            :  *
      15                 :            :  * The above copyright notice and this permission notice shall be included in
      16                 :            :  * all copies or substantial portions of the Software.
      17                 :            :  *
      18                 :            :  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      19                 :            :  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      20                 :            :  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      21                 :            :  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      22                 :            :  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
      23                 :            :  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
      24                 :            :  * THE SOFTWARE.
      25                 :            :  */
      26                 :            : 
      27                 :            : #include "py/mphal.h"
      28                 :            : #include "py/mpthread.h"
      29                 :            : #include "py/runtime.h"
      30                 :            : #include "py/stream.h"
      31                 :            : #include "extmod/vfs_posix.h"
      32                 :            : 
      33                 :            : #if MICROPY_VFS_POSIX
      34                 :            : 
      35                 :            : #include <fcntl.h>
      36                 :            : #include <unistd.h>
      37                 :            : 
      38                 :            : #ifdef _WIN32
      39                 :            : #define fsync _commit
      40                 :            : #else
      41                 :            : #include <poll.h>
      42                 :            : #endif
      43                 :            : 
      44                 :            : typedef struct _mp_obj_vfs_posix_file_t {
      45                 :            :     mp_obj_base_t base;
      46                 :            :     int fd;
      47                 :            : } mp_obj_vfs_posix_file_t;
      48                 :            : 
      49                 :            : #if MICROPY_CPYTHON_COMPAT
      50                 :     704692 : static void check_fd_is_open(const mp_obj_vfs_posix_file_t *o) {
      51         [ +  + ]:     704692 :     if (o->fd < 0) {
      52                 :          4 :         mp_raise_ValueError(MP_ERROR_TEXT("I/O operation on closed file"));
      53                 :            :     }
      54                 :     704688 : }
      55                 :            : #else
      56                 :            : #define check_fd_is_open(o)
      57                 :            : #endif
      58                 :            : 
      59                 :          2 : static void vfs_posix_file_print(const mp_print_t *print, mp_obj_t self_in, mp_print_kind_t kind) {
      60                 :          2 :     (void)kind;
      61                 :          2 :     mp_obj_vfs_posix_file_t *self = MP_OBJ_TO_PTR(self_in);
      62                 :          2 :     mp_printf(print, "<io.%s %d>", mp_obj_get_type_str(self_in), self->fd);
      63                 :          2 : }
      64                 :            : 
      65                 :       3638 : mp_obj_t mp_vfs_posix_file_open(const mp_obj_type_t *type, mp_obj_t file_in, mp_obj_t mode_in) {
      66                 :       3638 :     const char *mode_s = mp_obj_str_get_str(mode_in);
      67                 :            : 
      68                 :       3638 :     int mode_rw = 0, mode_x = 0;
      69         [ +  + ]:      10838 :     while (*mode_s) {
      70   [ +  +  +  +  :       7200 :         switch (*mode_s++) {
                +  +  - ]
      71                 :       3582 :             case 'r':
      72                 :       3582 :                 mode_rw = O_RDONLY;
      73                 :       3582 :                 break;
      74                 :         42 :             case 'w':
      75                 :         42 :                 mode_rw = O_WRONLY;
      76                 :         42 :                 mode_x = O_CREAT | O_TRUNC;
      77                 :         42 :                 break;
      78                 :         14 :             case 'a':
      79                 :         14 :                 mode_rw = O_WRONLY;
      80                 :         14 :                 mode_x = O_CREAT | O_APPEND;
      81                 :         14 :                 break;
      82                 :          8 :             case '+':
      83                 :          8 :                 mode_rw = O_RDWR;
      84                 :          8 :                 break;
      85                 :       3548 :             case 'b':
      86                 :       3548 :                 type = &mp_type_vfs_posix_fileio;
      87                 :       3548 :                 break;
      88                 :          6 :             case 't':
      89                 :          6 :                 type = &mp_type_vfs_posix_textio;
      90                 :          6 :                 break;
      91                 :            :         }
      92                 :            :     }
      93                 :            : 
      94                 :       3638 :     mp_obj_vfs_posix_file_t *o = mp_obj_malloc_with_finaliser(mp_obj_vfs_posix_file_t, type);
      95                 :       3638 :     o->fd = -1; // In case open() fails below, initialise this as a "closed" file object.
      96                 :            : 
      97                 :       3638 :     mp_obj_t fid = file_in;
      98                 :            : 
      99         [ +  + ]:       3638 :     if (mp_obj_is_small_int(fid)) {
     100                 :          2 :         o->fd = MP_OBJ_SMALL_INT_VALUE(fid);
     101                 :          2 :         return MP_OBJ_FROM_PTR(o);
     102                 :            :     }
     103                 :            : 
     104                 :       3636 :     const char *fname = mp_obj_str_get_str(fid);
     105                 :       3636 :     int fd;
     106   [ +  +  -  + ]:       3636 :     MP_HAL_RETRY_SYSCALL(fd, open(fname, mode_x | mode_rw, 0644), mp_raise_OSError(err));
     107                 :       3632 :     o->fd = fd;
     108                 :       3632 :     return MP_OBJ_FROM_PTR(o);
     109                 :            : }
     110                 :            : 
     111                 :         16 : static mp_obj_t vfs_posix_file_fileno(mp_obj_t self_in) {
     112                 :         16 :     mp_obj_vfs_posix_file_t *self = MP_OBJ_TO_PTR(self_in);
     113                 :         16 :     check_fd_is_open(self);
     114                 :         16 :     return MP_OBJ_NEW_SMALL_INT(self->fd);
     115                 :            : }
     116                 :            : static MP_DEFINE_CONST_FUN_OBJ_1(vfs_posix_file_fileno_obj, vfs_posix_file_fileno);
     117                 :            : 
     118                 :      78886 : static mp_uint_t vfs_posix_file_read(mp_obj_t o_in, void *buf, mp_uint_t size, int *errcode) {
     119                 :      78886 :     mp_obj_vfs_posix_file_t *o = MP_OBJ_TO_PTR(o_in);
     120                 :      78886 :     check_fd_is_open(o);
     121                 :      78884 :     ssize_t r;
     122   [ +  +  -  + ]:      78884 :     MP_HAL_RETRY_SYSCALL(r, read(o->fd, buf, size), {
     123                 :            :         *errcode = err;
     124                 :            :         return MP_STREAM_ERROR;
     125                 :      78874 :     });
     126                 :      78874 :     return (mp_uint_t)r;
     127                 :            : }
     128                 :            : 
     129                 :     622240 : static mp_uint_t vfs_posix_file_write(mp_obj_t o_in, const void *buf, mp_uint_t size, int *errcode) {
     130                 :     622240 :     mp_obj_vfs_posix_file_t *o = MP_OBJ_TO_PTR(o_in);
     131                 :     622240 :     check_fd_is_open(o);
     132                 :            :     #if MICROPY_PY_OS_DUPTERM
     133                 :            :     if (o->fd <= STDERR_FILENO) {
     134                 :            :         mp_hal_stdout_tx_strn(buf, size);
     135                 :            :         return size;
     136                 :            :     }
     137                 :            :     #endif
     138                 :     622240 :     ssize_t r;
     139   [ +  +  -  + ]:     622240 :     MP_HAL_RETRY_SYSCALL(r, write(o->fd, buf, size), {
     140                 :            :         *errcode = err;
     141                 :            :         return MP_STREAM_ERROR;
     142                 :     622238 :     });
     143                 :     622238 :     return (mp_uint_t)r;
     144                 :            : }
     145                 :            : 
     146                 :      10776 : static mp_uint_t vfs_posix_file_ioctl(mp_obj_t o_in, mp_uint_t request, uintptr_t arg, int *errcode) {
     147                 :      10776 :     mp_obj_vfs_posix_file_t *o = MP_OBJ_TO_PTR(o_in);
     148                 :            : 
     149         [ +  + ]:      10776 :     if (request != MP_STREAM_CLOSE) {
     150                 :       3550 :         check_fd_is_open(o);
     151                 :            :     }
     152                 :            : 
     153   [ +  +  -  -  :       3548 :     switch (request) {
                      + ]
     154                 :          8 :         case MP_STREAM_FLUSH: {
     155                 :          8 :             int ret;
     156                 :            :             // fsync(stdin/stdout/stderr) may fail with EINVAL (or ENOTSUP on macos or EBADF
     157                 :            :             // on windows), because the OS doesn't buffer these except for instance when they
     158                 :            :             // are redirected from/to file, but don't propagate that error out.  Because data
     159                 :            :             // is not buffered by us, and stdin/out/err.flush() should just be a no-op.
     160                 :            :             #if defined(__APPLE__)
     161                 :            :             #define VFS_POSIX_STREAM_STDIO_ERR_CATCH (err == EINVAL || err == ENOTSUP)
     162                 :            :             #elif defined(_MSC_VER)
     163                 :            :             #define VFS_POSIX_STREAM_STDIO_ERR_CATCH (err == EINVAL || err == EBADF)
     164                 :            :             #else
     165                 :            :             #define VFS_POSIX_STREAM_STDIO_ERR_CATCH (err == EINVAL)
     166                 :            :             #endif
     167   [ +  -  -  +  :          8 :             MP_HAL_RETRY_SYSCALL(ret, fsync(o->fd), {
             +  -  -  + ]
     168                 :            :                 if (VFS_POSIX_STREAM_STDIO_ERR_CATCH
     169                 :            :                     && (o->fd == STDIN_FILENO || o->fd == STDOUT_FILENO || o->fd == STDERR_FILENO)) {
     170                 :            :                     return 0;
     171                 :            :                 }
     172                 :            :                 *errcode = err;
     173                 :            :                 return MP_STREAM_ERROR;
     174                 :            :             });
     175                 :            :             return 0;
     176                 :            :         }
     177                 :         26 :         case MP_STREAM_SEEK: {
     178                 :         26 :             struct mp_stream_seek_t *s = (struct mp_stream_seek_t *)arg;
     179                 :         26 :             MP_THREAD_GIL_EXIT();
     180                 :         26 :             off_t off = lseek(o->fd, s->offset, s->whence);
     181                 :         26 :             MP_THREAD_GIL_ENTER();
     182         [ -  + ]:         26 :             if (off == (off_t)-1) {
     183                 :          0 :                 *errcode = errno;
     184                 :          0 :                 return MP_STREAM_ERROR;
     185                 :            :             }
     186                 :         26 :             s->offset = off;
     187                 :         26 :             return 0;
     188                 :            :         }
     189                 :       7226 :         case MP_STREAM_CLOSE:
     190         [ +  + ]:       7226 :             if (o->fd >= 0) {
     191                 :       3634 :                 MP_THREAD_GIL_EXIT();
     192                 :       3634 :                 close(o->fd);
     193                 :       7226 :                 MP_THREAD_GIL_ENTER();
     194                 :            :             }
     195                 :       7226 :             o->fd = -1;
     196                 :       7226 :             return 0;
     197                 :          0 :         case MP_STREAM_GET_FILENO:
     198                 :          0 :             return o->fd;
     199                 :            :         #if MICROPY_PY_SELECT && !MICROPY_PY_SELECT_POSIX_OPTIMISATIONS
     200                 :            :         case MP_STREAM_POLL: {
     201                 :            :             #ifdef _WIN32
     202                 :            :             mp_raise_NotImplementedError(MP_ERROR_TEXT("poll on file not available on win32"));
     203                 :            :             #else
     204                 :            :             mp_uint_t ret = 0;
     205                 :            :             uint8_t pollevents = 0;
     206                 :            :             if (arg & MP_STREAM_POLL_RD) {
     207                 :            :                 pollevents |= POLLIN;
     208                 :            :             }
     209                 :            :             if (arg & MP_STREAM_POLL_WR) {
     210                 :            :                 pollevents |= POLLOUT;
     211                 :            :             }
     212                 :            :             struct pollfd pfd = { .fd = o->fd, .events = pollevents };
     213                 :            :             if (poll(&pfd, 1, 0) > 0) {
     214                 :            :                 if (pfd.revents & POLLIN) {
     215                 :            :                     ret |= MP_STREAM_POLL_RD;
     216                 :            :                 }
     217                 :            :                 if (pfd.revents & POLLOUT) {
     218                 :            :                     ret |= MP_STREAM_POLL_WR;
     219                 :            :                 }
     220                 :            :                 if (pfd.revents & POLLERR) {
     221                 :            :                     ret |= MP_STREAM_POLL_ERR;
     222                 :            :                 }
     223                 :            :                 if (pfd.revents & POLLHUP) {
     224                 :            :                     ret |= MP_STREAM_POLL_HUP;
     225                 :            :                 }
     226                 :            :                 if (pfd.revents & POLLNVAL) {
     227                 :            :                     ret |= MP_STREAM_POLL_NVAL;
     228                 :            :                 }
     229                 :            :             }
     230                 :            :             return ret;
     231                 :            :             #endif
     232                 :            :         }
     233                 :            :         #endif
     234                 :       3514 :         default:
     235                 :       3514 :             *errcode = EINVAL;
     236                 :       3514 :             return MP_STREAM_ERROR;
     237                 :            :     }
     238                 :            : }
     239                 :            : 
     240                 :            : static const mp_rom_map_elem_t vfs_posix_rawfile_locals_dict_table[] = {
     241                 :            :     { MP_ROM_QSTR(MP_QSTR_fileno), MP_ROM_PTR(&vfs_posix_file_fileno_obj) },
     242                 :            :     { MP_ROM_QSTR(MP_QSTR_read), MP_ROM_PTR(&mp_stream_read_obj) },
     243                 :            :     { MP_ROM_QSTR(MP_QSTR_readinto), MP_ROM_PTR(&mp_stream_readinto_obj) },
     244                 :            :     { MP_ROM_QSTR(MP_QSTR_readline), MP_ROM_PTR(&mp_stream_unbuffered_readline_obj) },
     245                 :            :     { MP_ROM_QSTR(MP_QSTR_readlines), MP_ROM_PTR(&mp_stream_unbuffered_readlines_obj) },
     246                 :            :     { MP_ROM_QSTR(MP_QSTR_write), MP_ROM_PTR(&mp_stream_write_obj) },
     247                 :            :     { MP_ROM_QSTR(MP_QSTR_seek), MP_ROM_PTR(&mp_stream_seek_obj) },
     248                 :            :     { MP_ROM_QSTR(MP_QSTR_tell), MP_ROM_PTR(&mp_stream_tell_obj) },
     249                 :            :     { MP_ROM_QSTR(MP_QSTR_flush), MP_ROM_PTR(&mp_stream_flush_obj) },
     250                 :            :     { MP_ROM_QSTR(MP_QSTR_close), MP_ROM_PTR(&mp_stream_close_obj) },
     251                 :            :     { MP_ROM_QSTR(MP_QSTR___del__), MP_ROM_PTR(&mp_stream_close_obj) },
     252                 :            :     { MP_ROM_QSTR(MP_QSTR___enter__), MP_ROM_PTR(&mp_identity_obj) },
     253                 :            :     { MP_ROM_QSTR(MP_QSTR___exit__), MP_ROM_PTR(&mp_stream___exit___obj) },
     254                 :            : };
     255                 :            : 
     256                 :            : static MP_DEFINE_CONST_DICT(vfs_posix_rawfile_locals_dict, vfs_posix_rawfile_locals_dict_table);
     257                 :            : 
     258                 :            : static const mp_stream_p_t vfs_posix_fileio_stream_p = {
     259                 :            :     .read = vfs_posix_file_read,
     260                 :            :     .write = vfs_posix_file_write,
     261                 :            :     .ioctl = vfs_posix_file_ioctl,
     262                 :            : };
     263                 :            : 
     264                 :            : MP_DEFINE_CONST_OBJ_TYPE(
     265                 :            :     mp_type_vfs_posix_fileio,
     266                 :            :     MP_QSTR_FileIO,
     267                 :            :     MP_TYPE_FLAG_ITER_IS_STREAM,
     268                 :            :     print, vfs_posix_file_print,
     269                 :            :     protocol, &vfs_posix_fileio_stream_p,
     270                 :            :     locals_dict, &vfs_posix_rawfile_locals_dict
     271                 :            :     );
     272                 :            : 
     273                 :            : static const mp_stream_p_t vfs_posix_textio_stream_p = {
     274                 :            :     .read = vfs_posix_file_read,
     275                 :            :     .write = vfs_posix_file_write,
     276                 :            :     .ioctl = vfs_posix_file_ioctl,
     277                 :            :     .is_text = true,
     278                 :            : };
     279                 :            : 
     280                 :            : #if MICROPY_PY_SYS_STDIO_BUFFER
     281                 :            : 
     282                 :            : mp_obj_vfs_posix_file_t mp_sys_stdin_buffer_obj = {{&mp_type_vfs_posix_fileio}, STDIN_FILENO};
     283                 :            : mp_obj_vfs_posix_file_t mp_sys_stdout_buffer_obj = {{&mp_type_vfs_posix_fileio}, STDOUT_FILENO};
     284                 :            : mp_obj_vfs_posix_file_t mp_sys_stderr_buffer_obj = {{&mp_type_vfs_posix_fileio}, STDERR_FILENO};
     285                 :            : 
     286                 :            : // Forward declarations.
     287                 :            : mp_obj_vfs_posix_file_t mp_sys_stdin_obj;
     288                 :            : mp_obj_vfs_posix_file_t mp_sys_stdout_obj;
     289                 :            : mp_obj_vfs_posix_file_t mp_sys_stderr_obj;
     290                 :            : 
     291                 :        296 : static void vfs_posix_textio_attr(mp_obj_t self_in, qstr attr, mp_obj_t *dest) {
     292         [ +  - ]:        296 :     if (dest[0] != MP_OBJ_NULL) {
     293                 :            :         // These objects are read-only.
     294                 :            :         return;
     295                 :            :     }
     296                 :            : 
     297         [ +  + ]:        296 :     if (attr == MP_QSTR_buffer) {
     298                 :            :         // Implement the `buffer` attribute only on std{in,out,err} instances.
     299         [ +  + ]:         20 :         if (MP_OBJ_TO_PTR(self_in) == &mp_sys_stdin_obj) {
     300                 :          4 :             dest[0] = MP_OBJ_FROM_PTR(&mp_sys_stdin_buffer_obj);
     301                 :          4 :             return;
     302                 :            :         }
     303         [ +  + ]:         16 :         if (MP_OBJ_TO_PTR(self_in) == &mp_sys_stdout_obj) {
     304                 :          8 :             dest[0] = MP_OBJ_FROM_PTR(&mp_sys_stdout_buffer_obj);
     305                 :          8 :             return;
     306                 :            :         }
     307         [ +  - ]:          8 :         if (MP_OBJ_TO_PTR(self_in) == &mp_sys_stderr_obj) {
     308                 :          8 :             dest[0] = MP_OBJ_FROM_PTR(&mp_sys_stderr_buffer_obj);
     309                 :          8 :             return;
     310                 :            :         }
     311                 :            :     }
     312                 :            : 
     313                 :            :     // Any other attribute - forward to locals dict.
     314                 :        276 :     dest[1] = MP_OBJ_SENTINEL;
     315                 :            : };
     316                 :            : 
     317                 :            : #define VFS_POSIX_TEXTIO_TYPE_ATTR attr, vfs_posix_textio_attr,
     318                 :            : 
     319                 :            : #else
     320                 :            : 
     321                 :            : #define VFS_POSIX_TEXTIO_TYPE_ATTR
     322                 :            : 
     323                 :            : #endif // MICROPY_PY_SYS_STDIO_BUFFER
     324                 :            : 
     325                 :            : MP_DEFINE_CONST_OBJ_TYPE(
     326                 :            :     mp_type_vfs_posix_textio,
     327                 :            :     MP_QSTR_TextIOWrapper,
     328                 :            :     MP_TYPE_FLAG_ITER_IS_STREAM,
     329                 :            :     print, vfs_posix_file_print,
     330                 :            :     protocol, &vfs_posix_textio_stream_p,
     331                 :            :     VFS_POSIX_TEXTIO_TYPE_ATTR
     332                 :            :     locals_dict, &vfs_posix_rawfile_locals_dict
     333                 :            :     );
     334                 :            : 
     335                 :            : mp_obj_vfs_posix_file_t mp_sys_stdin_obj = {{&mp_type_vfs_posix_textio}, STDIN_FILENO};
     336                 :            : mp_obj_vfs_posix_file_t mp_sys_stdout_obj = {{&mp_type_vfs_posix_textio}, STDOUT_FILENO};
     337                 :            : mp_obj_vfs_posix_file_t mp_sys_stderr_obj = {{&mp_type_vfs_posix_textio}, STDERR_FILENO};
     338                 :            : 
     339                 :            : #endif // MICROPY_VFS_POSIX

Generated by: LCOV version 1.15-5-g462f71d