Lines Matching refs:state
26 * The [Testing and analysis](#testing-and-analysis) section discusses the state of our testing, as …
159 Each key slot has a state variable and a `registered_readers` counter. These two variables dictate …
163 …nformation is stored in the slot. Any thread is able to change the slot's state to `PSA_SLOT_FILLI…
164 …ead is responsible for the next state transition. Other threads cannot read the contents of a slot…
166 …e last unregister that the contents of the slot are wiped, and the slot's state is set to `PSA_SLO…
168 ###### Key slot state transition diagram
169 
171 In the state transition diagram above, an arrow between two states `q1` and `q2` with label `f` ind…
173 The state transition diagram can be generated in https://app.diagrams.net/ via this [url](https://v…
176 …state of a key slot is updated via the internal function `psa_key_slot_state_transition`. To chang…
178 Changing a slot's state to `PSA_SLOT_EMPTY` is done via `psa_wipe_key_slot`, this function wipes th…
186 We maintain the consistency of the key store by ensuring that all reads and writes to `slot->state`…
191 (slot->state == PSA_SLOT_FULL) &&
194 …s in a slot which has a `PSA_SLOT_FILLING` or `PSA_SLOT_PENDING_DELETION` state). Attempting to st…
206 …h the key store to find a slot whose state is `PSA_SLOT_EMPTY`. If found, it reserves the slot by …
208 … key store (this check cannot be done before this stage), sets the slot's state to `PSA_SLOT_FULL`…
229 …ey slot. The destroying thread registers to read the key, sets the slot's state to `PSA_SLOT_PENDI…
231 `psa_unregister_read` internally calls `psa_wipe_key_slot` if and only if the slot's state is `PSA_…
244 … for a successful destruction is the mutex unlock, the slot is now in the state `PSA_SLOT_PENDING_…
259 ### Current state of testing
265 …) to detect data races. We test the key store, and test that our key slot state system is enforced…
333 …state and return an error if the state is ACTIVE. If the state is INACTIVE, then the call will set…