4 ms·

I've been looking for such a language for some time now but couldn't find any either. The feasibility to run untrusted code, combined with the ability to suspen

I've been looking for such a language for some time now but couldn't find any either. The feasibility to run untrusted code, combined with the ability to suspend, serialize and reschedule running tasks, as in Stackless Python: http://stackless.readthedocs.io/en/2.7-slp/library/stackless/pickling.html http://stackless.readthedocs.io/en/2.7-slp/library/stackless... would make it possible to have truly distributed applications. Imagine thousands of tasklets jumping through your filesystem, local network or the internet. Another interesting property is determinism, which in turn would allow for remote execution and instruction metering - a computation market. http://e-drexler.com/d/09/00/AgoricsPapers/agoricpapers.html http://e-drexler.com/d/09/00/AgoricsPapers/agoricpapers.html If the code is fully deterministic, verifying results becomes much simpler, one option is comparing merkle roots over the entire program state, for example: https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf

qznc 10y ago
What is your use case? IBM was working on that with Java: https://www.ibm.com/developerworks/library/j-multitenant-java/ https://www.ibm.com/developerworks/library/j-multitenant-jav...
- 7373737373 10y ago
  Nothing serious, really. I just think it would be awesome. In the long term, working on a general purpose BOINC-like platform could be interesting.
abecedarius 10y ago
You might find a few useful ideas in my abandoned project from 15 years ago: https://github.com/darius/idel https://github.com/darius/idel It was inspired in part by just those agoric papers and meant to grow into supporting that kind of market. It was also designed to be fully deterministic, and included the suspending/serializing you mention (disabled because my first stab at resource accounting for that feature was wrong). It only had a few months of work put into it before I ran out of steam, though. Nowadays Web Assembly seems closest (and much further along), though it abandoned full determinism. Kragen Sitaker (HN user kragen) posted some interesting ideas about taking advantage of determinism in a platform built for it from the start. He called it Kogluktualuk, but his post seems to have been lost to googling. I think this is a promising direction still.

qznc 10y ago

What is your use case? IBM was working on that with Java: https://www.ibm.com/developerworks/library/j-multitenant-java/ https://www.ibm.com/developerworks/library/j-multitenant-jav...

7373737373 10y ago
Nothing serious, really. I just think it would be awesome. In the long term, working on a general purpose BOINC-like platform could be interesting.

abecedarius 10y ago

You might find a few useful ideas in my abandoned project from 15 years ago: https://github.com/darius/idel https://github.com/darius/idel It was inspired in part by just those agoric papers and meant to grow into supporting that kind of market. It was also designed to be fully deterministic, and included the suspending/serializing you mention (disabled because my first stab at resource accounting for that feature was wrong). It only had a few months of work put into it before I ran out of steam, though. Nowadays Web Assembly seems closest (and much further along), though it abandoned full determinism. Kragen Sitaker (HN user kragen) posted some interesting ideas about taking advantage of determinism in a platform built for it from the start. He called it Kogluktualuk, but his post seems to have been lost to googling. I think this is a promising direction still.