[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Embedding Axiom

From: Tim Daly
Subject: [Axiom-developer] Embedding Axiom
Date: Mon, 30 Nov 2009 07:12:26 -0500
User-agent: Thunderbird (Windows/20090302)

Another trend that is important is the development of parallelism.
Berkeley has a group dedicated to this it seems[1]. Assuming that
today's uniprocessor power is the peak speed for the future we
need to architect the system to take advantage of parallelism.

My view of the natural embedding of parallelism in Axiom is
tightly coupled to provisos. The proviso mechanism holds, manages,
and carries the assumptions that each branch of a computation will
use to constrain the answer. Thus if you have
  f(x) | x > 0
  f(x) | x = 0
  f(x) | x < 0
then you have the ability to perform all three computations in
parallel. I am assuming functional programming and immutable
data structures. These three computations can be forked into their
own images and then the results can be joined. This is a "natural"
parallelism for mathematics computation.

Thus some thought needs to be given to re-architecting the system
to support provisos in a natural way.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]