Estou escrevendo um aplicativo em Erlang / OTP e quero usar contadores seqüenciais em um sistema de gravação de versã

Implementei-os com

mnesia:dirty_update_counter

mas a experiência de usá-lo eliminou esses requisitos difíceis:

Os contadores devem ter as seguintes propriedades:

ser estritamente sequencial - 1 seguido por 2 seguidos por 3 etc, etc, a sequência é compartilhada em um conjunto distribuído de sistemas e, se eu tiver você como '3' e você entrar com '5', preciso saber que temos perdeu algumas comunicações e deve ressincronizar

safe com um banco de dados distribuído

mnesia:dirty_update_counter

atende a nenhum desses requisito

Como implementar um contador seqüencial de banco de dado