Dale Schumacher | 7 Nov 15:39 2011
Picon

High Availability for Mutable Shared State

Consistency is a fundamental property of actor message reception and
processing, but it can affect availability.  Availability can be
restored by off-loading query and update computations to
dynamically-created workers.  Fairness in serialization of updates is
accomplished with a simple O(1) Banker's Queue implementation.  See
http://bit.ly/vtPYk4 for details.

============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
lectures, archives, unsubscribe, maps at http://www.friam.org

karl ramberg | 8 Nov 00:08 2011
Picon

new document

http://www.vpri.org/pdf/tr2011004_steps11.pdf

Karl

Marcel Weiher | 8 Nov 16:12 2011
Picon

Sussman on InfoQ: We Really Don't Know How To Compute!


	http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute

DeNigris Sean | 8 Nov 17:49 2011

Re: new document

On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:
> http://www.vpri.org/pdf/tr2011004_steps11.pdf

It's so exciting to watch the project come along. I can't wait to eventually play with it!

With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year)
and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into
preparing the talks, it seems like a great waste to share this knowledge with only the few academics who
happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing
all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't?
Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even
an iPhone video could work!

Sean
Joel Healy | 8 Nov 19:05 2011
Picon

Re: new document

+1

Joel Healy


On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <sean-HdtZGoKLKd41HXoXgX+rmQ@public.gmane.org> wrote:
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:
> http://www.vpri.org/pdf/tr2011004_steps11.pdf

It's so exciting to watch the project come along. I can't wait to eventually play with it!

With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!

Sean
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc

<div>
<p>+1<br><br>Joel Healy<br><br><br></p>
<div class="gmail_quote">On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <span dir="ltr">&lt;<a href="mailto:sean <at> clipperadams.com">sean@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:<br>
&gt; <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
It's so exciting to watch the project come along. I can't wait to eventually play with it!<br><br>
With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!<br><span class="HOEnZb"><br>
Sean<br></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</div></div>
</blockquote>
</div>
<br>
</div>
Kevin Driedger | 8 Nov 20:30 2011
Picon

Re: new document

+1 !!!!!!!!!!!!!!


]{evin ])riedger

On Tue, Nov 8, 2011 at 1:05 PM, Joel Healy <joel.h.healy <at> gmail.com> wrote:
+1

Joel Healy



On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <sean <at> clipperadams.com> wrote:
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:
> http://www.vpri.org/pdf/tr2011004_steps11.pdf

It's so exciting to watch the project come along. I can't wait to eventually play with it!

With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!

Sean
_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc


_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc


<div>
<p>+1 !!!!!!!!!!!!!!</p>
<div>
<br clear="all">]{evin ])riedger<br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 1:05 PM, Joel Healy <span dir="ltr">&lt;<a href="mailto:joel.h.healy@...">joel.h.healy <at> gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

+1<span class="HOEnZb"><br><br>Joel Healy</span><div class="HOEnZb"><div class="h5">
<br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 10:49 AM, DeNigris Sean <span dir="ltr">&lt;<a href="mailto:sean@..." target="_blank">sean <at> clipperadams.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">
On Nov 7, 2011, at 6:08 PM, karl ramberg wrote:<br>
&gt; <a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
It's so exciting to watch the project come along. I can't wait to eventually play with it!<br><br>
With every annual report, I think what a shame it is that there are so many talks given about it (~20 this year) and so few (~3) are recorded. Given the vital importance of this project, and all the work that must go into preparing the talks, it seems like a great waste to share this knowledge with only the few academics who happen to be at the various conferences. I attend about 6 conferences a year and still feel like I'm missing all the fun. Why doesn't VPRI just take the bull by the horns and record them even if the conferences don't? Consumer video equipment is so good now, it probably wouldn't cost anything but a few conversations - even an iPhone video could work!<br><span><br>
Sean<br></span><div><div>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</div></div>
</blockquote>
</div>
<br>
</div></div>
<br>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br>
</blockquote>
</div>
<br>
</div>
</div>
David Barbour | 8 Nov 21:09 2011
Picon

Re: new document

I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. 


I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.
<div>
<p>I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.&nbsp;</p>
<div><br></div>
<div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div>
<br>[1]&nbsp;<a href="http://conal.net/Vertigo/">http://conal.net/Vertigo/</a>
</div>
<div>[2]&nbsp;<a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><br><br><div class="gmail_quote">
On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr">&lt;<a href="mailto:karlramberg@...">karlramberg@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">
<a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
Karl<br><br>
_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
Kevin Driedger | 8 Nov 21:21 2011
Picon

Re: new document

Both are available on github.


Gizera:

Nile:

Perhaps that could get you started.

]{evin



On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <dmbarbour <at> gmail.com> wrote:
I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. 

I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.

_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc


<div>
<p>Both are available on github.</p>
<div><br></div>
<div>Gizera:</div>
<div>
<a href="https://github.com/damelang/gezira">https://github.com/damelang/gezira</a>&nbsp;</div>
<div><br></div>
<div>Nile:</div>
<div>
<a href="https://github.com/damelang/nile">https://github.com/damelang/nile</a>&nbsp;</div>

<div><br></div>
<div>Perhaps that could get you started.<div>
<br clear="all">]{evin</div>
<div>
<br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <span dir="ltr">&lt;<a href="mailto:dmbarbour@...">dmbarbour <at> gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.&nbsp;<div><br></div>
<div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div>

<br>[1]&nbsp;<a href="http://conal.net/Vertigo/" target="_blank">http://conal.net/Vertigo/</a>
</div>
<div>[2]&nbsp;<a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial" target="_blank">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><div>

<div class="h5">
<br><br><div class="gmail_quote">
On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr">&lt;<a href="mailto:karlramberg@..." target="_blank">karlramberg@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

<a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
Karl<br><br>
_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</div>
<br>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
David Barbour | 8 Nov 21:32 2011
Picon

Re: new document

Thanks.

On Tue, Nov 8, 2011 at 12:21 PM, Kevin Driedger <linuxbox+fonc-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
Both are available on github.

Gizera:

Nile:

Perhaps that could get you started.

]{evin



On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <dmbarbour-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language. 

I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.

_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc



_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc


<div>
<p>Thanks.<br><br></p>
<div class="gmail_quote">On Tue, Nov 8, 2011 at 12:21 PM, Kevin Driedger <span dir="ltr">&lt;<a href="mailto:linuxbox%2Bfonc <at> gmail.com">linuxbox+fonc@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">
Both are available on github.<div><br></div>
<div>Gizera:</div>
<div>
<a href="https://github.com/damelang/gezira" target="_blank">https://github.com/damelang/gezira</a>&nbsp;</div>
<div><br></div>
<div>Nile:</div>
<div>
<a href="https://github.com/damelang/nile" target="_blank">https://github.com/damelang/nile</a>&nbsp;</div>

<div><br></div>
<div>Perhaps that could get you started.<div>
<br clear="all">]{evin</div>
<div><div class="h5"><div>
<br><br><br><div class="gmail_quote">On Tue, Nov 8, 2011 at 3:09 PM, David Barbour <span dir="ltr">&lt;<a href="mailto:dmbarbour@..." target="_blank">dmbarbour@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

I would like to see dedicated papers or links on Gezira and Nile - enough to re-implement them in another language.&nbsp;<div><br></div>
<div>I expect techniques as used in Vertigo [1] or GPipe [2] could put Nile directly on a GPU, via pixel and geometry shaders. This would be a far better proof-of-concept, IMO, than relying on user threads across 40 cores to get a 30x speedup.<div>

<br>[1]&nbsp;<a href="http://conal.net/Vertigo/" target="_blank">http://conal.net/Vertigo/</a>
</div>
<div>[2]&nbsp;<a href="http://www.haskell.org/haskellwiki/GPipe/Tutorial" target="_blank">http://www.haskell.org/haskellwiki/GPipe/Tutorial</a><div>

<div>
<br><br><div class="gmail_quote">
On Mon, Nov 7, 2011 at 3:08 PM, karl ramberg <span dir="ltr">&lt;<a href="mailto:karlramberg@..." target="_blank">karlramberg@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

<a href="http://www.vpri.org/pdf/tr2011004_steps11.pdf" target="_blank">http://www.vpri.org/pdf/tr2011004_steps11.pdf</a><br><br>
Karl<br><br>
_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</blockquote>
</div>
<br>
</div>
</div>
</div>
</div>
<br>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br>
</blockquote>
</div>
<br>
</div></div></div>
</div>
<br>_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@...">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br><br>
</blockquote>
</div>
<br>
</div>
Max OrHai | 8 Nov 21:41 2011
Picon

Re: Sussman on InfoQ: We Really Don't Know How To Compute!

This is a good one. Sussman, like many pioneers, is refreshingly un-dogmatic, perhaps as a consequence of having never been properly indoctrinated by the standard CS curriculum. Plus, he's both brilliant and by this point very experienced in solving lots of real problems.


FWIW, he could certainly lecture for 60 minutes on developmental systems biology, but you shouldn't believe a word of it: he seem to still be holding tight to the (once irresistible, but now mostly discredited) "DNA as Turing Machine tape" analogy. I had to stifle a guffaw when he says cells have "oh, I don't know, a few K of RAM". Somebody should clue him in about the proteome: there's a huge amount of really dynamic stuff going on in a living cell, and DNA-as-code simply isn't the whole story. There's a great book by Susan Oyama that clarifies this stuff. Anyway, if we're going to look for inspiration in biology, we should take some care to try to know what we're talking about.

-- Max

On Tue, Nov 8, 2011 at 7:12 AM, Marcel Weiher <marcel.weiher-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:

       http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute



_______________________________________________
fonc mailing list
fonc-uVco7kAcSAQ@public.gmane.org
http://vpri.org/mailman/listinfo/fonc

<div>
<p>This is a good one. Sussman, like many pioneers, is refreshingly un-dogmatic, perhaps as a consequence of having never been properly indoctrinated by the standard CS curriculum. Plus, he's both brilliant and by this point very experienced in solving lots of real problems.</p>
<div>
<br>
</div>
<div>
<div>FWIW, he could certainly lecture for 60 minutes on developmental systems biology, but you shouldn't believe a word of it: he seem to still be holding tight to the (once&nbsp;irresistible, but now mostly discredited) "DNA as Turing Machine tape" analogy. I had to stifle a guffaw when he says cells have "oh, I don't know, a few K of RAM". Somebody should clue him in about the proteome: there's a huge amount of really dynamic stuff going on in a living cell, and DNA-as-code simply isn't the whole story. There's a&nbsp;<a href="http://books.google.com/books?id=E3O83dh96uEC&amp;dq=isbn:0822324660" target="_blank">great book by Susan Oyama</a>&nbsp;that clarifies this stuff. Anyway, if we're going to look for inspiration in biology, we should take some care to try to know what we're talking about.</div>
<div><br></div>
<div>
-- Max</div>
<br><div class="gmail_quote">On Tue, Nov 8, 2011 at 7:12 AM, Marcel Weiher <span dir="ltr">&lt;<a href="mailto:marcel.weiher <at> gmail.com" target="_blank">marcel.weiher@...</a>&gt;</span> wrote:<br><blockquote class="gmail_quote">

<br>
 &nbsp; &nbsp; &nbsp; &nbsp;<a href="http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute" target="_blank">http://www.infoq.com/presentations/We-Really-Dont-Know-How-To-Compute</a><br><br><br><br>
_______________________________________________<br>
fonc mailing list<br><a href="mailto:fonc@..." target="_blank">fonc@...</a><br><a href="http://vpri.org/mailman/listinfo/fonc" target="_blank">http://vpri.org/mailman/listinfo/fonc</a><br>
</blockquote>
</div>
<br>
</div>
</div>

Gmane