Re: Not enough parallelism in programming
- From: nmm1@xxxxxxxxxxxxx (Nick Maclaren)
- Date: 1 Sep 2005 12:11:50 GMT
In article <1125499696.90335@xxxxxxxxxxxxxxxxxxx>, Sander Vesik <sander@xxxxxxxxxxxxxxxxxxx> writes:
|> Nick Maclaren <nmm1@xxxxxxxxxxxxx> wrote:
|> >
|> > A's determinant! It does not change d - that is the point. The
|> > invariant that is broken is that d is not A's determinant on entry.
|> >
|> > Now exactly how can hardware detect that, in general, without
|> > solving the halting problem?
|>
|> I don't think it *could* solve the problem even in the hypothetical case
|> where it could solve the halting problem. Because what is missing is any
|> description of intent about the value of d.
Er, yes, it could. Create a program which terminates if the result
of running the above program is correct and loops if not. A solution
to the halting problem can tell if the derived program will halt ....
Regards,
Nick Maclaren.
.
- Prev by Date: Re: Not enough parallelism in programming
- Next by Date: Re: Intel x86 memory model question
- Previous by thread: Re: Not enough parallelism in programming
- Next by thread: Re: Not enough parallelism in programming
- Index(es):
Relevant Pages
|
