<div dir="ltr">You might want to consider the difference between threads and processes — and that the latter are more or less impossible to get correct in the presence of multiple threads.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jul 17, 2019 at 10:03 AM Станислав Черничкин <<a href="mailto:schernichkin@gmail.com">schernichkin@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Benefits and use cases for strong mobility in presence of closure serialization<br><br>I read a paper about strong mobility in Haskell <a href="http://www.dcs.gla.ac.uk/~trinder/papers/strongm.pdf" target="_blank">http://www.dcs.gla.ac.uk/~trinder/papers/strongm.pdf</a> and I wondering what benefits it gives in presence of closure serialization? I guess for some languages strong mobility could be only way to transfer execution state of program, e.g.<br><br>[Mobile Pascal;)]<br>program Test;<br>var<br>  a: Integer;<br>begin<br>  readln(a);             // acquiring on current host<br>  moveTo("anotherHost"); // transfering state and terminating<br>  writeln(a);            // printing on another host<br>end.<br><br>but in Haskell same program can be written just using rfork :: Host -> IO () -> IO ():<br><br>main = do<br>  a <- readLn <br>  rfork AnotherHost $ do<br>    print a<br><br>The difference comparing to moveTo :: Host -> IO () version is purely syntactic:<br><br>main = do <br>  a <- readLn <br>  moveTo AnotherHost<br>  print a<br><div><br></div>-- <br><div dir="ltr" class="gmail-m_5732513343955559367gmail_signature"><div dir="ltr"><span style="font-family:arial;font-size:small">Sincerely, Stanislav Chernichkin.</span><br></div></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>