[M3devel] [M3commit] CVS Update: cm3

[Daniel Alejandro Benavides D.]

Hi all:
yes in a sense, as we don't have the static checker or any static analyzer for its check yet, that is what it is for now, or Am I wrong?
Surely, they showed that is possible to find; Damian Dominguez with Dr Nelson to see a thread deadlock in object oriented code but with a special tool very primitive, but in general we don't have that, I mean we just can get where a thread implementation makes this things illegal, not when the program is illegal by itself, that's the aim for me now. Better to think as you say even better. I don't dispute the last point though you can get a tool to analyze a sample of outputs and make a distribution of it thats what I think a professor told me a day when looking for one of threading without locking, just yielding its control, here surely the case is very different.
Thanks in advance

--- El sáb, 5/2/11, Hendrik Boom <hendrik at topoi.pooq.com> escribió:

> De: Hendrik Boom <hendrik at topoi.pooq.com>
> Asunto: Re: [M3devel] [M3commit] CVS Update: cm3
> Para: m3devel at elegosoft.com
> Fecha: sábado, 5 de febrero, 2011 19:49
> On Sun, Feb 06, 2011 at 12:07:56AM
> +0000, Daniel Alejandro Benavides D. wrote:
> > Hi all:
> ...
> ...
> > Just to let you know if you see this point. 
> 
> It sounds as if you're saying it's possible to prove a
> program is faulty 
> by running it, but it's not possible to say it's correct.
> 
> And concurrency makes things nonrepeatable, especially when
> there's 
> bugs.
> 
> -- hendrik
>