Is it considered write serialization if P3 and P4 observe the same order of write, but the order is different than the order P1 and P2 wrote in? e.g. P1 writes a, then P2 writes b, and P3 and P4 first see b and then a.
yangwu
@huehue. i think what you describe can be counted as 'write serialization'. as defined in this slide, as long as all processors observe in same order, it can be considered as 'write serialization'
illuminated
@huehue @yangwu The example on that slide says "if values 1 and then 2 are written to address X, no processor observes having value 2 before 1." So based on that it seems the answer is no.
Is it considered write serialization if P3 and P4 observe the same order of write, but the order is different than the order P1 and P2 wrote in? e.g. P1 writes a, then P2 writes b, and P3 and P4 first see b and then a.
@huehue. i think what you describe can be counted as 'write serialization'. as defined in this slide, as long as all processors observe in same order, it can be considered as 'write serialization'
@huehue @yangwu The example on that slide says "if values 1 and then 2 are written to address X, no processor observes having value 2 before 1." So based on that it seems the answer is no.