Andreas Rossberg | 19 Jan 2010 00:09
Favicon

Fwd: 2 questions: is alice alive? oz ffi?

Oops, forgot to CC the list.


Begin forwarded message:

From: Andreas Rossberg <rossberg <at> mpi-sws.org>
Date: January 19, 2010 12:08:32 AM GMT+01:00
To: Raoul Duke <raould <at> gmail.com>
Subject: Re: [Alice-users] 2 questions: is alice alive? oz ffi?

Hi Raoul.

1) is anybody actively maintaining or extending Alice ML?

Not at the moment, and right now it does not look like that will change.

2) iiuc previous versions were built on Oz and could interop with Oz
-- to what extent was that lost moving to SEAM? is there any modern
good way to get that interop ability back for current Alice if so?

Short answer: no. Interop was already problematic with the Mozart version, because of many subtle semantic mismatches. But with SEAM you'd essentially need to port Oz, and there does not seem much point in doing so.

/Andreas


_______________________________________________
alice-users mailing list
alice-users <at> ps.uni-saarland.de
https://www.ps.uni-saarland.de/mailman/listinfo/alice-users
Joachim Durchholz | 19 Jan 2010 23:41

Re: Fwd: 2 questions: is alice alive? oz ffi?

Andreas Rossberg schrieb:
>> 1) is anybody actively maintaining or extending Alice ML?
>
> Not at the moment, and right now it does not look like that will change.

Oh... that means that Alice is effectively dead.

...

That's very sad news.

Best regards, and good luck for whatever you guys are doing right now,
Jo
Lucas Dixon | 20 Jan 2010 11:28
Picon
Picon
Favicon

Re: Fwd: 2 questions: is alice alive? oz ffi?

I'm hoping that some of the features of Alice, and perhaps some of
Andreas' work on module systems also, will make it to PolyML.

hopefully!

What are the most important features of Alice for you?

best,
lucas

Joachim Durchholz wrote:
> Andreas Rossberg schrieb:
>>> 1) is anybody actively maintaining or extending Alice ML?
>> Not at the moment, and right now it does not look like that will change.
> 
> Oh... that means that Alice is effectively dead.
> 
> ...
> 
> That's very sad news.
> 
> 
> 
> Best regards, and good luck for whatever you guys are doing right now,
> Jo
> 
> _______________________________________________
> alice-users mailing list
> alice-users <at> ps.uni-saarland.de
> https://www.ps.uni-saarland.de/mailman/listinfo/alice-users
> 

--

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Joachim Durchholz | 20 Jan 2010 20:51

Re: Fwd: 2 questions: is alice alive? oz ffi?

Lucas Dixon schrieb:
> I'm hoping that some of the features of Alice, and perhaps some of
> Andreas' work on module systems also, will make it to PolyML.
> 
> hopefully!
> 
> What are the most important features of Alice for you?

Alice did not implement the ideal I'm seeking, but it came a long way. I 
have been waiting for the system to mature a bit more before using it in 
anger, but it never progressed (now I know why), so I have to admit that 
I never used it.

However, I found several ideas very intriguing and have been hoping to 
come around to using them.

I found futures an interesting concept. I have no idea how well they 
work in practice, but they were looking well thought-out.

The other point was a whole area, the way Alice was doing networking. 
The ability to marshal anything at a whim would be very valuable - one 
could do all sorts of load balancing, both automatic (load off some 
object network to a less overworked server), by design (experiment with 
different load distributions, simply by creating the root objects of the 
subnetworks in different servers), and manually (let the user move parts 
of a system around).
What made Alice's approach far more limited than necessary was that it 
wouldn't pickle (marshall) "resources", i.e. things like file 
descriptors. Also, IIRC Alice would simply clone mutable values when 
sent over the network - this is a change in semantics, there are now two 
equal but not identical objects where there was only one before. The 
solution is the same for both cases: don't copy the object, create a 
proxy on the target system that will route all calls back to the source 
server. (You'd want functions to "relocate" some kinds of resources, 
i.e. copy their values to the target and install the proxy in the 
source. Preferrably for entire object networks at once.)

Hope that's food for thought :)

Regards,
Jo
Makarius | 21 Jan 2010 11:09

Re: Fwd: 2 questions: is alice alive? oz ffi?

On Wed, 20 Jan 2010, Joachim Durchholz wrote:

> I found futures an interesting concept. I have no idea how well they
> work in practice, but they were looking well thought-out.

Maybe this version of futures in Poly/ML + Isabelle/ML is of some 
interest here:

    David C. J. Matthews and Makarius Wenzel. Efficient Parallel Programming
    in Poly/ML and Isabelle/ML. Proceedings of the ACM SIGPLAN Workshop on
    Declarative Aspects of Multicore Programming (DAMP 2010), co-located
    with POPL, Madrid, Spain, January 2010.

    http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf

Compared to Alice, we have a bit more notational overhead -- this is a 
plain library in SML.  The big advantage is truely parallel evaluation 
based on Posix threads.

 	Makarius
Pippijn van Steenhoven | 20 Jan 2010 21:10
Picon

Re: Fwd: 2 questions: is alice alive? oz ffi?

On Tue, Jan 19, 2010 at 12:09:46AM +0100, Andreas Rossberg wrote:
>> Hi Raoul.
>>
>>> 1) is anybody actively maintaining or extending Alice ML?
>>
>> Not at the moment, and right now it does not look like that will  
>> change.

I wanted to tinker around with the compiler source and maybe extend it. I
was mostly interested in improving error messages and adding user defined
grammar extensions. However, the source didn't compile and I didn't get
help from this list. Basically, the answer was "why on earth do you want
to compile it yourself?" I might try it again someday, but currently, I
am quite busy studying for my exams. It's at least nice to see that
people are actually interested in alice at all.

>>> 2) iiuc previous versions were built on Oz and could interop with Oz
>>> -- to what extent was that lost moving to SEAM? is there any modern
>>> good way to get that interop ability back for current Alice if so?
>>
>> Short answer: no. Interop was already problematic with the Mozart  
>> version, because of many subtle semantic mismatches. But with SEAM  
>> you'd essentially need to port Oz, and there does not seem much point 
>> in doing so.

That is also not something I'd want to do or be interested in doing.

--

-- 
Pippijn van Steenhoven
_______________________________________________
alice-users mailing list
alice-users <at> ps.uni-saarland.de
https://www.ps.uni-saarland.de/mailman/listinfo/alice-users

Gmane