Memoria Archivos asignados y escrituras atómicas de bloques individuales

Question

Si leo y escribo un solo archivo con las API IO normales, se garantiza que las escrituras serán atómicas por bloque. Es decir, si mi escritura solo modifica un bloque único, el sistema operativo garantiza que todo el bloque está escrito, o nada en absoluto.

¿Cómo obtengo el mismo efecto en un archivo mapeado en memoria?

Los archivos mapeados en memoria son simplemente matrices de bytes, así que si modifico la matriz de bytes, el sistema operativo no tiene forma de saber cuándo considero que una escritura está "lista", por lo que podría (aunque sea poco probable) cambiar el memoria justo en el medio de mi operación de escritura de bloques, y en efecto, escribo medio bloque.

Necesitaría una especie de "entrar/salir de la sección crítica", o algún método para "fijar" la página de un archivo en la memoria mientras escribo. Algo como eso existe? Si es así, ¿es eso portable en los sistemas POSIX comunes? & Windows?

Answer 1

La técnica de mantener un journal parece ser la única. No sé cómo funciona esto con varias aplicaciones que escriben en el mismo archivo. El proyecto Cassandra tiene un good article sobre cómo obtener rendimiento con un diario. La clave es asegurarse de que el diario solo registre acciones positivas (mi primer enfoque fue escribir la imagen previa de cada escritura en el diario, lo que le permitió deshacer, pero se volvió demasiado complicado).

Así que, básicamente, su archivo mapeado en memoria tiene un transactionId en el encabezado, si su encabezado cabe en un bloque, sabe que no se corrompe, aunque mucha gente parece escribirlo dos veces con una suma de comprobación: [header[cksum]] [header[cksum]]. Si la primera suma de comprobación falla, use la segunda.

La revista es como la siguiente:

[beginTxn[txnid]] [offset, length, data...] [commitTxn[txnid]] 

Usted acaba de seguir añadiendo registros de diario hasta que se hace demasiado grande, entonces lo transfiere en algún momento. Cuando inicie su programa, verifique si la identificación de la transacción para el archivo está en la última identificación de transacción del diario; si no, reproduce todas las transacciones en el diario para sincronizar.