从8.2 Load-Reserved/Store-Conditional InstructionsRISC-V 的非特权 ISA 手册的章节中，
LR.W 从 rs1 中的地址加载一个字，将符号扩展值放在 rd 中，并注册一个保留集——一组字节包含寻址字中的字节。SC.W 有条件地将 rs2 中的一个字写入 rs1 中的地址：只有当保留仍然有效并且保留集包含正在写入的字节时，SC.W 才会成功。
描述中的内容是什么reservation？它是如何在硬件中实现的？Hart 如何知道预订是否已被其他 Hart 无效？