From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4C128597.2080204@bouyapop.org> Date: Fri, 11 Jun 2010 20:51:03 +0200 From: Philippe Anel User-Agent: Thunderbird 2.0.0.24 (X11/20100318) MIME-Version: 1.0 To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> References: <4C1242CD.5020202@bouyapop.org> <4C124F5E.10104@bouyapop.org> <20100611171151.2E04B5B8B@mail.bitblocks.com> <4C12730E.8060601@bouyapop.org> <20100611183405.831205B8B@mail.bitblocks.com> In-Reply-To: <20100611183405.831205B8B@mail.bitblocks.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [9fans] 9vx, kproc and *double sleep* Topicbox-Message-UUID: 31c0b290-ead6-11e9-9d60-3106f5b1d025 You can download my own (ugly) 9vx source code here : http://www.bouyapop.org/9vxigh.tar.bz2 In 9vx you'll find .gdbinit and crash.c. Just copy it to vx32 and replace 9vx folder, compile it and execute it under gdb with you own 9vx env. (gdb) r -F -r then compile and execute crash.c with 8c/8l. When it crashes, you can watch the latest logs with the gdb command k9logs 100 (it will show you 100 last ops). Phil; Bakul Shah wrote: > On Fri, 11 Jun 2010 19:31:58 +0200 Philippe Anel wrote: > >> I only did my tests on 9vx. I have a version that I instrumented with >> a circular log buffer, and I have some gdb macros which dumps the >> buffer. >> >> I can put the whole source somewhere and even a log with my comments >> of the bug if you want to see it. But please note that I made several >> > > Yes, please. Thanks! > > >> changes (because I had to understand how it works) and I would rather >> copy my changes to the latest 9vx source tree so that everyone can >> read it. What do you think ? >> > > Agreed. Best to check this in on a separate branch though. > Branching/merging is cheap in hg. > > >> Please, I would like to insist on the fact I'm not saying the promela >> model is wrong. And I realize that the fix I propose might not be the >> good one. Maybe the problem is even elsewhere. All these is just >> feelings, logs and headache. >> > > I haven't used promela so can't say anything about it. > sleep() is pretty complicated so figuring it out will take > some time and effort but I first have to understand the cause > and from past experience I know that code to check a cause > hypothesis can be quite valuable (hence my earlier question). > An unambiguous proof of what went wrong somehow frees my mind > to better focus on the solution! > > Thanks for your thought experiements & code! > > >