From: Nick Piggin <npiggin@suse.de>
To: Linux Memory Management <linux-mm@kvack.org>,
Andrew Morton <akpm@osdl.org>
Cc: Linux Kernel <linux-kernel@vger.kernel.org>
Subject: Re: [rfc] 2.6.19-rc1-git5: consolidation of file backed fault handlers
Date: Tue, 10 Oct 2006 16:26:10 +0200 [thread overview]
Message-ID: <20061010142610.GD2431@wotan.suse.de> (raw)
In-Reply-To: <20061010121314.19693.75503.sendpatchset@linux.site>
Arh, bad subject: should be 2.6.19-rc1-mm1
On Tue, Oct 10, 2006 at 04:21:32PM +0200, Nick Piggin wrote:
> Has passed an allyesconfig on G5, and booted and stress tested (on ext3
> and tmpfs) on 2x P4 Xeon with my userspace tester (which I will send in
> a reply to this email). (stress tests run with the set_page_dirty_buffers
> fix that is upstream).
Anyway, here is the pagefault vs invalidate/truncate race finder. It
can trigger the bug introduced in patch 1/5 for both linear and nonlinear
mappings. After the patchset, I cannot reproduce.
--
#define _XOPEN_SOURCE 600
#include <sys/time.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>
#include <time.h>
#include <stdlib.h>
#include <signal.h>
#include <setjmp.h>
#include <errno.h>
#include <string.h>
#include <stdio.h>
#define max(x, y) ((x) > (y) ? (x) : (y))
/* following 4 parameters: (1, 1, 7, 1) gives nonlinear bug */
/* (1, 0, 7, 1) for linear bug */
static int invalidate = 0;
static int nonlinear = 0;
static int faulters = 7;
static int samepage = 1;
#define O_DIRECT 00040000
#define FNAME "dnp-inv.dat"
static int PAGE_SIZE;
static void error(const char *str)
{
perror(str);
exit(EXIT_FAILURE);
}
static void oom(void)
{
fprintf(stderr, "Out of memory\n");
exit(EXIT_FAILURE);
}
static sigjmp_buf SIGBUS_env;
static void SIGBUS_handler(int sig)
{
siglongjmp(SIGBUS_env, 1);
}
static void dnp_child(int nr, int fd)
{
time_t start;
int i;
struct sigaction sa = { .sa_handler = &SIGBUS_handler };
if (sigemptyset(&sa.sa_mask) == -1)
error("sigemptyset");
if (sigaction(SIGBUS, &sa, NULL) == -1)
error("sigaction");
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
i = 0;
for (;;) {
volatile long *lock;
char *mem;
if (i > 100) {
i = 0;
printf(".");
fflush(stdout);
}
start = time(NULL);
mem = mmap(NULL, PAGE_SIZE, PROT_READ|PROT_WRITE,
MAP_SHARED, fd, (samepage && !nonlinear) ? 0 : PAGE_SIZE*nr);
if (mem == MAP_FAILED)
error("mmap");
if (nonlinear) {
if (remap_file_pages(mem, PAGE_SIZE, 0, samepage ? 0 : faulters-nr, 0) == -1)
goto next;
}
lock = mem;
lock += nr;
if (!sigsetjmp(SIGBUS_env, 1)) {
static int stuck = 0;
int l;
*lock = 1;
for (l = 0; *lock; l++) {
if (!stuck) {
time_t delta;
delta = time(NULL) - start;
if (delta > 10) {
stuck = 1;
fprintf(stderr, "page stuck\n");
exit(EXIT_FAILURE);
}
}
if (l > 1000)
usleep(1);
}
if (stuck)
fprintf(stderr, "page unstuck\n");
i++;
}
next:
if (munmap(mem, PAGE_SIZE) == -1)
error("munmap");
}
}
static void trunc_child(int fd)
{
int k;
char buf = 0;
for (k = 0;; k++) {
int i;
int err;
if (k > 1000) {
k = 0;
printf("+");
usleep(1*1000*1000);
fflush(stdout);
}
if (ftruncate(fd, 0) == -1)
error("ftruncate");
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
for (i = 0; i < (samepage?1:faulters); i++) {
time_t start = time(NULL);
do {
time_t delta;
err = pwrite(fd, &buf, 1, PAGE_SIZE*i);
delta = time(NULL) - start;
if (delta > 10) {
fprintf(stderr, "write stuck\n");
break;
}
} while (err == -1 /* && errno == EINTR */);
if (err == -1)
error("write");
if (err != 1)
fprintf(stderr, "Partial write? %d\n", err), exit(EXIT_FAILURE);
}
}
}
static void inv_child(int fd)
{
int k;
char *buf;
int flags;
if (posix_memalign(&buf, PAGE_SIZE, PAGE_SIZE) != 0)
oom();
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
flags = fcntl(fd, F_GETFL);
if (flags == -1)
error("fcntl");
if (fcntl(fd, F_SETFL, flags|O_DIRECT) == -1)
error("fcntl");
memset(buf, 0, PAGE_SIZE);
for (k = 0;; k++) {
int i;
int err;
if (k > 100) {
k = 0;
printf("+");
usleep(1*1000*1000);
fflush(stdout);
}
for (i = 0; i < (samepage?1:faulters); i++) {
time_t start = time(NULL);
do {
time_t delta;
err = pwrite(fd, buf, PAGE_SIZE, PAGE_SIZE*i);
delta = time(NULL) - start;
if (delta > 10) {
fprintf(stderr, "write stuck\n");
break;
}
} while (err == -1 /* && errno == EINTR */);
if (err == -1)
error("write");
if (err != PAGE_SIZE)
fprintf(stderr, "Partial write? %d\n", err), exit(EXIT_FAILURE);
}
}
}
int main(void)
{
int i;
int fd, err;
PAGE_SIZE = getpagesize();
fd = open(FNAME, O_RDWR|O_CREAT|O_TRUNC, S_IRUSR|S_IWUSR);
if (fd == -1)
error("open");
for (i = 0; i < faulters; i++) {
err = fork();
if (err == -1)
error("fork");
if (!err) {
//nice(20);
dnp_child(i, fd);
exit(EXIT_SUCCESS);
}
}
#if 1
if (invalidate)
inv_child(fd);
else
trunc_child(fd);
#endif
sleep(10);
if (close(fd) == -1)
error("close");
exit(EXIT_SUCCESS);
}
WARNING: multiple messages have this Message-ID (diff)
From: Nick Piggin <npiggin@suse.de>
To: Linux Memory Management <linux-mm@kvack.org>,
Andrew Morton <akpm@osdl.org>
Cc: Linux Kernel <linux-kernel@vger.kernel.org>
Subject: Re: [rfc] 2.6.19-rc1-git5: consolidation of file backed fault handlers
Date: Tue, 10 Oct 2006 16:26:10 +0200 [thread overview]
Message-ID: <20061010142610.GD2431@wotan.suse.de> (raw)
In-Reply-To: <20061010121314.19693.75503.sendpatchset@linux.site>
Arh, bad subject: should be 2.6.19-rc1-mm1
On Tue, Oct 10, 2006 at 04:21:32PM +0200, Nick Piggin wrote:
> Has passed an allyesconfig on G5, and booted and stress tested (on ext3
> and tmpfs) on 2x P4 Xeon with my userspace tester (which I will send in
> a reply to this email). (stress tests run with the set_page_dirty_buffers
> fix that is upstream).
Anyway, here is the pagefault vs invalidate/truncate race finder. It
can trigger the bug introduced in patch 1/5 for both linear and nonlinear
mappings. After the patchset, I cannot reproduce.
--
#define _XOPEN_SOURCE 600
#include <sys/time.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>
#include <time.h>
#include <stdlib.h>
#include <signal.h>
#include <setjmp.h>
#include <errno.h>
#include <string.h>
#include <stdio.h>
#define max(x, y) ((x) > (y) ? (x) : (y))
/* following 4 parameters: (1, 1, 7, 1) gives nonlinear bug */
/* (1, 0, 7, 1) for linear bug */
static int invalidate = 0;
static int nonlinear = 0;
static int faulters = 7;
static int samepage = 1;
#define O_DIRECT 00040000
#define FNAME "dnp-inv.dat"
static int PAGE_SIZE;
static void error(const char *str)
{
perror(str);
exit(EXIT_FAILURE);
}
static void oom(void)
{
fprintf(stderr, "Out of memory\n");
exit(EXIT_FAILURE);
}
static sigjmp_buf SIGBUS_env;
static void SIGBUS_handler(int sig)
{
siglongjmp(SIGBUS_env, 1);
}
static void dnp_child(int nr, int fd)
{
time_t start;
int i;
struct sigaction sa = { .sa_handler = &SIGBUS_handler };
if (sigemptyset(&sa.sa_mask) == -1)
error("sigemptyset");
if (sigaction(SIGBUS, &sa, NULL) == -1)
error("sigaction");
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
i = 0;
for (;;) {
volatile long *lock;
char *mem;
if (i > 100) {
i = 0;
printf(".");
fflush(stdout);
}
start = time(NULL);
mem = mmap(NULL, PAGE_SIZE, PROT_READ|PROT_WRITE,
MAP_SHARED, fd, (samepage && !nonlinear) ? 0 : PAGE_SIZE*nr);
if (mem == MAP_FAILED)
error("mmap");
if (nonlinear) {
if (remap_file_pages(mem, PAGE_SIZE, 0, samepage ? 0 : faulters-nr, 0) == -1)
goto next;
}
lock = mem;
lock += nr;
if (!sigsetjmp(SIGBUS_env, 1)) {
static int stuck = 0;
int l;
*lock = 1;
for (l = 0; *lock; l++) {
if (!stuck) {
time_t delta;
delta = time(NULL) - start;
if (delta > 10) {
stuck = 1;
fprintf(stderr, "page stuck\n");
exit(EXIT_FAILURE);
}
}
if (l > 1000)
usleep(1);
}
if (stuck)
fprintf(stderr, "page unstuck\n");
i++;
}
next:
if (munmap(mem, PAGE_SIZE) == -1)
error("munmap");
}
}
static void trunc_child(int fd)
{
int k;
char buf = 0;
for (k = 0;; k++) {
int i;
int err;
if (k > 1000) {
k = 0;
printf("+");
usleep(1*1000*1000);
fflush(stdout);
}
if (ftruncate(fd, 0) == -1)
error("ftruncate");
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
for (i = 0; i < (samepage?1:faulters); i++) {
time_t start = time(NULL);
do {
time_t delta;
err = pwrite(fd, &buf, 1, PAGE_SIZE*i);
delta = time(NULL) - start;
if (delta > 10) {
fprintf(stderr, "write stuck\n");
break;
}
} while (err == -1 /* && errno == EINTR */);
if (err == -1)
error("write");
if (err != 1)
fprintf(stderr, "Partial write? %d\n", err), exit(EXIT_FAILURE);
}
}
}
static void inv_child(int fd)
{
int k;
char *buf;
int flags;
if (posix_memalign(&buf, PAGE_SIZE, PAGE_SIZE) != 0)
oom();
if (ftruncate(fd, PAGE_SIZE*faulters) == -1)
error("ftruncate");
flags = fcntl(fd, F_GETFL);
if (flags == -1)
error("fcntl");
if (fcntl(fd, F_SETFL, flags|O_DIRECT) == -1)
error("fcntl");
memset(buf, 0, PAGE_SIZE);
for (k = 0;; k++) {
int i;
int err;
if (k > 100) {
k = 0;
printf("+");
usleep(1*1000*1000);
fflush(stdout);
}
for (i = 0; i < (samepage?1:faulters); i++) {
time_t start = time(NULL);
do {
time_t delta;
err = pwrite(fd, buf, PAGE_SIZE, PAGE_SIZE*i);
delta = time(NULL) - start;
if (delta > 10) {
fprintf(stderr, "write stuck\n");
break;
}
} while (err == -1 /* && errno == EINTR */);
if (err == -1)
error("write");
if (err != PAGE_SIZE)
fprintf(stderr, "Partial write? %d\n", err), exit(EXIT_FAILURE);
}
}
}
int main(void)
{
int i;
int fd, err;
PAGE_SIZE = getpagesize();
fd = open(FNAME, O_RDWR|O_CREAT|O_TRUNC, S_IRUSR|S_IWUSR);
if (fd == -1)
error("open");
for (i = 0; i < faulters; i++) {
err = fork();
if (err == -1)
error("fork");
if (!err) {
//nice(20);
dnp_child(i, fd);
exit(EXIT_SUCCESS);
}
}
#if 1
if (invalidate)
inv_child(fd);
else
trunc_child(fd);
#endif
sleep(10);
if (close(fd) == -1)
error("close");
exit(EXIT_SUCCESS);
}
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next prev parent reply other threads:[~2006-10-10 14:26 UTC|newest]
Thread overview: 79+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-10 14:21 [rfc] 2.6.19-rc1-git5: consolidation of file backed fault handlers Nick Piggin
2006-10-10 14:21 ` Nick Piggin
2006-10-10 14:21 ` [patch 1/5] mm: fault vs invalidate/truncate check Nick Piggin
2006-10-10 14:21 ` Nick Piggin
2006-10-10 14:21 ` [patch 2/5] mm: fault vs invalidate/truncate race fix Nick Piggin
2006-10-10 14:21 ` Nick Piggin
2006-10-11 4:38 ` Andrew Morton
2006-10-11 4:38 ` Andrew Morton
2006-10-11 5:39 ` Nick Piggin
2006-10-11 5:39 ` Nick Piggin
2006-10-11 6:00 ` Andrew Morton
2006-10-11 6:00 ` Andrew Morton
2006-10-11 9:21 ` Nick Piggin
2006-10-11 9:21 ` Nick Piggin
2006-10-11 16:21 ` Linus Torvalds
2006-10-11 16:21 ` Linus Torvalds
2006-10-11 16:57 ` SPAM: " Nick Piggin
2006-10-11 16:57 ` Nick Piggin
2006-10-11 17:11 ` Linus Torvalds
2006-10-11 17:11 ` Linus Torvalds
2006-10-11 17:21 ` SPAM: " Nick Piggin
2006-10-11 17:21 ` Nick Piggin
2006-10-11 17:38 ` Linus Torvalds
2006-10-11 17:38 ` Linus Torvalds
2006-10-12 3:33 ` Nick Piggin
2006-10-12 3:33 ` Nick Piggin
2006-10-12 15:37 ` Linus Torvalds
2006-10-12 15:37 ` Linus Torvalds
2006-10-12 15:40 ` Nick Piggin
2006-10-12 15:40 ` Nick Piggin
2006-10-11 5:13 ` Andrew Morton
2006-10-11 5:13 ` Andrew Morton
2006-10-11 5:50 ` Nick Piggin
2006-10-11 5:50 ` Nick Piggin
2006-10-11 6:10 ` Andrew Morton
2006-10-11 6:10 ` Andrew Morton
2006-10-11 6:17 ` [patch 1/6] revert "generic_file_buffered_write(): handle zero length iovec segments" Andrew Morton
2006-10-11 6:17 ` Andrew Morton, Andrew Morton
[not found] ` <20061010231150.fb9e30f5.akpm@osdl.org>
2006-10-11 6:17 ` [patch 2/6] revert "generic_file_buffered_write(): deadlock on vectored write" Andrew Morton
2006-10-11 6:17 ` Andrew Morton, Andrew Morton
[not found] ` <20061010231243.bc8b834c.akpm@osdl.org>
2006-10-11 6:17 ` [patch 3/6] generic_file_buffered_write() cleanup Andrew Morton
2006-10-11 6:17 ` Andrew Morton, Andrew Morton
[not found] ` <20061010231339.a79c1fae.akpm@osdl.org>
2006-10-11 6:18 ` [patch 4/6] generic_file_buffered_write(): fix page prefaulting Andrew Morton
2006-10-11 6:18 ` Andrew Morton, Andrew Morton
[not found] ` <20061010231424.db88931f.akpm@osdl.org>
2006-10-11 6:18 ` [patch 5/6] generic_file_buffered_write(): max_len cleanup Andrew Morton
2006-10-11 6:18 ` Andrew Morton, Andrew Morton
[not found] ` <20061010231514.c1da7355.akpm@osdl.org>
2006-10-11 6:18 ` [patch 6/6] fix pagecache write deadlocks Andrew Morton
2006-10-11 6:18 ` Andrew Morton, Andrew Morton
2006-10-21 1:53 ` [patch 2/5] mm: fault vs invalidate/truncate race fix Benjamin Herrenschmidt
2006-10-21 1:53 ` Benjamin Herrenschmidt
2006-10-10 14:22 ` [patch 3/5] mm: fault handler to replace nopage and populate Nick Piggin
2006-10-10 14:22 ` Nick Piggin
2006-10-10 14:22 ` [patch 4/5] mm: add vm_insert_pfn helpler Nick Piggin
2006-10-10 14:22 ` Nick Piggin
2006-10-11 10:12 ` Thomas Hellstrom
2006-10-11 11:24 ` Nick Piggin
2006-10-11 21:30 ` Thomas Hellström
2006-10-10 14:22 ` [patch 5/5] mm: merge nopfn with fault handler Nick Piggin
2006-10-10 14:22 ` Nick Piggin
2006-10-10 14:26 ` Nick Piggin [this message]
2006-10-10 14:26 ` [rfc] 2.6.19-rc1-git5: consolidation of file backed fault handlers Nick Piggin
2006-10-10 14:33 ` Christoph Hellwig
2006-10-10 14:33 ` Christoph Hellwig
2006-10-10 15:01 ` Nick Piggin
2006-10-10 15:01 ` Nick Piggin
2006-10-10 16:09 ` Arjan van de Ven
2006-10-10 16:09 ` Arjan van de Ven
2006-10-11 0:46 ` SPAM: " Nick Piggin
2006-10-11 0:46 ` Nick Piggin
2006-10-10 15:07 ` Arjan van de Ven
2006-10-10 15:07 ` Arjan van de Ven
-- strict thread matches above, loose matches on Subject: below --
2006-10-09 16:12 Nick Piggin
2006-10-09 16:12 ` Nick Piggin
2006-10-09 20:57 ` Benjamin Herrenschmidt
2006-10-09 20:57 ` Benjamin Herrenschmidt
2006-10-09 21:00 ` Benjamin Herrenschmidt
2006-10-09 21:00 ` Benjamin Herrenschmidt
2006-10-10 0:53 ` Nick Piggin
2006-10-10 0:53 ` Nick Piggin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20061010142610.GD2431@wotan.suse.de \
--to=npiggin@suse.de \
--cc=akpm@osdl.org \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.