Crie um algoritmo (pseudo-código) para otimizar a alocação de tarefas em um sistema operacional de tempo real, considerando prioridades dinâmicas e garantindo a conclusão de tarefas críticas dentro de seus prazos (deadlines). O algoritmo deve lidar com cenários de preempção e troca de contexto, minimizando a latência e maximizando o throughput. Explique a complexidade de tempo e espaço do seu algoritmo e justifique suas escolhas de estruturas de dados.