From: Timo Sirainen <tss@iki.fi>
To: linux-kernel@vger.kernel.org
Subject: Re: SMP read() stopping at memory page boundaries
Date: Wed, 20 Jun 2007 18:48:13 +0300 [thread overview]
Message-ID: <1182354493.3768.80.camel@hurina> (raw)
In-Reply-To: <1182351171.3768.65.camel@hurina>
[-- Attachment #1.1: Type: text/plain, Size: 1018 bytes --]
On Wed, 2007-06-20 at 17:52 +0300, Timo Sirainen wrote:
> Sometimes read() returns only 4096 bytes. I'm locking the file, so I
> don't think this should ever happen, right?
Sorry, the problem was with file truncating so there's no bug with
locking. I didn't notice it first because it happened to work with
FreeBSD and Solaris.
Without locking there's a problem that I'd want to avoid, but I guess
it's not necessarily a bug (although it doesn't seem to happen with
FreeBSD or Solaris):
Process 1:
- create "foo2"
- rename() to "foo"
- lock
- write(4096 + 16 bytes)
- [fsync() here doesn't change anything]
- pwrite("1111" to offset=4096-4)
- unlock
Process 2:
- open("foo")
- read(8192 bytes)
read() sometimes returns 4096 bytes but with the "1111" already included
in the data. Is there a way to avoid this without locking the file while
reading? The "1111" tries to act as a kind of a lock.
Again attached a test program, which should really do what I
intended. :)
[-- Attachment #1.2: concurrency.c --]
[-- Type: text/x-csrc, Size: 1718 bytes --]
/*
gcc concurrency.c -o concurrency -Wall
start two both a reader and a writer:
./concurrency
./concurrency 1
*/
#define _XOPEN_SOURCE 500
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <fcntl.h>
#include <unistd.h>
#include <assert.h>
#include <sys/file.h>
#define MAX_PAGESIZE 8192
int main(int argc, char *argv[])
{
char buf[MAX_PAGESIZE*2], ones[4] = { 1, 1, 1, 1 };
int fd, ret, pagesize;
memset(buf, 0, sizeof(buf));
pagesize = getpagesize();
assert(pagesize <= MAX_PAGESIZE);
buf[pagesize] = 'h';
if (argc == 1) {
printf("writing, page size = %d\n", pagesize);
for (;;) {
fd = open("foo2", O_RDWR | O_CREAT | O_TRUNC, 0600);
if (fd == -1) {
perror("open()");
return 1;
}
if (rename("foo2", "foo") < 0)
perror("rename()");
usleep(rand() % 1000);
if (flock(fd, LOCK_EX) < 0)
perror("flock()");
pwrite(fd, buf, pagesize+16, 0);
//usleep(rand() % 1000);
//fdatasync(fd);
pwrite(fd, ones, 4, pagesize-4);
if (flock(fd, LOCK_UN) < 0)
perror("flock()");
usleep(rand() % 1000);
close(fd);
}
} else {
printf("reading, page size = %d\n", pagesize);
for (;; close(fd)) {
fd = open("foo", O_RDWR, 0600);
if (fd == -1) {
perror("open()");
return 1;
}
ret = pread(fd, buf, sizeof(buf), 0);
if (ret < pagesize) {
if (ret > 0)
printf("less than a page: %d\n", ret);
continue;
}
if (memcmp(buf + pagesize - 4, ones, 4) == 0) {
if (ret == pagesize) {
printf("page size cut\n");
} else if (buf[pagesize] != 'h') {
printf("broken data\n");
}
}
}
}
return 0;
}
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 189 bytes --]
next prev parent reply other threads:[~2007-06-20 15:48 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-06-20 14:52 SMP read() stopping at memory page boundaries Timo Sirainen
2007-06-20 15:48 ` Timo Sirainen [this message]
2007-06-20 16:22 ` Ray Lee
2007-06-20 16:57 ` Timo Sirainen
2007-06-20 17:05 ` Alan Cox
2007-06-20 17:48 ` Timo Sirainen
2007-06-20 23:22 ` Jiri Kosina
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=1182354493.3768.80.camel@hurina \
--to=tss@iki.fi \
--cc=linux-kernel@vger.kernel.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox