You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 3571 Reporter: administrator Status: closed (set by @xavierleroy on 2013-08-31T10:49:00Z) Resolution: fixed Priority: normal Severity: minor Fixed in version: 4.00.0+dev Category: ~DO NOT USE (was: OCaml general) Monitored by:@hcarty
Bug description
Bonjour,
je viens de lire ceci sur la page du serveur NFS linux :
,----[ http://nfs.sourceforge.net/#faq_d8 ]
| Although some implementations of munmap(2) happen to write dirty pages
| to local file systems, the NFS version of munmap(2) does not. An
| msync(2) call is always required to guarantee that dirty mapped data
| is written to permanent storage.
`----
il y a donc problème d'intégrité des données pour les bigarrays créés
avec Genarray.map_file en mode "shared". Rajouter un msync() juste
avant le munmap() n'est même pas suffisant puisque munmap est appelé
pendant la finalisation. Il faudrait donc rajouter une function
sync_file aux modules de Bigarray ...
--
Olivier
The text was updated successfully, but these errors were encountered:
I've been sleeping on this PR for years, so I'm un-assigning it for me just in case someone is willing to pick it. Can anyone confirm that the issue mentioned by Olivier is still there? If so, providing a wrapper around msync() in Bigarrays is a good idea. One thing to check, though, is whether msync() needs an existence test in configure, or whether it can safely be assumed to be there if we've found mmap and munmap.
Original bug ID: 3571
Reporter: administrator
Status: closed (set by @xavierleroy on 2013-08-31T10:49:00Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.00.0+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @hcarty
Bug description
Bonjour,
je viens de lire ceci sur la page du serveur NFS linux :
,----[ http://nfs.sourceforge.net/#faq_d8 ]
| Although some implementations of munmap(2) happen to write dirty pages
| to local file systems, the NFS version of munmap(2) does not. An
| msync(2) call is always required to guarantee that dirty mapped data
| is written to permanent storage.
`----
il y a donc problème d'intégrité des données pour les bigarrays créés
avec Genarray.map_file en mode "shared". Rajouter un msync() juste
avant le munmap() n'est même pas suffisant puisque munmap est appelé
pendant la finalisation. Il faudrait donc rajouter une function
sync_file aux modules de Bigarray ...
--
Olivier
The text was updated successfully, but these errors were encountered: