Correctness PrinciplesApplications

Correctness Principles
Applications requiring reliable time synchronization such as air traffic control must have confidence that the local clock is correct within some bound relative to a given timescale such as UTC. There is a considerable body of literature that studies these issues with respect to various failure models such as fail-stop and Byzantine disagreement. While these models inspire much confidence in a theoretical setting, most require multiple message rounds for each measurement and would be impractical in a large computer network such as the Internet.
However, it can be shown that the worst-case error in reading a remote server clock cannot exceed one-half the roundtrip delay measured by the client. This is a valuable insight, since it permits strong statements about the correctness of the timekeeping system.
In the Probabilistic Clock Synchronization (PCS) scheme devised by Cristian, a maximum error tolerance is established in advance and time value samples associated with roundtrip delays that exceed twice this value are discarded. By the above argument, the remaining samples must represent time values within the specified tolerance. As the tolerance is decreased, more samples fail the test until a point where no samples survive. The tolerance can be adjusted for the best compromise between the highest accuracy consistent with acceptable sample survival rate.
In a scheme devised by Marzullo and exploited in NTP and DTSS, the worst-case error determined for each server determines a correctness interval. If each of a number of servers are in fact synchronized to a common timescale, the actual time must be contained in the intersection of their correctness intervals. If some intervals do not intersect, then the clique containing the maximum number of intersections is assumed correct truechimers and the others assumed incorrect falsetickers. Only the truechimers are used to adjust the system clock.
System clock correctness principles require that clock readings must be always monotonic definite increasing, so that no two successive clock readings will be the same. As long as the reading latency exceeds the hardware resolution, this behavior is guaranteed. With reading latencies dropping below the microsecond in modern processors, the system clock in modern operating systems runs in nanoseconds, rather than the microseconds used in the original Unix kernel. With processor speeds exceeding 1 GHz, this assumption may be in jeopardy. Additional information on these topics is in the white paper Timestamp Capture Principles.

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

Nguyên tắc tính đúng đắnỨng dụng đòi hỏi phải đồng bộ hóa thời gian đáng tin cậy, chẳng hạn như kiểm soát lưu lượng truy cập không phải có sự tự tin rằng đồng hồ địa phương là chính xác trong vòng ràng buộc một số tương ứng với một timescale được đưa ra như UTC. Đó là một cơ thể đáng kể của văn học mà nghiên cứu những vấn đề liên quan đến sự thất bại nhiều mô hình như thất bại-stop và Byzantine bất đồng. Trong khi các mô hình này truyền cảm hứng cho nhiều sự tự tin trong một thiết lập lý thuyết, hầu hết các yêu cầu nhiều thông điệp viên đạn cho mỗi đo lường và sẽ là không thực tế trong một mạng máy tính lớn như Internet.Tuy nhiên, nó có thể hiển thị các lỗi tồi tệ nhất trong việc đọc đồng hồ từ xa máy chủ không thể vượt quá một nửa sự chậm trễ roundtrip đo của khách hàng. Đây là một cái nhìn sâu sắc có giá trị, vì nó cho phép phát biểu mạnh mẽ về tính đúng đắn của hệ thống chấm công.Trong sơ đồ xác suất đồng hồ đồng bộ hoá (máy TÍNH) nghĩ ra bởi Cristian, một khoan dung tối đa lỗi được thành lập trước và thời gian giá trị mẫu liên kết với roundtrip chậm trễ vượt quá hai lần giá trị này được loại bỏ. Bởi những tranh luận ở trên, các mẫu còn lại phải đại diện cho thời gian giá trị trong dung sai quy định. Như khoan dung là giảm, thêm mẫu không thành công thử nghiệm cho đến một điểm nơi mà các mẫu không tồn tại. Khoan dung có thể được điều chỉnh cho các thỏa hiệp tốt nhất giữa độ chính xác cao nhất phù hợp với mẫu chấp nhận được tỷ lệ sống sót.Trong một đề án đưa ra bởi Marzullo và khai thác trong NTP và DTSS, lỗi tồi tệ nhất được xác định cho mỗi máy chủ sẽ xác định một khoảng thời gian đúng đắn. Nếu mỗi người trong số các máy chủ trong thực tế đồng bộ hóa với một timescale thông thường, thời gian thực tế phải được chứa trong các giao điểm của khoảng thời gian tính đúng đắn của họ. Nếu khoảng thời gian một số không giao nhau, sau đó tập đoàn có số lượng tối đa của nút giao thông là giả định chính xác truechimers và những giả định không chính xác falsetickers. Chỉ có truechimers được sử dụng để điều chỉnh đồng hồ hệ thống.Hệ thống đồng hồ đúng đắn nguyên tắc yêu cầu rằng đồng hồ đọc phải luôn luôn monotonic xác định ngày càng tăng, do đó không có đồng hồ liên tiếp hai bài đọc sẽ là như vậy. Miễn là các độ trễ đọc vượt quá độ phân giải phần cứng, hành vi này được đảm bảo. Đọc latencies thả dưới microsecond trong bộ vi xử lý hiện đại, đồng hồ hệ thống trong hệ điều hành hiện đại đang điều hành nanoseconds, chứ không phải là miligiây được sử dụng trong hạt nhân Unix ban đầu. Với bộ vi xử lý tốc độ 1 GHz quá, giả định này có thể có nguy cơ. Các thông tin bổ sung về các chủ đề là trong giấy trắng tem thời gian chụp nguyên tắc.

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

Nguyên tắc tính đúng đắn
các ứng dụng đòi hỏi phải đồng bộ hóa thời gian đáng tin cậy như kiểm soát không lưu phải có niềm tin rằng đồng hồ địa phương là đúng trong một số tương đối bị ràng buộc vào một khoảng thời gian nhất định như UTC. Có một cơ thể đáng kể của văn học nghiên cứu về những vấn đề liên quan đến mô hình thất bại khác nhau như Fail-stop và bất đồng Byzantine với. Trong khi các mô hình truyền cảm hứng cho nhiều sự tự tin trong một khung lý thuyết, hầu hết các đòi hỏi nhiều vòng nhắn cho mỗi lần đo và sẽ là không thực tế trong một mạng máy tính lớn như Internet.
Tuy nhiên, nó có thể chứng minh được rằng lỗi trường hợp tồi tệ nhất trong việc đọc một máy chủ từ xa đồng hồ không thể vượt quá một nửa sự chậm trễ khứ hồi đo của khách hàng. Đây là một cái nhìn sâu sắc có giá trị, vì nó cho phép phát biểu mạnh mẽ về tính đúng đắn của hệ thống chấm công.
Trong xác suất đồng hồ đồng bộ (PCS) Đề án đưa ra bởi Cristian, dung sai lỗi tối đa được thiết lập trong các mẫu trước và giá trị thời gian liên quan đến sự chậm trễ khứ hồi vượt quá hai lần giá trị này sẽ bị loại bỏ. Bằng cách lập luận trên, các mẫu còn lại phải đại diện cho các giá trị thời gian trong dung sai quy định. Là khả năng chịu đựng được giảm, nhiều mẫu không kiểm tra cho đến một điểm mà không có mẫu tồn tại. Sự khoan dung có thể được điều chỉnh cho sự thỏa hiệp tốt nhất giữa độ chính xác cao nhất phù hợp với tỷ lệ sống mẫu chấp nhận được.
Trong một chương trình được phát minh bởi Marzullo và khai thác trong NTP và DTSS, lỗi trường hợp xấu nhất xác định cho từng máy chủ xác định một khoảng thời gian chính xác. Nếu mỗi người trong một số máy chủ trên thực tế đồng bộ hóa với một khoảng thời gian thông thường, thời gian thực tế phải được chứa trong các giao lộ của các khoảng thời gian chính xác của họ. Nếu một số khoảng thời gian không giao nhau, sau đó các phe nhóm có chứa số lượng tối đa các nút giao thông được giả truechimers đúng và những người khác cho rằng falsetickers không chính xác. Chỉ truechimers được sử dụng để điều chỉnh đồng hồ hệ thống.
Nguyên tắc đồng hồ hệ thống chính xác yêu cầu đọc đồng hồ phải luôn đơn điệu nhất định ngày càng tăng, do đó không có hai bài đọc đồng hồ liên tiếp sẽ được như vậy. Miễn là độ trễ đọc vượt quá độ phân giải phần cứng, hành vi này được đảm bảo. Với độ trễ đọc rơi dưới micro giây trong bộ xử lý hiện đại, đồng hồ hệ thống trong hệ điều hành hiện đại chạy bằng nano giây, thay vì micro được sử dụng trong các hạt nhân Unix gốc. Với tốc độ xử lý vượt quá 1 GHz, giả định này có thể bị đe dọa. Thông tin thêm về các chủ đề này là trong các nguyên tắc Capture giấy Timestamp trắng.