Nội dung được dịch bởi AI, chỉ mang tính chất tham khảo
ORBIT: Mô hình tính toán song song của Prolog
Tóm tắt
Bài báo này đề xuất một mô hình xử lý song song của ngôn ngữ Prolog. Mô hình này điều chỉnh sự song song theo kiểu Or bằng cách giới thiệu "gói quy trình" như một ứng cử viên cho việc thực thi đồng thời. Gói quy trình là một tập con của các điểm quay lui được chứa trong ngăn xếp trong quá trình thực thi theo chiều sâu. Gói quy trình bao gồm một hoặc nhiều điểm quay lui, do đó nó cung cấp một chu kỳ sống của quy trình dài hơn so với quy trình song song Or. Một gói quy trình được phân phối khi một bộ xử lý nhàn rỗi yêu cầu một công việc từ một bộ xử lý đang thực thi. Bộ xử lý đang thực thi phân phối một thông điệp chứa đầy đủ môi trường mà bộ xử lý nhàn rỗi có thể thực thi quy trình mà không cần liên lạc với các bộ xử lý khác.
Từ khóa
#Mô hình tính toán song song #Prolog #gói quy trình #quy trình song song Or #xử lý đồng thời.Tài liệu tham khảo
Conery, J. S. and Kibler, D. F.: “Parallel interpretation of Logic Programs,” Proc. of the 1981 Conference on Functional Programming Languages and Computer Programming Languages and Computer Architecture (1981) 163–167.
Furukawa, K., Nitta, K. and Matsumoto, Y.: “Prolog Interpreter based on Concurrent Programming,” Proc. of the First International Logic Programming Conference (Marseille, France) (1982) 38–44.
Goto, A., Aida, H., Maruyama, T., Yuhara, M., Tanaka, H. and Moto-oka, T.: “A Highly Parallel Inference Engine: PIE,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].
Kasif, S., Kohli, M. and Minker, J.: “PRISM—A Parallel Inference System for Problem Solving,” Proc. Logic Programming Workshop 83 (Portugal) (1983).
Umeyama, S. and Tamura, K.: “A Parallel Execution Model of Logic Programs,” Proc. of 10th annual Symposium on Computer Architecture (1983).
Warren, D.: “Implementing PROLOG—Compiling Predicate Logic Programs,” D. A. I. Research Report,39 (1977).
Yasuhara, H. and Komatsu, E.: “OR-Parallel Model: ORBIT,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].