实现可线性化代价可能过高，但是可以在放松模型的同时仍然提供相当强的一致性保证。顺序一致性（sequential consistency）允许对操作进行排序，就好像它们是以某种串行顺序执行一样，并要求属于某一进程的操作在排序后保持先后顺序不变（不同进程的操作之间，先后顺序可能改变）。

进程可以观察到其他参与者执行操作的顺序与它们自己的历史相一致，但是从全局角度看，这个视图可能会过时任意长时间。进程之间的执行顺序是未定义的，因为这里没有共享的时间概念。

顺序一致性最初是在并发这个领域中引入的，被描述为一种正确执行多处理器程序的方式。最初的描述要求对同一单元的内存请求在队列中排序（FIFO，到达顺序），对独立内存单元的重叠写操作没有施加全局排序，并且允许读操作从内存单元中获取值（如果队列非空则从队列中获取最新值）。操作可以以不同的方式排序（取决于到达顺序，甚至可以在两个写入同时到达的情况下任意排序），但所有进程都以相同的顺序观察到操作。

每个进程都可以按照自己的程序指定的顺序发出读写请求，这是很符合直觉的，因为任何非并发的单线程程序都一个接一个地执行它的步骤。从同一进程传播的所有写操作都按此进程提交它们的顺序出现。来自不同来源的操作可以任意排序，但从读取者的角度来看，这个顺序是一致的。