TAILIEUCHUNG - THỜI GIAN LOGIC VECTOR VÀ VẤN ĐỀ ĐỒNG BỘ HÓA CÁC TIẾN TRÌNH TRONG BÀI TOÁN BÃI ĐỖ XE NHIỀU CỔNG

Ngày nay, một trong những hướng nghiên cứu quan trọng trong hệ thống phân tán đó là vấn đề đồng bộ hóa các tiến trình sử dụng tài nguyên dùng chung. Để đạt được điều đó thì chúng ta phải đảm bảo được trật tự như nhau các thông điệp yêu cầu tài nguyên ở tất cả các trạm/máy chủ có trong hệ. Đề tài tập trung nghiên cứu vấn đề đồng bộ hóa các tiến trình của bài | Tuyển tập Báo cáo Hội nghị Sinh viên Nghiên cứu Khoa học lần thứ 6 Đại học Đà Nẵng - 2008 THỜI GIAN LOGIC VECTOR VÀ VẤN ĐỀ ĐỒNG BỘ HÓA CÁC TIẾN TRÌNH TRONG BÀI TOÁN BÃI ĐỖ xe NHIỀU CỔNG LOGIC VECTOR TIME AND SYNCHRONIZATION OF PROCESSES IN PARK WITH DISTRIBUTED STATIONS SVTH NGŨ PHÚC HUY Lớp 04CCT01 Trường Đại Học Sư Phạm. GVHD . TRẦN QUỐC CHIẾN Khoa Tin học Trường Đại Học Sư Phạm. TÓM TẮT Ngày nay một trong những hướng nghiên cứu quan trọng trong hệ thống phân tán đó là vấn đề đồng bộ hóa các tiến trình sử dụng tài nguyên dùng chung. Để. đạt được điều đó thì chúng ta phải đảm bảo được trật tự như nhau các thông điệp yêu cầu tài nguyên ở tất cả các trạm máy chủ có trong hệ. Đề tài tập trung nghiên cứu vấn đề đồng bộ hóa các tiến trình của bài toán bãi đỗ xe nhiều cổng với hệ thống thời gian vector Vector time của Fidge Mattern và Schmuck. Giải pháp này có thể đảm bảo được trật tự nhân quả chặt chẽ của các sự kiện diễn ra trong hệ thống phân tán đảm bảo các tiến trình trong bài toán hoạt động hoàn toàn ăn khớp với nhau và đạt được trạng thái gắn bó tài nguyên thông tin dùng chung. ABSTRACT Nowadays synchronization of processes in distributed system is very important and this requires people to guarantee the same order among messages sent and received by servers. This research paper concentrates on vector time invented by Fidge Mattern and Schmuck and synchronization of processes in park with distributed stations. This method can lead to complete causal order between events and can satisfy the synchronization of processes and common information resources in distributed system. 1. Đặt vấn đề Một hệ thống phân tán bất kỳ nào cũng được cấu tạo từ n thành phần. Các thành phần này có thể là các tiến trình hoặc các trạm các nút hoặc các máy Server không dùng bộ nhớ chung và liên lạc với nhau bằng cách duy nhất là trao đổi thông điệp. Mỗi một thành phần như thế hoạt động như một otomat có nghĩa là nó triển khai các phép toán có khả năng thay đổi trạng thái của mình

• Toán học
• thời gian LOGIC VECTOR
• đồng bộ hóa các tiến trình
• bài toán đỗ xe
• hệ thống đỗ xe nhiều cổng
• hệ thống phân tán
• Hệ phân tán
• Bài giảng Hệ phân tán
• Ưu điểm của hệ phân tán
• Nhược điểm của hệ phân tán
• Kiến trúc hệ thống phân tán
• Hệ điều hành phân tán
• Học phần Hệ phân tán
• Đề cương Hệ phân tán
• Tài liệu Hệ phân tán
• Chương trình học Hệ phân tán
• Ứng dụng phân tán
• Bài giảng Hệ thống điều khiển phân tán
• Hệ thống điều khiển phân tán
• Mô hình ứng dụng điều khiển phân tán
• Chuẩn giao tiếp công nghiệp
• Mô tả hệ thống điều khiển phân tán
• lập trình điều khiển phân tán
• Nghiên cứu các hệ thống file phân tán
• Luận văn Thạc sỹ
• Hệ thống thông tin
• Hệ thống file phân tán
• File phân tán
• Ứng dụng hệ thống file phân tán
• Cơ sở dữ liệu phân tán
• Hệ thống thông tin phân tán
• Bảo mật thông tin phân tán
• Thiết kế hệ thống thông tin phân tán
• Cơ sở dữ liệu thông tin phân tán
• Bài giảng thông tin phân tán
• Thiết bị mạng
• Bài thuyết trình môn Hóa keo
• Hệ thống phân tán thô
• Kiến thức về hóa keo
• Hệ có môi trường phân tán khí
• Hệ có môi trường phân tán lỏng
• Hệ có môi trường phân tán rắn
• Giải pháp điều khiển
• Cấu trúc hệ thống điều khiển
• Hệ thống giám sát
• Thành phần hệ điều khiển phân tán
• Mạng truyền thông
• Công nghệ phần mềm
• Xử lý thời gian thực
• Xử lý phân tán
• Công nghệ hướng đối tượng
• Điều khiển phân tán
• Bài giảng Cơ sở dữ liệu phân tán
• Hệ quản trị cơ sở dữ liệu phân tán
• Hệ thống xử lý phân tán
• Thiết kế cơ sở dữ liệu phân tán
• Kiểm soát dữ liệu ngữ nghĩa
• Cấu trúc hệ thống
• Hệ thống điều khiển
• Hệ thống điều khiển giám sát
• Sửa chữa thiết bị tự động hóa
• Thiết bị tự động hóa
• Giáo trình Hệ thống điều khiển phân tán
• Vận hành DCS
• Bảo dưỡng hệ thống điều khiển phân tán
• hệ thống file
• hệ thống quản trị tệp phân tán
• truyền thông
• tổng quan về hệ phân tán
• Hệ thống PLC
• Hệ thống DCS
• Hệ điều khiển phân tán
• Hệ điều khiển lai
• Trí tuệ nhân tạo phân tán
• distributed
• Version control system
• hệ thống quản lý phân tán
• hệ thống quản lý source code phân tán
• mô hình phân tán
• xử lý dữ liệu
• chiến lược phân tán dữ liệu
• quá trình phân tán dữ liệu
• phân mảnh dữ liệu
• thiết kế hệ thống
• mô tả hệ thống
• hệ thống dữ liệu
• thông tin quản lý
• Quản trị mạng
• Hệ thống giám sát trực tuyến
• Mô hình hóa hệ phân tán
• Công tác quản trị hệ phân tán
• hệ thống cơ sở dữ liệu
• giáo trình cơ sở dữ liệu phân tán
• tài liệu cơ sở dữ liệu phân tán
• bài tập cơ sở dữ liệu phân tán