10) Quali semantiche sono previste nelle primitive reliable/ureliable?

May-be

l'azione può essere stata fatta o meno.

At-least-once:

l'azione può essere stata anche più volte a causa della duplicazione dei messaggi dovuti a dissincronizzazioni. Questo implica una di queste alternative:

• azioni idempotenti oppure
• inconsistenza delle azioni del ricevente

At-most-once

l'azione può essere avvenuta al più una volta oppure non è stata fatta per niente, quindi il mittente non ha una conoscenza precisa se l'azione ha avuto luogo o meno. Questo implica una di queste alternative:

• non ci sono ritrasmissioni oppure
• si ritrasmette ma si devono numerare le azioni

Exactly-once

l'azione è stata eseguita una volta sola. Ciò implica che il ricevente deve tenere traccia di tutte le azioni fatte e scartare quelle richieste più volte

problema: per quanto tempo si tiene conto delle azioni fatte?

è una semantica con conoscenza dello stato dell'altro.