MECANISMO PROVISIONADOR DE INTEGRIDADE DE OBJETOS DE DADOS USADOS PARA MANTER INFORMAÇÕES DE ESTADO PARA DADOS COMPARTILHADOS EM UM COMPLEXO LOCAL E SISTEMA QUE O COMPREENDE

Classificação IPC

Prioridades unionistas

Resumo técnico

Aparelho e método que asseguram que objetos de dados usados para manter informações de estado para dados compartilhados em um complexo de processamento central (CPC) são coerentes e que são válidos com relação a informação de estado mantidas em um recuso de armazenamento externo estruturado (SES) através de um enlace. Um detector de erros é acoplados ao lado do enlace onde fica o CPC para detectar erros no enlace, e, quando um erro é detectado, ajustar uma trava de dependente de estado de erro (ESP) para indicar que o enlace falhou e que os dados compartilhados no objeto de dados local podem estar inválidos porque uma mensagem que invalida os dados pode não ter sido recebida pelo CPC. Em operações de processamento de dados, a trava ESP é interrogada por um processador central no CPC para verificat a sanidade do trajeto de mensagens para o recurso de SES. Um vetor de memória cache local que expressa a validade dos dados compartilhados na memória cache local pode então ser interrogado para verificar se os dados compartilhados na memória cache local são válidos. Se um trajeto sadio tiver existido continuamente e o vetor indicar que os dados da memória cache local são válidos, pode-se confiar na integridade dos dados.