file_flash.h File Reference

Native persistent file Flash model with fault injection. More...

#include "nexus/components/storage.h"

Go to the source code of this file.

Data Structures
struct	nx_file_flash_t

Functions
nx_storage_status_t	nx_file_flash_open (nx_file_flash_t *flash, const char *path, size_t size, size_t erase_size, size_t program_size)
	Open an exclusively locked persistent host Flash model.
void	nx_file_flash_close (nx_file_flash_t *flash)
	Close the host file after all store users have quiesced.
void	nx_file_flash_fail_after (nx_file_flash_t *flash, int64_t events)
	Set an explicit model interruption boundary.

Detailed Description

Native persistent file Flash model with fault injection.

Author

Nexus Team

Version

1.0.0

Date

2026-10-09

Copyright

Copyright (c) 2026 Nexus Team

Definition in file file_flash.h.

Function Documentation

nx_file_flash_close()

void nx_file_flash_close

(

nx_file_flash_t *

flash

)

Close the host file after all store users have quiesced.

Parameters

[in,out]

flash

Open serialized model

Note

No future port calls are permitted until explicit reopen.

nx_file_flash_fail_after()

void nx_file_flash_fail_after	(	nx_file_flash_t *	flash,
		int64_t	events )

Set an explicit model interruption boundary.

Parameters

[in,out]	flash	Serialized open model
[in]	events	Programmed/erased bytes and sync attempts permitted; negative disables

Note

Zero simulates power-off until explicitly cleared.

nx_file_flash_open()

nx_storage_status_t nx_file_flash_open	(	nx_file_flash_t *	flash,
		const char *	path,
		size_t	size,
		size_t	erase_size,
		size_t	program_size )

Open an exclusively locked persistent host Flash model.

Parameters

[out]	flash	Unused caller-owned storage
[in]	path	Regular-file path; symlink traversal rejected
[in]	size	Exact persistent byte size
[in]	erase_size	Uniform erase block bytes
[in]	program_size	Aligned program bytes, 1..256

Returns

OK or INVALID/IO; failed open retains no file descriptor

Note

Task-only POSIX model. Does not qualify MCU Flash or actual power loss; existing file size mismatch is rejected without truncation.