Consider an integer set object that exports as opposed to the previous register

Consider an integer set object that exports as

This preview shows page 13 - 15 out of 19 pages.

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 : this is not 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 The University of Sydney Page 50 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 9 : is this a linearizable execution of set operations? (initially x set) Linearizability 5 Linearizability (of higher level operations) p 0 time p 1 insert(x)true remove(x)true contains(x)false The University of Sydney Page 51 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 9 : this is a linearizable execution of set operations (initially x set) Linearizability 5 Linearizability (of higher level operations) p 0 time p 1 insert(x)true remove(x)true contains(x)false The University of Sydney Page 52 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 10 : is this a linearizable execution of set operations? (initially x set) Linearizability 5 Linearizability (of higher level operations) p 0 time p 1 insert(x)false remove(x)true contains(x)false
Image of page 13
6/5/18 14 The University of Sydney Page 53 Linearizability Linearizability can also apply to other kind of operations.
Image of page 14
Image of page 15

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