SlideShare une entreprise Scribd logo

Canais Síncronos

•Télécharger en tant que PPT, PDF•
•
Heron Carvalho
Heron Carvalho

O documento discute comunicação síncrona em sistemas distribuídos através de passagem de mensagens. A comunicação síncrona garante que o processo transmissor só continuará após o receptor receber a mensagem, evitando problemas como buffers infinitos. O documento descreve a notação formal para comunicação síncrona entre processos e discute provas de correção como satisfação, não-interferência e segurança.

1  sur  52
II. Memória Distibuída Passagem de Mensagens Síncrona Fco. Heron de Carvalho Jr., Dr. [email_address]
Introdução ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Introdução ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object],[object Object]
Notação ,[object Object],[object Object]
Notação ,[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object]
Semântica Formal ,[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],Semântica Formal
Semântica Formal ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object]
Semântica Formal ,[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal Segurança e Liveness ,[object Object],[object Object]
Semântica Formal Segurança e Liveness ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal Segurança e Liveness ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Semântica Formal Segurança e Liveness ,[object Object],[object Object],[object Object],[object Object]
Semântica Formal Segurança e Liveness ,[object Object],[object Object],[object Object],[object Object],[object Object]
II. Memória Distibuída Cap. 7 Passagem de Mensagens Síncrona ( Aplica ções ) Fco. Heron de Carvalho Jr., Msc. fhcj @ poli .upe.br
Aplica ções a Estudar ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Passagem de Mensagens Síncrona (Aplicações) ,[object Object],[object Object]
Rede de Filtros (A Peneira de Eratosthenes) ,[object Object]
Rede de Filtros (A Peneira de Eratosthenes) ,[object Object]
Rede de Filtros (A peneira de Eratosthenes) ,[object Object],[object Object]
Passagem de Mensagens Síncrona (Aplicações) ,[object Object],[object Object]
Algoritmo Sist ólico (Multiplicação de Matrizes) ,[object Object]
Algoritmo Sist ólico (Multiplicação de Matrizes) ,[object Object]
Passagem de Mensagens Síncrona (Aplicações) ,[object Object],[object Object]
Clientes e Servidores (Servidor de Arquivos) ,[object Object]
Clientes e Servidores (Servidor de Arquivos) ,[object Object]

Recommandé

Lab6 flipflop
Lab6 flipflopLab6 flipflop
Lab6 flipflop
Eduardo Bezerra
 
Sincronização Distribuída de Processos
Sincronização Distribuída de ProcessosSincronização Distribuída de Processos
Sincronização Distribuída de Processos
Heron Carvalho
 
2 controle fluxo
2 controle fluxo2 controle fluxo
2 controle fluxo
profwtelles
 
Aula01
Aula01Aula01
Aula01
vdlos
 
Algoritmos
AlgoritmosAlgoritmos
Algoritmos
Mikoian Rios Rios
 
Programando em C++ // Estrutura Básica
Programando em C++ // Estrutura Básica Programando em C++ // Estrutura Básica
Programando em C++ // Estrutura Básica
Yuri Camelo
 
Apostila turbo pascal
Apostila turbo pascalApostila turbo pascal
Apostila turbo pascal
Leandro Rocha de Oliveira
 
Ep3
Ep3Ep3
Ep3
Ezequiel Santos
 

Recommandé

Lab6 flipflop
Lab6 flipflopLab6 flipflop
Lab6 flipflop
Eduardo Bezerra
 
Sincronização Distribuída de Processos
Sincronização Distribuída de ProcessosSincronização Distribuída de Processos
Sincronização Distribuída de Processos
Heron Carvalho
 
2 controle fluxo
2 controle fluxo2 controle fluxo
2 controle fluxo
profwtelles
 
Aula01
Aula01Aula01
Aula01
vdlos
 
Algoritmos
AlgoritmosAlgoritmos
Algoritmos
Mikoian Rios Rios
 
Programando em C++ // Estrutura Básica
Programando em C++ // Estrutura Básica Programando em C++ // Estrutura Básica
Programando em C++ // Estrutura Básica
Yuri Camelo
 
Apostila turbo pascal
Apostila turbo pascalApostila turbo pascal
Apostila turbo pascal
Leandro Rocha de Oliveira
 
Ep3
Ep3Ep3
Ep3
Ezequiel Santos
 
Introdução à Linguagem C
Introdução à Linguagem CIntrodução à Linguagem C
Introdução à Linguagem C
Elaine Cecília Gatto
 
5423 c ou c++
5423 c ou c++5423 c ou c++
5423 c ou c++
Lucas Júnio
 
Programação Estruturada 2 - Aula 01 - Código Fonte
Programação Estruturada 2 - Aula 01 - Código FonteProgramação Estruturada 2 - Aula 01 - Código Fonte
Programação Estruturada 2 - Aula 01 - Código Fonte
thomasdacosta
 
Aula09 traducaosin110
Aula09 traducaosin110Aula09 traducaosin110
Aula09 traducaosin110
Aldo Henrique Dias Mendes
 
Quiz 1 sdac portas lógicas
Quiz 1 sdac portas lógicasQuiz 1 sdac portas lógicas
Quiz 1 sdac portas lógicas
Carlos Pereira
 
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeadosC#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
Giovanni Bassi
 
Csharp.intro
Csharp.introCsharp.intro
Csharp.intro
Hélder Oliveira
 
A3 se
A3 seA3 se
A3 se
Patrick_turma10
 
Apresentação Linguagem C
Apresentação Linguagem CApresentação Linguagem C
Apresentação Linguagem C
Ricardo Liyushiro Chikasawa
 
Funções
FunçõesFunções
Funções
Carlos Wagner Costa
 
Linguagem c
Linguagem cLinguagem c
Linguagem c
Clécio Américo de Lima
 
JAVA - Controle de programa
JAVA - Controle de programaJAVA - Controle de programa
JAVA - Controle de programa
Elaine Cecília Gatto
 
Linguagem c parte 1
Linguagem c parte 1Linguagem c parte 1
Linguagem c parte 1
Mauro Pereira
 
Aula18 Teste Software
Aula18 Teste SoftwareAula18 Teste Software
Aula18 Teste Software
Marco Silva
 
Algoritmos - Aula 13 A - Lacos em C
Algoritmos - Aula 13 A - Lacos em CAlgoritmos - Aula 13 A - Lacos em C
Algoritmos - Aula 13 A - Lacos em C
Rodrigo Kiyoshi Saito
 
Exercícios da Aula de LAB 01
Exercícios da Aula de LAB 01Exercícios da Aula de LAB 01
Exercícios da Aula de LAB 01
thomasdacosta
 
Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01
Leandro Rezende
 
Microprocessadores ii revisão de linguagem de programação (parte2)
Microprocessadores ii revisão de linguagem de programação (parte2)Microprocessadores ii revisão de linguagem de programação (parte2)
Microprocessadores ii revisão de linguagem de programação (parte2)
Mauro Pereira
 
TDC2014 SP - C/C++ - Modularização de Código C
TDC2014 SP - C/C++ - Modularização de Código CTDC2014 SP - C/C++ - Modularização de Código C
TDC2014 SP - C/C++ - Modularização de Código C
Felipe de Andrade Neves Lavratti
 
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
Rogério Moraes de Carvalho
 
Respiracion glucolisis
Respiracion glucolisisRespiracion glucolisis
Respiracion glucolisis
dario ibarra
 
Apresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discursoApresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discurso
AES Tietê
 

Contenu connexe

Tendances

Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01
Leandro Rezende
 

Tendances (20)

Introdução à Linguagem C
Introdução à Linguagem CIntrodução à Linguagem C
Introdução à Linguagem C
 
5423 c ou c++
5423 c ou c++5423 c ou c++
5423 c ou c++
 
Programação Estruturada 2 - Aula 01 - Código Fonte
Programação Estruturada 2 - Aula 01 - Código FonteProgramação Estruturada 2 - Aula 01 - Código Fonte
Programação Estruturada 2 - Aula 01 - Código Fonte
 
Aula09 traducaosin110
Aula09 traducaosin110Aula09 traducaosin110
Aula09 traducaosin110
 
Quiz 1 sdac portas lógicas
Quiz 1 sdac portas lógicasQuiz 1 sdac portas lógicas
Quiz 1 sdac portas lógicas
 
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeadosC#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
C#4 - Parte 1 - Dinamismo E Argumentos opcionais e nomeados
 
Csharp.intro
Csharp.introCsharp.intro
Csharp.intro
 
A3 se
A3 seA3 se
A3 se
 
Apresentação Linguagem C
Apresentação Linguagem CApresentação Linguagem C
Apresentação Linguagem C
 
Funções
FunçõesFunções
Funções
 
Linguagem c
Linguagem cLinguagem c
Linguagem c
 
JAVA - Controle de programa
JAVA - Controle de programaJAVA - Controle de programa
JAVA - Controle de programa
 
Linguagem c parte 1
Linguagem c parte 1Linguagem c parte 1
Linguagem c parte 1
 
Aula18 Teste Software
Aula18 Teste SoftwareAula18 Teste Software
Aula18 Teste Software
 
Algoritmos - Aula 13 A - Lacos em C
Algoritmos - Aula 13 A - Lacos em CAlgoritmos - Aula 13 A - Lacos em C
Algoritmos - Aula 13 A - Lacos em C
 
Exercícios da Aula de LAB 01
Exercícios da Aula de LAB 01Exercícios da Aula de LAB 01
Exercícios da Aula de LAB 01
 
Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01Algoritmos C/C++ - Aula 01
Algoritmos C/C++ - Aula 01
 
Microprocessadores ii revisão de linguagem de programação (parte2)
Microprocessadores ii revisão de linguagem de programação (parte2)Microprocessadores ii revisão de linguagem de programação (parte2)
Microprocessadores ii revisão de linguagem de programação (parte2)
 
TDC2014 SP - C/C++ - Modularização de Código C
TDC2014 SP - C/C++ - Modularização de Código CTDC2014 SP - C/C++ - Modularização de Código C
TDC2014 SP - C/C++ - Modularização de Código C
 
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
TechEd Brasil 2011: WEB 302 - Presente e futuro da linguagem de programação J...
 

En vedette

Apresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discursoApresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discurso
AES Tietê
 
2010.10 regras-alterações-1
2010.10 regras-alterações-12010.10 regras-alterações-1
2010.10 regras-alterações-1
cartaoazul
 
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
Francis Zoet
 
Joe osborne kp
Joe osborne kpJoe osborne kp
Joe osborne kp
JosephBWO
 
(P. 015 026) 1. la competencia, un concepto operativo
(P. 015 026) 1. la competencia, un concepto operativo(P. 015 026) 1. la competencia, un concepto operativo
(P. 015 026) 1. la competencia, un concepto operativo
Mineducyt El Salvador
 
Simone Da Cunha Atendimento Bruna Karen Carol Carlos
Simone Da Cunha Atendimento Bruna Karen Carol CarlosSimone Da Cunha Atendimento Bruna Karen Carol Carlos
Simone Da Cunha Atendimento Bruna Karen Carol Carlos
Portfoliopp
 

En vedette (13)

Respiracion glucolisis
Respiracion glucolisisRespiracion glucolisis
Respiracion glucolisis
 
Apresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discursoApresentação call tiete 3 t12_sem discurso
Apresentação call tiete 3 t12_sem discurso
 
2da semana de núcleo
2da semana de núcleo2da semana de núcleo
2da semana de núcleo
 
Going for gold
Going for goldGoing for gold
Going for gold
 
2010.10 regras-alterações-1
2010.10 regras-alterações-12010.10 regras-alterações-1
2010.10 regras-alterações-1
 
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
Proposed Improvements of Plastic Waste Processes at Utrecht University 2014-3
 
ประเภท
ประเภทประเภท
ประเภท
 
13
1313
13
 
Joe osborne kp
Joe osborne kpJoe osborne kp
Joe osborne kp
 
4. plan de tierras
4. plan de tierras4. plan de tierras
4. plan de tierras
 
28
2828
28
 
(P. 015 026) 1. la competencia, un concepto operativo
(P. 015 026) 1. la competencia, un concepto operativo(P. 015 026) 1. la competencia, un concepto operativo
(P. 015 026) 1. la competencia, un concepto operativo
 
Simone Da Cunha Atendimento Bruna Karen Carol Carlos
Simone Da Cunha Atendimento Bruna Karen Carol CarlosSimone Da Cunha Atendimento Bruna Karen Carol Carlos
Simone Da Cunha Atendimento Bruna Karen Carol Carlos
 

Similaire à Canais Síncronos

T08_T09_LM3: Estruturas de repetição (2013-2014)
T08_T09_LM3: Estruturas de repetição (2013-2014)T08_T09_LM3: Estruturas de repetição (2013-2014)
T08_T09_LM3: Estruturas de repetição (2013-2014)
Carlos Santos
 
(A09) LabMM3 - JavaScript - Estruturas de repetição
(A09) LabMM3 - JavaScript - Estruturas de repetição(A09) LabMM3 - JavaScript - Estruturas de repetição
(A09) LabMM3 - JavaScript - Estruturas de repetição
Carlos Santos
 

Similaire à Canais Síncronos (10)

Canais Assíncronos I
Canais Assíncronos ICanais Assíncronos I
Canais Assíncronos I
 
Teste De Software Aula
Teste De Software AulaTeste De Software Aula
Teste De Software Aula
 
Aula de C e C++
Aula de C e C++Aula de C e C++
Aula de C e C++
 
Amarração e escopo
Amarração e escopoAmarração e escopo
Amarração e escopo
 
Aula 1 | Introdução a C++
Aula 1 | Introdução a C++Aula 1 | Introdução a C++
Aula 1 | Introdução a C++
 
Linguagem Go
Linguagem GoLinguagem Go
Linguagem Go
 
T08_T09_LM3: Estruturas de repetição (2013-2014)
T08_T09_LM3: Estruturas de repetição (2013-2014)T08_T09_LM3: Estruturas de repetição (2013-2014)
T08_T09_LM3: Estruturas de repetição (2013-2014)
 
(A09) LabMM3 - JavaScript - Estruturas de repetição
(A09) LabMM3 - JavaScript - Estruturas de repetição(A09) LabMM3 - JavaScript - Estruturas de repetição
(A09) LabMM3 - JavaScript - Estruturas de repetição
 
LabMM3 - Aula teórica 07
LabMM3 - Aula teórica 07LabMM3 - Aula teórica 07
LabMM3 - Aula teórica 07
 
26-aula26.pdf
26-aula26.pdf26-aula26.pdf
26-aula26.pdf
 

Canais Síncronos

  • 1. II. Memória Distibuída Passagem de Mensagens Síncrona Fco. Heron de Carvalho Jr., Dr. [email_address]
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7.
  • 8.
  • 9.
  • 10.
  • 11.
  • 12.
  • 13.
  • 14.
  • 15.
  • 16.
  • 17.
  • 18.
  • 19.
  • 20.
  • 21.
  • 22.
  • 23.
  • 24.
  • 25.
  • 26.
  • 27.
  • 28.
  • 29.
  • 30.
  • 31.
  • 32.
  • 33.
  • 34.
  • 35.
  • 36.
  • 37.
  • 38.
  • 39.
  • 40.
  • 41. II. Memória Distibuída Cap. 7 Passagem de Mensagens Síncrona ( Aplica ções ) Fco. Heron de Carvalho Jr., Msc. fhcj @ poli .upe.br
  • 42.
  • 43.
  • 44.
  • 45.
  • 46.
  • 47.
  • 48.
  • 49.
  • 50.
  • 51.
  • 52.