Is serializability same as sequential consistency?
up vote
5
down vote
favorite
I have found people answering differences between linearizability and searializability, but nowhere have I found people either saying that serializability is same as sequential consistency or it is different from that.
Also I have been pounded with different definitions of the above terms in different articles, books and web pages and I have confused it all.
Could someone please explain the difference between serializability and sequential consistency is it exists.
I would appreciate formal definitions of the above terms additionally if possible (both in plain English and in terms of the program or execution histories).
serializable consistency
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
add a comment |
up vote
5
down vote
favorite
I have found people answering differences between linearizability and searializability, but nowhere have I found people either saying that serializability is same as sequential consistency or it is different from that.
Also I have been pounded with different definitions of the above terms in different articles, books and web pages and I have confused it all.
Could someone please explain the difference between serializability and sequential consistency is it exists.
I would appreciate formal definitions of the above terms additionally if possible (both in plain English and in terms of the program or execution histories).
serializable consistency
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05
add a comment |
up vote
5
down vote
favorite
up vote
5
down vote
favorite
I have found people answering differences between linearizability and searializability, but nowhere have I found people either saying that serializability is same as sequential consistency or it is different from that.
Also I have been pounded with different definitions of the above terms in different articles, books and web pages and I have confused it all.
Could someone please explain the difference between serializability and sequential consistency is it exists.
I would appreciate formal definitions of the above terms additionally if possible (both in plain English and in terms of the program or execution histories).
serializable consistency
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
I have found people answering differences between linearizability and searializability, but nowhere have I found people either saying that serializability is same as sequential consistency or it is different from that.
Also I have been pounded with different definitions of the above terms in different articles, books and web pages and I have confused it all.
Could someone please explain the difference between serializability and sequential consistency is it exists.
I would appreciate formal definitions of the above terms additionally if possible (both in plain English and in terms of the program or execution histories).
serializable consistency
serializable consistency
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
asked Apr 5 '17 at 16:25
Prakhar Agrawal
656617
656617
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05
add a comment |
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05
add a comment |
1 Answer
1
active
oldest
votes
up vote
2
down vote
Serializability is more strict than Sequential consistency.
The definition of Sequential consistency in wiki:
The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.
And, the definition of Serializability in wiki:
A transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time.
So, the granularity of Sequential consistency is a single operation (e.g., read or write), while that of Serializability is a transaction (i.e., a sequence of operations).
In other words, if a program satisfies serializablity, it also satisfies sequential consistency, and not vice versa.
answered Apr 26 at 9:02
kiki_yu
96768
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Serializability is more strict than Sequential consistency.
The definition of Sequential consistency in wiki:
The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.
And, the definition of Serializability in wiki:
A transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time.
So, the granularity of Sequential consistency is a single operation (e.g., read or write), while that of Serializability is a transaction (i.e., a sequence of operations).
In other words, if a program satisfies serializablity, it also satisfies sequential consistency, and not vice versa.
answered Apr 26 at 9:02
kiki_yu
96768
add a comment |
up vote
2
down vote
Serializability is more strict than Sequential consistency.
The definition of Sequential consistency in wiki:
The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.
And, the definition of Serializability in wiki:
A transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time.
So, the granularity of Sequential consistency is a single operation (e.g., read or write), while that of Serializability is a transaction (i.e., a sequence of operations).
In other words, if a program satisfies serializablity, it also satisfies sequential consistency, and not vice versa.
answered Apr 26 at 9:02
kiki_yu
96768
add a comment |
up vote
2
down vote
up vote
2
down vote
Serializability is more strict than Sequential consistency.
The definition of Sequential consistency in wiki:
The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.
And, the definition of Serializability in wiki:
A transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time.
So, the granularity of Sequential consistency is a single operation (e.g., read or write), while that of Serializability is a transaction (i.e., a sequence of operations).
In other words, if a program satisfies serializablity, it also satisfies sequential consistency, and not vice versa.
answered Apr 26 at 9:02
kiki_yu
96768
Serializability is more strict than Sequential consistency.
The definition of Sequential consistency in wiki:
The result of any execution is the same as if the operations of all the processors were executed in some sequential order, and the operations of each individual processor appear in this sequence in the order specified by its program.
And, the definition of Serializability in wiki:
A transaction schedule is serializable if its outcome (e.g., the resulting database state) is equal to the outcome of its transactions executed serially, i.e. without overlapping in time.
So, the granularity of Sequential consistency is a single operation (e.g., read or write), while that of Serializability is a transaction (i.e., a sequence of operations).
In other words, if a program satisfies serializablity, it also satisfies sequential consistency, and not vice versa.
answered Apr 26 at 9:02
kiki_yu
96768
edited Nov 11 at 6:42
answered Apr 26 at 9:02
kiki_yu
96768
answered Apr 26 at 9:02
kiki_yu
96768
answered Apr 26 at 9:02
kiki_yu
96768
96768
add a comment |
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f43236731%2fis-serializability-same-as-sequential-consistency%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
I think they are same. This blog irenezhang.net/blog/2015/02/01/consistency.html also confirms that.
– ptntialunrlsd
Oct 12 '17 at 17:05