[Top][All Lists]

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

Re: fluids and unification

From: Andy Wingo
Subject: Re: fluids and unification
Date: Wed, 26 May 2010 15:13:19 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.92 (gnu/linux)


On Wed 26 May 2010 13:16, Stefan <address@hidden> writes:

> I've gone through the code for fluids to understand it. And how it relates to 
> unification variables.
> Some facts for fluids:
> *     Allocation is slow, can be made faster but still it seams to be
> slow

Indeed; you don't want to be allocating new fluids during the course of
e.g. calling a function. You probably just want to use one fluid, and
have that fluid contain the set of already-seen patterns, or the current
unification state, or something...

> The current unification variables
> *     Allocation is stack-like, but the stack is separate.

For example, hold the stack pointer in the fluid.

> So, it would be cool to make fluids allocate faster

Tricky; I looked at this and it's hard, for various reasons. Better to
rearchitect and figure out how to use a small number of fluids instead.

> and also make unify variables be able to be shared between threads.

Really? Are you sure you want this? :)


reply via email to

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