CÁC LẬP LUẬN ĐẦU-CUỐI TRONG THIẾT KẾ HỆ THỐNG
J.H. Saltzer, D.P. Reed and D.D. Clark*
M.I.T. Laboratory for Computer Science
Bài báo này trình bày một nguyên tắc thiết kế giúp định hướng việc đặt các hàm giữa các mô-đun của một hệ thống máy tính phân tán. Nguyên tắc này, được gọi là lập luận đầu-cuối, cho rằng các hàm được đặt ở các mức thấp của một hệ thống có thể là dư thừa hoặc có ít giá trị khi so sánh với chi phí cung cấp chúng ở mức thấp đó. Các ví dụ được thảo luận trong bài báo bao gồm khôi phục lỗi bit, bảo mật sử dụng mã hóa, loại bỏ thông điệp trùng lặp, khôi phục sau sự cố hệ thống và xác nhận phân phối. Các cơ chế mức thấp để hỗ trợ các hàm này chỉ được biện minh như những cải thiện về hiệu năng.