ISSTA/ECOOP 2024 (series) / CAKC 2024 (series) / Concurrent Algorithms in Kotlin Coroutines Tutorial /
Fast and Scalable Communication Channels
Wed 18 Sep 2024 10:45 - 11:25 at EI 4 Reithoffer - Concurrent Algorithms in Kotlin Coroutines
The key data structure enabling communication between coroutines is the rendezvous channel. In essence, it is a blocking queue of size zero, so both send(e)
and receive()
operations wait for one another, performing a rendezvous when they meet. To optimize the message-passing pattern, channels are usually equipped with a fixed-size buffer, so sends do not suspend and put elements into the buffer until its capacity is exceeded. This primitive is known as a buffered channel. This talk presents a fast and scalable algorithm for both rendezvous and buffered channels developed for Kotlin coroutines.
Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 11:50 | |||
10:30 15mTalk | Coroutines Scheduler CAKC Nikita Koval JetBrains | ||
10:45 40mTalk | Fast and Scalable Communication Channels CAKC Nikita Koval JetBrains Link to publication | ||
11:25 25mTalk | CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives CAKC Nikita Koval JetBrains Link to publication |
Information for Participants
Wed 18 Sep 2024 10:30 - 11:50 at EI 4 Reithoffer - Concurrent Algorithms in Kotlin Coroutines
Info for room EI 4 Reithoffer: