Взвешенная справедливая очередь

Взвешенная справедливая очередь (Шаблон:Lang-en) — механизм планирования пакетных потоков данных с различными приоритетами. Его целью является регулировать использования одного канала передачи данных несколькими конкурирующими потоками. В данном случае под потоком понимается очередь пакетов данных.

Это обобщение алгоритма Шаблон:Нп2 (FQ). Оба планировщика имеют отдельные FIFO-очереди для каждого потока данных. Так, если канал со скоростью $R$ используется для $N$ потоков, то скорость обработки каждого из них будет $R/N$ при использовании честного планировщика. Честный планировщик с приоритетными коэффициентами позволяет регулировать долю каждого потока. Если имеется $N$ активных потоков, с приоритетами $w_1,w_2...w_N$, то $i$-й поток будет иметь скорость $\frac{R{w}_i}{(w_1+w_2+...+w_N)}$.

Теория

Каждому пришедшему пакету $p_i^k$ присваивается виртуальное время начала $S_i^k$ и конца обработки $F_i^k$, где $k$ — это номер пакета, а i — номер потока. Время начала и конца вычисляются по следующим формулам:

$S(k,i)=max(F(k-1,i),V(a(k,i)))$

$F(k,i)=S(k,i)+L(k,i)/r(i)$, $F(0,i)=0$

где $a(k,i)$ и $L(k,i)$ — время прихода и длина пакета соответственно.

$V(t)$ — виртуальная функция времени, которая определяется как $dV(t)/dt=\frac{1}{\mathrm{\Sigma }{r}_j}$, где j — все активные сессии, r — скорость j-го канала.

Пример

Пусть у нас есть три очереди: первые две с приоритетом 1 и третья имеет приоритет 2. С самого начала мы имеем 1 пакет в первой, два во второй и 5 в третьей. Пусть все пакеты одинакового размера.

$V(t)$	$dV(t)$	$N_1$	$S_1$	$F_1$	$N_2$	$S_2$	$F_2$	$N_3$	$S_3$	$F_3$
0	1/4	1	0	1	2	0	1	5	0	1/2
1/4	1/4	1	0	1	2	0	1	4	0	1
1/2	1/4	1	0	1	2	0	1	3	0	1.5
3/4	1/4	1	0	1	1	0	1	3	0	1.5
1	1/3	0	—	—	1	1	2	3	1	1.5
1 1/3	1/3	0	—	—	1	1	2	2	1	2
1 2/3	1/3	0	—	—	1	1	2	1	1	2.5
1 2/3	1/3	0	—	—	0	—	—	1	1	2.5

Ссылки

• https://web.archive.org/web/20091230065403/http://www.sics.se/~ianm/WFQ/wfq_descrip/
• http://www.mathcs.emory.edu/~cheung/Courses/558/Syllabus/11-Fairness/WFQ.html