Непротиворечивость FIFO хранилища данных определяется следующим правилом:

результат любого действия такой же, как если бы операции (чтения и записи) всех процессов в хранилище данных выполнялись бы в некотором последовательном порядке, причем операции каждого отдельного процесса выполнялись бы в некотором последовательном порядке, определяемом его программой

вводится понятие переменной синхронизации (S), которая имеет набор реплицируемых данных и позволяет выполнять над собой единственную операцию synchronize(S); при этом изменения, сделанные процессом в локальной копии данных, распространяются на все остальные копии данных, ассоциированные с переменной синхронизации