MÔ HÌNH HÓA QUÁ TRÌNH PHÂN PHỐI TÀI NGUYÊN ẢO
5.2. Các khái niệm sử dụng trong thuật toán lập lịch:
Để hỗ trợ cho việc ký hiệu trong các thuật toán lập lịch, phần này trình bày hệ thống định nghĩa, khái niệm, ký hiệu cho mô hình cấp phát tài nguyên đã trình bày ở phần trước.
Đề tài tập trung vào việc cho thuê tài nguyên ở một hệ thống cục bộ, định nghĩa là site. Tập hợp các máy tính vật lý khả dụng (được định nghĩa là các node), trong
recources và attributes. Các tài nguyên của một node có thể được cấp phát cho 1 hoặc một vài lease. Tập hợp các loại tài nguyên trong một site được gọi là tập TR (ví dụ: TR = {memory, disk, …}). Một số lượng xác định tài nguyên ký hiệu bằng r sẽ có các trường sau:
1. type[r] TR: kiểu của tài nguyên.
2. Một vài tài nguyên có thể xuất hiện nhiều lần trong một node, ví dụ một node chỉ có 1 bộ như nhưng có thể có nhiều CPU. Thay vì mô hình mỗi CPU là 1 tài nguyên riêng biệt, ta coi như đó là một tài nguyên duy nhất với nhiều thể hiện (instance). Giá trị n[r] là số lượng các thể hiện của tài nguyên. 3. Số lượng tài nguyên trong mỗi thể hiện, q1[r], q2[r], …, qn[r]. Mỗi số
lượng là một số nguyên dương. Khi n[r]=1, số lượng được ký hiệu là q[r]. Tập hợp các loại đặc tính trong một site được gọi là TA (ví dụ,
TA={arch,vmm, …}). Miền xác định của một thuộc tính kiểu Ta được định nghĩa là Dom(Ta) (ví dụ, Dom(arch) = {x86, x64, x32, …}). Một thuộc tính có những trường sau đây:
1. type[a] TA, kiểu của thuộc tính.
2. value[a] Dom(type[a]), giá trị của thuộc tính.
Tập hợp tất cả tài nguyên khả dụng gọi là R, và tập hợp các thuộc tính gọi là A. Mỗi node P được định nghĩa với những trường sau đây:
1. res[] R, tập hợp các tài nguyên thuộc node . Không thể có nhiều hơn một tài nguyên cùng lại trên một node. ()
2. attr[] C A, tập hợp các thuộc tính của node x. Tương tự, không thể có nhiều hơn một thuộc tính cùng loại trên cùng một node. ()
Trong các chương sau, chúng ta giả thiết rằng một site có các tài nguyên đồng bộ, mỗi node có p CPU, m MB bộ nhớ, d MB bộ nhớ ngoài, bi MB/s và bo MB/s băng thông mạng vào và ra. Site này được định nghĩa như sau:
TR={proc, mem, disk, net-in, net-out} (
( ( ( ( (
Một yêu cầu thuê tài nguyên được đặc tả thông qua các trường sau:
1. Nodes[], một tập các node được yêu cầu bởi người dùng. Tương tự như các node trong P, mỗi node nodes[] có các trường sau:
a. res[] R, tập hợp các tài nguyên thuộc node x. Không thể có nhiều hơn một tài nguyên cùng lại trên một node. ()
b. attr[] C A, tập hợp các thuộc tính của node . Tương tự, không thể có nhiều hơn một thuộc tính cùng loại trên cùng một node. ()
2. reqstart[], thời gian bắt đầu. Trường này có thể là một thời điểm cụ thể t, xác định rằng tài nguyên phải được sẵn sàng trước thời điểm t, hoặc có thể là một giá trị không xác định, nghĩa là nhà cung cấp tài nguyên có thể thiết lập thời gian bắt đầu bất kỷ.
3. reqduration[] N, khoảng thời gian chạy của yêu cầu thuê tài nguyên, tính bằng giây.
4. deadline[], thời gian mà lease phải hoàn thành. Có thể là một thời điểm xác định hoặc không.
5. user[], người sử dụng tài nguyên.
6. preemtible[], xác định tài nguyên được thuê có thể bị tạm chiếm hay không. Khi một lease bị tạm chiếm, các tài nguyên đã được cấp phát trước đó sẽ bị giải phóng cho một lease khác và được cấp phát lại sau đó, giữ nguyên trạng thái ban đầu.
Trong trình lập lịch, ta định nghĩa thêm các trường để lưu trữ thông tin của các hợp đồng như sau:
1. state[], trạng thái của lease.
3. actual_start[], thời điểm chính xác mà lease bắt đầu được chạy.
4. elapsed_duration[], khoảng thời gian tính bằng giây cho biết một lease đã chạy được bao lâu.
