CHƯƠNG 5 THIẾT KẾ CHI TIẾT SERVER
5.5. Lớp các quy ước giao tiếp giữa các thành phần config
Đây là lớp chứa các quy ước giữa các thành phần khác của hệ thống (Người dùng và Solver) với Server trong cách nói chuyện, giống như các thẻ khi sử dụng XML để giao tiếp trong webservice. Nội dung được truyền tải sẽ nằm giữa cặp thẻ mở và thẻ đóng tương ứng của nó.
- openHelloTag : Quy ước thẻ mở trong câu chào giữa User – Solver tới Server. Ở hệ
thống, tạm thời ta quy định là <hello>.
- closeHelloTag: Quy ước thẻ đóng trong câu chào giữa User – Solver với Server. Hiện tại
- openFileTag: Quy ước thẻ mở bắt đầu việc gửi file giữa User- Solver với Server. Mặc
định là <file>.
- closeFileTag: Quy ước thẻ đóng kết thúc việc gửi file giữa User- Solver với Server. Mặc
định là </file>.
- openResultTag: Quy ước thẻ mở bắt đầu của chuỗi kết quả được truyền về sau khi thực
hiện giải bài toán SMT.
- closeResultTag: Quy ước thẻ đóng kết thúc của chuỗi kết quả được truyền về sau khi
thực hiện giải bài toán SMT.
- openTimeoutTag: Quy ước thẻ mở khai báo thời gian tối đa để giải quyết bài toán SMT.
- closeTimeoutTag: Quy ước đóng kết thúc việc khai báo thời gian tối đa giải quyết bài
toán SMT.
- exitTag: Quy ước thẻ kết thúc kết nối giữ User và Server, khi User gửi đến Server dòng
như vậy thì kết nối giữa Server và Solver sẽ được ngắt bởi Server
- destroySessionTag: Hủy bỏ các tiến trình liên quan đến sessionID được truyền vào.
Trong khi giao tiếp giữa Solver và Server, để phân biệt từng bài toán khác nhau, ta có sử dụng đến session_id, vậy để phân biệt dữ liệu giữa các session_id khác nhau khi sử dụng dạng “session_id | Nội dung” để phân biệt các dòng dữ liệu khác nhau của các bài toán khác nhau.
Chẳng hạn như Solver Z2 thực hiện giải 2 bài toán cùng một lúc của 2 Session_id là 12 và 34. Khi giải 2 bài toán này và cho kết quả cùng một lúc thì Solver gửi trả kết quả về cho Server như hình 5.9.
12|<result> 34|<result> 12|kq12 34|kq34 12|</result> 34|</result> Hình 5.9 Ví dụ về Session của hệ thống.
Các thẻ sử dụng đến session_id trước bao gồm: openFileTag, closeFileTag,