Na teoria dos sistemas distribuídos, encontrei a definição de que um sistema distribuído exige, entre outros, localização e transparência de acesso. Fiquei me perguntando se a transparência do local ainda não inclui a transparência de acesso. A Wikipedia define os dois da seguinte maneira:...
Eu tenho tentado apreender serializability e linearizability no contexto da memória transacional de software. No entanto, acho que ambas as noções podem ser aplicadas à memória transacional em geral. Neste ponto, a seguir, é minha compreensão de ambos os assuntos. Serializability A...
Estou lendo "O tempo, os relógios e a ordem dos eventos em um sistema distribuído", de Lamport, e há um detalhe que está me incomodando. Lamport define a ordem parcial "aconteceu antes", o que eu entendo. Então ele diz que "Outra maneira de visualizar a definição é dizer que a -> b significa...
Tenho a noção de uma rede social que é robusta contra ataques maliciosos externos. Minha visão é um sistema estruturado estruturalmente como uma rede distribuída de servidores iguais que operam nos mesmos dados e oferecem serviços idênticos. Todos os usuários devem interagir na mesma rede,...
Estou interessado em algoritmos distribuídos, especialmente em comunicação em rede com falhas. Eu procuro a prova do seguinte algoritmo aleatório de comunicação em rede com falhas. Para mim, parece um resultado muito geral na comunicação, mas ainda não encontrei a prova. Algoritmo : Inicialmente,...
Atualmente, estou pesquisando para minha tese de diploma em ciência da computação com um tópico na área de tabelas de hash distribuídas. Naturalmente, vim à questão de onde veio o termo tabela de hash distribuído . (Eu sei que não é ciência do foguete apenas derivá-lo da distribuição de uma tabela...
Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end...
Suponha que um determinado aplicativo paralelo use um design mestre-escravo para processar um grande número de cargas de trabalho. Cada carga de trabalho leva algum número de ciclos para ser concluída; o número de ciclos que uma determinada carga de trabalho levará é dado por uma variável aleatória...