Virtual filesystem component¶
Overview¶
Virtual filesystem (VFS) component provides a unified interface for drivers which can perform operations on file-like objects. This can be a real filesystems (FAT, SPIFFS, etc.), or device drivers which exposes file-like interface.
This component allows C library functions, such as fopen and fprintf, to work with FS drivers. At high level, each FS driver is associated with some path prefix. When one of C library functions needs to open a file, VFS component searches for the FS driver associated with the file’s path, and forwards the call to that driver. VFS also forwards read, write, and other calls for the given file to the same FS driver.
For example, one can register a FAT filesystem driver with /fat
prefix, and call fopen("/fat/file.txt", "w")
. VFS component will then call open
function of FAT driver and pass /file.txt
argument to it (and appropriate mode flags). All subsequent calls to C library functions for the returned FILE*
stream will also be forwarded to the FAT driver.
FS registration¶
To register an FS driver, application needs to define in instance of esp_vfs_t
structure and populate it with function pointers to FS APIs:
esp_vfs_t myfs = {
.flags = ESP_VFS_FLAG_DEFAULT,
.write = &myfs_write,
.open = &myfs_open,
.fstat = &myfs_fstat,
.close = &myfs_close,
.read = &myfs_read,
};
ESP_ERROR_CHECK(esp_vfs_register("/data", &myfs, NULL));
Depending on the way FS driver declares its APIs, either read
, write
, etc., or read_p
, write_p
, etc. should be used.
Case 1: API functions are declared without an extra context pointer (FS driver is a singleton):
ssize_t myfs_write(int fd, const void * data, size_t size);
// In definition of esp_vfs_t:
.flags = ESP_VFS_FLAG_DEFAULT,
.write = &myfs_write,
// ... other members initialized
// When registering FS, context pointer (third argument) is NULL:
ESP_ERROR_CHECK(esp_vfs_register("/data", &myfs, NULL));
Case 2: API functions are declared with an extra context pointer (FS driver supports multiple instances):
ssize_t myfs_write(myfs_t* fs, int fd, const void * data, size_t size);
// In definition of esp_vfs_t:
.flags = ESP_VFS_FLAG_CONTEXT_PTR,
.write_p = &myfs_write,
// ... other members initialized
// When registering FS, pass the FS context pointer into the third argument
// (hypothetical myfs_mount function is used for illustrative purposes)
myfs_t* myfs_inst1 = myfs_mount(partition1->offset, partition1->size);
ESP_ERROR_CHECK(esp_vfs_register("/data1", &myfs, myfs_inst1));
// Can register another instance:
myfs_t* myfs_inst2 = myfs_mount(partition2->offset, partition2->size);
ESP_ERROR_CHECK(esp_vfs_register("/data2", &myfs, myfs_inst2));
Synchronous input/output multiplexing¶
If you want to use synchronous input/output multiplexing by select()
then you need to register the VFS with start_select()
and
end_select()
functions similarly to the following example:
// In definition of esp_vfs_t:
.start_select = &uart_start_select,
.end_select = &uart_end_select,
// ... other members initialized
start_select()
is called for setting up the environment for
detection of read/write/error conditions on file descriptors belonging to the
given VFS driver.
end_select()
is called to stop/deinitialize/free the
environment which was setup by start_select()
.
Note
end_select()
might be called without a previous start_select()
call in some rare
circumstances. end_select()
should fail gracefully if this is the case.
Please refer to the
reference implementation for the UART peripheral in
vfs/vfs_uart.c and most particularly to functions
esp_vfs_dev_uart_register()
, uart_start_select()
and
uart_end_select()
.
Examples demonstrating the use of select()
with VFS file descriptors
are the peripherals/uart_select and the system/select
examples.
If select()
is used for socket file descriptors only then one can
enable the CONFIG_USE_ONLY_LWIP_SELECT
option which can reduce the code
size and improve performance.
Note
Don’t change the socket driver during an active select()
call or you might experience some undefined
behavior.
Paths¶
Each registered FS has a path prefix associated with it. This prefix may be considered a “mount point” of this partition.
In case when mount points are nested, the mount point with the longest matching path prefix is used when opening the file. For instance, suppose that the following filesystems are registered in VFS:
- FS 1 on /data
- FS 2 on /data/static
Then:
- FS 1 will be used when opening a file called
/data/log.txt
- FS 2 will be used when opening a file called
/data/static/index.html
- Even if
/index.html"
doesn’t exist in FS 2, FS 1 will not be searched for/static/index.html
.
As a general rule, mount point names must start with the path separator (/
) and must contain at least one character after path separator. However an empty mount point name is also supported, and may be used in cases when application needs to provide “fallback” filesystem, or override VFS functionality altogether. Such filesystem will be used if no prefix matches the path given.
VFS does not handle dots (.
) in path names in any special way. VFS does not treat ..
as a reference to the parent directory. I.e. in the above example, using a path /data/static/../log.txt
will not result in a call to FS 1 to open /log.txt
. Specific FS drivers (such as FATFS) may handle dots in file names differently.
When opening files, FS driver will only be given relative path to files. For example:
myfs
driver is registered with/data
as path prefix- and application calls
fopen("/data/config.json", ...)
- then VFS component will call
myfs_open("/config.json", ...)
. myfs
driver will open/config.json
file
VFS doesn’t impose a limit on total file path length, but it does limit FS path prefix to ESP_VFS_PATH_MAX
characters. Individual FS drivers may have their own filename length limitations.
File descriptors¶
File descriptors are small positive integers from 0
to FD_SETSIZE - 1
where FD_SETSIZE
is defined in newlib’s sys/types.h
. The largest file descriptors (configured by CONFIG_LWIP_MAX_SOCKETS
) are reserved for sockets. The VFS component contains a lookup-table called s_fd_table
for mapping global file descriptors to VFS driver indexes registered in the s_vfs
array.
Standard IO streams (stdin, stdout, stderr)¶
If “UART for console output” menuconfig option is not set to “None”, then stdin
, stdout
, and stderr
are configured to read from, and write to, a UART. It is possible to use UART0 or UART1 for standard IO. By default, UART0 is used, with 115200 baud rate, TX pin is GPIO1 and RX pin is GPIO3. These parameters can be changed in menuconfig.
Writing to stdout
or stderr
will send characters to the UART transmit FIFO. Reading from stdin
will retrieve characters from the UART receive FIFO.
By default, VFS uses simple functions for reading from and writing to UART. Writes busy-wait until all data is put into UART FIFO, and reads are non-blocking, returning only the data present in the FIFO. Because of this non-blocking read behavior, higher level C library calls, such as fscanf("%d\n", &var);
may not have desired results.
Applications which use UART driver may instruct VFS to use the driver’s interrupt driven, blocking read and write functions instead. This can be done using a call to esp_vfs_dev_uart_use_driver
function. It is also possible to revert to the basic non-blocking functions using a call to esp_vfs_dev_uart_use_nonblocking
.
VFS also provides optional newline conversion feature for input and output. Internally, most applications send and receive lines terminated by LF (‘’n’‘) character. Different terminal programs may require different line termination, such as CR or CRLF. Applications can configure this separately for input and output either via menuconfig, or by calls to esp_vfs_dev_uart_set_rx_line_endings
and esp_vfs_dev_uart_set_tx_line_endings
functions.
Standard streams and FreeRTOS tasks¶
FILE
objects for stdin
, stdout
, and stderr
are shared between all FreeRTOS tasks, but the pointers to these objects are are stored in per-task struct _reent
. The following code:
fprintf(stderr, "42\n");
actually is translated to to this (by the preprocessor):
fprintf(__getreent()->_stderr, "42\n");
where the __getreent()
function returns a per-task pointer to struct _reent
(newlib/include/sys/reent.h#L370-L417). This structure is allocated on the TCB of each task. When a task is initialized, _stdin
, _stdout
and _stderr
members of struct _reent
are set to the values of _stdin
, _stdout
and _stderr
of _GLOBAL_REENT
(i.e. the structure which is used before FreeRTOS is started).
Such a design has the following consequences:
- It is possible to set
stdin
,stdout
, andstderr
for any given task without affecting other tasks, e.g. by doingstdin = fopen("/dev/uart/1", "r")
. - Closing default
stdin
,stdout
, orstderr
usingfclose
will close theFILE
stream object — this will affect all other tasks. - To change the default
stdin
,stdout
,stderr
streams for new tasks, modify_GLOBAL_REENT->_stdin
(_stdout
,_stderr
) before creating the task.
Application Example¶
API Reference¶
Header File¶
Functions¶
-
ssize_t
esp_vfs_write
(struct _reent *r, int fd, const void *data, size_t size)¶ These functions are to be used in newlib syscall table. They will be called by newlib when it needs to use any of the syscalls.
-
off_t
esp_vfs_lseek
(struct _reent *r, int fd, off_t size, int mode)¶
-
ssize_t
esp_vfs_read
(struct _reent *r, int fd, void *dst, size_t size)¶
-
int
esp_vfs_open
(struct _reent *r, const char *path, int flags, int mode)¶
-
int
esp_vfs_close
(struct _reent *r, int fd)¶
-
int
esp_vfs_fstat
(struct _reent *r, int fd, struct stat *st)¶
-
int
esp_vfs_stat
(struct _reent *r, const char *path, struct stat *st)¶
-
int
esp_vfs_link
(struct _reent *r, const char *n1, const char *n2)¶
-
int
esp_vfs_unlink
(struct _reent *r, const char *path)¶
-
int
esp_vfs_rename
(struct _reent *r, const char *src, const char *dst)¶
-
esp_err_t
esp_vfs_register
(const char *base_path, const esp_vfs_t *vfs, void *ctx)¶ Register a virtual filesystem for given path prefix.
- Return
- ESP_OK if successful, ESP_ERR_NO_MEM if too many VFSes are registered.
- Parameters
base_path
: file path prefix associated with the filesystem. Must be a zero-terminated C string, up to ESP_VFS_PATH_MAX characters long, and at least 2 characters long. Name must start with a “/” and must not end with “/”. For example, “/data” or “/dev/spi” are valid. These VFSes would then be called to handle file paths such as “/data/myfile.txt” or “/dev/spi/0”.vfs
: Pointer to esp_vfs_t, a structure which maps syscalls to the filesystem driver functions. VFS component doesn’t assume ownership of this pointer.ctx
: If vfs->flags has ESP_VFS_FLAG_CONTEXT_PTR set, a pointer which should be passed to VFS functions. Otherwise, NULL.
-
esp_err_t
esp_vfs_register_fd_range
(const esp_vfs_t *vfs, void *ctx, int min_fd, int max_fd)¶ Special case function for registering a VFS that uses a method other than open() to open new file descriptors from the interval <min_fd; max_fd).
This is a special-purpose function intended for registering LWIP sockets to VFS.
- Return
- ESP_OK if successful, ESP_ERR_NO_MEM if too many VFSes are registered, ESP_ERR_INVALID_ARG if the file descriptor boundaries are incorrect.
- Parameters
vfs
: Pointer to esp_vfs_t. Meaning is the same as for esp_vfs_register().ctx
: Pointer to context structure. Meaning is the same as for esp_vfs_register().min_fd
: The smallest file descriptor this VFS will use.max_fd
: Upper boundary for file descriptors this VFS will use (the biggest file descriptor plus one).
-
esp_err_t
esp_vfs_register_with_id
(const esp_vfs_t *vfs, void *ctx, esp_vfs_id_t *vfs_id)¶ Special case function for registering a VFS that uses a method other than open() to open new file descriptors. In comparison with esp_vfs_register_fd_range, this function doesn’t pre-registers an interval of file descriptors. File descriptors can be registered later, by using esp_vfs_register_fd.
- Return
- ESP_OK if successful, ESP_ERR_NO_MEM if too many VFSes are registered, ESP_ERR_INVALID_ARG if the file descriptor boundaries are incorrect.
- Parameters
vfs
: Pointer to esp_vfs_t. Meaning is the same as for esp_vfs_register().ctx
: Pointer to context structure. Meaning is the same as for esp_vfs_register().vfs_id
: Here will be written the VFS ID which can be passed to esp_vfs_register_fd for registering file descriptors.
-
esp_err_t
esp_vfs_unregister
(const char *base_path)¶ Unregister a virtual filesystem for given path prefix
- Return
- ESP_OK if successful, ESP_ERR_INVALID_STATE if VFS for given prefix hasn’t been registered
- Parameters
base_path
: file prefix previously used in esp_vfs_register call
-
esp_err_t
esp_vfs_register_fd
(esp_vfs_id_t vfs_id, int *fd)¶ Special function for registering another file descriptor for a VFS registered by esp_vfs_register_with_id.
- Return
- ESP_OK if the registration is successful, ESP_ERR_NO_MEM if too many file descriptors are registered, ESP_ERR_INVALID_ARG if the arguments are incorrect.
- Parameters
vfs_id
: VFS identificator returned by esp_vfs_register_with_id.fd
: The registered file descriptor will be written to this address.
-
esp_err_t
esp_vfs_unregister_fd
(esp_vfs_id_t vfs_id, int fd)¶ Special function for unregistering a file descriptor belonging to a VFS registered by esp_vfs_register_with_id.
- Return
- ESP_OK if the registration is successful, ESP_ERR_INVALID_ARG if the arguments are incorrect.
- Parameters
vfs_id
: VFS identificator returned by esp_vfs_register_with_id.fd
: File descriptor which should be unregistered.
-
int
esp_vfs_select
(int nfds, fd_set *readfds, fd_set *writefds, fd_set *errorfds, struct timeval *timeout)¶ Synchronous I/O multiplexing which implements the functionality of POSIX select() for VFS.
- Return
- The number of descriptors set in the descriptor sets, or -1 when an error (specified by errno) have occurred.
- Parameters
nfds
: Specifies the range of descriptors which should be checked. The first nfds descriptors will be checked in each set.readfds
: If not NULL, then points to a descriptor set that on input specifies which descriptors should be checked for being ready to read, and on output indicates which descriptors are ready to read.writefds
: If not NULL, then points to a descriptor set that on input specifies which descriptors should be checked for being ready to write, and on output indicates which descriptors are ready to write.errorfds
: If not NULL, then points to a descriptor set that on input specifies which descriptors should be checked for error conditions, and on output indicates which descriptors have error conditions.timeout
: If not NULL, then points to timeval structure which specifies the time period after which the functions should time-out and return. If it is NULL, then the function will not time-out.
-
void
esp_vfs_select_triggered
(SemaphoreHandle_t *signal_sem)¶ Notification from a VFS driver about a read/write/error condition.
This function is called when the VFS driver detects a read/write/error condition as it was requested by the previous call to start_select.
- Parameters
signal_sem
: semaphore handle which was passed to the driver by the start_select call
-
void
esp_vfs_select_triggered_isr
(SemaphoreHandle_t *signal_sem, BaseType_t *woken)¶ Notification from a VFS driver about a read/write/error condition (ISR version)
This function is called when the VFS driver detects a read/write/error condition as it was requested by the previous call to start_select.
- Parameters
signal_sem
: semaphore handle which was passed to the driver by the start_select callwoken
: is set to pdTRUE if the function wakes up a task with higher priority
Structures¶
-
struct
esp_vfs_t
¶ VFS definition structure.
This structure should be filled with pointers to corresponding FS driver functions.
VFS component will translate all FDs so that the filesystem implementation sees them starting at zero. The caller sees a global FD which is prefixed with an pre-filesystem-implementation.
Some FS implementations expect some state (e.g. pointer to some structure) to be passed in as a first argument. For these implementations, populate the members of this structure which have _p suffix, set flags member to ESP_VFS_FLAG_CONTEXT_PTR and provide the context pointer to esp_vfs_register function. If the implementation doesn’t use this extra argument, populate the members without _p suffix and set flags member to ESP_VFS_FLAG_DEFAULT.
If the FS driver doesn’t provide some of the functions, set corresponding members to NULL.
Public Members
-
int
flags
¶ ESP_VFS_FLAG_CONTEXT_PTR or ESP_VFS_FLAG_DEFAULT
-
esp_err_t (*
start_select
)(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, SemaphoreHandle_t *signal_sem)¶ start_select is called for setting up synchronous I/O multiplexing of the desired file descriptors in the given VFS
-
int (*
socket_select
)(int nfds, fd_set *readfds, fd_set *writefds, fd_set *errorfds, struct timeval *timeout)¶ socket select function for socket FDs with the functionality of POSIX select(); this should be set only for the socket VFS
-
void (*
stop_socket_select
)()¶ called by VFS to interrupt the socket_select call when select is activated from a non-socket VFS driver; set only for the socket driver
-
void (*
stop_socket_select_isr
)(BaseType_t *woken)¶ stop_socket_select which can be called from ISR; set only for the socket driver
-
void *(*
get_socket_select_semaphore
)()¶ end_select is called to stop the I/O multiplexing and deinitialize the environment created by start_select for the given VFS
-
void (*
end_select
)()¶ get_socket_select_semaphore returns semaphore allocated in the socket driver; set only for the socket driver
-
int
Macros¶
-
MAX_FDS
¶ Maximum number of (global) file descriptors.
-
ESP_VFS_PATH_MAX
¶ Maximum length of path prefix (not including zero terminator)
-
ESP_VFS_FLAG_CONTEXT_PTR
¶ Flag which indicates that FS needs extra context pointer in syscalls.
Header File¶
Functions¶
-
void
esp_vfs_dev_uart_register
()¶ add /dev/uart virtual filesystem driver
This function is called from startup code to enable serial output
-
void
esp_vfs_dev_uart_set_rx_line_endings
(esp_line_endings_t mode)¶ Set the line endings expected to be received on UART.
This specifies the conversion between line endings received on UART and newlines (‘
’, LF) passed into stdin:
- ESP_LINE_ENDINGS_CRLF: convert CRLF to LF
- ESP_LINE_ENDINGS_CR: convert CR to LF
- ESP_LINE_ENDINGS_LF: no modification
- Note
- this function is not thread safe w.r.t. reading from UART
- Parameters
mode
: line endings expected on UART
-
void
esp_vfs_dev_uart_set_tx_line_endings
(esp_line_endings_t mode)¶ Set the line endings to sent to UART.
This specifies the conversion between newlines (‘
’, LF) on stdout and line endings sent over UART:
- ESP_LINE_ENDINGS_CRLF: convert LF to CRLF
- ESP_LINE_ENDINGS_CR: convert LF to CR
- ESP_LINE_ENDINGS_LF: no modification
- Note
- this function is not thread safe w.r.t. writing to UART
- Parameters
mode
: line endings to send to UART
-
void
esp_vfs_dev_uart_use_nonblocking
(int uart_num)¶ set VFS to use simple functions for reading and writing UART Read is non-blocking, write is busy waiting until TX FIFO has enough space. These functions are used by default.
- Parameters
uart_num
: UART peripheral number
-
void
esp_vfs_dev_uart_use_driver
(int uart_num)¶ set VFS to use UART driver for reading and writing
- Note
- application must configure UART driver before calling these functions With these functions, read and write are blocking and interrupt-driven.
- Parameters
uart_num
: UART peripheral number