<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
	<channel>
		<title>Concurrency on Prateek Sharma</title>
		<link>https://prateeksharma.me/tags/concurrency/</link>
		<description>Recent content in Concurrency on Prateek Sharma</description>
		<generator>Hugo</generator>
		<language>en-us</language>
		
		
		
		
			<lastBuildDate>Tue, 01 Sep 2026 00:00:00 +0000</lastBuildDate>
		
			<atom:link href="https://prateeksharma.me/tags/concurrency/index.xml" rel="self" type="application/rss+xml" />
			<item>
				<title>The Go Programming Language</title>
				<link>https://prateeksharma.me/books/the-go-programming-language/</link>
				<pubDate>Tue, 01 Sep 2026 00:00:00 +0000</pubDate>
				<guid>https://prateeksharma.me/books/the-go-programming-language/</guid>
				<description>&lt;p&gt;TODO: Add review / notes once read.&lt;/p&gt;</description>
			</item>
			<item>
				<title>Daemon threads for WebSocket keepalives</title>
				<link>https://prateeksharma.me/notes/daemon-threads-for-websocket-keepalives/</link>
				<pubDate>Sat, 29 Aug 2026 00:00:00 +0000</pubDate>
				<guid>https://prateeksharma.me/notes/daemon-threads-for-websocket-keepalives/</guid>
				<description>&lt;p&gt;A WebSocket connection that needs periodic pings to stay open shouldn&amp;rsquo;t run that&#xA;ping loop on a plain, non-daemon thread. In the&#xA;&lt;a href=&#34;https://prateeksharma.me/projects/wazirx-connector-java/&#34;&gt;WazirX Java connector&lt;/a&gt;&#xA;, the ping thread is&#xA;started &lt;code&gt;onOpen&lt;/code&gt; and marked &lt;code&gt;setDaemon(true)&lt;/code&gt; before starting it:&lt;/p&gt;&#xA;&lt;div class=&#34;highlight&#34;&gt;&lt;pre tabindex=&#34;0&#34; style=&#34;color:#e6edf3;background-color:#0d1117;-moz-tab-size:2;-o-tab-size:2;tab-size:2;-webkit-text-size-adjust:none;&#34;&gt;&lt;code class=&#34;language-java&#34; data-lang=&#34;java&#34;&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;pingThread&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72;font-weight:bold&#34;&gt;=&lt;/span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72&#34;&gt;new&lt;/span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;Thread(&lt;span style=&#34;color:#ff7b72&#34;&gt;new&lt;/span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;PingMessage(&lt;span style=&#34;color:#ff7b72&#34;&gt;this&lt;/span&gt;));&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;pingThread.setDaemon(&lt;span style=&#34;color:#79c0ff&#34;&gt;true&lt;/span&gt;);&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;pingThread.start();&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;p&gt;A non-daemon thread keeps the JVM alive until it finishes. If a caller opens a&#xA;socket, forgets to close it, and the rest of the application shuts down, a&#xA;non-daemon ping thread will keep the process running indefinitely. A daemon&#xA;thread just gets killed when everything else is done — which is the right&#xA;default for background keepalive work that isn&amp;rsquo;t itself the point of the&#xA;program.&lt;/p&gt;</description>
			</item>
			<item>
				<title>Two-sided membership needs one lock, not two</title>
				<link>https://prateeksharma.me/blog/atomic-membership-in-a-concurrent-go-library/</link>
				<pubDate>Thu, 27 Aug 2026 00:00:00 +0000</pubDate>
				<guid>https://prateeksharma.me/blog/atomic-membership-in-a-concurrent-go-library/</guid>
				<description>&lt;p&gt;&lt;a href=&#34;https://prateeksharma.me/projects/goroomlib/&#34;&gt;Goroomlib&lt;/a&gt;&#xA; models a relationship that points both ways: a&#xA;&lt;code&gt;Room&lt;/code&gt; holds a map of its users, and each &lt;code&gt;User&lt;/code&gt; holds a list of the rooms it&amp;rsquo;s&#xA;in. That redundancy is deliberate — both lookups need to be O(1) — but it&amp;rsquo;s also&#xA;the whole bug surface.&lt;/p&gt;&#xA;&lt;h2 id=&#34;the-first-version&#34;&gt;The first version&lt;/h2&gt;&#xA;&lt;p&gt;&lt;code&gt;AddUserToRoom&lt;/code&gt; did the obvious thing:&lt;/p&gt;&#xA;&lt;div class=&#34;highlight&#34;&gt;&lt;pre tabindex=&#34;0&#34; style=&#34;color:#e6edf3;background-color:#0d1117;-moz-tab-size:2;-o-tab-size:2;tab-size:2;-webkit-text-size-adjust:none;&#34;&gt;&lt;code class=&#34;language-go&#34; data-lang=&#34;go&#34;&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#ff7b72&#34;&gt;func&lt;/span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;(s&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72;font-weight:bold&#34;&gt;*&lt;/span&gt;RoomService)&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#d2a8ff;font-weight:bold&#34;&gt;AddUserToRoom&lt;/span&gt;(roomName&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72&#34;&gt;string&lt;/span&gt;,&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;user&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72;font-weight:bold&#34;&gt;*&lt;/span&gt;User)&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;{&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;room&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;&lt;span style=&#34;color:#ff7b72;font-weight:bold&#34;&gt;:=&lt;/span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;s.rooms[roomName]&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;room.mu.&lt;span style=&#34;color:#d2a8ff;font-weight:bold&#34;&gt;Lock&lt;/span&gt;()&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;room.users[user.ID]&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;=&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;user&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;room.mu.&lt;span style=&#34;color:#d2a8ff;font-weight:bold&#34;&gt;Unlock&lt;/span&gt;()&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;user.mu.&lt;span style=&#34;color:#d2a8ff;font-weight:bold&#34;&gt;Lock&lt;/span&gt;()&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;user.joinedRooms&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;=&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;append(user.joinedRooms,&lt;span style=&#34;color:#6e7681&#34;&gt; &lt;/span&gt;roomName)&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;&lt;span style=&#34;color:#6e7681&#34;&gt;    &lt;/span&gt;user.mu.&lt;span style=&#34;color:#d2a8ff;font-weight:bold&#34;&gt;Unlock&lt;/span&gt;()&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style=&#34;display:flex;&#34;&gt;&lt;span&gt;}&lt;span style=&#34;color:#6e7681&#34;&gt;&#xA;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/code&gt;&lt;/pre&gt;&lt;/div&gt;&lt;p&gt;Each side is individually locked, so &lt;code&gt;go vet&lt;/code&gt; and the race detector on a simple&#xA;test are both happy. But there&amp;rsquo;s a window between the two critical sections where&#xA;the room says &amp;ldquo;user is here&amp;rdquo; and the user says &amp;ldquo;I&amp;rsquo;m not in that room.&amp;rdquo; Anything&#xA;that reads both — say, a disconnect handler that walks &lt;code&gt;user.joinedRooms&lt;/code&gt; to&#xA;remove the user from each — can run in that window and leak the membership.&lt;/p&gt;</description>
			</item>
			<item>
				<title>Goroomlib</title>
				<link>https://prateeksharma.me/projects/goroomlib/</link>
				<pubDate>Sun, 23 Aug 2026 00:00:00 +0000</pubDate>
				<guid>https://prateeksharma.me/projects/goroomlib/</guid>
				<description>&lt;p&gt;Across the poker platforms I&amp;rsquo;ve worked on at Adda52 and Mind Sports League, one&#xA;shape kept showing up: users joining a table, leaving it, sending messages to&#xA;everyone at it, and the server keeping track of who&amp;rsquo;s where. Every time I touched&#xA;a new real-time feature, I ended up rewriting the same User and Room bookkeeping&#xA;from scratch. I wanted to pull that pattern out once, get it right, and stop&#xA;reimplementing it.&lt;/p&gt;</description>
			</item>
	</channel>
</rss>
