XÂY DỰNG GIẢI PHÁP ĐỒNG BỘ HÓA TIẾN TRÌNH TRÊN HỆ PHÂN TÁN VỚI 4 SERVER

Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như th để bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c

LỜI MỞ ĐẦU

Hệ tin học phân tán là hệ thống rất đa dạng, đa diện, phức tạp về mặt cấu trúc, là vùng tri thức hiện đại đang được các chuyên gia công nghệ thông tin đặc biệt quan tâm và đổi mới rất nhanh chóng

Một trong những tư tưởng lớn của các hệ phân tán là phân tán hóa các quá trình

xử lý thông tin và thực hiện các công việc đó trên các trạm xa nhau Đó là cơ sở để xây dựng các hệ ứng dụng lớn như thương mại điện tử, giáo dục điện tử, chính phủ điện tử .

Phân tán hóa các quá trình xử lý, tạo nên ưu thế của hệ có thể đáp ứng việc giảiquyết các bài toán lớn, một cách nhanh chóng Nhưng cũng tạo tính phức tạp, nan giải trong các yêu cầu thiết lập hệ Việc hợp lực của các thành viên trong hệ, dẫn đến hàng loạt các vấn đề như: định danh, cấp phát tài nguyên dùng chung (đảm bảo tránh tương tranh), giải quyết sự cố tạo nên tính tin cậy của hệ Để đảm bảo tính gắn bó của hệ, yêu cầu đặt ra trước hết là đồng bộ hóa các tiến trình Với hệ phân tán (không

có bộ nhớ chung, bộ tạo xung đồng hồ chung), khả năng gắn bó và việc đồng bộ hóa cho hệ chỉ dựa trên phương tiện duy nhất là truyền thông điệp, nên lời giải cho yêu cầu đồng bộ hóa thường chỉ dừng lại ở mức chấp nhận được đối với mỗi hệ

Về mặt bố cục, ngoài phần mở đầu, tài liệu tham khảo và mục lục, báo cáo được chia làm 3 chương, chương 1 tổng quan về hệ phân tán, chương 2 nói về các công cụ đồng bộ hoá các tiến trình trong hệ thống tin học và chương 3 xây dựng hệ thống đồng bộ hóa trên hệ phân tán với 4 server

CH ƯƠNG 1 TỔNG QUAN VỀ HỆ PHÂN TÁN NG 1 T NG QUAN V H PHÂN TÁN ỔNG QUAN VỀ HỆ PHÂN TÁN Ề HỆ PHÂN TÁN Ệ PHÂN TÁN

1 T ng quan v h tin h c ổng quan về hệ tin học ề hệ tin học ệ tin học ọc

M t cách t ng quát, h tin h c có th bao g m các thành ph n c b n nh ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ần cơ bản như ơ bản như ản như ư

ph n c ng, h đi u hành, các chần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ư ơ bản như ng trình ng d ng H tin h c nói chung có ụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như

th để bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c mô hình hoá nh sau:ư

Hình 1.1 Các thành ph n c a h tin h cần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như Các thi t b ph n c ng bao g m b x lý trung tâm, b nh và các thi t b ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ần cơ bản như ồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ớ và các thiết bị ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ngo i vi và đóng vai trò là m t trong hai lo i tài nguyên c s c a h th ng tin ơ bản như ở của hệ thống tin ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ống tin

h c Các chọc có thể bao gồm các thành phần cơ bản như ư ơ bản như ng trình ng d ng là thành ph n ti p theo sau h đi u hành, là cácụng Hệ tin học nói chung có ần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có

ph n m m c s ph c v cho vi c tri n khai các ng d ng c th Ví d nh ần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ơ bản như ở của hệ thống tin ụng Hệ tin học nói chung có ụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ụng Hệ tin học nói chung có ụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ụng Hệ tin học nói chung có ư

chư ơ bản như ng trình d ch, h qu n tr c s d li u, các chị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ơ bản như ở của hệ thống tin ữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như ư ơ bản như ng trình tr giúp s d ng ợc mô hình hoá như sau: ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có các thi t b chuyên d ng, các trò ch i đi n t ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị

Ngư i s d ng là m t khái ni m đử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c hi u theo nghĩa r ng, dể bao gồm các thành phần cơ bản như ư ớ và các thiết bị i góc đ h ệ tin học có thể bao gồm các thành phần cơ bản như

đi u hành Đó có th là các nhà chuyên môn, các máy tính, các h t đ ng v n ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ự động vận ận hành g n v i máy tính đang khai thác h th ng qua các l nh đi u khi n theo ớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như

m t thu t toán nào đó nh m đ t đận ằm đạt được mục tiêu xác định từ trước ư ợc mô hình hoá như sau:c m c tiêu xác đ nh t trụng Hệ tin học nói chung có ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ừ trước ư ớ và các thiết bị c

H đi u hành các máy tính và m ng máy tính đệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ư ợc mô hình hoá như sau:c đ t sát ph n c ng Nó ặt sát phần cứng Nó ần cơ bản như

g n k t ch c chẽ v i thi t b b i m t h th ng các chặt sát phần cứng Nó ớ và các thiết bị ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ư ơ bản như ng trình đi u khi n và ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như

s p x p nh m khai thác ph n c ng ph c v cho các chằm đạt được mục tiêu xác định từ trước ần cơ bản như ụng Hệ tin học nói chung có ụng Hệ tin học nói chung có ư ơ bản như ng trình ng d ng ụng Hệ tin học nói chung có khác nhau v i k t qu và hi u năng ch p nh n đớ và các thiết bị ản như ệ tin học có thể bao gồm các thành phần cơ bản như ấp nhận được ận ư ợc mô hình hoá như sau:c

Bộ nhớ trong

U1 U2

Un

Phần cứng Phần mềm

Hình 1.2 Ba th c th c a h tin h cự động vận ể bao gồm các thành phần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như

Nh v y, h th ng tin h c là m t h th ng bao g m hai ph n c b n là ph n ư ận ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ọc có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ồm các thành phần cơ bản như ần cơ bản như ơ bản như ản như ần cơ bản như

c ng và ph n m m g n bó h u c v i nhau và có kh năng x lý thông tin.ần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ữ liệu, các chương trình trợ giúp sử dụng ơ bản như ớ và các thiết bị ản như ử lý trung tâm, bộ nhớ và các thiết bị

1.1 H tin h c t p trung ệ tin học ọc ập trung

Tiêu bi u là h th ng máy đ n, là máy không k t n i v t lý và logic v i các ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ơ bản như ống tin ận ớ và các thiết bị máy khác nh hình vẽ sau:ư

Hình 1.3 H th ng máy đ nệ tin học có thể bao gồm các thành phần cơ bản như ống tin ơ bản như

m t th i đi m nh t đ nh, máy đ n để bao gồm các thành phần cơ bản như ấp nhận được ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ơ bản như ư ợc mô hình hoá như sau:c đi u hành b i m t h đi u hành ều hành, các chương trình ứng dụng Hệ tin học nói chung có ở của hệ thống tin ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có duy nh t H th ng nh v y đấp nhận được ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ư ận ư ợc mô hình hoá như sau: ọc có thể bao gồm các thành phần cơ bản như c g i là h tin h c t p trung, thích h p v i các ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ận ợc mô hình hoá như sau: ớ và các thiết bị máy tính lo i trung và lo i l n.ớ và các thiết bị

Tóm l i, h tin h c t p trung bao g m m t h th ng máy đ n đệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ận ồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ơ bản như ư ợc mô hình hoá như sau:c đi u ều hành, các chương trình ứng dụng Hệ tin học nói chung có khi n b i m t h đi u hành duy nh t và qu n lý toàn b thông tin trên thi t b ể bao gồm các thành phần cơ bản như ở của hệ thống tin ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ấp nhận được ản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

nh c c b c a mình.ớ và các thiết bị ụng Hệ tin học nói chung có ủa hệ tin học

1.2 H tin h c phân tán (h phân tán) ệ tin học ọc ệ tin học

H tin h c phân tán là h th ng không chia s b nh và đ ng h , khác v i xuệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ẻ bộ nhớ và đồng hồ, khác với xu ớ và các thiết bị ồm các thành phần cơ bản như ồm các thành phần cơ bản như ớ và các thiết bị

hư ớ và các thiết bị ng phân tán các tính toán trên nhi u b x lý c a h th ng đa x lý Nh ều hành, các chương trình ứng dụng Hệ tin học nói chung có ử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ử lý trung tâm, bộ nhớ và các thiết bị ư

v y, h tin h c phân tán đòi h i h th ng ph n c ng c a mình ph i trang b b ận ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ỏi hệ thống phần cứng của mình phải trang bị bộ ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ần cơ bản như ủa hệ tin học ản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

nh c c b , các b x lý trao đ i thông tin v i nhau thông qua các h th ng ớ và các thiết bị ụng Hệ tin học nói chung có ử lý trung tâm, bộ nhớ và các thiết bị ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ống tin

đư ng truy n nh cáp chuyên d ng, đều hành, các chương trình ứng dụng Hệ tin học nói chung có ư ụng Hệ tin học nói chung có ư ng đi n tho i, cáp quang ệ tin học có thể bao gồm các thành phần cơ bản như

Nh v y, h tin h c phân tán có th bao g m b n th c th nh sau:ư ận ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ống tin ự động vận ể bao gồm các thành phần cơ bản như ư

Page 3

Dữ liệu Truyền thäng

Hình 1.3 Các th c th c a h phân tánự động vận ể bao gồm các thành phần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như

M t t tư ư ở của hệ thống tin ng l n c a h tin h c phân tán là phân tán hoá các quá trình x lý ớ và các thiết bị ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị thông tin và th c hi n công vi c đó trên các tr m khác nhau Đó là c s căn b n ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ơ bản như ở của hệ thống tin ản như cho vi c xây d ng các ng d ng l n nh thệ tin học có thể bao gồm các thành phần cơ bản như ự động vận ụng Hệ tin học nói chung có ớ và các thiết bị ư ư ơ bản như ng m i đi n t , giáo d c đi n t , ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị chính ph đi n t , th vi n đi n t , ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ư ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị

Hi n nay, đ ng trên nh ng phệ tin học có thể bao gồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ư ơ bản như ng di n khác nhau, có th có các đ nh nghĩa ệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị khác nhau v h tin h c phân tán, nh ng ph bi n h n c là đ nh nghĩa sau:ều hành, các chương trình ứng dụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ư ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ơ bản như ản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

H tin h c phân tán (h phân tán) là h th ng x lý thông tin bao g m nhi u ệ tin học có thể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ử lý trung tâm, bộ nhớ và các thiết bị ồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có

b x lý hay vi x lý n m t i các v trí khác nhau và đử lý trung tâm, bộ nhớ và các thiết bị ử lý trung tâm, bộ nhớ và các thiết bị ằm đạt được mục tiêu xác định từ trước ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ư ợc mô hình hoá như sau:c liên k t v i nhau thôngớ và các thiết bị qua phư ơ bản như ng ti n vi n thông dệ tin học có thể bao gồm các thành phần cơ bản như ễn thông dưới sự điều khiển thống nhất của một hệ điều ư ớ và các thiết bị ự động vận ều hành, các chương trình ứng dụng Hệ tin học nói chung có i s đi u khi n th ng nh t c a m t h đi u ể bao gồm các thành phần cơ bản như ống tin ấp nhận được ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có hành

T đ nh nghĩa trên, h phân tán có các u đi m căn b n so v i h t p trung, ừ trước ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ư ể bao gồm các thành phần cơ bản như ản như ớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ận

nh sau:ư

- Tăng t c đ bình quân trong tính toán, x lý.ống tin ử lý trung tâm, bộ nhớ và các thiết bị

- C i thi n tình tr ng luôn s n sàng c a các lo i tài nguyên.ản như ệ tin học có thể bao gồm các thành phần cơ bản như ẵn sàng của các loại tài nguyên ủa hệ tin học

- Tăng đ an toàn cho d li u.ữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như

- Đa d ng hoá các lo i hình d ch v tin h c.ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ọc có thể bao gồm các thành phần cơ bản như

- Đ m báo tính toàn v n c a thông tin.ản như ẹn của thông tin ủa hệ tin học

CH ƯƠNG 1 TỔNG QUAN VỀ HỆ PHÂN TÁN NG 2: Đ NG B TI N TRÌNH ỒNG BỘ TIẾN TRÌNH Ộ TIẾN TRÌNH ẾN TRÌNH

2.1Bài toán đ ng b hóa ồng bộ hóa ộ hóa

Công vi c không th đệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c ti n hành n u nó không đư ợc mô hình hoá như sau:c b x lý ti p nh nử lý trung tâm, bộ nhớ và các thiết bị ận

và th c hi n: b x lý là m t tài nguyên c a h th ng đự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ư ợc mô hình hoá như sau:c s d ng đ hoànử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như thành công vi c Có th coi chệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ư ơ bản như ng trình c n th c hi n nh m t quá trình (cácần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ư

h đi u hành khác nhau có th s d ng các thu t ng khác nhau cùng nghĩa v iệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ận ữ liệu, các chương trình trợ giúp sử dụng ớ và các thiết bị thu t ng quá trình, mà ph bi n h n c là thu t ng ti n trình, bài toán), quáận ữ liệu, các chương trình trợ giúp sử dụng ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ơ bản như ản như ận ữ liệu, các chương trình trợ giúp sử dụng trình là đ i tống tin ư ợc mô hình hoá như sau:ng đư ợc mô hình hoá như sau:c ti p nh n b i b x lý (D.L Parnar, 1974) C n phânận ở của hệ thống tin ử lý trung tâm, bộ nhớ và các thiết bị ần cơ bản như

bi t khái ni m quá trình v i khái ni m chệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ư ơ bản như ng trình: quá trình là th c hi n m tự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

chư ơ bản như ng trình nào đó k t khi b t đ u đ n khi k t thúc Vì v y, cùng m t lúcể bao gồm các thành phần cơ bản như ừ trước ần cơ bản như ận

trong ch đ đa ngư i dùng, có 3 ngư i dùng đ u g i chều hành, các chương trình ứng dụng Hệ tin học nói chung có ọc có thể bao gồm các thành phần cơ bản như ư ơ bản như ng trình d ch ngônị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

ng C: h th ng ch có 1 chữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ư ơ bản như ng trình d ch C, trong khi đó t i th i đi m đang xétị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ể bao gồm các thành phần cơ bản như

có 3 quá trình đang t n t i và đồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c đi u ph i CPU.ều hành, các chương trình ứng dụng Hệ tin học nói chung có ống tin

Các ti n trình không t n t i m t cách đ c l p trong máy tính, chúng h p tácồm các thành phần cơ bản như ận ợc mô hình hoá như sau:

v i nhau đ th c hi n các công vi c c a ngớ và các thiết bị ể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ư i s d ng và chúng c nh tranh v iử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ớ và các thiết bị nhau đ s d ng chung các tài nguyên h u h n: các b x lý ho c các file thôngể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ữ liệu, các chương trình trợ giúp sử dụng ử lý trung tâm, bộ nhớ và các thiết bị ặt sát phần cứng Nó tin Hai đ c tr ng h p tác và c nh tranh d n t i s c n thi t c a các liên l cặt sát phần cứng Nó ư ợc mô hình hoá như sau: ẫn tới sự cần thiết của các liên lạc ớ và các thiết bị ự động vận ần cơ bản như ủa hệ tin học

gi a các ti n trình.ữ liệu, các chương trình trợ giúp sử dụng

Đ làm rõ tính quan tr ng c a vi c đ ng b hóa ti n trình chúng ta xét ví dể bao gồm các thành phần cơ bản như ọc có thể bao gồm các thành phần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ụng Hệ tin học nói chung có sau: gi s r ng chản như ử lý trung tâm, bộ nhớ và các thiết bị ằm đạt được mục tiêu xác định từ trước ư ơ bản như ng trình nào đó có bi n counter và giá tr c a bi n counterị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học

hi n t i là 5, th t c ngệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ụng Hệ tin học nói chung có ư i s n xu t và ngản như ấp nhận được ư i tiêu dùng th c thi đ ng hành câuự động vận ồm các thành phần cơ bản như

l nh “counter++” và “counter ” Theo sau vi c th c thi hai câu l nh này, giá trệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

c a bi n counter có th là 4, 5 hay 6? K t qu ch đúng khi bi n counter==5,ủa hệ tin học ể bao gồm các thành phần cơ bản như ản như ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét

đư ợc mô hình hoá như sau:c t o ra đúng n u ti n trình ngư i s n xu t và ngản như ấp nhận được ư i tiêu dùng th c thiự động vận riêng bi t.ệ tin học có thể bao gồm các thành phần cơ bản như

Chúng ta có th minh ho giá tr c a counter có th không đúng nh sau Chúể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ể bao gồm các thành phần cơ bản như ư

ý, câu l nh “counter++” có th đệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c cài đ t b ng ngôn ng máy (trên m t máyặt sát phần cứng Nó ằm đạt được mục tiêu xác định từ trước ữ liệu, các chương trình trợ giúp sử dụng

đi n hình) nh sau:ể bao gồm các thành phần cơ bản như ư

register1 = counter

register1 = register1 + 1

counter = register1

đây register1 là m t thanh ghi CPU c c b Tụng Hệ tin học nói chung có ư ơ bản như ng t , câu l nh “counter ”ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

đư ợc mô hình hoá như sau:c cài đ t nh sau:ặt sát phần cứng Nó ư

l i b i b qu n lý ng t.ở của hệ thống tin ản như

Th c thi đ ng hành c a “counter++” và “counter ” là tự động vận ồm các thành phần cơ bản như ủa hệ tin học ư ơ bản như ng t nh th c thiự động vận ư ự động vận

tu n t đây các câu l nh c p th p h n đần cơ bản như ự động vận ở của hệ thống tin ệ tin học có thể bao gồm các thành phần cơ bản như ấp nhận được ấp nhận được ơ bản như ư ợc mô hình hoá như sau:c hi n di n trệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ư ớ và các thiết bị c b ph l p trongị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học

th t b t kỳ (nh ng th t bên trong m i câu l nh c p cao đự động vận ấp nhận được ư ự động vận ỗi câu lệnh cấp cao được lưu giữ) Một ệ tin học có thể bao gồm các thành phần cơ bản như ấp nhận được ư ợc mô hình hoá như sau: ư c l u gi ) M tữ liệu, các chương trình trợ giúp sử dụng

s ph l p là:ự động vận ủa hệ tin học

T0: producerth cthi register1 = counter{register1 = 5}ự động vận

T1: producerth cthi register1 = register1 + 1 {register1 = 6}ự động vận

T2: consumerth cthi register2 = counter{register2 = 5}ự động vận

T3: consumerth cthi register2 = register2 – 1{register2 = 4}ự động vận

T4: producerth cthi counter = register1{counter = 6}ự động vận

T5: consumerth cthi counter = register2{counter = 4}ự động vận

Chú ý r ng, chúng ta xem xét tình tr ng không đúng “counter==4” theo đó cóằm đạt được mục tiêu xác định từ trước

4 vùng đ m đ y, nh ng th c t khi đó có 5 vùng đ m đ y N u chúng đ i ngệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ư ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c

l i th t c a câu l nh T4 và T5, chúng ta sẽ có tr ng thái không đúng “counterự động vận ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như

==6”

Chúng ta đi đ n tr ng thái không đúng này vì chúng ta cho phép c hai quáản như trình thao tác đ ng th i trên bi n counter Trồm các thành phần cơ bản như ư ng h p tợc mô hình hoá như sau: ư ơ bản như ng t , đây nhi uự động vận ở của hệ thống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có quá trình truy xu t và thao tác cùng d li u đ ng hành và k t qu c a vi c th cấp nhận được ữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ự động vận thi ph thu c vào th t xác đ nh trong đó vi c truy xu t x y ra, đụng Hệ tin học nói chung có ự động vận ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ấp nhận được ản như ư ợc mô hình hoá như sau:c g i làọc có thể bao gồm các thành phần cơ bản như

đi u ki n c nh tranh (race condition) Đ ngăn ch n đi u ki n c nh tranh ều hành, các chương trình ứng dụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ặt sát phần cứng Nó ều hành, các chương trình ứng dụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin trên, chúng ta c n đ m b o r ng ch m t quá trình t i m t th i đi m có thần cơ bản như ản như ản như ằm đạt được mục tiêu xác định từ trước ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như

đư ợc mô hình hoá như sau:c thao tác bi n counter Đ th c hi n vi c đ m b o nh th , chúng ta yêuể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ản như ản như ư

c u m t vài hình th c đ ng b hoá quá trình Nh ng trần cơ bản như ồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ư ng h p nh th x y raợc mô hình hoá như sau: ư ản như

thư ng xuyên trong các h đi u hành khi các ph n khác nhau c a h th ng thaoệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ống tin tác các tài nguyên và chúng ta mu n các thay đ i không gây tr ng i m t s thayống tin ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin ự động vận

đ i khác.ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như

2.2 Mi n găng hay vùng t ề hệ tin học ương trục ng tr c ục

Xét m t h th ng g m n quá trình (Pệ tin học có thể bao gồm các thành phần cơ bản như ống tin ồm các thành phần cơ bản như 0, P1, … ,Pn-1 ) M i quá trình có m t phânỗi câu lệnh cấp cao được lưu giữ) Một

đo n mã, đư ợc mô hình hoá như sau:c g i là mi n găng (critical section), trong đó quá trình này có thọc có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như thay đ i nh ng bi n dùng chung, c p nh t m t b ng, vi t đ n t p tin Đ c đi mổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ận ận ản như ận ặt sát phần cứng Nó ể bao gồm các thành phần cơ bản như quan tr ng c a h th ng là ch , khi m t quá trình đang th c thi trong vùngọc có thể bao gồm các thành phần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ở của hệ thống tin ỗi câu lệnh cấp cao được lưu giữ) Một ự động vận

tư ơ bản như ng tr c, không có ti n trình nào khác đụng Hệ tin học nói chung có ư ợc mô hình hoá như sau:c phép th c thi trong vùng tự động vận ư ơ bản như ng

tr c c a nó Do đó, vi c th c thi c a các vùng tụng Hệ tin học nói chung có ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ự động vận ủa hệ tin học ư ơ bản như ng tr c b i các ti n trình là sụng Hệ tin học nói chung có ở của hệ thống tin ự động vận

lo i tr h từ trước ỗi câu lệnh cấp cao được lưu giữ) Một ư ơ bản như ng V n đ mi n găng là thi t k m t giao th c mà các quá trìnhấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ều hành, các chương trình ứng dụng Hệ tin học nói chung có

có th dùng đ c ng tác M i ti n trình ph i yêu c u quy n đ đi vào vùngể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ỗi câu lệnh cấp cao được lưu giữ) Một ản như ần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như

tư ơ bản như ng tr c c a nó Vùng mã th c hi n yêu c u này là ph n đi vào (entryụng Hệ tin học nói chung có ủa hệ tin học ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ần cơ bản như section) Vùng tư ơ bản như ng tr c có th đụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c theo sau b i m t ph n k t thúc (exitở của hệ thống tin ần cơ bản như section) Mã còn l i là ph n còn l i (remainder section) C u trúc chung c a m tần cơ bản như ấp nhận được ủa hệ tin họcquá trình đi n hình Pể bao gồm các thành phần cơ bản như i:

critical section exit section

remainder section} while (1);

M t gi i pháp đ i v i v n đ mi n găng ph i tho mãn ba yêu c u sau:ản như ống tin ớ và các thiết bị ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ều hành, các chương trình ứng dụng Hệ tin học nói chung có ản như ản như ần cơ bản như

Lo i tr h từ trước ỗi câu lệnh cấp cao được lưu giữ) Một ư ơ bản như ng (Mutual Exclusion): N u quá trình Pi đang th c thiự động vận trong mi n găng c a nó thì không ti n trình nào khác đang đều hành, các chương trình ứng dụng Hệ tin học nói chung có ủa hệ tin học ư ợc mô hình hoá như sau:c th c thiự động vận trong mi n găng đó.ều hành, các chương trình ứng dụng Hệ tin học nói chung có

Progress: n u không có ti n trình nào đang th c thi trong mi n găng vàự động vận ều hành, các chương trình ứng dụng Hệ tin học nói chung có

có vài ti n trình mu n vào mi n găng thì ch nh ng ti n trình không đangống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ữ liệu, các chương trình trợ giúp sử dụng

th c thi ph n còn l i m i có th tham gia vào vi c quy t đ nh ti n trình nàoự động vận ần cơ bản như ớ và các thiết bị ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

sẽ đi vào vùng găng ti p theo và ch n l a này không th trì hoãn vô h n đ nh.ọc có thể bao gồm các thành phần cơ bản như ự động vận ể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

Ch đ i có gi i h n (bounded wait): gi i h n s l n các ti n trình khácợc mô hình hoá như sau: ớ và các thiết bị ớ và các thiết bị ống tin ần cơ bản như

đư ợc mô hình hoá như sau:c phép đi vào mi n găng sau khi m t ti n trình th c hi n yêu c u đ điều hành, các chương trình ứng dụng Hệ tin học nói chung có ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ể bao gồm các thành phần cơ bản như vào mi n găng c a nó và trều hành, các chương trình ứng dụng Hệ tin học nói chung có ủa hệ tin học ư ớ và các thiết bị c khi yêu c u đó đần cơ bản như ư ợc mô hình hoá như sau:c gán

2.3 Đ ng b hóa các ti n trình trong h đi u hành t p trung ồng bộ hóa ộ hóa ến trình trong hệ điều hành tập trung ệ tin học ề hệ tin học ập trung

2.3.1 Lo i tr l n nhau (mutual exclusion) ại trừ lẫn nhau (mutual exclusion) ừ lẫn nhau (mutual exclusion) ẫn nhau (mutual exclusion)

Các tài nguyên trong h th ng có th đệ tin học có thể bao gồm các thành phần cơ bản như ống tin ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c phân thành 2 lo i:

Các tài nguyên phân chia đư ợc mô hình hoá như sau:c: có th s d ng đ ng th i b i nhi u ti nể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ồm các thành phần cơ bản như ở của hệ thống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có trình

Các tài nguyên không phân chia đư ợc mô hình hoá như sau:c: ch có th đỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau: ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có c s d ng b i m tở của hệ thống tin

ti n trình duy nh t t i m t th i đi m.ấp nhận được ể bao gồm các thành phần cơ bản như

S không phân chia đự động vận ư ợc mô hình hoá như sau: ủa hệ tin họcc c a m t tài nguyên là do hai nguyên nhân sau:

S không phân chia đự động vận ư ợc mô hình hoá như sau:c v m t v t lý Ví v m t máy đ c băng gi uều hành, các chương trình ứng dụng Hệ tin học nói chung có ặt sát phần cứng Nó ận ụng Hệ tin học nói chung có ọc có thể bao gồm các thành phần cơ bản như ấp nhận được

đ c l không cho phép đ i băng gi a các ký t liên ti p.ụng Hệ tin học nói chung có ỗi câu lệnh cấp cao được lưu giữ) Một ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ự động vận

N u m t tài nguyên đư ợc mô hình hoá như sau: ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có c s d ng đ ng th i b i nhi u ti n trình thì sẽồm các thành phần cơ bản như ở của hệ thống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có

có nguy c b ch ng chéo, không nh t quán.ơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ồm các thành phần cơ bản như ấp nhận được

Ví d xét m t vùng nh đụng Hệ tin học nói chung có ớ và các thiết bị ư ợc mô hình hoá như sau:c truy c p b i nhi u b x lý, n u m t x lý đ cận ở của hệ thống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có ử lý trung tâm, bộ nhớ và các thiết bị ử lý trung tâm, bộ nhớ và các thiết bị ọc có thể bao gồm các thành phần cơ bản như

n i dung c a vùng trong khi m t b x lý khác s a đ i thì k t qu là khôngủa hệ tin học ử lý trung tâm, bộ nhớ và các thiết bị ử lý trung tâm, bộ nhớ và các thiết bị ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ản như

lư ng trư ớ và các thiết bị c đư ợc mô hình hoá như sau:c Gi s trong h đăng ký ch máy bay, m t gh đản như ử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ỗi câu lệnh cấp cao được lưu giữ) Một ư ợc mô hình hoá như sau:c bi uể bao gồm các thành phần cơ bản như

di n b i n i dung c a m t ký t t i m t th i đi m nào đó, hai phòng d ch vễn thông dưới sự điều khiển thống nhất của một hệ điều ở của hệ thống tin ủa hệ tin học ự động vận ể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có đăng ký đ ng th i cùng m t gh b ng các thao tác nh sau:ồm các thành phần cơ bản như ằm đạt được mục tiêu xác định từ trước ư

Các tài nguyên không phân chia đư ợc mô hình hoá như sau:c ch y u là các ngo i vi, các file khi vi tủa hệ tin học

và các vùng d li u đữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau: ận c c p nh p liên ti pận

Các tài nguyên phân chia đư ợc mô hình hoá như sau:c ch y u là các đ n v trung tâm, các file khi chủa hệ tin học ơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét

đ c h c các vùng nh ch ch a chọc có thể bao gồm các thành phần cơ bản như ặt sát phần cứng Nó ớ và các thiết bị ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ư ơ bản như ng trình và d li u đữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c b o v c m s aản như ệ tin học có thể bao gồm các thành phần cơ bản như ấp nhận được ử lý trung tâm, bộ nhớ và các thiết bị

đ i.ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như

Phòng A thấy ghế trống và hỏi ý kiến

khách hàng Phòng A đăng ký ghế

Phòng B thấy ghế trống và hỏi ý kiến

khách hàng Phòng B đăng ký ghế

V n đ c n gi i quy t đ i v i lo i tr l n nhau là đ m b o cho các tàiấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ần cơ bản như ản như ống tin ớ và các thiết bị ừ trước ẫn tới sự cần thiết của các liên lạc ản như ản như nguyên không phân chia đư ợc mô hình hoá như sau:c ch có th truy nh p đỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ận ư ợc mô hình hoá như sau:c m t ti n trình duy

nh t t i m t th i đi m.ấp nhận được ể bao gồm các thành phần cơ bản như

2.3.2 Đ ng b hóa ồng bộ hóa ộ hóa

M t cách t ng quát, t c đ tổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ống tin ư ơ bản như ng đ i gi a hai ti n trình là không bi t trống tin ữ liệu, các chương trình trợ giúp sử dụng ư ớ và các thiết bị c

đư ợc mô hình hoá như sau:c vì chúng ph thu c vào t n s c a các ng t c a t ng ti n trình cũng nhụng Hệ tin học nói chung có ần cơ bản như ống tin ủa hệ tin học ủa hệ tin học ừ trước ư vào th i gian làm vi c và t n s gán b x lý cho t ng ti n trình.ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ống tin ử lý trung tâm, bộ nhớ và các thiết bị ừ trước

Chúng ta nói r ng các ti n trình ti n tri n không đ ng b đ i v i nhau Tuyằm đạt được mục tiêu xác định từ trước ể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ống tin ớ và các thiết bị nhiên, đ đ m b o m t s h p tác nh t đ nh nào đó, các b x lý ph i đ ng bể bao gồm các thành phần cơ bản như ản như ản như ự động vận ợc mô hình hoá như sau: ấp nhận được ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ử lý trung tâm, bộ nhớ và các thiết bị ản như ồm các thành phần cơ bản như hóa các ho t đ ng c a chúng t i m t s th i đi m, khi m t ti n trình ch có thủa hệ tin học ống tin ể bao gồm các thành phần cơ bản như ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như

ti p di n đễn thông dưới sự điều khiển thống nhất của một hệ điều ư ợc mô hình hoá như sau:c n u m t ti n trình khác hoàn t t m t thao tác nh t đ nh nào đóấp nhận được ấp nhận được ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

c a nó Do v y, h đi u hành ph i cung c p m t c ch đ ng b hóa.ủa hệ tin học ận ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ản như ấp nhận được ơ bản như ồm các thành phần cơ bản như

2.3.3 T t nghẽn ắt nghẽn

Khi nhi u ti n trình tìm ki m tài nguyên t i cùng m t th i đi m thì h có thều hành, các chương trình ứng dụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như

đi đ n tình tr ng t t nghẽn n u các tài nguyên đư ợc mô hình hoá như sau:c yêu c u b i m t ti n trìnhần cơ bản như ở của hệ thống tin

b chi m gi b i m t ti n trình khác và ngị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ữ liệu, các chương trình trợ giúp sử dụng ở của hệ thống tin ư ợc mô hình hoá như sau:c l i Hi n tệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:ng này tư ơ bản như ng t v iự động vận ớ và các thiết bị tình hu ng giao thông xu t hi n khi hai dòng xe b t t nghẽn t i m t ngã t Dống tin ấp nhận được ệ tin học có thể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ư ự động vận

ki n trư ớ và các thiết bị c ho c làm gi m b t nh hặt sát phần cứng Nó ản như ớ và các thiết bị ản như ư ở của hệ thống tin ng c a t t nghẽn là m t ch c năng khôngủa hệ tin học

th thi u để bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau: ủa hệ tin họcc c a h đi u hành.ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có

2.3.4 Các semaphore

Đóng góp quan tr ng nh t cho h liên l c gi a các ti n trình là vi c Dijkstraọc có thể bao gồm các thành phần cơ bản như ấp nhận được ệ tin học có thể bao gồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ệ tin học có thể bao gồm các thành phần cơ bản như

đ a ra nguyên lý c a các semaphore (đèn hi u) và các toán t wait và signal liênư ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị thu c

M t semaphore là m t sô nguyên không âm đư ợc mô hình hoá như sau:c kh i đ ng và ch có thở của hệ thống tin ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như

đư ợc mô hình hoá như sau: ử lý trung tâm, bộ nhớ và các thiết bị c s a đ i b i các toán t wait và signal theo các quy t c sau:ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin ử lý trung tâm, bộ nhớ và các thiết bị

signal(S): toán t signal tăng giá tr c a semaphore S lên m t đ n v Phépử lý trung tâm, bộ nhớ và các thiết bị ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị tăng là không phân chia đư ợc mô hình hoá như sau:c, đi u đó có nghĩa là toán t signal không th c sều hành, các chương trình ứng dụng Hệ tin học nói chung có ử lý trung tâm, bộ nhớ và các thiết bị ự động vận ự động vận

tư ơ bản như ng đư ơ bản như ng v i l nh gán S:=S-1 Gi s S=3, hai ti n trình A và B đ u mu nớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ản như ử lý trung tâm, bộ nhớ và các thiết bị ều hành, các chương trình ứng dụng Hệ tin học nói chung có ống tin

th c hi n phép toán signal(S) thì k t qu sẽ cho S=5 Trái l i, n u hai ti n trìnhự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ản như cùng mu n th c hi n S:=S+1 m t cách đ c l p thì k t qu sẽ cho S=4 vì gán giáống tin ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ận ản như

tr 4=3+1 và tị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ư ơ bản như ng t B cũng gán giá tr 4=3+1ự động vận ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị

wait(S): toán t wait gi m giá tr c a semaphore S đi m t đ n v v i đi uử lý trung tâm, bộ nhớ và các thiết bị ản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ớ và các thiết bị ều hành, các chương trình ứng dụng Hệ tin học nói chung có

ki n là k t qu không tr thành âm Khi phép toán wait c a m t ti n trình ápệ tin học có thể bao gồm các thành phần cơ bản như ản như ở của hệ thống tin ủa hệ tin học

d ng lên m t semaphore có giá tr 0 thì ti n trình này ph i đ i ti n trình khácụng Hệ tin học nói chung có ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ản như ợc mô hình hoá như sau:làm cho giá tr c a semaphore tr thành 1 b ng phép toán signal Ch khi đóị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ở của hệ thống tin ằm đạt được mục tiêu xác định từ trước ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xétphép toán wait m i đớ và các thiết bị ư ợc mô hình hoá như sau:c th c hi n và ti n trình tự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ư ơ bản như ng ng m i đớ và các thiết bị ư ợc mô hình hoá như sau:c ti p t cụng Hệ tin học nói chung có

tr l i Phép toán wait cũng là không phân chia đở của hệ thống tin ư ợc mô hình hoá như sau:c Khi có nhi u ti n trìnhều hành, các chương trình ứng dụng Hệ tin học nói chung có đang đ i thì ch m t ti n trình duy nh t có th th c hi n phép toán wait sau lúcợc mô hình hoá như sau: ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ấp nhận được ể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như giá tr c a semaphore đị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học ư ợc mô hình hoá như sau:c chuy n thành 1.ể bao gồm các thành phần cơ bản như

Đ i v i m t semaphore, tác đ ng c a các phép toán wait và signal là nh sau:ống tin ớ và các thiết bị ủa hệ tin học ư wait(S){

Trong đó, val(sem) là giá tr c a semaphoreị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ủa hệ tin học

c(sem) là giá tr ban đ u c a semaphoreị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ần cơ bản như ủa hệ tin học

ns(sem) là s các phép signal đã đống tin ư ợc mô hình hoá như sau:c th c hi nự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

nw(sem) là s các phép wait th c s đã đống tin ự động vận ự động vận ư ợc mô hình hoá như sau:c th c hi nự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

Do đ nh nghĩa val(sem)≥0 nên ta có b t đ ng th c quan tr ngị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ấp nhận được ẳng thức quan trọng ọc có thể bao gồm các thành phần cơ bản như

nw(sem)≤ns(sem)+c(sem) (2)

Đ ng th c ch x y ra khi val(sem)=0ẳng thức quan trọng ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ản như

Bây gi chúng ta sẽ xem nguyên lý c a các semaphore có th giúp gi i quy tủa hệ tin học ể bao gồm các thành phần cơ bản như ản như

v n đ liên l c c a các ti n trình nh th nào?ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ủa hệ tin học ư

Lo i tr l n nhau: các tài nguyên không phân chia đừ trước ẫn tới sự cần thiết của các liên lạc ư ợc mô hình hoá như sau:c sẽ đư ợc mô hình hoá như sau:c b o v b iản như ệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin

s truy nh p đ ng th i c a nhi u ti n trình b ng cách c m các ti n trình th cự động vận ận ồm các thành phần cơ bản như ủa hệ tin học ều hành, các chương trình ứng dụng Hệ tin học nói chung có ằm đạt được mục tiêu xác định từ trước ấp nhận được ự động vận

hi n đ ng th i các ph n chệ tin học có thể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ần cơ bản như ư ơ bản như ng trình truy nh p Các ph n này c a các chận ần cơ bản như ủa hệ tin học ư ơ bản như ngtrình truy nh p đận ư ợc mô hình hoá như sau:c g i là các mi n găng (critical section) Lo i tr l n nhauọc có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ừ trước ẫn tới sự cần thiết của các liên lạctrong vi c s d ng các tài nguyên có th đệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c xem là lo i tr l n nhau đ i v iừ trước ẫn tới sự cần thiết của các liên lạc ống tin ớ và các thiết bị

th c hi n c a các mi n găng Vi c lo i tr có th đự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ều hành, các chương trình ứng dụng Hệ tin học nói chung có ệ tin học có thể bao gồm các thành phần cơ bản như ừ trước ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c th c hi n đ n gi n b ngự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ơ bản như ản như ằm đạt được mục tiêu xác định từ trước.cách b c m i mi n găng b i các phép wait và signal trên m t semaphore duyọc có thể bao gồm các thành phần cơ bản như ỗi câu lệnh cấp cao được lưu giữ) Một ều hành, các chương trình ứng dụng Hệ tin học nói chung có ở của hệ thống tin

nh t có giá tr ban đ u là +1 M i mi n găng đấp nhận được ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ần cơ bản như ỗi câu lệnh cấp cao được lưu giữ) Một ều hành, các chương trình ứng dụng Hệ tin học nói chung có ư ợc mô hình hoá như sau: ận c l p trình dư ớ và các thiết bị i d ng:

Wait(mutex)

Mi n găngều hành, các chương trình ứng dụng Hệ tin học nói chung có

Signal(mutex)

Trong đó mutex là tên c a semaphoreủa hệ tin học

D nh n th y n u giá tr ban đ u c a mutex là 1 thì lo i tr nhau đễn thông dưới sự điều khiển thống nhất của một hệ điều ận ấp nhận được ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ần cơ bản như ủa hệ tin học ừ trước ư ợc mô hình hoá như sau:c đ mản như

b o, vì nhi u nh t cũng ch có m t ti n trình có th th c hi n wait (mutex)ản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ấp nhận được ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

trư ớ và các thiết bị c khi có m t ti n trình khác th c hi n m t phép signal(mutex) M t cáchự động vận ệ tin học có thể bao gồm các thành phần cơ bản như hình th c, theo (2) ta có nw(mutex) = ns(mutex) +1, nh v y t i m t th i đi mư ận ể bao gồm các thành phần cơ bản như

ch có t i đa m t ti n trình có th khai thác đỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ống tin ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c mi n găng.ều hành, các chương trình ứng dụng Hệ tin học nói chung có

Ví d xét hai ti n trình A và B th c hi n vi c n p vào và rút ra các ph n tụng Hệ tin học nói chung có ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị

c a m t hàng đ i Đ con tr c a hàng đ i không b sai l ch, c n ph i có gi iủa hệ tin học ợc mô hình hoá như sau: ể bao gồm các thành phần cơ bản như ỏi hệ thống phần cứng của mình phải trang bị bộ ủa hệ tin học ợc mô hình hoá như sau: ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ản như ớ và các thiết bị

h n vi c truy nh p hàng đ i b i ch m t ti n trình t i m t th i đi m Vi c n pệ tin học có thể bao gồm các thành phần cơ bản như ận ợc mô hình hoá như sau: ở của hệ thống tin ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như

và rút ra các ph n t đần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ư ợc mô hình hoá như sau:c bi u di n dể bao gồm các thành phần cơ bản như ễn thông dưới sự điều khiển thống nhất của một hệ điều ư ớ và các thiết bị i d ng các mi n găng nh sau: ều hành, các chương trình ứng dụng Hệ tin học nói chung có ư

Ngư i ta nghi ng li u lo i tr l n nhau có th đệ tin học có thể bao gồm các thành phần cơ bản như ừ trước ẫn tới sự cần thiết của các liên lạc ể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c gi i quy t mà không cóản như

s tham gia c a semaphore và các phép toán liên thu c wait và signal hayự động vận ủa hệ tin họckhông? Li u có b o v m t mi n găng b ng m t bi n đ n gi n g i là bi n c a,ệ tin học có thể bao gồm các thành phần cơ bản như ản như ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ằm đạt được mục tiêu xác định từ trước ơ bản như ản như ọc có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị khi c a là m thì vi c vào mi n găng là cho phép B ng cách nh v y, m t mi nử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin ệ tin học có thể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ằm đạt được mục tiêu xác định từ trước ư ận ều hành, các chương trình ứng dụng Hệ tin học nói chung có găng có th th c hi n nh sau:ể bao gồm các thành phần cơ bản như ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ư

While c a đóng do r ng;ử lý trung tâm, bộ nhớ và các thiết bị ỗi câu lệnh cấp cao được lưu giữ) Một

C a: đóng;ử lý trung tâm, bộ nhớ và các thiết bị

Mi n găngều hành, các chương trình ứng dụng Hệ tin học nói chung có

C a: m ;ử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin

Đáng ti c r ng gi i pháp đ n gi n này không ho t đ ng đằm đạt được mục tiêu xác định từ trước ản như ơ bản như ản như ư ợc mô hình hoá như sau:c do s tách bi tự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

gi a phép ki m tra c a m dòng th nh t và phép đóng c a dòng th hai.ữ liệu, các chương trình trợ giúp sử dụng ể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin ở của hệ thống tin ấp nhận được ử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin Hai ti n trình th c hi n song song có th đ u th y c a m dòng th nh tự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ều hành, các chương trình ứng dụng Hệ tin học nói chung có ấp nhận được ử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin ở của hệ thống tin ấp nhận được

trư ớ và các thiết bị c khi m t trong hai ti n trình có th i gian đ đóng c a dòng th hai Đi uể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ở của hệ thống tin ều hành, các chương trình ứng dụng Hệ tin học nói chung có này d n t i vi c c hai ti n trình cùng bẫn tới sự cần thiết của các liên lạc ớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ản như ư ớ và các thiết bị c vào mi n găng.ều hành, các chương trình ứng dụng Hệ tin học nói chung có

Các semaphore tránh đư ợc mô hình hoá như sau:c các v n đ nh v y vì các phép wait và signal làấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ư ận không phân chia đư ợc mô hình hoá như sau:c, t c là không có kh năng hai ti n trình tác đ ng t i cùngản như

m t th i đi m lên cùng m t semaphore.ể bao gồm các thành phần cơ bản như

3 V n đ đ ng b hóa các ti n trình trong h đi u hành phân tán ấn đề đồng bộ hóa các tiến trình trong hệ điều hành phân tán ề hệ tin học ồng bộ hóa ộ hóa ến trình trong hệ điều hành tập trung ệ tin học ề hệ tin học

Trình t và đ ng b các ti n trình ch ra các v n đ đ ng b có th d n đ nự động vận ồm các thành phần cơ bản như ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ẫn tới sự cần thiết của các liên lạc

ph i thi t ch m t tr t t t ng quát c a các s ki n di n ra trong h C n xácản như ận ự động vận ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ễn thông dưới sự điều khiển thống nhất của một hệ điều ệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như

đ nh m i liên h trao đ i thông qua các thông đi p v i th i h n truy n khácị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ống tin ệ tin học có thể bao gồm các thành phần cơ bản như ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ớ và các thiết bị ều hành, các chương trình ứng dụng Hệ tin học nói chung có nhau, nh ng thông tin t m th i trao đ i không có giá tr tuy t đ i và trình tữ liệu, các chương trình trợ giúp sử dụng ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ự động vận

t ng quát c n ph i đổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ần cơ bản như ản như ư ợc mô hình hoá như sau:c th hi n b ng phể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ằm đạt được mục tiêu xác định từ trước ư ơ bản như ng ti n gi i thu t đ m b o ho tệ tin học có thể bao gồm các thành phần cơ bản như ản như ận ản như ản như

đ ng nh p nhàng gi a các ti n trình có liên quan.ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ữ liệu, các chương trình trợ giúp sử dụng

Trong t t c các h th ng tin h c, đ ng b hóa các ti n trình mang tính c pấp nhận được ản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ọc có thể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ấp nhận được thi t v m t nguyên lý và kỹ thu t th hi n hai nguyên do c b n sau đây:ều hành, các chương trình ứng dụng Hệ tin học nói chung có ặt sát phần cứng Nó ận ể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin ơ bản như ản như

Các ti n trình k c các ti n trình xu t phát t các ng d ng đ c l pể bao gồm các thành phần cơ bản như ản như ấp nhận được ừ trước ụng Hệ tin học nói chung có ận

mu n truy c p vào tài nguyên v i các s lống tin ận ớ và các thiết bị ống tin ư ợc mô hình hoá như sau:ng v n r t h n ch hay truy c pống tin ấp nhận được ận vào thông tin dùng chung cùng m t lúc Trư ng h p này g i là truy c p tợc mô hình hoá như sau: ọc có thể bao gồm các thành phần cơ bản như ận ư ơ bản như ngtranh Vì v y, tận ư ơ bản như ng tranh là nguyên nhân chính c a các xung đ t gi a cácủa hệ tin học ữ liệu, các chương trình trợ giúp sử dụng

ti n trình mu n truy c p vào tài nguyên dùng chung.ống tin ận

Chương trình của tiến trình A

Wait (mutex) Nạp phần tử vào hàng đợi

Signal(mutex)

Chương trình của tiến trình B

Wait (mutex) rút phần tử vào hàng đợi Signal(mutex)

Các ti n trình c a cùng m t h ng d ng ho t đ ng theo ki u h p l của hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như ụng Hệ tin học nói chung có ể bao gồm các thành phần cơ bản như ợc mô hình hoá như sau: ự động vận

đ gi i quy t các bài toán đ t ra và cho k t qu nhanh chóng nh t Đi u nàyể bao gồm các thành phần cơ bản như ản như ặt sát phần cứng Nó ản như ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có cho phép tăng hi u năng s d ng thi t b và hi u qu ho t đ ng c a chệ tin học có thể bao gồm các thành phần cơ bản như ử lý trung tâm, bộ nhớ và các thiết bị ụng Hệ tin học nói chung có ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ệ tin học có thể bao gồm các thành phần cơ bản như ản như ủa hệ tin học ư ơ bản như ngtrình Vì v y h p l c là nguyên nhân chính c a s tác đ ng tận ợc mô hình hoá như sau: ự động vận ủa hệ tin học ự động vận ư ơ bản như ng h đỗi câu lệnh cấp cao được lưu giữ) Một ư ợc mô hình hoá như sau:c

l p trình gi a các ti n trình nh m cho phép chúng tham gia vào các ho tận ữ liệu, các chương trình trợ giúp sử dụng ằm đạt được mục tiêu xác định từ trước

3.1 Tr t t t ng ph n ập trung ự từng phần ừ lẫn nhau (mutual exclusion) ần

Chú ý r ng, trong các h th ng tin h c t p trung, v n đ đ ng b hóa đằm đạt được mục tiêu xác định từ trước ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ọc có thể bao gồm các thành phần cơ bản như ận ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c

gi i quy t thông quan c ch lo i tr tản như ơ bản như ừ trước ư ơ bản như ng h C ch này cho phép s p đ tỗi câu lệnh cấp cao được lưu giữ) Một ơ bản như ặt sát phần cứng Nó (xác l p tr t t ) hoàn toàn các s ki n.ận ận ự động vận ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

Trong th c ti n, nói m t cách chính xác, có m t h th ng v n đ v đ ng bự động vận ễn thông dưới sự điều khiển thống nhất của một hệ điều ệ tin học có thể bao gồm các thành phần cơ bản như ống tin ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ều hành, các chương trình ứng dụng Hệ tin học nói chung có ồm các thành phần cơ bản như hóa ch đòi h i tr t t t ng ph n Chính vì v y, tr t t hóa t ng ph n gi a cácỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ỏi hệ thống phần cứng của mình phải trang bị bộ ận ự động vận ừ trước ần cơ bản như ận ận ự động vận ừ trước ần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng

s ki n mà các ti n trình c a nó c n ph i đ ng b là v n đ c n ph i quan tâmự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ần cơ bản như ản như ồm các thành phần cơ bản như ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ần cơ bản như ản như

gi i quy t.ản như

Trong các h phân tán, vi c đ ng b hóa ch đ t ra duy nh t v n đ thi t l pệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ồm các thành phần cơ bản như ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ặt sát phần cứng Nó ấp nhận được ấp nhận được ều hành, các chương trình ứng dụng Hệ tin học nói chung có ận

m t tr t t gi a các s ki n Gi a các tr m khác nhau, tr t t đó ch có th thận ự động vận ữ liệu, các chương trình trợ giúp sử dụng ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ữ liệu, các chương trình trợ giúp sử dụng ận ự động vận ỉ có 1 chương trình dịch C, trong khi đó tại thời điểm đang xét ể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như

hi n đệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c thông qua vi c trao đ i các thông đi p v i nhau.ệ tin học có thể bao gồm các thành phần cơ bản như ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ớ và các thiết bị

Gi s r ng ta có th xác đ nh m t tr t t gi a các s ki n c a h phân tánản như ử lý trung tâm, bộ nhớ và các thiết bị ằm đạt được mục tiêu xác định từ trước ể bao gồm các thành phần cơ bản như ị phần cứng bao gồm bộ xử lý trung tâm, bộ nhớ và các thiết bị ận ự động vận ữ liệu, các chương trình trợ giúp sử dụng ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ệ tin học có thể bao gồm các thành phần cơ bản như

nh vào quan h đệ tin học có thể bao gồm các thành phần cơ bản như ư ợc mô hình hoá như sau:c ký hi u là ệ tin học có thể bao gồm các thành phần cơ bản như  và đư ợc mô hình hoá như sau: ọc có thể bao gồm các thành phần cơ bản như c g i là “có trư ớ và các thiết bị c” hay “ ngay trở của hệ thống tin ư ớ và các thiết bị c”.Quan h này t i thi u ph i th a mãn đệ tin học có thể bao gồm các thành phần cơ bản như ống tin ể bao gồm các thành phần cơ bản như ản như ỏi hệ thống phần cứng của mình phải trang bị bộ ư ợc mô hình hoá như sau:c các ràng bu c th hi n trongể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như

b ng sau đây:ản như

C1: n u A và B là hai s ki n c a cùng m t tr m và n u A th c hi n trự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ủa hệ tin học ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như ư ớ và các thiết bị c Bthì theo tr t t c c b c a tr m ta có: Aận ự động vận ụng Hệ tin học nói chung có ủa hệ tin học B

C2: n u A là phát thông đi p b i m t tr m nào đó và n u B là thu c a thôngệ tin học có thể bao gồm các thành phần cơ bản như ở của hệ thống tin ủa hệ tin học

đi p này thì ta có Aệ tin học có thể bao gồm các thành phần cơ bản như B

Hình vẽ sau đây cho ta m t tr m ví d v tr t t hóa t ng ph n c a các sụng Hệ tin học nói chung có ều hành, các chương trình ứng dụng Hệ tin học nói chung có ận ự động vận ừ trước ần cơ bản như ủa hệ tin học ự động vận

ki n trong h th ng.ệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như ống tin

Theo hình vẽ đó, ta có th bi u di n tr t t nh sau:ể bao gồm các thành phần cơ bản như ể bao gồm các thành phần cơ bản như ễn thông dưới sự điều khiển thống nhất của một hệ điều ận ự động vận ư

Tr t t t ng ph n c a các s ki nận ự động vận ừ trước ần cơ bản như ủa hệ tin học ự động vận ệ tin học có thể bao gồm các thành phần cơ bản như

A1A2A3A4A5

B1B2B3B4B5

Trao đ i thông đi p A1ổng quát, hệ tin học có thể bao gồm các thành phần cơ bản như ệ tin học có thể bao gồm các thành phần cơ bản như B2 VÀ B3A4

Chuy n quaể bao gồm các thành phần cơ bản như