[Libre-soc-dev] Wishbone and House Contract Of Sale Proposition

lkcl luke.leighton at gmail.com
Thu Oct 28 18:40:18 BST 2021


On Thu, Oct 28, 2021 at 6:39 PM Richard Wilbur <richard.wilbur at gmail.com> wrote:
>
> On Thu, Oct 28, 2021 at 11:06 AM Andrey Miroshnikov
> <andrey at technepisteme.xyz> wrote:
> > # Luke's summary of the problem:
> > '''
> > "i am making an OFFER for you to write.  could you let me know, WITHOUT
> > any "commitment", if you COULD fulfil this write?"
> > if the answer is "yes, you COULD fulfil it, then let us proceed to
> > EXCHANGE where you absolutely must COMPLETE once we have both agreed to"
> > this is the kind of protocol needed for caches and for speculative
> > execution.
> > '''
> >
> > So the important features are (as far as I understand):
> [...]
> > 4. If at any point, one of the requesters in the queue cancel the
> > request, drop the queue starting from this requester, and any later
> > requesters.
>
> Why must we "drop the queue starting from this requester, and any
> later requesters" instead of just dropping the cancelled request and
> leaving the remainder of the queue intact?

this is a hard requirement stemming from speculative execution

l.



More information about the Libre-soc-dev mailing list