what is the difference between processor consistency model and sequential consistency model?












1















I understand the definition of sequential consistency but I am confused in the following example.



p1: W(x)a
p2: W(x)b
p3: R(x)b R(x)a
p4: R(x)b R(x)a



this system is sequentially consistent
but the following one is not because p3 and p4 are seeing values of x in different order
p1: W(x)a
p2: W(x)b
p3: R(x)a R(x)b
p4: R(x)b R(x)a



So my doubt is here for system to be SC p3 and p4 should be consistent and see same values of x so thats the definition of Processor consistency.
So how PC and SC are different?










share|improve this question























  • I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

    – Mark Rotteveel
    Nov 23 '18 at 16:26
















1















I understand the definition of sequential consistency but I am confused in the following example.



p1: W(x)a
p2: W(x)b
p3: R(x)b R(x)a
p4: R(x)b R(x)a



this system is sequentially consistent
but the following one is not because p3 and p4 are seeing values of x in different order
p1: W(x)a
p2: W(x)b
p3: R(x)a R(x)b
p4: R(x)b R(x)a



So my doubt is here for system to be SC p3 and p4 should be consistent and see same values of x so thats the definition of Processor consistency.
So how PC and SC are different?










share|improve this question























  • I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

    – Mark Rotteveel
    Nov 23 '18 at 16:26














1












1








1








I understand the definition of sequential consistency but I am confused in the following example.



p1: W(x)a
p2: W(x)b
p3: R(x)b R(x)a
p4: R(x)b R(x)a



this system is sequentially consistent
but the following one is not because p3 and p4 are seeing values of x in different order
p1: W(x)a
p2: W(x)b
p3: R(x)a R(x)b
p4: R(x)b R(x)a



So my doubt is here for system to be SC p3 and p4 should be consistent and see same values of x so thats the definition of Processor consistency.
So how PC and SC are different?










share|improve this question














I understand the definition of sequential consistency but I am confused in the following example.



p1: W(x)a
p2: W(x)b
p3: R(x)b R(x)a
p4: R(x)b R(x)a



this system is sequentially consistent
but the following one is not because p3 and p4 are seeing values of x in different order
p1: W(x)a
p2: W(x)b
p3: R(x)a R(x)b
p4: R(x)b R(x)a



So my doubt is here for system to be SC p3 and p4 should be consistent and see same values of x so thats the definition of Processor consistency.
So how PC and SC are different?







consistency






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked Nov 23 '18 at 16:21









Bhupinder KaurBhupinder Kaur

61




61













  • I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

    – Mark Rotteveel
    Nov 23 '18 at 16:26



















  • I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

    – Mark Rotteveel
    Nov 23 '18 at 16:26

















I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

– Mark Rotteveel
Nov 23 '18 at 16:26





I'm voting to close this question as off-topic because it is not a practical programming question. Your question might be on topic on cs.stackexchange.com or cstheory.stackexchange.com (but check their rules and expectations before posting)

– Mark Rotteveel
Nov 23 '18 at 16:26












0






active

oldest

votes











Your Answer






StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53450024%2fwhat-is-the-difference-between-processor-consistency-model-and-sequential-consis%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































Thanks for contributing an answer to Stack Overflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53450024%2fwhat-is-the-difference-between-processor-consistency-model-and-sequential-consis%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Wiesbaden

Marschland

Dieringhausen