Perguntas com a marcação «terminology»

7
Estado inconsistente de um bloqueio

Estou lendo a programação The Art of Multiprocessor e tentando entender seu conceito de bloqueios inconsistentes. Especificamente, na página 37 , a definição 2.8.1 de um bloqueio inconsistente não está clara para mim, assim como o Lema 2.8.1. Definição 2.8.1. Um estado de objeto de bloqueio s é...

7
Diferença entre hypervisor e exokernel

Um hypervisor (1º tipo) é um software que cria e executa máquinas virtuais, gerenciando as solicitações dos sistemas operacionais dos hóspedes ao hardware. Um exokernel é um kernel do sistema operacional, que permite que os programas acessem diretamente o hardware ou, com o apoio de bibliotecas...

7
Definição padrão de máquina de Turing

Eu segui dois livros famosos sobre "Autômatos e Teoria da Linguagem Formal": Livro de Micheal Sipser Livro de Jeffrey Ullman e John Hopcroft nos dois livros, a definição de nível de tupla da máquina de Turing difere entre si. Embora o trabalho em nível abstrato seja o mesmo, mas os detalhes são...