amigadave,
Quote:
What do you mean by "Concurrent C with loads of deadlock"?
XC programming language - I assume that's the primary language used to program Xena?
We were taught that along with CSP. The latter is used for formal reasoning about concurrent programs. That's pretty essential when getting multiple XMOS cores or threads to communicate, or the XC program will have all kinds of race conditions.
Most students on my course struggled with the shift in paradigm from sequential programming, it really requires a lot of formal planning to avoid
deadlock. Even for seasoned programmers. What didn't help was the bugs in the version of XC we were using - two semantically-equivalent programs gave different results. Hopefully XMOS will debug their SDK.
