re: RUM Conjecture - Reasoning About Data Access VIEW POST

TOP OF THREAD FULL DISCUSSION
re: Ok I read the post again and I'm not sure if we have UO = 2 somewhere. In the read optimal case, we do not have any RO associated with an update ...
 

Hmmm,
For the first case, for us to know the position by index shouldn't need to read the position first ?

For the third case i did not understand what are you saying.

Thanks,

For the first case, for us to know the position by index shouldn't need to read the position first ?

What do you mean by reading the position? We can simple insert or delete the value without knowing whether it was there already.

For the third case i did not understand what are you saying.

What is it that you don't understand?

code of conduct - report abuse