5.

1   –   Exemplos   de   entidades   de   tempo   real   são   o   fluxo   de   um   líquido   em   um   tubo,  o  setpoint  de  um  laço  de  controle  selecionado  pelo  operador,  ou  a  posição   desejada  de  uma  válvula  de  controle.       Os   atributos   estáticos   de   uma   entidade   RT,   do   tempo   real.   Exemplos   de   atributos  estáticos  são  o  nome,  o  tipo,  o  domínio  de  valores,  e  a  taxa  máxima  de   mudança.   Para   atributos   dinâmicos,   o   mais   importante   é   o   valor   da   variável   de   controle  num  instante  em  particular.     5.2   –   Uma   observação   é   uma   observação   de   estado   se   o   valor   da   observação   contêm  o  estado  absoluto  da  entidade  RT.  O  tempo  da  observação  de  estado  se   refere   ao   ponto   no   tempo   real   quando   a   entidade   RT   foi   amostrada.   Uma   observação   é   uma   observação   de   evento   se   ela   contêm   informações   sobre   a   mudança   de   valores   entre   os   estados   velhos   e   os   estados   novos.   O   tempo   da   observação  de  evento  denota  a  melhor  estimativa  do  instante  do  evento.     A  semântica  das  observações  de  estado  casam  bem  com  a  semântica  das   mensagens   de   estados.   Uma   nova   leitura   da   observação   de   estado   substitui   as   leituras  anteriores  porque  clientes  estão  normalmente  interessados  nos  valores   mais  recentes  das  variáveis  de  estado.     Observações  de  eventos  tem  mais  eficiência  nos  dados  que  observação  de   estado  no  caso  onde  a  entidade  RT  não  muda  frequentemente.       5.3  –     1   -­‐   Se   a   observação   de   evento   é   acionado   por   evento,   então,   o   tempo   de   ocorrência   do   evento   é   assumida   para   ser   a   borda   de   subida   do   sinal   de   interrupção.  Qualquer  resposta  atrasada  para  esse  sinal  de  interrupção  causará   um   erro   na   etiqueta   de   tempo   da   observação   de   evento.   Se   o   evento   observado   é   acionado   por   tempo,   então,   o   tempo   de   ocorrência   do   evento   pode   ser   em   qualquer  ponto  dentro  do  intervalo  de  amostragem.     2   -­‐   Desde   que   o   valor   de   uma   observação   de   evento   contêm   a   diferença   entre   um   estado   velho   e   um   estado   novo,   a   perda   ou   duplicação   de   uma   única   observação   de   evento   causa   a   perda   da   sincronização   do   estado   entre   o   estado   do   observador   e   o   estado   do   receptor.   Do   ponto   de   vista   da   segurança,   observações  de  evento  são  mais  frágeis  do  que  observações  de  estado.     3   -­‐   Uma   observação   de   evento   é   apenas   enviado   se   a   entidade   RT   muda   seu   valor.   A   latência   para   a   detecção   de   falhas   do   nó   observador   não   pode   ser   delimitado   porque   o   receptor   assume   que   a   entidade   não   modificou   seu   valor   se   nenhuma  nova  mensagem  de  evento  apareceu.     5.4  –  Acurácia  temporal  denota  o  relacionamento  temporal  entre  uma  entidade   RT  e  sua  imagem  RT  associada.  Por  uma  imagem  RT  ser  armazenada  num  objeto   RT,   a   acurácia   temporal   pode   também   ser   vista   como   a   relação   entre   uma   entidade  RT  e  um  objeto  RT.     Acurácia  temporal  é  a  diferença  entre  sua  imagem  e  a  entidade  real.     A   “história   recente”   é   um   conjunto   ordenado   de   instantes,   onde   o   tamanho   da   “história   recente”   é   chamado   de   intervalo   de   acurácia   temporal   ou   de  acurácia  temporal.      

04𝑚𝑠     .     5.7  –       5.  sem  base  de  tempo  global  não  é  possível  estimar  os  estados.01𝑚𝑠     b)   𝑡!"#$%&"&' = 𝑡!"#$ + 𝑑!"# + 2𝑔     𝑡!"#$%&"&' = 𝑡!"#$ + 20 + 2 ∗ 20 ∗ 10!!     𝑎𝑐𝑡𝑖𝑜𝑛  𝑑𝑒𝑙𝑎𝑦 = 𝑡!"#$%&"&' − 𝑡!"#$     𝑎𝑐𝑡𝑖𝑜𝑛  𝑑𝑒𝑙𝑎𝑦 = 20.6  –  As  estradas  para  o  modelo  de  estimação  de  estados    é  o  tamanho  preciso  do   intervalo  de  tempo.5.   𝑊𝐶𝐸𝑇!"#  -­‐>pior  caso  de  tempo  de  execução  do  receptor.  Para  a  estimação  dos  estados  é  necessário  ter  um  protocolo   de   comunicação   com   um   jitter   mínimo   ou   uma   base   de   tempo   global   com   uma   boa  precisão.   𝑊𝐶𝐶𝑂𝑀  -­‐>  pior  caso  de  atraso  de  comunicação.  E  o  intervalo  de  acurácia  temporal  𝑑!""  satisfaz  a  seguinte   condição:     𝑑!"" > (𝑑!"#$%& + 𝑊𝐶𝐸𝑇!"#$ + 𝑊𝐶𝐶𝑂𝑀 + 𝑊𝐶𝐸𝑇!"# )       Uma   imagem   RT   sensível   à   fase   é   uma   imagem   do   receptor   onde   a   operação  RT  do  remetente  é  alinhado  à  fase  e  satisfaz  as  seguintes  condições:     𝑑!"" ≤ (𝑑!"#$%& + 𝑊𝐶𝐸𝑇!"#$ + 𝑊𝐶𝐶𝑂𝑀 + 𝑊𝐶𝐸𝑇!"# )   e   𝑑!"" > (𝑊𝐶𝐸𝑇!"#$ + 𝑊𝐶𝐶𝑂𝑀 + 𝑊𝐶𝐸𝑇!"# )     𝑊𝐶𝐸𝑇!"#$  -­‐>pior  caso  de  tempo  de  execução  do  remetente.5   –   Uma   imagem   RT   paramétrica   é   uma   imagem   RT   que   é   atualizada   perio   zdicamente  por  uma  mensagem  de  observação  de  estado  de  um  entidade   RT   relacionada   com   um   período   de   atualização  𝑑!"#$%&  e   a   operação   é   alinhada   na  fase  do  remetente.8  –       5.     5.9  –     a)   𝑡!"#$%&"&' = 𝑡!"#$ + 2𝑑!"# − 𝑑!"# + 𝑔!     𝑡!"#$%&"&' = 𝑡!"#$ + 2 ∗ 20 − 1 + 10 ∗ 10!!     𝑎𝑐𝑡𝑖𝑜𝑛  𝑑𝑒𝑙𝑎𝑦 = 𝑡!"#$%&"&' − 𝑡!"#$     𝑎𝑐𝑡𝑖𝑜𝑛  𝑑𝑒𝑙𝑎𝑦 = 39.

  a   fim   de   ser   capaz  de  determinar  se  um  evento  é  incluído  no  estado  inicial  ou  não.   então   os   estados   subsequentes   e   os   valores  das  saídas  subsequentes  são  implicadas.  os  instantes  de  entrega  das  mensagens  podem  ser  previstos  e  a   ordem   temporal   das   mensagens   recebidas   é   a   mesma   ordem   temporal   das   mensagens  enviadas  através  de  todos  os  canais.  Sem  a  base   de   tempo   global   esparsa   e   eventos   esparsos.   .   possivelmente   resultando  em  uma  ordem  temporal  inconsistente  das  mensagens  replicadas  que   relatam   sobre   esses   eventos   simultâneos.  É  impossível  construir  um  sistema  de  tempo  real  distribuído   de   replica   determinística   sem   o   estabelecimento   de   um   tipo   de   base   de   tempo   global   esparsa   para   a   etiqueta   de   tempo   consistente   dos   eventos.  isto  é.   Preempção   e   bloqueio   de   tarefas   amplia   o   tempo   de   execução   das   tarefas   e   pode   atrasar   um   resultado   até   a   janela   de  aceitação  ter  sido  fechada.     5.     Um  sistema  se  comporta  deterministicamente  L.     5.  se  dado  um  estado  inicial   e   um   conjunto   de   entradas   ordenadas.     5.   simultaneidade   não   pode   ser   resolvida   consistentemente   em   um   sistema   distribuído.   3  –  Condições  de  corrida.11  –  Determinismo  é  uma  propriedade  desejada  da  computação  que  permite  a   predição   das   saídas   de   um   instante   futuro   com   base   em   um   dado   estado   inicial   e   entradas  temporizadas.   Uma   imagem  RT  pode  apenas  ser  usada  se  a  mensagem  que  transportou  a  imagem  é   permanente   e   a   imagem   é   temporalmente   acurado.10   –   A   acurácia   temporal   depende   da   dinâmica   da   aplicação   de   controle   enquanto   o   “action   delay”   é   uma   implementação   especifica   de   duração.   Em   um   sistema   sem   estimação  de  estados.5.   por   causa   dos   resultados   incertos     em   relação   ao   processo  que  vencerá  a  corrida  pelo  semáforo.12  –     5.   Inconsistente   ordenação   resulta   na   perda  de  determinismo  réplica. 𝑡!"# + 𝑑!"" ).14  –  Para  construir  um  sistema  de  replica  determinado.  Uma  operação  de  espera  do  semáforo  pode  dar   inicio   ao   não   determinismo.     O   sistema   de   transporte   de   mensagens   entre   os   componentes   ser   previsível.  é  necessário  assegurar   que   o   estado   inicial   de   todas   as   computações   envolvidas   é   definido   consistentemente.     A  atribuição  de  eventos  para  uma  base  de  tempo  global  esparsa  pode  ser   estabelecida  no  nível  do  sistema  pela  geração  de  eventos  esparsos  ou  no  nível  de   aplicação   pela   execução   de   protocolos   de   aceitação   que   atribui   aos   eventos   densos  consistentemente  a  intervalos  esparsos.   2   –   Mecanismos   de   repetição.   Qualquer   mecanismo   de   repetição   no   hardware   ou   software   leva   ao   aumento   do   tempo   de   execução   e   pode   causar   um   atraso  inaceitável  de  um  resultado  de  valor  correto.  O  mesmo  argumento  se  aplica  ao   protocolo   de   comunicação   que   resolve   o   conflito   de   acesso   confiando   na   saída   das  decisões  temporais  não  determinísticas.13  –     1   –   Preempção   e   bloqueio   de   tarefas.  ambas  as  condições  podem  apenas  ser  satisfeitas  no  janela   do  tempo  (𝑡!"#$%&"&' .

  isto   é.   não   existem   construções   de   programas   na   implementação   que   produz   arbitrariamente   resultados   ou   contêm   NDDCs.     NDDC  -­‐>    Non-­‐Deterministic  Design  Constructs.     5.     5.   e   requer   tempo   adicional   e   banda   de   comunicação   adicional.15   –   A   coordenação   inter-­‐réplica   deve   ser   evitada   porque   ela   compromete   a   independência   das   réplicas.16  -­‐     .   e   que   o   resultado   final   da   computação   será   avaliada  durante  a  janela  de  aceitação  antecipada.     Todos   as   computações   envolvidas   são   infalíveis.   O  sistema  de  computador  e  o  observar(usuário)  concordam  com  a  noção   de  precisão  do  tempo  real.

Sign up to vote on this title
UsefulNot useful