The first property simply preserves

The first property simply preserves program order—we expect this property
to be true even in uniprocessors. The second property defines the notion of
what it means to have a coherent view of memory: If a processor could
continuously read an old data value, we would clearly say that memory was
incoherent.

Kết quả (Việt) 1:

Đầu tiên chỉ đơn giản là giữ gìn trật tự chương trình-chúng tôi mong đợi này bất động sảnlà đúng ngay cả trong uniprocessors. Tài sản thứ hai định nghĩa khái niệmnó có nghĩa là như thế nào để có một cái nhìn chặt chẽ của bộ nhớ: nếu một bộ xử lý có thểtiếp tục đọc một giá trị dữ liệu cũ, chúng tôi rõ ràng sẽ nói rằng bộ nhớkhông liên lạc.

Kết quả (Việt) 2:

Các tài sản đầu tiên chỉ đơn giản là giữ gìn trật tự, chúng tôi mong đợi chương trình khách sạn này
là đúng ngay cả trong uniprocessors. Thuộc tính thứ hai định nghĩa khái niệm về
những gì nó có nghĩa là để có một cái nhìn thống nhất của bộ nhớ: Nếu một bộ xử lý có thể
tiếp tục đọc một giá trị dữ liệu cũ, chúng tôi sẽ nói rõ ràng rằng bộ nhớ là
không mạch lạc.