130 likes | 269 Views
Constructing MRMW Atomic Registers from Safe Bits. By Adesola Omotayo Yuliang Bao October 30, 2003. Agenda. Some Background Info. Problem Statement Model Resources From here…. Some Background Info. Registers are usually specified in the following format x,y,z
E N D
Constructing MRMW Atomic Registers from Safe Bits By Adesola Omotayo Yuliang Bao October 30, 2003
Agenda • Some Background Info. • Problem Statement • Model • Resources • From here…
Some Background Info. • Registers are usually specified in the following format • x,y,z where x, y and z are the coordinates
Coordinate x • Coordinate x • Safe • Regular • Atomic Read1(5) read2(6) read3(4) Read1(5) read2(6) read3(5) Read1(5) read2(6) read3(6) read1 read2 read3 write 6 write 5 Domain values: {4, 5, 6}
Coordinate y • Coordinate y • Boolean • {0, 1} • Multi-valued • {1…n}
Coordinate z • Coordinate z • Single-Reader Single-Writer (SRSW) • Single-Reader Multi-Writer (SRMW) • Multi-Reader Single-Writer (MRSW) • Multi-Reader Multi-Writer (MRMW) SRSW register MRSW register write read write reads SRMW register MRMW register writes read writes read
Property • Serializability • Some different transactions scheduled so that the net effect of their execution is the same as if the transactions have been executed in some serial order are said to be serializable. WRRW RRR WRRWRWRWRRR RWRW
Problem Statement • Efficient construction of a MRMW atomic register from the weak SRSW safe registers
Model • Shared memory • MRMW • Multi-valued • Atomic register
Resource • Single-Reader • Single-Writer • Boolean • Safe Registers
MRMW,MV,A O(m) MRSW,MV,A O(n) O(n) O(K) O(1) O(K) MRSW,MV,S SRSW,MV,A O(n) O(1) O(K) MRSW,MV,R SRSW,B,R MRMW,MV,R MRSW,B,R MRSW,B,S MRSW,MV,R SRSW,MV,R SRSW,MV,S MRSW,MV,S SRSW,B,A SRSW,B,S Registers:Hasse Diagram
From here… • Study more to be able to successfully complete the project…