Планирование мультипотоковых вычислений. «Похитетель работ».
П
о
сути — те же самые «занятые листья», но
распределенный — это сеть планировщиков
(в каждом вычислительном модуле по
одному). Нет общего пула — неупорядоченного
множества - готовых потоков. Вместо
этого в каждом модуле реализован дек.
Пусть В породил поток А.
1) Если А порождает Х, то процессор отдается Х, а поток А помещается в дек, как в стек слева.
2) Если А в ходе выполнения создал условия готовности для своего родителя В. То поток В помещается в дек, как в стек.
3а) Если поток А завершился или завис в ожидании, то А снимается с процессора, а на процессор идет поток, извлеченный из дека, как из стека.
3б) Если свой дек пуст, то планировщик данного модуля случайным образом выбирает «жертву» в деке другого модуля и, если там не пусто, то забирает поток оттуда себе (справа).
«Похититель работ» гарантирует выполнение сввойства «занятые листья», то есть обязательное выполнение всех потоков-листьев.