4 ms·

The structured parallelism movement predates structured concurrency by years and needs a similar push. It's from 2004 with the X10 parallel language and then H

The structured parallelism movement predates structured concurrency by years and needs a similar push. It's from 2004 with the X10 parallel language and then Habanero in Java via their "async-finish" construct I wonder if your quote (structured XYZ or ABC considered harmful) is inspired by - https://conf.researchr.org/details/etaps-2019/places-2019-papers/2/Keynote-Unstructured-Parallelism-Considered-Harmful-Using-Structured-Parallelism- https://conf.researchr.org/details/etaps-2019/places-2019-pa...

yxhuvud 6y ago
Well the link I posted is older than your link from 2019 so I doubt that. The other direction may be possible. However, enither are definitely not the first having ideas along these lines - structures and logic like this can also be found in Erlang supervisors after all. And as for the quote, it is quite explicitly referring to Dijkstra and structured programming constructs in nonconcurrent settings.
- mratsim 6y ago
  X10 Programming language is from 2004, http://x10-lang.org/x10-community/publications-using-x10.html http://x10-lang.org/x10-community/publications-using-x10.htm... Habanero Java from 2011 https://www.cs.rice.edu/~vs3/PDF/hj-pppj11.pdf https://www.cs.rice.edu/~vs3/PDF/hj-pppj11.pdf
  - yxhuvud 6y ago
    No doubt. In any case, the author notes his main influences in footnote 3, and those are not part of that. It seems he has a more practical than academic background in this.
    - mratsim 6y ago
      The author of the talk, Vivek Sarkar, is co-author in both the X10 paper from 2004 and the Habanero paper of 2011. That's why those are not part of his influences, he co-wrote those papers.
      - yxhuvud 6y ago
        I was referring to the author of vorpus post I posted.
        mratsim 6y ago
        Ah I see.