3 ms·
Do you know of any longer form content that walks through this area, or maybe just a listing of blogs. I have a feeling the resources are relatively scattered o
by throwaway17_17 2y ago
Do you know of any longer form content that walks through this area, or maybe just a listing of blogs. I have a feeling the resources are relatively scattered over various sites and across time, so any tips on search terms to use if a deep dive into this problem (both in Rust and generically in programming language semantics) intrigues me?
- genter 2y agohttps://vorpus.org/blog/notes-on-structured-concurrency-or-go-statement-considered-harmful/ https://vorpus.org/blog/notes-on-structured-concurrency-or-g... https://dubroy.com/blog/handling-user-input-with-structured-concurrency/ https://dubroy.com/blog/handling-user-input-with-structured-... The first one is particularly good. Both of those have links to more topics.
- klabb3 2y agoSibling already gave great pointers to structured concurrency in general. For rust specifically the links in the post were good, some I hadn’t seen that came up in the last 2 years. Perhaps someone from deep PL background has more rigorous papers and such to point to? I highly doubt this is being discovered now for the first time – it wouldn’t surprise me if there’s a whole academic sub-branch about similar things. Given how important concurrency is, and how difficult it is to get right, there’s a lot of opportunity for academia to tackle the problem space. We sure as hell need it.