In other words, system is coherent, if given memory events of each thread for each location we can order events for that location, such that: 1) for each thread the order of its events to that location is preserved, and 2) for each location the order is serial. Now they continue and describe coherence:Ī definition of coherence that is analogous to the definition of Sequential Consistency is that a coherent system must appear to execute all threads’ loads and stores to a single memory location in a total order that respects the program order of each thread. In other words, system is sequentially consistent, if given memory events (loads and stores) of each thread we can order all these events such that: 1) for each thread the order of its events is preserved, and 2) the global order is serial (any load returns latest value stored). Each load gets the value of the most recent store in that total order. Sequential consistency memory model specifies that the system must appear to execute all threads’ loads and stores to all memory locations in a total order that respects the program order of each thread. Sequential consistency can be described as (not formally): Sorin, Daniel J Hill, Mark D Wood, David A: A Primer on Memory Consistency and Cache Coherence, Morgan & Claypool, 2011 Is it true that Sequential Consistency is a stronger property than Cache Coherence?
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |