diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-01-27 23:05:52 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-01-27 23:05:52 +0100 |
| commit | 4adf780d61796c45f58100ed15d9c9a0a3c562fc (patch) | |
| tree | a68feee2683e58fb04ca2ce310fa4413dd452219 /doc | |
| parent | 5cd316231c1f67366fda26fb302ace306ca3de3f (diff) | |
| download | gnumach-4adf780d61796c45f58100ed15d9c9a0a3c562fc.tar.gz gnumach-4adf780d61796c45f58100ed15d9c9a0a3c562fc.tar.bz2 gnumach-4adf780d61796c45f58100ed15d9c9a0a3c562fc.zip | |
doc: Fix mapped-time example
One needs to use memory barriers to be sure to be reading values in the
proper order.
* doc/mach.texi (Host Time): Add __sync_synchronize() in mapped-time
example.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/mach.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/mach.texi b/doc/mach.texi index 2bd085b2..dd1e5edd 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -5648,7 +5648,9 @@ mapped-time interface: do @{ secs = mtime->seconds; + __sync_synchronize(); usecs = mtime->microseconds; + __sync_synchronize(); @} while (secs != mtime->check_seconds); @end example |