diff options
Diffstat (limited to 'src/include/port/linux.h')
| -rw-r--r-- | src/include/port/linux.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/include/port/linux.h b/src/include/port/linux.h index 3d00c0aecdc..84da4d1027a 100644 --- a/src/include/port/linux.h +++ b/src/include/port/linux.h @@ -55,3 +55,16 @@ typedef unsigned char slock_t; #define HAS_TEST_AND_SET #endif + +/* + * As of July 2007, all known versions of the Linux kernel will sometimes + * return EIDRM for a shmctl() operation when EINVAL is correct (it happens + * when the low-order 15 bits of the supplied shm ID match the slot number + * assigned to a newer shmem segment). We deal with this by assuming that + * EIDRM means EINVAL in PGSharedMemoryIsInUse(). This is reasonably safe + * since in fact Linux has no excuse for ever returning EIDRM; it doesn't + * track removed segments in a way that would allow distinguishing them from + * private ones. But someday that code might get upgraded, and we'd have + * to have a kernel version test here. + */ +#define HAVE_LINUX_EIDRM_BUG |