High-performance, block-level fail atomicity on byte-level non-volatile media

A method comprising:

• storing, for a file, an offset table and application data that stores content of the file;
• wherein the offset table includes a first plurality of entries, each entry of a subset of the first plurality of entries being associated with a different offset value and storing a logical block address (LBA) that references a location in the application data;
• receiving a request to update the file, wherein the request includes an input buffer and an offset value;
• in response to receiving the request:
• identifying an offset entry, in the offset table, that corresponds to the offset value and comprises a first LBA;
• identifying a second LBA that is considered free;
• replacing the second LBA with the first LBA from the offset entry;
• writing the input buffer to a location, in the application data, that the second LBA references;
• replacing the first LBA in the offset entry with the second LBA;
• wherein the method is performed by one or more computing devices.

One or more non-transitory storage media storing instructions which, when executed by one or more computing devices, cause:

• storing, for a file, an offset table, a free space log, and application data that stores content of the file;
• wherein the offset table includes a first plurality of entries, each entry of a subset of the first plurality of entries being associated with a different offset value and storing a logical block address (LBA) that references a location in the application data;
• wherein the free space log includes a second plurality of entries, each entry of a subset of the second plurality of entries (1) comprising two logical block addresses that reference locations in the application data and (2) indicating that at least one of the two logical block addresses is free;
• receiving a request to update the file, wherein the request includes an input buffer;
• in response to receiving the request:
• identifying a first entry, in the offset table, that comprises a particular LBA;
• identifying a second entry, in the free space log, that comprises a first LBA and a second LBA and that indicates that the first LBA is free;
• replacing the second LBA in the second entry with the particular LBA from the first entry;
• writing the input buffer to a location, in the application data, that the first LBA references;
• replacing the particular LBA in the first entry with the first LBA.