A Técnica Lock Acquirer Prediction e sua Aplicação em Sistemas de Memória Compartilhada Distribuída

Esta tese apresenta a técnica Lock Acquirer Prediction (LAP), que prevê dinamicamente a ordem de transferência dos locks numa aplicação paralela, e um conjunto de três sistemas software distributed shared memory (software DSM) desenvolvidos para explorar as vantagens oferecidas por LAP. Os três sistemas propostos exploram LAP de forma diferente e, dentro do paradigma de memória compartilhada, utilizam modelos de programação distintos. Tais modelos tem implicações diretas na utilidade da técnica LAP, no desempenho e na complexidade dos sistemas. Nossos resultados mostram que LAP consegue acertar suas previsões com alta precisão e permite sensível redução no overhead de busca de dados compartilhados acessados dentro de uma seção crítica. Mostramos também que o aumento da complexidade do modelo de programação permite que a técnica LAP seja usada de forma agressiva e simplifica o protocolo de coerência empregado.  Nossos resultados mostram ainda que o aumento da complexidade do modelo não necessariamente leva a ganhos de desempenho, o que é diferente do esperado intuitivamente. Concluímos que a técnica LAP merece a atenção dos projetistas de sistemas software DSM, uma vez que pode alcancar bom desempenho sem a necessidade de hardware específico ou suporte de compiladores. Além disso, concluímos que, dentre os modelos de programação estudados, somente o mais complexo alcança desempenho que justifique a sua complexidade de programação.