7.1.2 lệnh tổ chức trong Vulcan
Vulcan cung cấp một giao diện menu tương tác được mô hình hóa sau khi Unix TM
vỏ và ban đầu được phát triển bởi Frederic Mailhot [MKMT90]. Giao diện này cung cấp
các lệnh shell điển hình liên quan đến thư mục và quản lý tập tin, đầu vào / đầu ra
chuyển hướng, răng cưa và các lệnh lịch sử. Ba mức độ phức tạp của lệnh được
hỗ trợ và lệnh viết tắt được cung cấp cho người dùng cao cấp. Ngoài ra,
giao diện cung cấp một 'đóng băng' lệnh mà tiết kiệm trạng thái của hệ thống Vulcan và dữ liệu vào
một tập tin dump đó có thể được phục hồi sau này trong trường hợp có nhu cầu để lại cho một số trước
bước của quá trình hợp tác tổng hợp. Giao diện người sử dụng này được hỗ trợ trên tất cả các công cụ trong
các hệ thống tổng hợp Olympus, do đó làm cho nó thuận tiện cho người sử dụng để di chuyển giữa
các công cụ trong cùng một phiên.
Hình 50 cho thấy các tổ chức của hệ thống con Vulcan và mối quan hệ của họ với
phần cứng và phần mềm tổng hợp. Vulcan bao gồm các phân hệ sau. Đối với mỗi
của các tiểu hệ thống menu lệnh được trình bày liệt kê các lệnh có liên quan
tới hệ thống. Một lịch sử chồng duy trì các hệ thống con được sử dụng bởi người sử dụng.
Điều này cho phép hệ thống con khác nhau chuyến du ngoạn vào khi cần thiết (ví dụ, mô hình
các thao tác liên quan đến phân tích hạn chế có thể sử dụng kết quả tổng hợp thay vì sử dụng
thói quen dự toán).
1. Duy trì mô hình và các thao tác (lệnh Nhập model) hỗ trợ các thao tác
và chế satisfiability phân tích trên các mô hình đồ thị dòng chảy. Các
chức năng bảo dưỡng bao gồm đọc và viết các mô hình đồ thị, và mô hình chi phí
cho các bộ vi xử lý, xác định các dữ liệu và các phụ thuộc kiểm soát và loại
hoạt động vòng lặp.
2. Mô hình phân vùng (partition Nhập lệnh) Phân vùng được thực hiện
bằng cách đầu tiên 'gắn thẻ' một dòng đồ thị mô hình, tiếp theo là tạo ra các cá thể
mô hình đồ thị dòng chảy thông qua biến đổi phân vùng. Phân công đồ thị được
thực hiện trên cơ sở phân tích tính khả thi phân vùng để kiểm tra cho satisfiability chế
của phần cứng và phần mềm hiện thực của các đồ thị dòng chảy cá nhân,
và tính khả thi của việc lập lịch thời gian chạy để hỗ trợ các phần cứng và phần mềm
dựa trên bộ vi xử lý và sử dụng xe buýt.
đang được dịch, vui lòng đợi..
