Dịch vụ từ phục vụ hệ thống

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

Có rất nhiều dịch vụ tuy rất cần thiết song không bắt buộc phải đ−a vào nhân, các dịch vụ này đ−ợc các phục vụ hệ thống cung cấp. D−ới đây là một số dịch vụ điển hình nhất đ−ợc liệt kê theo mức độ quan hệ với hệ thống phân tán.

Chức năng che giấu đối t−ợng vật lý bằng tên lôgic đòi hỏi tồn tại cơ chế ánh xạ tên lôgic thành đối t−ợng vật lý. Địa chỉ của một QT hay định vị một file có thể thu đ−ợc theo cách ad-hoc (không dự tính tr−ớc), nh−ng nói chung là qua xem xét của phục vụ tên hoặc phục vụ th− mục. Phục vụ tên th−ờng đ−ợc dùng để định vị (định danh) ng−ời dùng, QT, hoặc máy còn phục vụ th− mục th−ờng đ−ợc dùng để liên kết với file hoặc cổng truyền thông.

Nếu không thể định vị đ−ợc phục vụ thì phục vụ là vô dụng vì vậy mọi phục vụ cần đ−ợc định vị bởi dịch vụ tên. Nh− vậy phục vụ tên là phục vụ thiết yếu nhất trong hệ phân tán. Việc thu đ−ợc địa chỉ và định vị từ phục vụ tên phụ thuộc hệ thống và buộc phải đ−ợc giải thích thành đ−ờng truyền thông tr−ớc khi đối t−ợng đ−ợc truy nhập. Các dịch vụ giải thích này, gồm chọn đ−ờng đi và chọn lộ trình thực sự của thông tin, là các dịch vụ đ−ợc cung cấp bởi phục vụ mạng. Phục vụ mạng đ−ợc trong suốt theo mức độ HĐH. Việc truyền phát TĐ trong mạng mà ch−a dùng đến khả năng hỗ trợ hiệu quả của phần cứng cần tới một phục vụ truyền phát hay phục vụ khuyếch tán trong HĐH. Phục vụ quan trọng tiếp theo là phục vụ thời gian. Đồng hồ (tổng quát hơn là bộ thời

gian) đ−ợc dùng để đồng bộ và lập lịch các hoạt động phần cứng và phần mềm trong mọi hệ thống máy tính. Về mặt lý thuyết thì không thể đ−a vào hay chấp nhận một thông tin đồng hồ tổng thể tuyệt đối. Thậm chí có tồn tại một đồng hồ trung tâm (kiểu thời gian Greenwich) thì độ lệch thời gian vẫn xuất hiện do độ trễ khi tiếp nhận và ghi thông tin thời gian. Trong hệ phân tán, độ lệch này càng lớn do độ lệch truyền thông giữa các QT dài hơn. Tại nức HĐH, có hai kiểu sử dụng thông tin thời gian điển hình để đồng bộ các QT: (1) đòi hỏi một xấp xỉ gần gũi thời gian (chẳng hạn thời đoạn CPU phục vụ một QT) với đồng hồ thời gian thực và (2) sử dụng đồng hồ thời gian nhân tạo nhằm duy trì quan hệ nhân quả thứ tự sự kiện (sự kiện nào xuất hiện tr−ớc trong hai sự kiện). T−ơng ứng, chúng đ−ợc gọi là đồng hồ vật lý và đồng hồ lôgic. Mục đích dùng đồng hồ vật lý là đảm bảo tính đồng bộ thao tác hoặc đòi hỏi rằng thao tác thực sự đ−ợc giải quyết tại một thời điểm thời gian thực. Thời gian buộc phải phù hợp nhờ một độ đo thực sự nào đó song việc có gần gũi với thời gian thế giới thực hay không là không quan trọng. Đồng bộ các QT sử dụng đồng hồ lôgic do cần duy trì một thứ tự tổng thể việc xuất hiện các sự kiện nhằm tin chắc chắn vào tính đúng đắn về sự phụ thuộc lẫn nhau của các thao tác. Phục vụ thời gian cho đồng hồ vật lý dựa trên việc xấp xỉ tốt nhất đồng hồ thời gian "thực". Giải pháp thực hiện đồng bộ đồng hồ logic là hợp lý và đ−ợc thực hiện bằng đồng hồ lôgic Lamport xuất hiện tr−ớc.

Phục vụ tên và phục vụ thời gian là các phục vụ thông tin. Thông th−ờng, còn đòi hỏi thêm các phục vụ hệ thống khác nhằm quản lý tài nguyên hệ thống đ−ợc chia xẻ. Ví dụ quen thuộc đó là phục vụ file và phục vụ in. Phục vụ file có thể đ−ợc nhân bản hay tách nếu file không biến đổi. Các phục vụ có thể đ−ợc cấu trúc thứ bậc, chẳng hạn, phục vụ file có thể chứa các phục vụ con th− mục hoặc an toàn để điều khiển truy nhập và xác nhận quyền; phục vụ QT có thể bổ sung thành một phục vụ di trú với sự cộng tác của phục vụ QT để thuận tiện chuyển QT từ nút này sang nút khác. Trong một hệ thống phân tán rộng lớn mà các QT truyền thông có thể nghi ngại nhau, cần đến một phục vụ xác định tin cậy để xác định định danh quá trình. Phục vụ hệ thống cung cấp những dịch vụ cơ sở để quản lý quá trình, file, truyền thông quá trình.

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