Gated Store Buffer

Added line is this color

Deleted line is this color

+
+<p style="text-align: justify;" class="MsoNormal"><strong style=""><span style=
+"font-size: 10pt;"><span style="">   </span></span></strong> <span style=
+"font-size: 10pt;">A gated store buffer is a component that temporarily holds
+all memory stores generated after the checkpoint. In speculative mode, it acts
+as a storage location to hold both the address and data for a memory store
+operation. Newer stores to the same address will overwrite the old data in the
+buffer.</span></p>
+<p style="text-align: justify;" class="MsoNormal"><span style=
+"font-size: 10pt;"><span style="">   </span> After the buffer is filled up, the
+checkpoint has to be committed and data in the buffer will be transferred
+sequentially to the memory. The GSB can instantly roll back to the previous
+memory state by discarding the stored data and disabling the GSB.</span></p>
+<p style="text-align: justify;" class="MsoNormal"><span style=
+"font-size: 10pt;"><span style="">   </span> This implementation allows quick
+checkpoint taking and rolling back. However checkpoint committing is expensive
+because all the data in the buffer need to be written into the memory. We could
+possibly pipeline the write-back operation so that the processor could resume
+normal execution earlier.</span></p>