<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	>
<channel>
	<title>Comments on: Auditing bitcoind for concurrent database objects: the call graph from hell</title>
	<atom:link href="http://jfxpt.com/2024/auditing-bitcoind-for-concurrent-database-objects-the-call-graph-from-hell/feed/" rel="self" type="application/rss+xml" />
	<link>http://jfxpt.com/2024/auditing-bitcoind-for-concurrent-database-objects-the-call-graph-from-hell/</link>
	<description>The search for invariants</description>
	<pubDate>Sun, 19 Apr 2026 16:42:37 +0000</pubDate>
	<generator>http://polimedia.us</generator>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
		<item>
		<title>By: Dropping BDB locking, bitcoind finally follows the Bitcoin protocol &#171; Fixpoint</title>
		<link>http://jfxpt.com/2024/auditing-bitcoind-for-concurrent-database-objects-the-call-graph-from-hell/#comment-2631</link>
		<dc:creator>Dropping BDB locking, bitcoind finally follows the Bitcoin protocol &#171; Fixpoint</dc:creator>
		<pubDate>Fri, 22 Mar 2024 05:34:27 +0000</pubDate>
		<guid isPermaLink="false">http://jfxpt.com/?p=258#comment-2631</guid>
		<description>[...] diagnosing and measuring the problem, considering options, and mapping the minefield, all that remains is to Make It So. Given the state of the codebase involved, this too explodes [...]</description>
		<content:encoded><![CDATA[<p>[...] diagnosing and measuring the problem, considering options, and mapping the minefield, all that remains is to Make It So. Given the state of the codebase involved, this too explodes [...]</p>
]]></content:encoded>
	</item>
</channel>
</rss>
