5 ms·

Modern OCaml multithreading is still a couple years away, the current (very promising) approach is still at the design/experimental stage. Out of curiosity, wh

Modern OCaml multithreading is still a couple years away, the current (very promising) approach is still at the design/experimental stage. Out of curiosity, what is it about smart contracts that makes multithreading so important? Why isn't multiprocessing enough? [edit: sorry, I mis-read your comment. You said that multithreading probably isn't a big deal for this problem.]

rbjorklin 8y ago
It doesn’t necessarily have to be that far out: https://twitter.com/kc_srk/status/994535108127404038?s=20 https://twitter.com/kc_srk/status/994535108127404038?s=20
- gmfawcett 8y ago
  That would be very nice. I was basing my comments on these meeting notes [1], which seem a bit more conservative. (Multicore should be available experimentally in early 2019, but not ready for production use. I guess the next steps depend on how well those experiments pan out!) https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june-2018-development-meeting-in-paris/2202?u=gasche https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june...
HumanDrivenDev 8y ago
Modern OCaml multithreading is still a couple years away It's been a couple of years away for the last 10 years.
- gmfawcett 8y ago
  I know, and I hate sharing "it's coming soon" stories for that reason. But the recent multicore progress-update does seem well conceived, and so personally I'm giving them the benefit of the doubt. :)
  - laylomo2 8y ago
    For the record, the current story is that they are merging some multicore things into 4.08, and it will only be available as an "experimental" feature. So even after it is in the compiler, it will be a couple more revisions before it is fully accepted.
    - gmfawcett 8y ago
      Right, I linked to these summary notes in a different comment: https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june-2018-development-meeting-in-paris/2202?u=gasche https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june...
woolvalley 8y ago
Not for smart contracts, just as a language in general.

rbjorklin 8y ago

It doesn’t necessarily have to be that far out: https://twitter.com/kc_srk/status/994535108127404038?s=20 https://twitter.com/kc_srk/status/994535108127404038?s=20

gmfawcett 8y ago
That would be very nice. I was basing my comments on these meeting notes [1], which seem a bit more conservative. (Multicore should be available experimentally in early 2019, but not ready for production use. I guess the next steps depend on how well those experiments pan out!) https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june-2018-development-meeting-in-paris/2202?u=gasche https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june...

HumanDrivenDev 8y ago

Modern OCaml multithreading is still a couple years away It's been a couple of years away for the last 10 years.

gmfawcett 8y ago
I know, and I hate sharing "it's coming soon" stories for that reason. But the recent multicore progress-update does seem well conceived, and so personally I'm giving them the benefit of the doubt. :)
- laylomo2 8y ago
  For the record, the current story is that they are merging some multicore things into 4.08, and it will only be available as an "experimental" feature. So even after it is in the compiler, it will be a couple more revisions before it is fully accepted.
  - gmfawcett 8y ago
    Right, I linked to these summary notes in a different comment: https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june-2018-development-meeting-in-paris/2202?u=gasche https://discuss.ocaml.org/t/ocaml-multicore-report-on-a-june...

woolvalley 8y ago

Not for smart contracts, just as a language in general.