Concurrency Hylomorphism - Lucian Radu Teodorescu - ACCU 2024

---

Concurrency Hylomorphism - Lucian Radu Teodorescu - ACCU 2024
---

In the rapidly evolving landscape of software development, the demand for safe, efficient and easy concurrent programming solutions has never been more critical. Starting from Aristotle's hylomorphism, where substance (hyle) and form (morphe) are inherently interconnected, we discuss a structured concurrency model that guarantees safety, is efficient and as easy to use a non-concurrent programming. This concurrency model is proposed for the Hylo programming language.

We consider the basic requirements for concurrency, bring in ideas from structured programming to allow us to construct this concurrency model. As a result, the concurrency model is for general use, and does not fit just a certain type of problems.

Through various examples, we would walk the attendees through building effective concurrency abstractions. While our central focus is on ease of use, we will also emphasise safety guarantees and delve into performance considerations. We will argue that not only are deadlocks impossible with this model, but also malign race conditions cannot occur.

Sponsored By think-cell
---

Lucian Radu Teodorescu

Lucian Radu Teodorescu has a PhD in programming languages and is a Staff Engineer at Garmin. He likes challenges; and understanding the essence of things (if there is one) constitutes the biggest challenge of all.
---

The ACCU Conference is the annual conference of the ACCU membership, but is open to any and all who wish to attend. The tagline for the ACCU is 'Professionalism in Programming', which captures the whole spectrum of programming languages, tools, techniques and processes involved in advancing our craft. While there remains a core of C and C++ - with many members participating in respective ISO standards bodies - the conference, like the organisation, embraces other language ecosystems and you should expect to see sessions on C#, D, F#, Go, Javascript, Haskell, Java, Kotlin, Lisp, Python, Ruby, Rust, Swift and more.The ACCU Conference is a conference by programmers for programmers about programming.
Discounted rates for members.
---

#programming #concurrency #accuconf #softwaredevelopment #cplusplus

[ladnir]

21:02 His inclusive scan is eager and therefore can not be as efficient as S&R. If you want spawn you can write it in cpp today.

[Voy]

not explaining the syntax was a terrible decision, for example in quicksort:

he uses inout to declare a variable, I would assume that applies only to args.
partition takes just the vector, no predicate...