I'm trying to figure out from Ethereum's yellow paper (Homestead edition) how does its storage model works (NOT memory model).
It seems that the storage is updated only once, after a transaction is over.
Specifically, SSTORE updates σ' (the post-transaction state in the yellow's paper notation), and SLOAD loads from σ (the pre-transaction state).
If that's true, then this pseudo-OPCODE:
would act the same as:
Did I get it right? Is there a way to update the storage during a transaction (using it as a RAM)?