Chúng tôi thực hiện dự toán chậm trễ trên các mô hình đồ thị dòng chảy cho cả phần cứng và phần mềm,
sử dụng ngữ nghĩa giải thích của các hoạt động trong thủ tục ước lượng của chúng tôi. Một phần mềm
chậm trễ bao gồm hai thành phần: chậm trễ do hoạt động trong dòng đồ thị mô hình, và
chậm trễ do môi trường thời gian chạy. Chúng tôi thảo luận về môi trường thời gian chạy trên chế
satisfiability trong chương tiếp theo. Ở đây chúng ta tập trung vào các thành phần đầu tiên, đó là, chậm trễ
của một phần mềm thực hiện các hoạt động trong mô hình đồ thị dòng chảy. Với mục đích này,
nó được giả định rằng một đồ thị dòng chảy cho là để được thực hiện như là một chủ đề chương trình duy nhất.
Nhiều thế hệ Chủ đề chương trình được thực hiện tương tự bằng cách xác định đầu tiên đồ thị con
tương ứng với chương trình đề. Nhận dạng các đồ thị con này được thảo luận trong phần tiếp theo
chương. Phần mềm chậm trễ sau đó phụ thuộc vào sự chậm trễ của các hoạt động trong đồ thị dòng chảy
modelandoperations liên quan đến quản lý lưu trữ.
Các tính toán của các hoạt động quản lý lưu trữ được mô tả trong Phần 5.4.2
đang được dịch, vui lòng đợi..