TAILIEUCHUNG - Building Secure and Reliable Network Applications phần 5

với nhiều ý tưởng chủ chốt kéo nhau lần đầu tiên bằng một nỗ lực nghiên cứu của Anh, được gọi là các hệ thống mạng nâng cao Kiến trúc nhóm, hoặc ANSA. Trong chương này, chúng tôi một thời gian ngắn sẽ thảo luận về ANSA, và sau đó tập trung vào một tiêu chuẩn gần đây, | 206 Kenneth P. Birman - Building Secure and Reliable Network Applications Figure 13-2 Distorted timelines that might correspond to faster or slower executions of the processes illustrated in the previous figure. Here we have redrawn the earlier execution to make an inconsistent cut appear to be physically instantaneous by slowing down process p1 dotted lines and speeding up p3 jagged . But notice that to get the cut straight we now have message e travelling backwards in time an impossibility The black cuts in the earlier figure in contrast can all be straightened without such problems. This lends intuition to the idea that a consistent cut is a state that could have occured at an instant in time while an inconsistent cut is a state that could not have occured in real-time. A very simple logical clock can be constructed by associating a counter with each process and message in the system. Let LTp be the logical time for process p the value of p s copy of this counter and let LTm be the logical time associated with message m also called the logical timestamp of m . The following rules are used to maintain these counters. 1. If LTp LTm process p sets LTp LTm 1 2. If LTp LTm processp sets LTp LTp 1 3. For other events processp sets LTp LTp 1 We will use the notation LT a to denote the value of LTp when event a occurred at process p. It can easily be shown that if a b LT a LT b From the definition of the potential causality relation we know that if a b. there must exist a chain of events ase0 e1. ek where each pair are related either by the event ordering p for some process p or by the event ordering m on messages. By construction the logical clock values associated with these events can only increase establishing the desired result. On the other hand LT a LT b does not imply that a b since concurrent events may have the same timestamps. For systems in which the set of processes is static logical clocks can be generalized in a way that permits a more accurate .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.