II (lags xác định ché độ mờ : Đọc hay Ghì
11.5. TÍNH THỐNG NHÁT CỦA NGỮ NGHĨA
Tính thống nhất về mặt ngữ nghĩa (Consistency Semantic) xác định ngữ nghĩa khi đồng thời nhiều người dùng truy xuất vào file dùng chung. Khi một người dùng thay đổi dữ liệu dùng chung, những thay đổi này ảnh hưởng tới những người dùng khác như thế nào? Đây là tiêu chuẩn để đánh giá hệ
thống file chia sẻ. ở đây, giả định tiến trình phải mở (và đóng) file Irước (và sau khi) sử dụng. Một chuỗi các thao tác đọc/ghi nie nằm giữa cặp thao tác đóng/mở file được gọi là một phiên làm việc. Dưới đây trình bày một vài ví dụ về nhất quán ngữ nghĩa.
11.5.1. Ngữ nghĩa UNIX
Tính thống nhất về mặt ngừ nghĩa trong UNIX được định nghĩa như sau: Nếu người dùng viết vào một file đang mở thì tất cả những người khác cũng đang mở file này sẽ "nhìn" thấy ngay lập tức. Nếu trong chế độ dùng chung mà tất cả người dùng có chung vị trí con trỏ hiện thời trong file, thì khi một người dùng dịch chuyển con trỏ sẽ ảnh hưởng tới tất cả những người dùng khác, ở đây, file có duy nhất một hình ảnh trong hệ thống và được nhiều người sử dụng xen kẽ. Những ngữ nghĩa này thường liên quan đến quá trình cài đặt, trong đó file gắn với một vị trí vật lý duy nhất được độc quyền truy xuất. Tranh chấp sử dụng tài nguyên khiến tiến trình ứng dụng bị phong tỏa.
11.5.2. Ngữ nghĩa theo phiên
Hệ thống file Andrew định nghĩa nhất quán ngữ nghĩa như sau; Việc người dùng viết vào một file đang mở không được những người dùng khác đang mở file này thấy ngay lập tức. Khi đóng file, chi nhìn thấy được những thay đổi trong file trong những phiên làm việc sau. Theo ngừ nghĩa này, tại một thời điểm, file có thể gắn với một vài hình ảnh (có thể khác nhau) trong bộ nhớ. Do đó, nhiều người dùng được phép thục hiện cả quyền truy xuất đọc và ghi đồng thời lên các hinh ảnh của cùng một file mà không bị phong tỏa (do phải đợi). Hầu như không có ràng buộc nào với việc điều phối truy xuất.
11.5.3. Ngữ nghĩa chia sẻ file chỉ đọc
Một phưoTig pháp khác là các file chia sẻ không thay đổi được. Khi file được khai báo là chia sẻ thì file không thể bị chỉnh sửa. Một fíle như vậy có hai đặc tính quan trọng: Tên fíle không được sử dụng lại và nội dung file không thể sửa đổi. Nội dung fíle cố định chứ không chứa các thông tin có thể thay đổi được.