Como a variação no tempo de conclusão da tarefa afeta o makespan?

16

Digamos que temos uma grande coleção de tarefas e uma coleção de processadores idênticos (em termos de desempenho) que operam completamente em paralelo. Para cenários de interesse, podemos assumir . Cada leva uma certa quantidade de tempo / ciclos para concluir, uma vez que é atribuído a um processador \ rho_j e, uma vez atribuído, não pode ser reatribuído até que seja concluído (os processadores sempre concluem as tarefas atribuídas). Vamos assumir que cada \ tau_i leva uma quantidade de tempo / ciclos X_iτ1,τ2,...,τnρ1,ρ2,...,ρmmnτEuρjτEuXEu, não conhecido antecipadamente, extraído de alguma distribuição aleatória discreta. Para esta questão, podemos até assumir uma distribuição simples: P(XEu=1)=P(XEu=5)=1/2 , e todos os XEu são independentes em pares. Portanto μEu=3 e σ2=4 .

Suponha que, estaticamente, no tempo / ciclo 0, todas as tarefas sejam atribuídas o mais uniformemente possível a todos os processadores, uniformemente aleatoriamente; portanto, a cada processador ρj são atribuídas tarefas n/m (também podemos assumir m|n para os propósitos da pergunta). Chamamos o makepan de tempo / ciclo no qual o último processador ρ para concluir o trabalho designado, termina o trabalho que foi designado. Primeira pergunta:

Em função de m , n e dos XEu , qual é o makespan M ? Especificamente, o que é E[M] ? Vumar[M] ?

Segunda questão:

Suponha que P(XEu=2)=P(XEu=4)=1/2 e todos os XEu sejam independentes aos pares, então μEu=3 e σ2=1 . Em função de m , n e desses novos XEu , qual é o makespan? Mais interessante, como ele se compara à resposta da primeira parte?

Algumas experiências simples de pensamento demonstram que a resposta é que o makepan é mais longo. Mas como isso pode ser quantificado? Ficarei feliz em postar um exemplo se isso for (a) controverso ou (b) obscuro. Dependendo do sucesso deste, postarei uma pergunta de acompanhamento sobre um esquema de atribuição dinâmica sob essas mesmas suposições. Desde já, obrigado!

Análise de um caso fácil: m=1

Se , todas as tarefas são agendadas para o mesmo processador. O makespan é apenas o momento de concluir tarefas de maneira sequencial completa. Portanto, e n M n E [ M ]m=1nMnV um r [ H ]

E[M]=E[X1+X2+...+Xn]=E[X1]+E[X2]+...+E[Xn]=μ+μ+...+μ=nμ
Var[M]=Vumar[X1+X2+...+Xn]=Vumar[X1]+Vumar[X2]+...+Vumar[Xn]=σ2+σ2+...+σ2=nσ2

Parece que é possível usar esse resultado para responder à pergunta para ; simplesmente precisamos encontrar uma expressão (ou aproximação aproximada) para que , uma variável aleatória com e . Este rumo está na direção certa?max ( Y 1 , Y 2 , . . . , Y m ) Y i = X i nm>1max(Y1,Y2,...,Ym) μY=nYEu=XEunm+1+XEunm+2+...+XEunm+nmσ 2 Y =nμY=nmμXσY2=nmσX2

Patrick87
fonte
Boa pergunta. Se apenas não havia um prazo hoje ....
Dave Clarke

Respostas:

8

Como , podemos ver isso em termos de e vez de e . Digamos que é o tempo que leva o ésimo processador para concluir seu trabalho.k n n m T i im=k×nknnmTEuEu

À medida que cresce, a probabilidade de = (o processador ter sido atribuído apenas a tarefas ) para algumas aproxima de , então makepan é definido como , aproxima de .t i 5 K T = 5 i 1 m um x ( T i ) E [ H ] 5 knTEu5kT=5Eu1mumax(TEu)E[M]5k

Para o segundo cenário, isso é portanto, aumentar o número de processadores melhora a divisão 4-2.4k

E - aumentar o número de tarefas por processador? Aumentar tem o efeito oposto, diminui a probabilidade de ter um processador com um conjunto infeliz de tarefas. Estou indo para casa agora, mas voltarei a isso mais tarde. Meu "palpite" é que, à medida que cresce, a diferença de entre a divisão 4–2 e a divisão 5-1 desaparece, se torna a mesma para ambas. Portanto, eu suporia que 4-2 é sempre melhor, exceto talvez em alguns casos especiais (valores específicos muito pequenos de e ), mesmo que isso.k k E [ M ] E [ M ] k nkkkE[M]E[M]kn

Então, para resumir:

  • Menor variação é melhor, sendo tudo o resto igual.
  • À medida que o número de processadores aumenta, uma variação menor se torna mais importante.
  • À medida que o número de tarefas por processador aumenta, uma variação menor se torna menos importante.
svinja
fonte
+1 Excelente intuição, e isso ajuda a esclarecer meu pensamento também. Portanto, o aumento da contagem de processadores tende a aumentar a produção sob uma suposição de escala fraca; e o aumento da contagem de tarefas tende a diminuir a produção sob uma forte premissa de escala (é claro que leva mais tempo; quero dizer, a relação trabalho / produção melhora). Essas são observações interessantes e parecem verdadeiras;
precisa saber é o seguinte
o primeiro é justificado pelo fato de que tende a para fixo e crescente ; o último pelo fato de que ... a variação não aumenta linearmente em função de . Isso é compatível com o seu pensamento (é assim que estou interpretando o que você tem até agora)? 1 k n V a r [ X + X ] = V a r [ X ] + V a r [ X ] = 2 σ 24 σ 2 = 4 V a r [ X ] = V a r [ 21-(1-P(X=5)k)n1knkVumar[X+X]=Vumar[X]+Vumar[X]=2σ24σ2=4Vumar[X]=Vumar[2X]k
precisa saber é o seguinte
Não sei de onde veio o "palpite"; não é consistente com o restante do raciocínio heurístico.
András Salamon
2

Acho que os argumentos heurísticos geralmente são bastante enganadores ao considerar o agendamento de tarefas (e problemas intimamente relacionados, como empacotamento de lixeira). Podem acontecer coisas que são contra-intuitivas. Para um caso tão simples, vale a pena fazer a teoria da probabilidade.

Seja com um número inteiro positivo. Suponha que seja o tempo necessário para concluir a ésima tarefa dada ao processador . Esta é uma variável aleatória com média e variância . O makepan esperado no primeiro caso é As somas são todas iid com média e variância , assumindo que são todas iid (isso é mais forte que a independência pareada).k T i j j i μ σ 2 E [ M ] = E [ máx { k j = 1 T i ji = 1 , 2 , , m } ] . k μ k σ 2 T i jn=kmkTEujjEuμσ2

E[M]=E[max{j=1kTEujEu=1,2,...,m}].
kμkσ2TEuj

Agora, para obter a expectativa de um máximo, é necessário mais informações sobre a distribuição ou um acordo com limites livres de distribuição, como:

  • Peter J. Downey, Limites sem distribuição na expectativa do máximo com aplicativos de agendamento , Operations Research Letters 9 , 189–201, 1990. doi: 10.1016 / 0167-6377 (90) 90018-Z

que pode ser aplicado se as somas em termos de processador forem iid. Este não seria necessariamente o caso se os tempos subjacentes fossem apenas independentes por pares. Em particular, pelo Teorema 1, o makepan esperado é limitado acima por Downey também fornece uma distribuição específica atingindo esse limite, embora a distribuição mude como , e não seja exatamente natural.

E[M]kμ+σkn-12n-1.
n

Observe que o limite diz que o makepan esperado pode aumentar à medida que qualquer um dos parâmetros aumenta: a variação , o número de processadores ou o número de tarefas por processador .σ2nk

Para sua segunda pergunta, o cenário de baixa variância, resultando em uma marca maior, parece ser um resultado improvável de um experimento mental. Seja denota o makepan para a primeira distribuição e para a segunda (com todos os outros parâmetros iguais). Aqui e denotam as somas de durações de tarefas correspondentes ao processador nas duas distribuições. Para todo , a independência produz X=maxEu=1mXEuY=maxEu=1mYEuXEuYEukEuxkμ

Pr[Xx]=Eu=1mPr[XEux]Eu=1mPr[YEux]=Pr[Yx].
Como a maior parte da massa da distribuição de probabilidade do máximo estará acima de sua média, tenderá, portanto, a ser maior que . Esta não é uma resposta completamente rigorosa, mas, em suma, o segundo caso parece preferível.E[X]E[Y]
András Salamon
fonte