The isolation algorithm has two key

The isolation algorithm has two key parts: (1) how to
perform the read and write operations of isolated users
(Note that unisolated users can access only the main
database); and (2) how to do merging after an isolated user
is proven innocent. For part 1, we can enforce one-way
isolation where isolated users can read main versions if they
do not have the corresponding suspicious versions, and all
writes of isolated users must be performed on suspicious
versions. In this way, the data freshness to isolated users is
maximized without harming the main database.
The key challenge in part 2 is the inconsistency
between main versions and suspicious versions. If a
trustworthy user and an isolated user update the same object x independently, x[main] and the suspicious version will become inconsistent, and one update has to be backed out in
order to do consistent merging. In addition, [25] shows that
(1) even if they do not update the same object,
inconsistency could still be caused; and (2) the merging of
the effects of one isolated user could make another still
being isolated history invalid. These inconsistencies must
be resolved during a merging (e.g., [25] proposes a
precedence-graph based approach that can identify and
resolve all the inconsistencies).

ผลลัพธ์ (ไทย) 1:

ขั้นตอนวิธีการแยกมีสองส่วนที่สำคัญ: (1) วิธีการ
ดำเนินการอ่านและการเขียนของผู้ใช้โดดเดี่ยว
(โปรดทราบว่าผู้ใช้สามารถเข้าถึง unisolated เฉพาะฐานข้อมูลหลัก
); และ (2) วิธีการทำรวมกันหลังจากที่ผู้ใช้แยก
ได้รับการพิสูจน์ความบริสุทธิ์ สำหรับส่วนที่ 1 เราสามารถบังคับใช้ทางเดียวโดดเดี่ยว
ที่ผู้ใช้สามารถอ่านแยกรุ่นหลักถ้าพวกเขา
ไม่ได้มีรุ่นที่น่าสงสัยที่ตรงกันและทั้งหมด
เขียนของผู้ใช้ที่แยกออกมาจะต้องมีการดำเนินการในรุ่นที่น่าสงสัย
ในวิธีนี้ความสดข้อมูลให้กับผู้ใช้ที่แยกเป็น
maximized โดยไม่ทำร้ายฐานข้อมูลหลัก.
ความท้าทายที่สำคัญในส่วนที่ 2 คือ
ความไม่ลงรอยกันระหว่างรุ่นหลักและรุ่นที่น่าสงสัย ถ้า
ผู้ใช้เชื่อถือได้และผู้ใช้โดดเดี่ยวปรับปรุง x เดียวกันวัตถุที่เป็นอิสระ,x [หลัก] และรุ่นที่น่าสงสัยจะกลายเป็นที่ไม่สอดคล้องกันและการปรับปรุงที่หนึ่งจะต้องมีการถอยออกมาเพื่อที่จะทำ
สอดคล้องกลมกลืน นอกจากนี้ [25] แสดงให้เห็นว่า
(1) แม้ว่าพวกเขาจะไม่ได้รับการปรับปรุงวัตถุเดียวกันที่ไม่สอดคล้องกัน
ยังสามารถก่อให้เกิด; และ (2) การผสมของ
ผลกระทบของผู้ใช้ที่แยกหนึ่งจะทำให้อีกคนหนึ่งยังคงถูกโดดเดี่ยว
ประวัติศาสตร์ที่ไม่ถูกต้อง ไม่สอดคล้องกันเหล่านี้จะต้อง
ได้รับการแก้ไขในระหว่างการควบรวมกิจการ (เช่น [25] เสนอ
สำคัญกราฟตามวิธีการที่สามารถระบุและแก้ไขความไม่สอดคล้องกัน
ทั้งหมด)

ผลลัพธ์ (ไทย) 2:

อัลกอริทึมแยกได้สองส่วนสำคัญ: (1) วิธีการ
ทำการอ่าน และเขียนการดำเนินการของผู้ใช้แยก
(โปรดสังเกตว่า unisolated ผู้ใช้สามารถเข้าถึงเฉพาะหลัก
ฐานข้อมูล); (2) วิธีการผสานหลังผู้ใช้แยก
มีการพิสูจน์ว่าบริสุทธิ์ ส่วนที่ 1 เราสามารถบังคับใช้หนึ่งวิธี
แยกที่แยกผู้ใช้สามารถอ่านหลักถ้าพวกเขา
ไม่มีรุ่นสงสัยที่เกี่ยวข้อง และทั้งหมด
ต้องดำเนินการเขียนของผู้ใช้แยกต่างหากบนสงสัย
รุ่น ด้วยวิธีนี้ สดข้อมูลผู้ใช้แยกเป็น
ขยายใหญ่สุดโดยไม่เป็นอันตรายต่อการหลักฐานการ
ความท้าทายในส่วนที่ 2 เป็นการคล้อง
ระหว่างรุ่นหลักและรุ่นสงสัย ถ้าเป็น
ผู้น่าเชื่อถือและผู้ใช้แยกปรับปรุงวัตถุเดียวกัน x อย่างอิสระ x [หลัก] รุ่นสงสัยจะไม่สอดคล้องกัน และปรับปรุงที่หนึ่งมีการสำรองข้อมูลออกใน
สั่งการผสานสอดคล้องกัน นอกจากนี้ แม้ว่าพวกเขาไม่ปรับปรุงวัตถุเดียวกัน แสดง [25] that
(1)
ยังเกิดความไม่สอดคล้อง (2) ผสานของ
ผลของผู้ใช้แยกหนึ่งทำให้อีกยัง
ถูกแยกประวัติที่ถูกต้องได้ ไม่สอดคล้องกันเหล่านี้ต้อง
ได้รับการแก้ไขในระหว่างการผสาน (เช่น, [25] เสนอการ
กราฟสำคัญตามวิธีการที่สามารถระบุ และ
แก้ไขความไม่สอดคล้องทั้งหมด)

ผลลัพธ์ (ไทย) 3:

อัลกอริธึมที่แยกได้สองปุ่มชิ้นส่วน:( 1 )การ
ซึ่งจะช่วยทำให้อ่านและเขียนข้อมูลของผู้ใช้แยก
(โปรดบันทึกไว้ด้วยว่า unisolated ผู้ใช้สามารถเข้าใช้งานได้เฉพาะที่หลักฐานข้อมูล
);และ( 2 )ว่าจะทำได้อย่างไรการควบรวมกิจการหลังจากที่ถูกแยกออกจากกันผู้ใช้
รับการพิสูจน์แล้วว่าความผิด. สำหรับส่วนที่ 1 เราจะสามารถบังคับใช้แยกหนึ่ง - ทางแยก
ซึ่งผู้ใช้สามารถอ่านเวอร์ชันหลักหากพวกเขา
ไม่มีรุ่นที่น่าสงสัยที่เกี่ยวข้องและ
ตามมาตรฐานทั้งหมดเขียนอีเมลของผู้ใช้ถูกแยกออกจากกันจะต้องดำเนินการในรุ่นที่น่าสงสัย
ในลักษณะนี้คงความสดใหม่ข้อมูลที่มีต่อผู้ใช้ถูกแยกออกจากกันโดยไม่มี
ซึ่งจะช่วยขยายฐานข้อมูลหลักที่อันตราย.
ความท้าทายที่สำคัญใน 2 ส่วนคือไม่ลงรอยกันที่
ระหว่างรุ่นหลักและรุ่นที่น่าสงสัย หากผู้ใช้
สถานที่ที่น่าเชื่อถือและผู้ใช้ที่แยกการปรับปรุงวัตถุเดียวกัน x ได้อย่างเป็นอิสระx [หลัก]และเวอร์ชันที่น่าสงสัยจะกลายเป็นไม่สอดคล้องกันและหนึ่งการปรับปรุงจะต้องได้รับการสนับสนุนจาก
ซึ่งจะช่วยในการสั่งซื้อจะทำที่ควบรวมกิจการกันอย่างต่อเนื่อง ในการเพิ่ม[ 25 ]แสดงให้เห็นว่า
( 1 )แม้จะไม่ได้อัปเดตวัตถุเดียวกัน
ไม่ลงรอยกันไม่ได้อาจเกิดจากสาเหตุยังอยู่และ( 2 )การควบรวมกิจการของผล
ของผู้ใช้คนหนึ่งถูกแยกออกจากกันไม่สามารถทำให้คนอื่นยัง
ซึ่งจะช่วยแยกเป็นประวัติศาสตร์ไม่ถูกต้อง รายการเหล่านี้จะต้องตอบแทน
ได้รับการแก้ไขในระหว่างการควบรวมกิจการ(เช่น[ 25 ]เสนอแนวทาง
มีความสำคัญมากกว่า - กราฟที่สามารถระบุและ
ซึ่งจะช่วยแก้ไขปัญหาที่ไม่สอดคล้องกันทั้งหมด)