Acesso mais rápido do que o navegador!
26 relações: Algoritmo determinístico, Algoritmo do avestruz, Algoritmo do banqueiro, Ardil 22 (lógica), Benchmark (computação), Castor (software), Computação paralela, Condição de corrida, Conjunto de vértices de retroalimentação, Edsger Dijkstra, Encadeamento (Unix), Espera ativa, Exclusão mútua, HAMMER, Inanição (computação), Josef Hoop, Laço infinito, Múltiplas filas, Metal Female Voices Fest, Mutex recursivo, Preemptividade, Processo (informática), Referência circular, Relógios de Lamport, Sincronia de processos, Verificação de modelos.
Algoritmo determinístico
Em Ciência da Computação, um algoritmo determinístico é um algoritmo em que, dada uma certa entrada, ela produzirá sempre a mesma saída, com a máquina responsável sempre passando pela mesma seqüência de estados.
Novo!!: Deadlock e Algoritmo determinístico · Veja mais »
Algoritmo do avestruz
Em ciência da computação, o algoritmo do avestruz é uma estratégia de ignorar problemas potenciais com base no fato de que eles podem ser extremamente raros — "enfie a cabeça na areia e finja que não há nenhum problema".
Novo!!: Deadlock e Algoritmo do avestruz · Veja mais »
Algoritmo do banqueiro
O Algoritmo do banqueiro é um algoritmo de alocação de recursos com prevenção de impasses desenvolvido por Edsger Dijkstra que testa a segurança pela simulação da alocação do máximo pré-determinado possível de montantes de todos os recursos computacionais, e em seguida faz uma verificação de estados-seguros para testar a possibilidade de condições de impasse para todas as outras atividades pendentes, antes de decidir se a alocação deve prosseguir.
Novo!!: Deadlock e Algoritmo do banqueiro · Veja mais »
Ardil 22 (lógica)
Ardil 22 é uma expressão cunhada pelo escritor Joseph Heller no seu romance Ardil 22 que descreve uma situação paradoxal, na qual uma pessoa não pode evitar um problema por causa de restrições ou regras contraditórias.
Novo!!: Deadlock e Ardil 22 (lógica) · Veja mais »
Benchmark (computação)
Em computação, benchmark é o ato de executar um programa de computador, um conjunto de programas ou outras operações, a fim de avaliar o desempenho relativo de um objeto, normalmente executando uma série de testes padrão e ensaios nele.
Novo!!: Deadlock e Benchmark (computação) · Veja mais »
Castor (software)
Castor é um framework código aberto para o Mapeamento Objeto Relacional escrito na linguagem Java.
Novo!!: Deadlock e Castor (software) · Veja mais »
Computação paralela
Computação paralela é uma forma de computação em que vários cálculos são realizados ao mesmo tempo, operando sob o princípio de que grandes problemas geralmente podem ser divididos em problemas menores, que então são resolvidos concorrentemente (em paralelo).
Novo!!: Deadlock e Computação paralela · Veja mais »
Condição de corrida
Uma condição de corrida é uma falha num sistema ou processo em que o resultado do processo é inesperadamente dependente da sequência ou sincronia doutros eventos.
Novo!!: Deadlock e Condição de corrida · Veja mais »
Conjunto de vértices de retroalimentação
Dentro da disciplina de teoria dos grafos, um conjunto de vértices de retroalimentação de um grafo é um conjunto de vértices cujas folhas removíveis deixam o grafo sem ciclo.
Novo!!: Deadlock e Conjunto de vértices de retroalimentação · Veja mais »
Edsger Dijkstra
Edsger Wybe Dijkstra (Roterdã, — Nuenen) foi um cientista da computação holandês, conhecido por suas contribuições nas áreas de desenvolvimento de algoritmos e programas, de linguagens de programação (pelo qual recebeu o Prêmio Turing de 1972 por suas contribuições fundamentais), sistemas operacionais e processamento distribuído.
Novo!!: Deadlock e Edsger Dijkstra · Veja mais »
Encadeamento (Unix)
Um encadeamento (pipeline), nos sistemas operacionais do tipo Unix, é um mecanismo implementado com base no conceito original de canalização: um conjunto de processos encadeados através de seus fluxos padrão, de forma que a saída de um processo é utilizada como entrada do processo seguinte.
Novo!!: Deadlock e Encadeamento (Unix) · Veja mais »
Espera ativa
Em engenharia de software, espera ativa, espera ocupada ou espera ociosa é uma técnica em que um processo verifica uma condição repetidamente até que ela seja verdadeira, como esperar o pressionamento da tecla de um teclado ou a espera da liberação de recurso em exclusão mútua.
Novo!!: Deadlock e Espera ativa · Veja mais »
Exclusão mútua
Exclusão mútua (também conhecida pelo acrônimo mutex para mutual exclusion, o termo em inglês) é uma técnica usada em programação concorrente para evitar que dois processos ou threads tenham acesso simultaneamente a um recurso compartilhado, acesso esse denominado por seção crítica.
Novo!!: Deadlock e Exclusão mútua · Veja mais »
HAMMER
HAMMER é um sistema de arquivos de alta disponibilidade de 64 bits desenvolvido por Matthew Dillon para o DragonFly BSD usando árvores B+.
Novo!!: Deadlock e HAMMER · Veja mais »
Inanição (computação)
Em programação concorrente, ocorre inanição quando um processo nunca é executado ("morre de fome"), pois processos de prioridade maior sempre o impedem de ser executado.
Novo!!: Deadlock e Inanição (computação) · Veja mais »
Josef Hoop
Dr Franz Josef Hoop (14 de dezembro de 1895 - 19 de outubro de 1959) foi um político de Liechtenstein que serviu como primeiro-ministro de Liechtenstein de 1928 a 1945.
Novo!!: Deadlock e Josef Hoop · Veja mais »
Laço infinito
Um laço infinito é uma sequência de instruções em um programa de computador que repete infinitamente, ou porque não há condição de parada ou porque a condição existe mas nunca é atingida.
Novo!!: Deadlock e Laço infinito · Veja mais »
Múltiplas filas
Múltiplas Filas é um tipo de algoritmo de escalonamento, no qual são usadas filas de processos.
Novo!!: Deadlock e Múltiplas filas · Veja mais »
Metal Female Voices Fest
Metal Female Voices Fest é um festival de heavy metal, realizado anualmente na Bélgica desde 2003.
Novo!!: Deadlock e Metal Female Voices Fest · Veja mais »
Mutex recursivo
Em ciência da computação, um mutex reentrante (mutex recursivo, em inglês recursive mutex ou reentrant mutex) é um tipo específico de dispositivo de exclusão mútua (mutex) que pode ser bloqueado várias vezes pelo mesmo processo/thread, sem causar um deadlock.
Novo!!: Deadlock e Mutex recursivo · Veja mais »
Preemptividade
Em computação, preemptividade (algumas vezes preempção) é o ato de interromper temporariamente uma tarefa sendo executada por um sistema computacional, sem exigir sua cooperação, e com a intenção de retomar à tarefa posteriormente.
Novo!!: Deadlock e Preemptividade · Veja mais »
Processo (informática)
Em computação, um processo é uma instância de um programa de computador que está sendo executada.
Novo!!: Deadlock e Processo (informática) · Veja mais »
Referência circular
Uma referência circular é uma série de referências onde o último objeto referencia o primeiro, tendo como resultado um laço fechado.
Novo!!: Deadlock e Referência circular · Veja mais »
Relógios de Lamport
Relógios lógicos de Lamport são mecanismos usados em algoritmos de sincronização de relógio baseados na relação happens-before definida por Leslie Lamport.
Novo!!: Deadlock e Relógios de Lamport · Veja mais »
Sincronia de processos
A sincronia de processos permite gerenciar o acesso concorrente a recursos do sistema operacional de forma controlada por parte dos processos, de maneira que um recurso não seja modificado em simultâneo, ou que os processos não fiquem em espera que o recurso seja libertado.
Novo!!: Deadlock e Sincronia de processos · Veja mais »
Verificação de modelos
No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.
Novo!!: Deadlock e Verificação de modelos · Veja mais »
