Re: Automatic parallelization - was Re: LISP Object Oriented?

On Tue, 30 Jan 2007 10:51:11 +0100, Marcus Breiing <usenet@xxxxxxxxxxxxxxxxxxxxxxxx> wrote:

George Neuner <gneuner2/@comcast.net> writes:

I can envision a distributed solution based on aggressive evaluation
of futures ... starting from any language with call-by-need
semantics.

Programs written for lazy languages will typically serve up lots of
computations that are _never_ used. If you aggressively evaluate them
anyway, doing it in parallel without starving the original threads may
avoid nontermination, but could nevertheless be a horribly inefficient
use of those cores.


Where is Duane Retting.
His first project for Franz was developing a ACL version for Cray (I think,
a supercomputer anyway).
I learnt Amdahl's law from him. (wikipedia)
What else can he teach me?
He should be in this discussion!

--
Using Opera's revolutionary e-mail client: http://www.opera.com/mail/
.

Relevant Pages

  • Re: object system...
    ... conflict with the actual sun and stars (so, ... Interface too can have some properties defined in terms of third types ... not the language or its target. ... If you ignore overflow exceptions, then necessary, the semantics becomes ...
    (comp.object)
  • Re: Code Comprehension
    ... Given a language like C, where the actual semantics differ quite ... you because of your level of familiarity. ... producing correct code and other sets of semantics that don't. ...
    (comp.programming)
  • Re: what follows from denying an axiom
    ... Chris Menzel is the first person I have ever heard say "second-order ... language purely syntactically. ... Formal system has no semantics. ... to the resultant perception-phenomenon known as relativity, ...
    (sci.logic)
  • Re: what follows from denying an axiom
    ... language purely syntactically. ... Formal system has no semantics. ... to the resultant perception-phenomenon known as relativity, ... Provability is thus relative to a proof theory, ...
    (sci.logic)
  • Re: Minimal keywords needed for constructing a full CL system
    ... | I've implemented much of CL in Emacs Lisp, ... I'm particularly concerned about the "equivalent semantics" clause ... language which meets all of the following criteria: ... |> - At least one of the set of non-local control transfer primitives ...
    (comp.lang.lisp)