MỤC LỤC

MỤC LỤC 1

Chương 1 4

GIỚI THIỆU SƠ NÉT VỀ ĐỀ TÀI 4

I. TỔNG QUAN 4

II. NHIỆM VỤ VÀ MỤC ĐÍCH CỦA ĐỀ TÀI 6

Chương 2 7

NGÔN NGỮ OCCAM CHO HỆ THỐNG TRANSPUTER 7

A. GIỚI THIỆU NGÔN NGỮ OCCAM 7

I. TỔNG QUAN 7

II. CÁC QUA TRÌNH ĐƠN GIẢN 8

III. CÁC CẤU TRÚC ĐIỀU KHIỂN 9

IV. CÁC KIỂU DỮ LIỆU VÀ KHAI BÁO BIẾN 16

V. KHAI BÁO KÊNH TRUYỀN ĐẶC TẢ CÁC NGHI THỨC 22

VI. CHƯƠNG TRÌNH CON 24

VII. CÁC KHAI BÁO TÓM TẮT 26

VIII. VẤN ĐỀ TẦM VỰC VÀ CÁC HÀM CÓ SẲN 26

B. GIỚI THIỆU HỆ THỐNG TRANSPUTER 28

I CẤU TRÚC TRANSPUTER 28

II QUI TRÌNH HOẠT ĐỘNG 29

III CẤU HÌNH LIÊN KẾT CỦA MỘT MẠNG TRANSPUTER 29

IV CHƯƠNG TRÌNH OCCAM HOẠT ĐỘNG TRÊN NHIỀU BỘ XỬ LÝ 30

Chương 3 31

MÔI TRƯỜNG MPI VÀ CƠ CHẾ MESSAGE PASSING 31

A. TỔNG QUAN VỀ MPI 31

B. NHỮNG ĐIỂM CƠ BẢN CỦA MPI 31

C. NHỮNG ĐIỂM CHÍNH CẦN QUAN TÂM KHI LÀM VIỆC VỚI MPI 31

I. GIAO TIẾP ĐIỂM - ĐIỂM ( POINT TO POINT) 33

II. COLLECTIVE COMMUNICATION 34

III. NHÓM CÁC PROCESS 34

IV. XÂY DỰNG GROUP 35

V. XÂY DỰNG CÁC COMMUNICATOR 35

VI. GIAO TIẾP GIỮA CÁC GROUP 36

VII. TRUY CẬP INTERCOMMUNICATORS 37

VIII. THAO TÁC INTERCOMMUNICATOR 37

IX. SỰ KẾT THÚC GIAO TIẾP 37

X. CÁC KIỂU GIAO TIẾP 37

XI. HÀNH VI BLOCKING VÀ NON-BLOCKING 39

XII. HÀM COMPLETION 39

XIII. MULTIPLE COMPLETION 39

XIV. GIAO TIẾP DỮ LIỆU KHÔNG CƠ BẢN ( NON-PRIMITIVE DATATYPES ) 40

XV. XÂY DỰNG KIỂU DỮ LIỆU 40

XVI. THAO TÁC SEND/RECEIVE VÀ GIAO TIẾP COLECTIVE 41

XVII. ỨNG DỤNG VÀ CÁC HÀM HỖ TRỢ TOPOLOGY 42

XVIII. SỬ DỤNG TOPOLOGY. 42

XIX. PACK VÀ UNPACK DỮ LIỆU 43

Chương 4 44

XÂY DỰNG TRÌNH BIÊN DỊCH 44

A. PHÂN TÍCH 44

I. PHƯƠNG HƯỚNG THỰC HIỆN 44

II. BỘ TIỀN XỬ LÝ 46

III. BỘ PHÂN TÍCH TỪ VỰNG 46

IV. BỘ PHÂN TÍCH CÚ PHÁP 47

V. VẤN ĐỀ SINH MÃ ĐỐI TƯỢNG 48

B. THIẾT KẾ 49

I. THIẾT KẾ BỘ TIỀN XỬ LÝ 49

II. THIẾT KẾ BỘ PHÂN TÍCH TỪ VỰNG 51

III. THIẾT KẾ BỘ PHÂN TÍCH CÚ PHÁP VÀ SINH MÃ 52

C. HIỆN THỰC CHƯƠNG TRÌNH DỊCH 55

I. TIỀN XỬ LÝ 55

II. PHÂN TÍCH TỪ VỰNG 56

III. PHÂN TÍCH CÚ PHÁP 56

IV. CHUYỂN ĐỔI TƯƠNG ĐƯƠNG OCCAM VÀ MPI TRONG QUÁ TRÌNH SINH MÃ 57

Chương 5 72

MÔ PHỎNG HỆ THỐNG TRANSPUTER TRÊN MÔI TRƯỜNG MPI. 72

I. SỰ CẦN THIẾT CỦA MÔ PHỎNG HỆ THỐNG 72

II. HƯỚNG MÔ PHỎNG 72

III. KHẢ NĂNG CỦA HỆ THỐNG THỰC 72

Chương 6 74

NHẬN XÉT ĐÁNH GIÁ : 74

1. MỘT SỐ KHẢ NĂNG CỦA CHƯƠNG TRÌNH 74

2. NHỮNG VẤN ĐỀ CHƯA LÀM ĐƯỢC 74

3. HƯỚNG PHÁT TRIỂN 74

Source code 76

File :List.H 181

File:Str.H 193

PHỤ LỤC A 198

Phụ lục B 198

Các ví dụ minh họa: 204

Tài liệu tham khảo 20