On Mon, 17 Dec 2001, Trond Myklebust wrote:
> However, 2 races + 4 bugs observed is already pretty much a record for
> a single program. Kudos to the NeXT developers...
Indeed. It's a really neat tool, we could use more like it.
It also is good at finding cache flushing bugs on platforms
where that is an issue :-)
BTW, here is a portability fix for fsx-linux.c :-)
--- fsx-linux.c.~1~ Mon Dec 17 16:24:11 2001
+++ fsx-linux.c Mon Dec 17 16:28:19 2001
@@ -67,7 +67,7 @@
#define OP_SKIPPED 7
#ifndef PAGE_SIZE
-#define PAGE_SIZE 4096
+#define PAGE_SIZE getpagesize()
#endif
#define PAGE_MASK (PAGE_SIZE - 1)
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/