Clocks that are internally synchron

Clocks that are internally synchronized are not necessarily externally synchronized, since they may drift collectively from an external source of time even though they agree with one another. However, it follows from the definitions that if the system P is externally synchronized with a bound D, then the same system is internally synchronized with a bound of 2D.
Various notions of correctness for clocks have been suggested. It is common to define a hardware clock H to be correct if its drift rate falls within a known bound U! (a value derived from one supplied by the manufacturer, such as 10–6 seconds/second). This means that the error in measuring the interval between real times t and tc (tc ! t ) is bounded:
  1 – U   tc – t d H t   c – H t   d   1 + U   tc – t
This condition forbids jumps in the value of hardware clocks (during normal operation). Sometimes we also require our software clocks to obey the condition but a weaker condition of monotonicity may suffice. Monotonicity is the condition that a clock C only ever advances:
tc ! t Ÿ C t   c ! C t  
For example, the UNIX make facility is a tool that is used to compile only those source files that have been modified since they were last compiled. The modification dates of each corresponding pair of source and object files are compared to determine this condition. If a computer whose clock was running fast set its clock back after compiling a source file but before the file was changed, the source file might appear to have been modified prior to the compilation. Erroneously, make will not recompile the source file.
We can achieve monotonicity despite the fact that a clock is found to be running fast. We need only change the rate at which updates are made to the time as given to applications. This can be achieved in software without changing the rate at which the underlying hardware clock ticks – recall that Ci  D t = , where we are free to Hi  E t + choose the values of D and E .
A hybrid correctness condition that is sometimes applied is to require that a clock obeys the monotonicity condition, and that its drift rate is bounded between synchronization points, but to allow the clock value to jump ahead at synchronization points.
A clock that does not keep to whatever correctness conditions apply is defined to be faulty. A clock’s crash failure is said to occur when the clock stops ticking altogether; any other clock failure is an arbitrary failure. A historical example of an arbitrary failure is that of a clock with the ‘Y2K bug’, which broke the monotonicity condition by registering the date after 31 December 1999 as 1 January 1900 instead of 2000; another example is a clock whose batteries are very low and whose drift rate suddenly becomes very large.
Note that clocks do not have to be accurate to be correct, according to the definitions. Since the goal may be internal rather than external synchronization, the criteria for correctness are only concerned with the proper functioning of the clock’s ‘mechanism’, not its absolute setting.
We now describe algorithms for external synchronization and for internal synchronization.

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

Đồng hồ được nội bộ đồng bộ không nhất thiết phải đồng bộ bên ngoài, vì chúng có thể trôi chung từ một nguồn bên ngoài thời gian mặc dù họ đồng ý với nhau. Tuy nhiên, nó sau từ các định nghĩa rằng nếu hệ thống P là bên ngoài đồng bộ với một D ràng buộc, sau đó cùng một hệ thống là nội bộ đồng bộ với một ràng buộc của 2D.
Khái niệm khác nhau về tính đúng đắn cho đồng hồ đã được đề xuất. Nó được phổ biến để xác định một phần cứng đồng hồ H là đúng nếu tốc độ trôi của nó nằm trong một ràng buộc U biết?! ??? (một giá trị bắt nguồn từ một cung cấp bởi các nhà sản xuất, chẳng hạn như 10-6 giây / giây). Điều này có nghĩa rằng các lỗi trong đo khoảng cách giữa các lần thực t và tc (tc t!) Được bao bọc:
  ? 1 - U? tc - td H t? c - H t? d? 1 + U? tc - t
Tình trạng này cấm nhảy trong giá trị của đồng hồ phần cứng (trong khi hoạt động bình thường). Đôi khi chúng tôi cũng yêu cầu đồng hồ phần mềm của chúng tôi tuân theo điều kiện nhưng một điều kiện yếu của đơn điệu có thể đủ. Đơn điệu là điều kiện khiến một đồng hồ C chỉ bao giờ tiến bộ:
tc! t ?? C t? c! C t?  
Ví dụ, UNIX làm cho cơ sở là một công cụ được sử dụng để biên dịch chỉ những tập tin nguồn đã bị thay đổi kể từ khi họ đã biên soạn trước. Những ngày tháng sửa đổi của mỗi cặp tương ứng của nguồn và đối tượng tập tin được so sánh để xác tình trạng này. Nếu máy tính có đồng hồ đã chạy nhanh thiết lập đồng hồ của nó trở lại sau khi biên dịch một tập tin nguồn, nhưng trước khi tập tin đã được thay đổi, các tập tin nguồn có thể xuất hiện đã được sửa đổi trước khi biên dịch. Sai lầm, thực hiện sẽ không biên dịch tập tin nguồn.
Chúng tôi có thể đạt được đơn điệu mặc dù thực tế rằng một đồng hồ được tìm thấy sẽ được chạy nhanh. Chúng ta chỉ cần thay đổi tốc độ cập nhật được thực hiện vào thời gian như được đưa vào các ứng dụng. Điều này có thể đạt được trong phần mềm mà không thay đổi tốc độ đồng hồ phần cứng cơ bản ve - nhớ lại rằng Ci? D t =, nơi chúng tôi có thể tự do Hi? E t + chọn các giá trị của D và E.
Một điều kiện đúng đắn lai mà đôi khi được áp dụng là yêu cầu một đồng hồ tuân theo các điều kiện đơn điệu và tỉ lệ trôi của nó được bao bọc giữa các điểm đồng bộ, nhưng cho phép các giá trị đồng hồ để nhảy trước tại các điểm đồng bộ hóa.
Một đồng hồ mà không giữ bất cứ điều gì đúng đắn điều kiện áp dụng được xác định là bị lỗi. Suy sụp đổ của một đồng hồ được cho là xảy ra khi đồng hồ điểm dừng đánh dấu hoàn toàn; bất kỳ đồng hồ thất bại khác là một thất bại tùy ý. Một ví dụ lịch sử của một sự thất bại tùy ý là một chiếc đồng hồ với 'lỗi Y2K ", mà đã phá vỡ tình trạng đơn điệu bằng cách đăng ký ngày sau ngày 31 Tháng 12 năm 1999 như 1 tháng 1 năm 1900 thay vì năm 2000; Một ví dụ khác là một chiếc đồng hồ có pin là rất thấp và tỷ lệ trôi mà đột nhiên trở nên rất lớn.
Lưu ý rằng đồng hồ không phải là chính xác là đúng, theo các định nghĩa. Vì mục tiêu có thể là nội bộ chứ không phải là đồng bộ hóa bên ngoài, các tiêu chí để xác là chỉ quan tâm đến các hoạt động đúng đắn của 'cơ chế' của đồng hồ, không thiết lập tuyệt đối của nó.
Bây giờ chúng ta mô tả các thuật toán để đồng bộ bên ngoài và để đồng bộ hóa nội bộ.