1.24. Barebox State Framework

Boards often have the need to store variable sets in persistent memory. barebox could handle that with its regular environment. But the constraints for such a variable set are often different from what the regular environment can do:

  • compact binary format to make it suitable for small non-volatile memories
  • atomic save/restore of the whole variable set
  • redundancy

state is a framework to describe, access, store and restore a set of variables and is prepared to exchange/share data between barebox and Linux userspace using some kind of persistent memory.

Already known users of the state information are the Barebox Bootchooser and RAUC.

barebox itself uses a state driver to access the variables in the persistent memory.

Currently there is only one implementation, enabled by CONFIG_STATE_DRV=y. Without driver, the state framework will silently fail and be non-functional.

For the Linux run-time there is a userspace tool to do the same.

To define a state variable set, a devicetree based description is used. Refer to Barebox state for further details.

There are several software components involved, which are described in this section.

1.24.1. Backends (e.g. Supported Memory Types)

Some non-volatile memory is needed for storing a state variable set:

  • disk like devices: SD, (e)MMC, ATA
  • all kinds of NAND and NOR flash memories (mtd)
  • MRAM
  • EEPROM
  • all kind of SRAMs (backup battery assumed)

For classic MTDs (NOR/NAND/SRAM), a partition is required and understood by the Linux kernel as well to define the location inside the device where to store the state variable set. For non-MTDs (MRAM/EEPROM) a different approach is required to define the location where to store the state variable set.

1.24.2. Backend-Types (e.g. state Storage Format)

The state variable set itself can be stored in different ways. Currently two formats are available, raw and dtb.

Both serialize the state variable set differently.

Note

The raw serializer additionally supports an HMAC algorithm to detect manipulations. Refer to HMAC for further details.

1.24.2.1. The raw state Storage Format

raw means the state variable set is a simple binary data blob only. In order to handle it, the state framework puts a management header in front of the binary data blob with the following content and layout:

Offset Size Content
0x00 4 bytes ‘magic value’
0x04 2 bytes reserved, filled with zero bits
0x06 2 bytes byte count of binary data blob
0x08 4 bytes CRC32 of binary data blob (offset 0x10…)
0x0c 4 bytes CRC32 of header (offset 0x00…0x0b)
0x10…   binary data blob
  • ‘magic value’ is an unsigned value with native endianness, refer to ‘magic’ property about its value.
  • ‘byte count’ is an unsigned value with native endianness.
  • ‘binary data blob CRC32’ is an unsigned value with native endianness.
  • ‘header CRC32’ is an unsigned value with native endianness.

Note

the 32-bit CRC calculation uses the polynomial:

x^32+x^26+x^23+x^22+x^16+x^12+x^11+x^10+x^8+x^7+x^5+x^4+x^2+x+1

Since the binary data blob has no built-in description of the embedded state variable set, it depends on an external layout definition to encode and decode it correctly. A devicetree based description is used to describe the embedded state variable set. Refer to Variable Subnodes for further details.

Important

It is important to share this layout definition in all ‘worlds’ which want to read or manipulate the state variable set. This includes offsets, sizes and endianesses of the binary data. Refer to Configuring the state variable set on how to setup barebox to ensure this is done automatically for devicetree based operating systems.

Note

When calculating the backend-stridesize take the header overhead into account. The header overhead is always 16 bytes.

1.24.2.2. The dtb state Storage Format

Note

The dtb backend type isn’t well tested. Use the raw backend when in doubt.

The dtb backend type stores the state variable set as a devicetree binary blob. This is exactly the original devicetree description of the state variable set itself, but additionally contains the actual values of the variable set. Unlike the raw state backend the dtb state backend can describe itself.

1.24.3. Backend Storage Types (e.g. Media Storage Layout)

The serialized data (raw or dtb) can be stored to different backend storage types. These types are dedicated to different memory types.

Currently two backend storage type implementations do exist, circular and direct.

The state framework can select the correct backend storage type depending on the backend medium. Media requiring erase operations (NAND, NOR flash) default to the circular backend storage type automatically. In contrast EEPROMs and RAMs are candidates for the direct backend storage type.

1.24.3.1. Direct Storage Backend

This kind of backend storage type is intended to be used with persistent RAMs or EEPROMs. These media are characterized by:

  • memory cells can be simply written at any time (no previous erase required).
  • memory cells can be written as often as required (unlimted or very high endurance).
  • memory cells can be written on a byte-by-byte manner.

Example: MRAM with 64 bytes at device’s offset 0:

0                                                                 0x3f
+-------------------------------------------------------------------+
|                                                                   |
+-------------------------------------------------------------------+

Writing the state variable set always happens at the same offset:

0                                                                 0x3f
+-------------------------------------------+-----------------------+
|                 copy                      |                       |
+-------------------------------------------+-----------------------+

Important

The direct storage backend needs 8 bytes of additional space per state variable set for its meta data.

1.24.3.2. Circular Storage Backend

This kind of backend storage type is intended to be used with regular flash memory devices.

Flash memories are characterized by:

  • only erased memory cells can be written with new data.
  • written data cannot be written twice (at least not for modern flash devices).
  • erase can happen on eraseblock sizes only (detectable, physical value).
  • an eraseblock only supports a limited number of write-erase-cycles (as low as a few thousand cycles).

The purpose of the circular backend storage type is to save erase cycles which may wear out the flash’s eraseblocks. This type instead incrementally fills an eraseblock with updated data and only when an eraseblock is fully written, it erases it and starts over writing new data to the same eraseblock again.

NOR type flash memory is additionally characterized by

  • memory cells can be written on a byte-by-byte manner.

Example: NOR type flash memory with 64 kiB eraseblock size

0                                                                0x0ffff
+--------------------------------------------------------------------+
|                                                                    |
+--------------------------------------------------------------------+
|<--------------------------- eraseblock --------------------------->|

Writing the state variable set the very first time:

0
+------------+------------
|   copy     |
|    #1      |
+------------+------------
|<- stride ->|
|<---- eraseblock -------

‘copy#1’ will be used.

Changing the state variable set the first time (e.g. writing it the second time):

0
+------------+------------+------------
|   copy     |   copy     |
|    #1      |    #2      |
+------------+------------+------------
|<- stride ->|<- stride ->|
|<------------- eraseblock -----------

‘copy#2’ will now be used and ‘copy#1’ will be ignored.

Changing the state variable set the n-th time:

0                                                                0x0ffff
+------------+------------+-------- -------+------------+------------+
|   copy     |   copy     |                |    copy    |   copy     |
|    #1      |    #2      |                |    #n-1    |    #n      |
+------------+------------+-------- -------+------------+------------+
|<- stride ->|<- stride ->|                |<- stride ->|<- stride ->|
|<---------------------------- eraseblock -------------------------->|

‘copy#n’ will now be used and all other copies will be ignored.

The next time the state variable set changes again, the whole block will be erased and the state variable set gets stored at the first position inside the eraseblock again. This reduces the need for a flash memory erase by factors.

NAND type flash memory is additionally characterized by

  • it is organized in pages (size is a detectable, physical value).
  • writes can only happen in multiples of the page size (which much less than the eraseblock size).
  • partially writing a page can be limited in count or be entirely forbidden (in the case of MLC NANDs).

Example: NAND type flash memory with 128 kiB eraseblock size and 2 kiB page size and a 2 kiB write size

0                                                             0x20000
+------+------+------+------+---- ----+------+------+------+------+
| page | page | page | page |         | page | page | page | page |
|  #1  |  #2  |  #3  |  #4  |         | #61  | #62  | #63  | #64  |
+------+------+------+------+---- ----+------+------+------+------+
|<-------------------------- eraseblock ------------------------->|

Writing the state variable set the very first time:

|<--- page #1---->|
+-------+---------+--
| copy  |         |
|  #1   |         |
+-------+---------+--
|<---- eraseblock ---

‘copy#1’ will be used.

Changing the state variable set the first time (e.g. writing it the second time):

|<-- page #1 -->|<-- page #2 -->|
+-------+-------+-------+-------+----
| copy  |       | copy  |       |
|  #1   |       |  #2   |       |
+-------+-------+-------+-------+----
|<--------- eraseblock --------------

‘copy#2’ will now be used and ‘copy#1’ will be ignored.

Changing the state variable set the 64th time:

|<-- page #1 -->|<-- page #2 -->|        |<- page #63 -->|<- page #64 -->|
+-------+-------+-------+-------+--    --+-------+-------+-------+-------+
| copy  |       | copy  |       |        | copy  |       | copy  |       |
|  #1   |       |  #2   |       |        |  #63  |       |  #64  |       |
+-------+-------+-------+-------+--    --+-------+-------+-------+-------+
|<----------------------------- eraseblock ----------------------------->|

‘copy#n’ will now be used and all other copies will be ignored.

The next time the state variable set changes again, the eraseblock will be erased and the state variable set gets stored at the first position inside the eraseblock again. This significantly reduces the need for a block erases.

Important

One copy of the state variable set is limited to the page size of the used backend (e.g. NAND type flash memory)

1.24.4. Redundant state Variable Set Copies

To avoid data loss when changing the state variable set, more than one state variable set copy can be stored into the backend. Whenever the state variable set changes, only one state variable set copy gets changed at a time. In the case of an interruption and/or power loss resulting in an incomplete write to the backend, the system can fall back to a different state variable set copy (previous state variable set).

1.24.4.1. Direct Storage Backend Redundancy

For this kind of backend storage type a value for the stride size must be defined by the developer (refer to backend-stridesize).

It always stores three redundant copies of the backend-type. Keep this in mind when calculating the stride size and defining the backend size (e.g. the size of a partition).

+----------------+------+----------------+------+----------------+------+
| redundant copy | free | redundant copy | free | redundant copy | free |
+----------------+------+----------------+------+----------------+------+
|<---- stride size ---->|<---- stride size ---->|<---- stride size ---->|

Important

The direct storage backend needs 8 bytes of additional space per state variable set for its meta data. Keep this in mind when calculating the stridesize. For example, if your variable set needs 8 bytes, the raw header needs 16 bytes and the direct storage backend additionally 8 bytes. The full space for one state variable set is now 8 + 16 + 8 = 32 bytes.

1.24.4.2. Circular Storage Backend Redundancy

NOR type flash memory

Redundant copies of the state variable set are stored based on the memory’s eraseblocks and this size is automatically detected at run-time. It needs a stride size as well, because a NOR type flash memory can be written on a byte-by-byte manner. In contrast to the direct storage backend redundancy, the stride size for the circular storage backend redundancy defines the side-by-side location of the state variable set copies.

|<X>|<X>|...
+--------------------------------+--------------------------------+--
|C#1|C#2|C#3|C#4|C#5|            |C#1|C#2|C#3|C#4|C#5|            |
+--------------------------------+--------------------------------+--
|<--------- eraseblock --------->|<--------- eraseblock --------->|<-
|<------- redundant area ------->|<------- redundant area ------->|<-

<X> defines the stride size, C#1, C#2 the state variable set copies.

Since these kinds of MTD devices are partitioned, it’s a good practice to always reserve multiple eraseblocks for the barebox’ state feature. Keep in mind: even NOR type flash memories can be worn out.

NAND type flash memory

Redundant copies of the state variable set are stored based on the memory’s eraseblocks and this size is automatically detected at run-time.

+------+------+--- ---+------+------+------+------+--- ---+------+------+--
| copy | copy |       | copy | copy | copy | copy |       | copy | copy |
|  #1  |  #2  |       | #63  | #64  |  #1  |  #2  |       | #63  | #64  |
+------+------+--- ---+------+------+------+------+--- ---+------+------+--
|<----------- eraseblock ---------->|<----------- eraseblock ---------->|<-
|<-------- redundant area --------->|<-------- redundant area --------->|<-

Since these kinds of MTD devices are partitioned, it’s a good practice to always reserve multiple eraseblocks for the barebox’ state feature. Keep in mind: NAND type flash memories can be worn out, factory bad blocks can exist from the beginning.

1.24.5. Handling of Bad Blocks

NAND type flash memory can have factory bad eraseblocks and more bad eraseblocks can appear over the life time of the memory. They are detected by the MTD layer, marked as bad and never used again.

Important

if NAND type flash memory should be used as a backend, at least three eraseblocks are used to keep three redundant copies of the state variable set. You should add some spare eraseblocks to the backend partition by increasing the partition’s size to a suitable value to handle factory bad eraseblocks and worn-out eraseblocks.

1.24.6. Examples

The following examples intend to show how to setup and interconnect all required components for various non-volatile memories.

All examples use just one state variable of type uint8 named variable to keep them simple. For the raw backend-type it means one state variable set has a size of 17 bytes (16 bytes header plus one byte variables).

Note

The mentioned aliases and the state variable set node entries are members of the devicetree’s root node.

Note

For a more detailed description of the used state variable set properties here, refer to Barebox state.

1.24.6.1. NOR Flash Memories

This type of memory can be written on a single byte/word basis (depending on its bus width), but must be erased prior writing the same byte/word again and erasing must happen on an eraseblock basis. Typical eraseblock sizes are 128 kiB or (much) larger for parallel NOR flashes and 4 kiB or larger for serial NOR flashes.

From the Linux kernel perspective this type of memory is a Memory Technologie Device (aka ‘MTD’) and handled by barebox in the same manner. It needs a partition configuration.

The following devicetree node entry defines some kind of NOR flash memory and a partition at a specific offset to be used as the backend for the state variable set.

norflash@0 {
        backend_state_nor: partition@120000 {
                [...]
        };
};

With this ‘backend’ definition it’s possible to define the state variable set content, its backend-type and state variable set layout.

aliases {
        state = &state_nor;
};

state_nor: nor_state_memory {
        #address-cells = <1>;
        #size-cells = <1>;
        compatible = "barebox,state";
        magic = <0x512890a0>;
        backend-type = "raw";
        backend = <&backend_state_nor>;
        backend-storage-type = "circular";
        backend-stridesize = <32>;

        variable@0 {
                reg = <0x0 0x1>;
                type ="uint8";
                default = <0x1>;
        };
};

1.24.6.2. NAND Flash Memories

This type of memory can be written on a page base (typically 512 bytes, 2048 or (much) larger), but must be erased prior writing the same page again and erasing must happen on an eraseblock base. Typical eraseblock sizes are 64 kiB or (much) larger.

From the Linux kernel perspective this type of memory is a Memory Technologie Device (aka ‘MTD’) and handled by barebox in the same manner. It needs a partition configuration.

The following devicetree node entry defines some kind of NAND flash memory and a partition at a specific offset inside it to be used as the backend for the state variable set.

nandflash@0 {
        backend_state_nand: partition@500000 {
                [...]
        };
};

With this ‘backend’ definition it’s possible to define the state variable set content, its backend-type and state variable layout.

aliases {
        state = &state_nand;
};

state_nand: nand_state_memory {
        #address-cells = <1>;
        #size-cells = <1>;
        compatible = "barebox,state";
        magic = <0xab67421f>;
        backend-type = "raw";
        backend = <&backend_state_nand>;
        backend-storage-type = "circular";

        variable@0 {
                reg = <0x0 0x1>;
                type ="uint8";
                default = <0x1>;
        };
};

1.24.6.3. SD/eMMC and ATA

The following devicetree node entry defines some kind of SD/eMMC memory and a partition at a specific offset inside it to be used as the backend for the state variable set. Note that currently there is no support for on-disk partition tables. Instead, an ofpart partition description must be used. You have to make sure that this partition does not conflict with any other partition in the partition table.

backend_state_sd: part@100000 {
        label = "state";
        reg = <0x100000 0x20000>;
};

With this ‘backend’ definition it’s possible to define the state variable set content, its backend-type and state variable layout.

aliases {
        state = &state_sd;
};

state_sd: state_memory {
        #address-cells = <1>;
        #size-cells = <1>;
        compatible = "barebox,state";
        magic = <0xab67421f>;
        backend-type = "raw";
        backend = <&backend_state_sd>;
        backend-stridesize = <0x40>;

        variable@0 {
                reg = <0x0 0x1>;
                type ="uint8";
                default = <0x1>;
        };
};

1.24.6.4. SRAM

This type of memory can be written on a byte base and there is no need for an erase prior writing a new value.

From the Linux kernel perspective this type of memory is a Memory Technologie Device (aka ‘MTD’) and handled by barebox in the same manner. It needs a partition definition.

The following devicetree node entry defines some kind of SRAM memory and a partition at a specific offset inside it to be used as the backend for the state variable set.

sram@0 {
        backend_state_sram: partition@10000 {
                [...]
        };
};

With this ‘backend’ definition it’s possible to define the state variable set content, its backend-type and state variable layout.

aliases {
        state = &state_sram;
};

state_sram: sram_state_memory {
        #address-cells = <1>;
        #size-cells = <1>;
        compatible = "barebox,state";
        magic = <0xab67421f>;
        backend-type = "raw";
        backend = <&backend_state_sram>;
        backend-storage-type = "direct";
        backend-stridesize = <32>;

        variable@0 {
                reg = <0x0 0x1>;
                type ="uint8";
                default = <0x1>;
        };
};

1.24.6.5. EEPROM

This type of memory can be written on a byte base and must be erased prior writing, but in contrast to the other flash memories, an EEPROM does the erase of the address to be written to by its own, so its transparent to the application.

While from the Linux kernel perspective this type of memory does not support partitions, barebox and the state userland tool will use partition definitions on an EEPROM memory as well, to exactly define the location in a generic manner within the EEPROM.

eeprom@50 {
        partitions {
                compatible = "fixed-partitions";
                #size-cells = <1>;
                #address-cells = <1>;
                backend_state_eeprom: eeprom_state_memory@400 {
                        reg = <0x400 0x100>;
                        label = "state-eeprom";
                };
        };
};

With this ‘backend’ definition it’s possible to define the state variable set content, its backend-type and state variable layout.

aliases {
        state = &state_eeprom;
};

state_eeprom: eeprom_memory {
        #address-cells = <1>;
        #size-cells = <1>;
        compatible = "barebox,state";
        magic = <0x344682db>;
        backend-type = "raw";
        backend = <&backend_state_eeprom>;
        backend-storage-type = "direct";
        backend-stridesize = <32>;

        variable@0 {
                reg = <0x0 0x1>;
                type ="uint8";
                default = <0x1>;
        };
};

1.24.7. Frontend

As frontend a state instance is a regular barebox device which has device parameters for the state variables. With this the variables can be accessed like normal shell variables. The state command is used to save/restore a state variable set to the backend device.

After initializing the variable can be accessed with $state.foo. state -s stores the state to the backend device.