For example, ensuring that SWIM can

For example, ensuring that SWIM can scale to perform multiple management tasks in parallel while ensuring safety properties (such as performing tasks simultaneously
without a network partition).

Another area worth exploring is integrating verification into the SWIM framework — that is, integrating a way to verify that actions are executed on the NEs, and that the NEs actually accepted the commands.

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

ตัวอย่าง มั่นใจว่า ว่ายน้ำสามารถปรับขนาดการทำหลายงานพร้อมกันขณะที่มั่นใจปลอดภัย (เช่นการทำงานพร้อมกันโดยเครือข่ายพาร์ติชัน) พื้นที่อื่นน่าสำรวจเป็นรวมการตรวจสอบในกรอบว่ายน้ำ — คือ รวมวิธีการตรวจ สอบว่า การดำเนินการดำเนินการบน NEs ว่า NEs ที่คำสั่งจะยอมรับ

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

ยกตัวอย่างเช่นการว่ายน้ำเพื่อให้มั่นใจว่าสามารถปรับขนาดเพื่อดำเนินงานการจัดการหลายขนานในขณะที่มั่นใจคุณสมบัติด้านความปลอดภัย (เช่นการปฏิบัติงานพร้อมกัน
ได้โดยไม่ต้องพาร์ทิชันเครือข่าย). พื้นที่มูลค่าการสำรวจก็คือการบูรณาการในการตรวจสอบในกรอบว่ายน้ำ - นั่นคือวิธีการที่จะบูรณาการ ตรวจสอบว่ามีการกระทำที่จะดำเนินการใน NEs และที่ NEs จริงได้รับการยอมรับคำสั่ง

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

เช่น มั่นใจว่า ว่ายน้ำ ) ปฏิบัติงานการจัดการหลายขนานในขณะที่มั่นใจคุณสมบัติความปลอดภัย ( เช่นการปฏิบัติงานพร้อมกัน
โดยเครือข่ายพาร์ทิชัน )

อีกหนึ่งพื้นที่ที่คุ้มค่าการตรวจสอบการลงว่ายน้ำกรอบ - นั่นคือ การบูรณาการวิธีการตรวจสอบว่า การดำเนินการจะดำเนินการบน NESและที่ไม่จริง ยอมรับคำสั่ง