Linearizability Linearizability The result of each execution is equivalent to a

Linearizability linearizability the result of each

This preview shows page 12 - 14 out of 19 pages.

Linearizability Linearizability. The result of each execution is equivalent to a sequential execution that respects the real-time precedence (i.e., in which an operation returning before another is invoked is always ordered before) is the same as if the (read and write) operations by all processes on the same data store were executed in some sequential order and the operations of each individual process appear in this sequence in its program order Example 6 : this is a linearizable execution (initially x=0) 4 Linearizability (of reads and writes) p 0 time p 1 R(x)0 R(x) 1 W(x)1 The University of Sydney Page 46 Linearizability. The result of each execution is equivalent to a sequential execution that respects the real-time precedence (i.e., in which an operation returning before another is invoked is always ordered before) is the same as if the (read and write) operations by all processes on the same data store were executed in some sequential order and the operations of each individual process appear in this sequence in its program order Example 7 : is this a linearizable execution? (initially x=0) Linearizability 4 Linearizability (of reads and writes) p 0 time p 1 R(x)1 R(x)1 W(x)1 The University of Sydney Page 47 Linearizability Linearizability. The result of each execution is equivalent to a sequential execution that respects the real-time precedence (i.e., in which an operation returning before another is invoked is always ordered before) is the same as if the (read and write) operations by all processes on the same data store were executed in some sequential order and the operations of each individual process appear in this sequence in its program order Example 7 : this is a linearizable execution (initially x=0) R 0 (x)1 is concurrent with W 1 (x)1 (none precedes the other w.r.t real-time), hence R 0 (x) can return 1 (or 0) without violating linearizability 4 Linearizability (of reads and writes) p 0 time p 1 R(x)1 R(x)1 W(x)1 The University of Sydney Page 48 Linearizability can also apply to other kind of operations. Consider an integer set object that exports (as opposed to the previous register exporting read/write): insert(int a)boolean b that adds an element to the set if not already present and return true, returns false if already present delete(int a)boolean b that removes an integer from the set if it is currently present and returns true, false if not present contains(int a)boolean b that checks whether an integer is present in the set Example 8 : is this a linearizable execution of set operations? (initially x set) Linearizability 4 Linearizability (of higher level operations) p 0 time p 1 insert(x)true contains(x)true remove(x)true
Image of page 12
6/5/18 13 The University of Sydney Page 49 Linearizability can also apply to other kind of operations.
Image of page 13
Image of page 14

You've reached the end of your free preview.

Want to read all 19 pages?

  • '19
  • routing protocol, Consistency model

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern

Stuck? We have tutors online 24/7 who can help you get unstuck.
A+ icon
Ask Expert Tutors You can ask You can ask You can ask (will expire )
Answers in as fast as 15 minutes
A+ icon
Ask Expert Tutors