Re: [sqlite] Data race (file race) in pager

2012-05-05 Thread Paul Thomson
Excellent! I was hoping/assuming it would be something like this. In this case, there is one process and two threads, but this is almost certainly what is happening. Is this explained in a code comment somewhere? If not, would an sqlite committer be willing to add it? It is always nice when

Re: [sqlite] Data race (file race) in pager

2012-05-04 Thread Dan Kennedy
On 05/04/2012 11:21 PM, Paul Thomson wrote: I am working on a tool that (among other things) can detect data races, including file access races. I have detected a file race in SQLite on the database file that appears to be real, although I am not certain - I have no experience with SQLite. I

Re: [sqlite] Data race (file race) in pager

2012-05-04 Thread Richard Hipp
On Fri, May 4, 2012 at 12:21 PM, Paul Thomson wrote: > I am working on a tool that (among other things) can detect data > races, including file access races. I have detected a file race in > SQLite on the database file that appears to be real, although I am not > certain - I

[sqlite] Data race (file race) in pager

2012-05-04 Thread Paul Thomson
I am working on a tool that (among other things) can detect data races, including file access races. I have detected a file race in SQLite on the database file that appears to be real, although I am not certain - I have no experience with SQLite. I compiled SQLite with: #define SQLITE_THREADSAFE 2