diff options
| -rw-r--r-- | debian/patches/series | 1 | ||||
| -rw-r--r-- | debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch | 27 |
2 files changed, 28 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index 0f458f68..289423f0 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -70,3 +70,4 @@ introspection0005-libdiskfs-annotate-objects-managed-by-libports.patch introspection0006-libpager-annotate-objects-managed-by-libports.patch introspection0007-ext2fs-annotate-objects-managed-by-libports.patch introspection0008-utils-rpctrace-support-attaching-to-servers.patch +try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch diff --git a/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch b/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch new file mode 100644 index 00000000..1bf19d73 --- /dev/null +++ b/debian/patches/try-fence0001-libshouldbeinlibc-maptime-use-memory-fences.patch @@ -0,0 +1,27 @@ +From 2bb74c0c114d8a2b259fa3ec1880e471df39ad9c Mon Sep 17 00:00:00 2001 +From: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Tue, 8 Sep 2015 12:37:08 +0200 +Subject: [PATCH hurd] libshouldbeinlibc/maptime: use memory fences + +* libshouldbeinlibc/maptime.h (maptime_read): Use memory fences. +--- + libshouldbeinlibc/maptime.h | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/libshouldbeinlibc/maptime.h b/libshouldbeinlibc/maptime.h +index 947ad64..04ce035 100644 +--- a/libshouldbeinlibc/maptime.h ++++ b/libshouldbeinlibc/maptime.h +@@ -51,7 +51,9 @@ maptime_read (volatile struct mapped_time_value *mtime, struct timeval *tv) + do + { + tv->tv_sec = mtime->seconds; ++ __sync_synchronize (); + tv->tv_usec = mtime->microseconds; ++ __sync_synchronize (); + } + while (tv->tv_sec != mtime->check_seconds); + } +-- +2.1.4 + |