Objetivos de aprendizagem
Ao final deste capítulo, você deve ser capaz de:
- Ler um horário de criação como o horário da reserva e um cabeçalho como o horário da página.
- Manter uma linha impressa quando o horário de criação é anterior ao cabeçalho da página.
- Recusar empurrar esse horário de criação para dentro da execução já terminada das 09:00.
16.1 Dois relógios, uma linha
SYN-003 traz o horário de criação 11:20. O cabeçalho da página é 11:55. Um colega argumenta que uma reserva feita às 11:20 já está “velha” às 11:55 e deve ser ignorada, e também que a mesma reserva é “depois das 09:00” e deve ser inserida no registro do capítulo 4 para ALLOW virar REFUSE. Os dois movimentos usam mal um relógio.
O cabeçalho diz quando esta folha se apresenta. Uma linha criada antes ainda pode estar numa folha posterior. Isso é ordinário. Ignorar a linha fingiria que a impressora a deixou de fora. Inserir 11:20 no programa das 09:00 fingiria que esse programa tinha visto SYN-003. A execução publicada não viu. O censo permanece STOP 1; OUT OF SCOPE 1; REFUSE 1; ALLOW 1; UNKNOWN 0.
Na página nomeada das 11:55, a Sala 4 às 15:00 permanece ocupada.
16.2 Exemplo resolvido
Tabela da aula; deslize para ver todas as colunas →
| Afirmação sobre 11:20 | Relógio que confunde | Decisão |
|---|---|---|
“11:20 é antes de 11:55, então descarte SYN-003.” |
Horário de criação com cabeçalho da página | Mantenha a linha |
| “11:20 é depois das 09:00, então reexecute o registro.” | Horário de criação com um programa mais antigo | Não reexecute |
| “O cabeçalho é posterior, então a página inteira está desatualizada.” | Um cabeçalho não é, por si, um veredito | O responsável ainda nomeou esta página |
| “Mude ALLOW para REFUSE no papel.” | Um rótulo de outro artefato | Deixe o rótulo |
A linha útil é: criada às 11:20, página 11:55, linha presente, horário ocupado, registro antigo inalterado.
16.3 O que os relógios ainda não mostram
Nada nos dois horários explica a visão de reserva indisponível. Nada neles mede com que frequência um balcão imprime. O capítulo seguinte pergunta o que uma linha repetida pode provar, o que é uma afirmação menor do que uma causa.
Resumo do capítulo 16
Um horário de criação localiza uma reserva. Um cabeçalho localiza uma página. Uma linha impressa permanece impressa. O censo terminado das 09:00 não é reescrito para coincidir com um relógio de uma folha posterior.
Exercícios do capítulo 16
EX032 — Mantenha a linha que o relógio foi usado para atacar
- Objetivo: Impedir que um horário de criação apague
SYN-003ou reabra o programa antigo. - Entrada: Um colega diz: “
SYN-003às 11:20 é ao mesmo tempo velha demais para a página das 11:55 e tardia o bastante para virar ALLOW em REFUSE.” - Condição segura: Compare os relógios no papel. Não digite um horário no programa de reservas.
- Tarefa: Declare o que cada relógio significa, se a linha permanece e o que acontece com ALLOW.
- Evidência esperada: Três declarações que um leitor possa conferir contra
SYN-003e o censo publicado. Mostrar critérios de avaliação
Rubrica: 3 = a linha permanece, a Sala 4 às 15:00 permanece ocupada na página nomeada e ALLOW não é reescrito;; 2 = mantém a linha, mas discute reexecutar o programa;; 1 = apagaSYN-003ou troca ALLOW por REFUSE;; 0 = nenhuma.