Tính Khả Tuần Tự Của Lịch Thao Tác Trong Cơ Chế Lock - TaiLieu.VN

Mạng xã hội chia sẻ tài liệu Upload Đăng nhập Nâng cấp VIP Trang chủ » Công Nghệ Thông Tin » Hệ thống thông tin quản lý12 trang 2989 lượt xem 340Tính khả tuần tự của lịch thao tác trong cơ chế Lock

- Đánh dấu tất cả lệnh Unlock. - Xét tuần tự từng lệnh Unlock: o Giả sử đang xét lệnh Unlock (A) của giao tác Ti. o Với mỗi lệnh Lock (A) của các giao tác Tj (j I ) được thực hiện sau lệnh này, vẽ 1 cung hướng từ Ti  Tj. - Nếu đồ thị không có chu trình  Lịch S khả tuần tự.

Chủ đề:

trinh02

Hệ thống thông tin quản lý

Tài liệu Hệ thống thông tin quản lý

SaveLikeShareReport Download AI tóm tắt /12 Tính khả tuần tự của lịch thao tác trong cơ chế Lock. 1. Cơ chế Lock 2. Cơ chếLock 2 giai đoạn (2 Phases Locking) 3.Bài tập và hướng dẫn: CHÚ Ý: Quy ước: Để thuận lợi cho việc biểu diễn các thao tác theo thời gian, 1 thao tác được viết dưới dạng MiTj. Trong đó:- M là tên thao tác, có thể là Read, Write, Lock, Unlock, Rlock … - Với i là thứ tự theo thời gian từ trên xuống. - Với j là mã số của giao tác, ví dụ T1,T2 … Tj. TÍNH KHẢ TUẦN TỰ CỦA LỊCH THAO TÁC TRONG CƠ CHẾ LOCK I. CƠ CHẾ LOCK : 1. Đặc điểm: Chỉ xét các thao tác Lock và Unlock để xét tính khả tuần tự của lịch. 2.Đồ thị khả tuần tự ( cơ chế lock ) - S là tập các giao tác T1,T2,T3…Tn - Xét các thao tác Mi có dạng Lock(A) và Unlock(A). - Nếu Ti có 1 thao tác dạng Unlock(A), Tj có thao tác tiếp theo sau đó có dạng Lock(A) thì vẽ1 cung có hướng từ Ti Tj . - Lịch thao tác khả tuần tự  đồ thị không có chu trình . Ví dụ 1: Time T1 T2 1 Lock(A) 2 Read (A)  a1 3 Unlock(A) 4 Lock(A) 5 Read(A)  a2 6 a2 + 1  a2 7 Write(a2)  A 8 Unlock(A) 9 a1 + 1  a1 10 Lock(A) 11 Write(a1) A 12 Unlock(A) Hướng dẫn: - T1 thực hiện Unlock3T1(A) sau đó T2 thực hiện Lock4T2(A)  ta có : T1  T2 - T2 thực hiện Unlock8T2(A) sau đó T1 thực hiện Lock10T1(A)  ta có: T2  T1 - Kết luận: Đồ thị có chu trình  Lịch S không khả tuần tự. 3.Cách xây dựng đồ thị khả tuần tự: - Đánh dấu tất cả lệnh Unlock. - Xét tuần tự từng lệnh Unlock: oGiả sửđang xét lệnh Unlock (A) của giao tác Ti. oVới mỗi lệnh Lock (A) của các giao tác Tj (j <> I ) được thực hiện sau lệnh này, vẽ 1 cung hướng từ Ti  Tj. - Nếu đồ thị không có chu trình  Lịch S khả tuần tự. Ví dụ 2: Cho lịch S như sau. Xét tính khả tuần tự của lịch S. Time T1 T2 T3 T4 1 Lock(A) 2 Lock(A) 3 Lock(B) 4 Unlock(A) 5 Unlock(B) 6 Lock(B) 7 Unlock(A) 8 Lock(B) 9 Lock(A) 10 Unlock(B) 11 Lock(C) 12 Unlock(A) 13 Lock(A) 14 Unlock(A) 15 Unlock(B) 16 Unlock(C) HƯỚNG DẪN: B1. Đánh dấu ( tô đậm như trên hình vẽ trên) B2: Lần lượt xét các Unlock ( có dạng UnlockxTy(X) với x là thứ tự thời gian và y là thứ tự giao tác):  Xét Unlock4T2(A) của T2 trên ĐVDL là A:o Ta có: Lock9T1(A) và Lock13T4(A) thực hiện sau thao tác đó nên  Ta có 2 cung sau: T2  T1 và T2  T4  Xét Unlock5T2(B) của T2 trên ĐVDL là B: o Ta có: Lock6T1(B) và Lock8T4(B) thực hiện sau thao tác đó nên  Ta có 2 cung sau: T2 T1 và T2 T4  Xét Unlock7T3(A) của T3 trên ĐVDL là A:o Ta có: Lock9T1(A) và Lock13T4(A) thực hiện sau thao tác đó nên  Ta có 2 cung sau: T3  T1 và T3  T4  Xét Unlock10T4(B) của T4 trên ĐVDL là B: o Sau thao tác trên không có giao tác Tj nào thực hiện Lock(B) nên ta không tìm được thêm cung nào.  Xét Unlock12T1(A) của T1 trên ĐVDL là A:o Ta có: Lock13T4(A) thực hiện sau thao tác trên nên ta có cung : T1T4  Xét các Unlock14T4(A), Unlock15T1(B) và Unlock16T1(C) ta có: o Sau các thao tác này không có các giao tác khác thực hiện Lock trên ĐVDL tương ứng nên ta không tìm được thêm cung nào nữa.

Tài liệu liên quan

Hospital Information System using HL7 and DICOM standards

10 trang

Integration of Health Information Systems Using HL7: A Case Study

7 trang

Knowledge capital, CEO power, and firm value: Evidence from theIT industry

13 trang

Xây dựng hệ thống thông tin quản lý kết nối doanh nghiệp và hỗ trợ việc làm cho sinh viên trường Đại học Phan Thiết

17 trang

Tài liệu học tập Hệ thống thông tin quản lý

185 trang

Tài liệu hướng dẫn đăng ký và cập nhật thông tin tài khoản

27 trang

Bài tập Tắc nghẽn

0 trang

Công ty Cổ phần Công nghệ Hinet Việt Nam

52 trang

Giới thiệu tổng quát hệ thống quản lý bất động sản

14 trang

Giải 21 câu hỏi ôn tập môn Hệ thống thông tin quản lý

26 trang

Tài liêu mới

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 8 - TS. Đào Ngọc Phong

31 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 7 - TS. Đào Ngọc Phong

40 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 6 - TS. Đào Ngọc Phong

23 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 5 - TS. Đào Ngọc Phong

35 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 4 - TS. Đào Ngọc Phong

43 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 3 - TS. Đào Ngọc Phong

46 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 2 - TS. Đào Ngọc Phong

30 trang

Bài giảng Phân tích và thiết kế hệ thống thông tin: Chương 1 - TS. Đào Ngọc Phong

28 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 1 - Từ Thị Xuân Hiền

66 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 2 - Từ Thị Xuân Hiền

20 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 4 - Từ Thị Xuân Hiền

22 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 5 - Từ Thị Xuân Hiền

48 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 6 - Từ Thị Xuân Hiền

9 trang

Bài giảng môn Phân tích thiết kế hệ thống: Chương 3 - Từ Thị Xuân Hiền

52 trang

Bài giảng Các phần mềm ứng dụng trong doanh nghiệp - Chương 4: Phần mềm hỗ trợ ra quyết định

46 trang

AI tóm tắt

- Giúp bạn nắm bắt nội dung tài liệu nhanh chóng!

Giới thiệu tài liệu

Đối tượng sử dụng

Từ khoá chính

Nội dung tóm tắt

Giới thiệu

Về chúng tôi

Việc làm

Quảng cáo

Liên hệ

Chính sách

Thoả thuận sử dụng

Chính sách bảo mật

Chính sách hoàn tiền

DMCA

Hỗ trợ

Hướng dẫn sử dụng

Đăng ký tài khoản VIP

Zalo/Tel:

093 303 0098

Email:

[email protected]

Phương thức thanh toán

Theo dõi chúng tôi

Facebook

Youtube

TikTok

Chịu trách nhiệm nội dung: Nguyễn Công Hà Doanh nghiệp quản lý: Công ty TNHH Tài Liệu trực tuyến Vi Na - GCN ĐKDN: 0307893603 Địa chỉ: 54A Nơ Trang Long, P. Bình Thạnh, TP.HCM - Điện thoại: 0283 5102 888 - Email: [email protected]ấy phép Mạng Xã Hội số: 670/GP-BTTTT cấp ngày 30/11/2015