Các dịch vụ thời gian

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 58)

Mô hình không gian - thời gian t−ờng minh t−ơng tác giữa các QT, các sự kiện là đ−ợc ghi nhận chi tiết theo đồng hồ của riêng QT đó. Trong thực tế thì đồng hồ th−ờng đ−ợc sử dụng để thể hiện thời gian (một độ đo t−ơng đối về thời gian so với một điểm thời gian làm mốc) và bộ đếm thời gian (một độ đo tuyệt đối cho khoảng thời gian) đ−ợc dùng để mô tả tính đồng thời của các sự kiện theo ba cách khác nhau:

1. Khi nào thì sự kiện xuất hiện. 2. Sự kiện xuất hiện trong bao lâu. 3. Sự kiện nào xuất hiện tr−ớc nhất.

Đối với các ứng dụng máy tính, chúng ta cần ý niệm rõ ràng về thời gian và đo thời gian. Ví dụ chúng ta cần biết một file đã đ−ợc sửa đồi lần cuối cùng vào lúc nào, một khách đ−ợc đặc quyền bao lâu để truy nhập phục vụ và sửa đổi nào của đối t−ợng dữ liệu là xẩy ra đầu tiên. Trong tr−ờng hợp thể hiện thời gian bằng đồng hồ đ−ợc tăng một cách đều đặn thì không có sự nhập nhằng về sự xuất hiện các sự kiện trong một QT. Tuy nhiên, những QT t−ơng tác trên những máy độc lập riêng rẽ có thể có nhận thức khác nhau về thời gian. Do không thể có sự nhất thể về đồng hồ toàn cục nên rất khó khăn phối hợp các hành động phân tán nh− thu l−ợm thông tin rác trên mạng, định kỳ bảo quản hệ thống file vào nửa đêm mỗi ngày hoặc việc xác nhận giá trị thời điểm kết thúc của việc nhận TĐ. Trong phần này sẽ mô tả hai khái niệm nền tảng về thời gian để xác định đ−ợc thời gian trong hệ thống phân tán: Đồng hồ vật lý và đồng hồ lôgic. Đồng hồ vật lý là một xấp xỉ tốt của thời gian thực, đ−ợc dùng để đo cả về thời điểm và lẫn khoảng thời gian. Đồng hồ logic đ−ợc dùng để sắp xếp các sự kiện. Cả hai đều có vai trò quan trọng trong hệ phân tán.

Một phần của tài liệu Cơ bản về hệ điều hành (Trang 58)