... trờng hợp hệ mạng Địnhlý 2.1: Mọi đồ thị trờng hợp hệ mạng điềukiện - biến cố liên thông đỉnh nút Địnhlý 2.2: Hệ mạng điềukiện - biến cố chu trình đồ thị trờng hợp liên thông mạnh Địnhlý ... trình tuần tự: trình mà hành động đợc thực 2) Quá trình tơng tranh: trình mà có nhiều hành động đợc thực song song với nhau, 12 Quá trình tơng tranh bao gồm dãy bớc tơng tranh môi trờng để thực ... vào tập ra, nghĩa là: x, y N : (x = y) (x = y) x = y Biến cố e xảy trạng thái c điềukiện vào e thoả mãn c điềukiện không Khi biến cố e xảy ra, điềukiện vào e không thoả mãn điềukiện e bắt...
... Ma trn k Adjacency matrix Danh sỏch k Adjacency list Duyt th theo chiu sõu Depth-first search Duyt th theo chiu rng Breadth-first search th hai phn Bipartite graph th cỏc trng hp Case graph ... Coverage graph Ngụn ng hỡnh thc Formal language Bng ch cỏi Alphabet T Word T vụ hn Infinitive word Vn phm Grammar Vn phm cm ng cnh Context-sensitive grammar Vn phm phi ng cnh Context-free grammar ... t-ơng tranh Concurrent process Hành vi Behaviour Hành vi Sequential behaviour Hành vi t-ơng tranh Concurrent behaviour DANH MC CC HèNH V Trong bn lun ỏn 21 cú hỡnh v Hỡnh v Trang Hỡnh 1.1: th...
... lậplịchCSDLthờigianthực MỞ ĐẦU Trong năm gần đây, hệ thống sở liệu (CSDL) thờigianthực ngày nghiên cứu ứng dụng r ng r i thực tế Hệ thống CSDLthờigianthực kết hợp hệ thống thờigianthực ... lịchCSDLthờigianthực 2.4 Lậplịch đĩa (Disk Scheduling) Trong hệ CSDLthờigian thực, việc đọc ghi liệu lưu trữ điều cốt tử Nên, giao dịch có r ng buộc thờigian việc lậplịch ghi đĩa trở thành ... dịch truy nhập liệu phải lậplịch theo mục tiêu hiệu thờigianthực Quy trình lậplịch giao dịch hệ thống CSDLthờigianthực bao gồm điều khiển đồng thời (concurrency control) giải tương tranh...
... LOGO CSDLTHỜIGIANTHỰC Giới thiệu Tương tranh Lậplịch Tổng kết LOGO Giới thiệu CSDLthờigianthực CSDL: lưu trữ, truy vấn, xử lý liệu Các buộc thờigian hiệu Các ứng dụng: ... Control) Điều khiển đồng thời lạc quan (Optimistic Concurrency Control) Điều khiển đồng thời suy đoán (Speculative) Điều khiển đồng thời đa phiên (Multiversion Concurrency Control) Điều ... LOGO Lậplịch Tác vụ: Thờigian bắt đầu Thờigian cuối Thờigian ước lượng cần thiết để hoàn thành tác vụ Tại phải lập lịch? Duy trì buộc Duy trì quán Thỏa mãn yêu cầu mặt thời gian...
... Q, lịch S giao tác Ti thực thao tác ghi sau , lịch S’ giao tác Ti phải thực thao tác ghi sau Điềukiện đảm bảo giao tác đọc giá trị hai lịch trình thực tính toán Điềukiện đảm bảo hai lịch trình ... thỏa mãn điềukiện ta cần thiết giới hạn loại 23 lịchTrong phần điều khiển tương tranh xét lịch chấp nhận Sau ta xét lịch thỏa mãn điềukiện 3.1.3.1 Lịch khả phục hồi Khái niệm: Một lịch trình khả ... sơ đồ điều khiển tương tranh thích hợp để điều phối thực tương tranh giao tác thực vị trí - TC (transaction coordinator): điều phối việc thực giao tác mà khởi tạo vị trí Với giao tác TC thực nhiệm...
... lập hệ thống client/server RMI ta sử dụng ba gói sau: java.rmi, java.rmi.server, java.rmi.registry Gói java.rmi bao gồm giao tiếp, lớp ngoại lệ sử dụng để lập trình cho phía client Gói java.rmi.server ... nhãn thờigian sau: - WTS(Write-Timestamp): Nhãn thờigian lớn giao tác sau thực thành công write(Q) - RTS(Read-Timestamp): Nhãn thờigian lớn giao tác sau thực thành công read(Q) Các giá trị cập ... nhiều Server đặt nhiều vị trí địa lý khác giúp cho Client truy xuất liệu vị trí mà truy cập đến liệu vị trí khác Tuy nhiên, vấn đề khó khăn hệ sở liệu phân tán xử lý tương tranh Trongthực tế, thời...
... (2008),“Distributed Concurrency Control”, Tsinghua Universary [11] Dean Leftingwell (2011), “Agile Software Requirements: Lean Requirements Practices for Teams, Programs, and the Enterprise”, Agile ... chạy ổn định hầu hết môi trường windows hỗ trợ NetFramework version trở lên 17 Kiến trúc chương trình biểu diễn sau: Môi trường Web Web Browser Web Server Web Services Database Web Services Database ... Distributed, High-Performance, High-Availability Implementation of SQL”, Tandem Systems Review [7] A Borr (1988), “High-Performance SQL through low-level System Intergration”, Tandem Systems Review,...
... Q, lịch S giao tác Ti thực thao tác ghi sau , lịch S’ giao tác Ti phải thực thao tác ghi sau Điềukiện đảm bảo giao tác đọc giá trị hai lịch trình thực tính toán Điềukiện đảm bảo hai lịch trình ... thỏa mãn điềukiện ta cần thiết giới hạn loại lịchTrong phần điều khiển tương tranh xét lịch chấp nhận Sau ta xét lịch thỏa mãn điềukiện 3.1.3.1 Lịch khả phục hồi Khái niệm: Một lịch trình khả ... sơ đồ điều khiển tương tranh thích hợp để điều phối thực tương tranh giao tác thực vị trí - TC (transaction coordinator): điều phối việc thực giao tác mà khởi tạo vị trí Với giao tác TC thực nhiệm...
... (DC-7) rPl n rPl {} rPl r Pl => (f Pl *) rPl /\ rQl {} rp/\Ql rPl n true /\ true'? r, Pl => rPl n true'? r, Pl rPl n true'? r, Pl => rPl n r, Pl ntrue /\ truen r, Pl n rPl rPl n true /\ truen r ,Pl ... A rphJTr,phil AOr,philnrphil) => (r phi 1n true r truen r ,phi A truen r ,phi 1n r phi 1n true) => (truen r ,phi A r phi 1n truen r ,phi 1n r phi 1n true) => (truen r ,phi A truen rphi 1n r ,phi ... tu'o'ng dir lieu x du'o'c dinh nghia hinh thirc nhir sau: WRij(X) ~ (rWr;(x)1/\ RWij(x) ~ WWij(x) ~ (rWr;(x)1ntruenrWrj(x)1, ( W w;(x)1/\ r" "VWj(x)l)ntruenWwj(x)l, r ,Wrj(x)l) ntruen rW rj (x)...
... Applying our proposed methods for transforming sequential processes into concurrent ones, research group contract trace-based behaviour of the composed system directly from sequential behaviours of ... present some numerical results for illustrating a theoret ical results obtained in our investigation in the field o f variational inequality problems with constraint in the form o f operator ... trace languages, Lecture Notes in Computer Science 1877, springer (2000), pp 426-441 A Mazurkiewicz, Concurrent program schemes and their interpretations, Aarhus Unviversity Publication (1977),...
... giao tác dẫn trỏ nhãn thờigian Mỗi trạm đánh nhãn thờigian cách tự trị theo đồng hồ địa phương số hiệu trạm Ví dụ, giao tác khởi phát trạm i thời điểm t có nhãn thờigian • Sự đặt khoá ... S2 = {R1 (A);W1(A) ;R2 (A) ;R2 (B);C2 ;R1 (B);W1(B);C1} S3 = {R1 (A);W1(A) ;R2 (A) ;R1 (B);W1(B);C1 ;R2 (B);C2} Kiểm tra tính nối tiếp Nếu đồ thị ưu tiên (dựa thao tác đụng độ) cho lịch biểu S chu trình S ... 4.2 Các giải thuật điều khiển tương tranh dựa khóa 4.3 Các giải thuật điều khiển tương tranh dựa nhãn thờigian 4.4 Quản trị khóa chết Điều khiển tương tranh • Điều khiển tương tranh toán đồng giao...
... ph n qu n lý khóa ScMsg: Op=Sm.Opn Res=Sm.Result T=Sm.Tid Case Op of Read: Return Res cho Transaction c a user - 14 - Write: Báo cho ng d ng c a user bi t ñã hoàn thành vi c ghi Return Res cho ... S=∅ Read: S=S∪{v trí có ch a x chi phí truy c p ñ n th p nh t} G i O ñ n LM trung tâm Write: S=S∪{Si: v i x ñư c lưu tr t i v trí Si} G i O ñ n LM trung tâm Abort or Commit: G i O ñ n LM trung ... O ñ n b ph n x lý d li u S Else Thông báo cho user v s k t thúc c a Transaction DpMsg: Op=Pm.Opn Res=Pm.Result - 17 - T=Pm.Tid Case Op of Read: Return Res cho ng d ng c a user Write: Thông báo...
... ph n qu n lý khóa ScMsg: Op=Sm.Opn Res=Sm.Result T=Sm.Tid Case Op of Read: Return Res cho Transaction c a user - 14 - Write: Báo cho ng d ng c a user bi t ñã hoàn thành vi c ghi Return Res cho ... S=∅ Read: S=S∪{v trí có ch a x chi phí truy c p ñ n th p nh t} G i O ñ n LM trung tâm Write: S=S∪{Si: v i x ñư c lưu tr t i v trí Si} G i O ñ n LM trung tâm Abort or Commit: G i O ñ n LM trung ... O ñ n b ph n x lý d li u S Else Thông báo cho user v s k t thúc c a Transaction DpMsg: Op=Pm.Opn Res=Pm.Result - 17 - T=Pm.Tid Case Op of Read: Return Res cho ng d ng c a user Write: Thông báo...
... t lu n lý AND, OR, NOT Bi u th c K t qu True And True True False And True False True And False False False And False False True Or True True False Or True True True Or False True False Or False ... v trí mong mu n Nh n gi chu t trái kéo n v trí mong mu n Hình 1.19: Di chuy n c a s Solution Explorer Nh n gi chu t trái kéo n v trí có d u tr Hình 1.20: Tr c a s Solution Explorer v v trí cũ ... ng phím Tab Trang 63 3.19 Các s ki n khác s ki n Click Trang 63 3.20 Control Combobox Trang 64 3.21 Control Listbox Trang 66 3.22 Control Menustrip Trang 66 3.23 Control Toolstrip Trang 68 3.24...
... liệu read hay write nên T1 bò rollback phải bắt đầu lại tA T1 T2 Read A Read A Read A Read A Ø Ví dụ 3: T1 T2 T3 t T =200 t T =150 t T =175 Read A g N Read C Read B Write B Write A Write C Write ... nhãn thờigian RTS WTS Ban đầu, RTS (A)= WTS(A) = - RTS(A) nhãn thờigian giao tác có timestamp lớn truy cập (read) thành công lên A - WTS(A) nhãn thờigian giao tác có timestamp lớn truy cập (write) ... (unrepeatable data) Ví dụ: Xét giao tác sau: T1 T2 Read(A) Read(A) A=A+10 Print(A) Write(A) Read(A) Print(A) h T c g N u D n a u CSDLPT -Điều khiển tương tranh Giả sử A=20 giao tác thực đồng thời...
... hệ R đƣợc phân r thành mảnh R1 , R2 , , Rk mục liệu có R phải có nhiều mảnh Ri Tính tái thiết (reconstruction): Nếu quan hệ R đƣợc phân r thành mảnh R1 , R2 , , Rk phải tồn toán tử Toán tử cho: R ... đọc/ghi với lậplịch Bộ lậplịchđiều khiển chuỗi giao dịch, theo quản trị liệu xử lý lệnh đọc/ghi trì điều khiển tƣơng tranh Khi lậplịch nhận thao tác từ quản lý giao dịch, có ba lựa chọn thực hiện: ... đích xử lý truy vấn Giảm thiểu thờigian xử lý Giảm vùng nhớ trung gian Giảm chi phí truyền thông trạm Sử dụng tài nguyên 2.1.2 Chức xử lý truy vấn Biến đổi truy vấn phức tạp thành truy vấn tƣơng...
... ->rwr ->ww” 2.2.3 Thờigian nhãn thờigianCSDL phân tán Trong hệ thống tập trung việc xác định thứ tự kiện A xảy trƣớc kiện B ngƣợc lai đơn giản, từ dễ dàng sử dụng đồng hồ để xác địnhthờigian ... tương tranh gồm đôi (W-ts,value), gọi phiên Một R- ts’s x ghi nhãn thờigian tất toán tử dm-read(x) thực phiên bản ghi nhãn thờigian giá trị tất toán tử md-read(x) thực (Trong thực tế lƣu trữ R- ts’s ... nhƣ sau: R dm-read(x) R không bị loại bỏ Nếu ts (R) nằm khoảng interval(prewrite(x)) với vài đệm prewrite(x) R đƣợc đệm ngƣợc lại R output P prewrite(x) Nếu vài R- ts(x) trong interval(P), P bị...