Em um sistema operacional de computador , um carregador é um componente que localiza um determinado programa (que pode ser uma aplicação ou, em alguns casos, parte do próprio sistema operacional) em armazenamento offline (como um disco rígido ), carrega-o no armazenamento principal (em um computador pessoal, é chamado de memória de acesso aleatório ), e dá a esse programa o controle do computador (permite que ele execute suas instruções s).
Um programa que é carregado pode conter componentes que não são inicialmente carregados no armazenamento principal, mas pode ser carregado se e quando a sua lógica é necessária. Em um sistema operacional multitarefa, um programa que às vezes é chamado de dispatcher faz malabarismos com o tempo do processador do computador entre diferentes tarefas e chama o carregador quando um programa associado a uma tarefa ainda não está no armazenamento principal. (Por programa aqui, entendemos um arquivo binário que é o resultado de uma compilação de linguagem de programação, edição de linkage ou algum outro processo de preparação de programa.)