<!-- 
RSS generated by JIRA (9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66) at Thu Feb 08 05:08:08 UTC 2024

It is possible to restrict the fields that are returned in this document by specifying the 'field' parameter in your request.
For example, to request only the issue key and summary append 'field=key&field=summary' to the URL of your request.
-->
<rss version="0.92" >
<channel>
    <title>MongoDB Jira</title>
    <link>https://jira.mongodb.org</link>
    <description>This file is an XML representation of an issue</description>
    <language>en-us</language>    <build-info>
        <version>9.7.1</version>
        <build-number>970001</build-number>
        <build-date>13-04-2023</build-date>
    </build-info>


<item>
            <title>[SERVER-45184] &quot;reopened transaction&quot; invariant in TLA+ trace logging with inMemory storage engine</title>
                <link>https://jira.mongodb.org/browse/SERVER-45184</link>
                <project id="10000" key="SERVER">Core Server</project>
                    <description>&lt;p&gt;mongod crashes if TLA+ trace logging is enabled with the inMemory storage engine:&lt;/p&gt;
&lt;p/&gt;
&lt;div id=&quot;syntaxplugin&quot; class=&quot;syntaxplugin&quot; style=&quot;border: 1px dashed #bbb; border-radius: 5px !important; overflow: auto; max-height: 30em;&quot;&gt;
&lt;table cellspacing=&quot;0&quot; cellpadding=&quot;0&quot; border=&quot;0&quot; width=&quot;100%&quot; style=&quot;font-size: 1em; line-height: 1.4em !important; font-weight: normal; font-style: normal; color: black;&quot;&gt;
		&lt;tbody &gt;
				&lt;tr id=&quot;syntaxplugin_code_and_gutter&quot;&gt;
						&lt;td  style=&quot; line-height: 1.4em !important; padding: 0em; vertical-align: top;&quot;&gt;
					&lt;pre style=&quot;font-size: 1em; margin: 0 10px;  margin-top: 10px;   width: auto; padding: 0;&quot;&gt;&amp;nbsp;&lt;/pre&gt;
			&lt;/td&gt;
		&lt;/tr&gt;
				&lt;tr id=&quot;syntaxplugin_code_and_gutter&quot;&gt;
						&lt;td  style=&quot; line-height: 1.4em !important; padding: 0em; vertical-align: top;&quot;&gt;
					&lt;pre style=&quot;font-size: 1em; margin: 0 10px;   width: auto; padding: 0;&quot;&gt;&lt;span style=&quot;color: black; font-family: &apos;Consolas&apos;, &apos;Bitstream Vera Sans Mono&apos;, &apos;Courier New&apos;, Courier, monospace !important;&quot;&gt;I  INDEX    [monitoring-keys-for-HMAC] index build: done building index _id_ on ns admin.system.keys&lt;/span&gt;&lt;/pre&gt;
			&lt;/td&gt;
		&lt;/tr&gt;
				&lt;tr id=&quot;syntaxplugin_code_and_gutter&quot;&gt;
						&lt;td  style=&quot; line-height: 1.4em !important; padding: 0em; vertical-align: top;&quot;&gt;
					&lt;pre style=&quot;font-size: 1em; margin: 0 10px;   width: auto; padding: 0;&quot;&gt;&lt;span style=&quot;color: black; font-family: &apos;Consolas&apos;, &apos;Bitstream Vera Sans Mono&apos;, &apos;Courier New&apos;, Courier, monospace !important;&quot;&gt;D2 TLA_PLUS [monitoring-keys-for-HMAC] Getting global lock in IS mode to log AdvanceCommitPoint for RaftMongo.tla&lt;/span&gt;&lt;/pre&gt;
			&lt;/td&gt;
		&lt;/tr&gt;
				&lt;tr id=&quot;syntaxplugin_code_and_gutter&quot;&gt;
						&lt;td  style=&quot; line-height: 1.4em !important; padding: 0em; vertical-align: top;&quot;&gt;
					&lt;pre style=&quot;font-size: 1em; margin: 0 10px;   width: auto; padding: 0;&quot;&gt;&lt;span style=&quot;color: black; font-family: &apos;Consolas&apos;, &apos;Bitstream Vera Sans Mono&apos;, &apos;Courier New&apos;, Courier, monospace !important;&quot;&gt;D2 TLA_PLUS [monitoring-keys-for-HMAC] Going to log AdvanceCommitPoint as Leader for RaftMongo.tla, reading oplog with timestamp (nothing)&lt;/span&gt;&lt;/pre&gt;
			&lt;/td&gt;
		&lt;/tr&gt;
				&lt;tr id=&quot;syntaxplugin_code_and_gutter&quot;&gt;
						&lt;td  style=&quot; line-height: 1.4em !important; padding: 0em; vertical-align: top;&quot;&gt;
					&lt;pre style=&quot;font-size: 1em; margin: 0 10px;   margin-bottom: 10px;  width: auto; padding: 0;&quot;&gt;&lt;span style=&quot;color: black; font-family: &apos;Consolas&apos;, &apos;Bitstream Vera Sans Mono&apos;, &apos;Courier New&apos;, Courier, monospace !important;&quot;&gt; &lt;/span&gt;&lt;/pre&gt;
			&lt;/td&gt;
		&lt;/tr&gt;
			&lt;/tbody&gt;
&lt;/table&gt;
&lt;/div&gt;
&lt;p/&gt;</description>
                <environment></environment>
        <key id="1056871">SERVER-45184</key>
            <summary>&quot;reopened transaction&quot; invariant in TLA+ trace logging with inMemory storage engine</summary>
                <type id="1" iconUrl="https://jira.mongodb.org/secure/viewavatar?size=xsmall&amp;avatarId=14703&amp;avatarType=issuetype">Bug</type>
                                            <priority id="3" iconUrl="https://jira.mongodb.org/images/icons/priorities/major.svg">Major - P3</priority>
                        <status id="6" iconUrl="https://jira.mongodb.org/images/icons/statuses/closed.png" description="The issue is considered finished, the resolution is correct. Issues which are closed can be reopened.">Closed</status>
                    <statusCategory id="3" key="done" colorName="success"/>
                                    <resolution id="13201">Fixed</resolution>
                                        <assignee username="jesse@mongodb.com">A. Jesse Jiryu Davis</assignee>
                                    <reporter username="jesse@mongodb.com">A. Jesse Jiryu Davis</reporter>
                        <labels>
                    </labels>
                <created>Mon, 16 Dec 2019 22:18:03 +0000</created>
                <updated>Sun, 29 Oct 2023 22:13:58 +0000</updated>
                            <resolved>Tue, 17 Dec 2019 15:09:43 +0000</resolved>
                                                    <fixVersion>4.3.3</fixVersion>
                                    <component>Replication</component>
                                        <votes>0</votes>
                                    <watches>1</watches>
                                                                                                                <comments>
                            <comment id="2769735" author="xgen-internal-githook" created="Wed, 29 Jan 2020 01:48:12 +0000"  >&lt;p&gt;Author:&lt;/p&gt;
{&apos;username&apos;: &apos;ajdavis&apos;, &apos;name&apos;: &apos;A. Jesse Jiryu Davis&apos;, &apos;email&apos;: &apos;jesse@mongodb.com&apos;}
&lt;p&gt;Message: &lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-45558&quot; title=&quot;Revert logging additions for TLA+ Trace Checker project&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-45558&quot;&gt;&lt;del&gt;SERVER-45558&lt;/del&gt;&lt;/a&gt; Revert logging additions for TLA+ Trace Checker project&lt;/p&gt;

&lt;p&gt;This is a combination of 6 commits.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-44458&quot; title=&quot;Productionize RaftMongo TLA+ spec&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-44458&quot;&gt;&lt;del&gt;SERVER-44458&lt;/del&gt;&lt;/a&gt; Add RaftMongo.tla spec&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit 88aaa47b815507e3ddd9a3a79f00d0eaca3ae071.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-45184&quot; title=&quot;&amp;quot;reopened transaction&amp;quot; invariant in TLA+ trace logging with inMemory storage engine&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-45184&quot;&gt;&lt;del&gt;SERVER-45184&lt;/del&gt;&lt;/a&gt; Ban TLA+ tracing with inMemory&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit e57438bd024d04f82dcbcbe68fe223b3f3aec838.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-43589&quot; title=&quot;Add logging to be used by TLA+ trace checker for RaftMongo.tla&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-43589&quot;&gt;&lt;del&gt;SERVER-43589&lt;/del&gt;&lt;/a&gt; Trace logging for RaftMongo.tla&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit f515d2ad5494e64c3be80189e7ea6bceaf267421.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-44076&quot; title=&quot;Design synchronous trace logging for TLA+ Trace Checker&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-44076&quot;&gt;&lt;del&gt;SERVER-44076&lt;/del&gt;&lt;/a&gt; create TLA+ Trace Checking logging framework&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit 744200de5f5667334457ee35abfa3747e2e26d55.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-43589&quot; title=&quot;Add logging to be used by TLA+ trace checker for RaftMongo.tla&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-43589&quot;&gt;&lt;del&gt;SERVER-43589&lt;/del&gt;&lt;/a&gt; Failpoint to log TLA+ trace events&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit eda99cf7ca668908e5eb0498845b0270265c44e7.&lt;/p&gt;

&lt;p&gt;Revert &quot;&lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-45106&quot; title=&quot;Add TLA+ component to logv2 from old logger&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-45106&quot;&gt;&lt;del&gt;SERVER-45106&lt;/del&gt;&lt;/a&gt; Add TLA+ log component to logv2&quot;&lt;/p&gt;

&lt;p&gt;This reverts commit a60ce00707f0ffdb5d2ec5c3a72993cc2b2d2978.&lt;/p&gt;

&lt;p&gt; delete mode 100644 jstests/replsets/tla_plus_trace_checking.js&lt;br/&gt;
 delete mode 100644 src/mongo/db/repl/replication_coordinator_impl_tla_plus_trace.cpp&lt;br/&gt;
 delete mode 100644 src/mongo/db/repl/tla_plus_trace_repl.idl&lt;br/&gt;
 delete mode 100644 src/mongo/util/tla_plus_trace.cpp&lt;br/&gt;
 delete mode 100644 src/mongo/util/tla_plus_trace.h&lt;br/&gt;
 delete mode 100644 src/mongo/util/tla_plus_trace.idl&lt;br/&gt;
Branch: master&lt;br/&gt;
&lt;a href=&quot;https://github.com/mongodb/mongo/commit/bcae9e6777408882b3d391721dea262c1cdcd16e&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/mongodb/mongo/commit/bcae9e6777408882b3d391721dea262c1cdcd16e&lt;/a&gt;&lt;/p&gt;</comment>
                            <comment id="2636498" author="xgen-internal-githook" created="Tue, 17 Dec 2019 15:06:14 +0000"  >&lt;p&gt;Author:&lt;/p&gt;
{&apos;name&apos;: &apos;A. Jesse Jiryu Davis&apos;, &apos;email&apos;: &apos;jesse@mongodb.com&apos;, &apos;username&apos;: &apos;ajdavis&apos;}
&lt;p&gt;Message: &lt;a href=&quot;https://jira.mongodb.org/browse/SERVER-45184&quot; title=&quot;&amp;quot;reopened transaction&amp;quot; invariant in TLA+ trace logging with inMemory storage engine&quot; class=&quot;issue-link&quot; data-issue-key=&quot;SERVER-45184&quot;&gt;&lt;del&gt;SERVER-45184&lt;/del&gt;&lt;/a&gt; Ban TLA+ tracing with inMemory&lt;br/&gt;
Branch: master&lt;br/&gt;
&lt;a href=&quot;https://github.com/mongodb/mongo/commit/e57438bd024d04f82dcbcbe68fe223b3f3aec838&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/mongodb/mongo/commit/e57438bd024d04f82dcbcbe68fe223b3f3aec838&lt;/a&gt;&lt;/p&gt;</comment>
                            <comment id="2635436" author="jesse" created="Mon, 16 Dec 2019 23:43:51 +0000"  >&lt;p&gt;We log TLA+ state information, including the contents of the oplog, whenever the commit point advances. This normally happens in the journal listener thread, outside any write unit of work.&lt;/p&gt;

&lt;p&gt;But if writeConcernMajorityJournalDefault is false, as with the inMemory storage engine, then ReplicationCoordinatorImpl::_setMyLastAppliedOpTimeAndWallTime directly advances the commit point while in a WUOW with state &quot;kCommitting&quot;. mongod can&apos;t read the contents of the oplog in a committing WUOW, so it dies of an invariant.&lt;/p&gt;

&lt;p&gt;Let&apos;s tag the TLA+ trace logging test appropriately to required persistent WiredTiger with journaling.&lt;/p&gt;</comment>
                    </comments>
                <issuelinks>
                            <issuelinktype id="10011">
                    <name>Depends</name>
                                                                <inwardlinks description="is depended on by">
                                                        </inwardlinks>
                                    </issuelinktype>
                    </issuelinks>
                <attachments>
                    </attachments>
                <subtasks>
                    </subtasks>
                <customfields>
                                                <customfield id="customfield_10050" key="com.atlassian.jira.toolkit:comments">
                        <customfieldname># Replies</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>3.0</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_18555" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname># of Sprints</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>1.0</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                            <customfield id="customfield_10011" key="com.atlassian.jira.plugin.system.customfieldtypes:radiobuttons">
                        <customfieldname>Backwards Compatibility</customfieldname>
                        <customfieldvalues>
                                <customfieldvalue key="10038"><![CDATA[Fully Compatible]]></customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                            <customfield id="customfield_10055" key="com.atlassian.jira.ext.charting:firstresponsedate">
                        <customfieldname>Date of 1st Reply</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>Tue, 17 Dec 2019 15:06:14 +0000</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_10052" key="com.atlassian.jira.toolkit:dayslastcommented">
                        <customfieldname>Days since reply</customfieldname>
                        <customfieldvalues>
                                        4 years, 2 weeks, 1 day ago
    
                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_18254" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname>Dependencies</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue><![CDATA[]]></customfieldvalue>


                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_15850" key="com.atlassian.jira.plugins.jira-development-integration-plugin:devsummary">
                        <customfieldname>Development</customfieldname>
                        <customfieldvalues>
                            
                        </customfieldvalues>
                    </customfield>
                                                                                                                        <customfield id="customfield_17050" key="com.atlassian.jira.plugin.system.customfieldtypes:radiobuttons">
                        <customfieldname>Downstream Team Attention</customfieldname>
                        <customfieldvalues>
                                <customfieldvalue key="16941"><![CDATA[Not Needed]]></customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                    <customfield id="customfield_10857" key="com.pyxis.greenhopper.jira:gh-epic-link">
                        <customfieldname>Epic Link</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>PM-1606</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                <customfield id="customfield_10057" key="com.atlassian.jira.toolkit:lastusercommented">
                        <customfieldname>Last comment by Customer</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>true</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                                            <customfield id="customfield_10056" key="com.atlassian.jira.toolkit:lastupdaterorcommenter">
                        <customfieldname>Last commenter</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>luke.bonanomi@mongodb.com</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_11151" key="com.atlassian.jira.toolkit:LastCommentDate">
                        <customfieldname>Last public comment date</customfieldname>
                        <customfieldvalues>
                            4 years, 2 weeks, 1 day ago
                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_16465" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname>Linked BF Score</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>48.0</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                        <customfield id="customfield_10032" key="com.atlassian.jira.plugin.system.customfieldtypes:select">
                        <customfieldname>Operating System</customfieldname>
                        <customfieldvalues>
                                <customfieldvalue key="10026"><![CDATA[ALL]]></customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                <customfield id="customfield_10051" key="com.atlassian.jira.toolkit:participants">
                        <customfieldname>Participants</customfieldname>
                        <customfieldvalues>
                                        <customfieldvalue>jesse@mongodb.com</customfieldvalue>
            <customfieldvalue>xgen-internal-githook</customfieldvalue>
    
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                        <customfield id="customfield_14254" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>Product Rank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>1|hwbkxr:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                <customfield id="customfield_12550" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>Rank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>2|hvzrk7:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_10558" key="com.pyxis.greenhopper.jira:gh-global-rank">
                        <customfieldname>Rank (Obsolete)</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>9223372036854775807</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                                            <customfield id="customfield_23361" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname>Requested By</customfieldname>
                        <customfieldvalues>
                                

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                        <customfield id="customfield_10557" key="com.pyxis.greenhopper.jira:gh-sprint">
                        <customfieldname>Sprint</customfieldname>
                        <customfieldvalues>
                                <customfieldvalue id="3438">Repl 2019-12-30</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                        <customfield id="customfield_10053" key="com.atlassian.jira.ext.charting:timeinstatus">
                        <customfieldname>Time In Status</customfieldname>
                        <customfieldvalues>
                            
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                        <customfield id="customfield_22870" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname>Triagers</customfieldname>
                        <customfieldvalues>
                                

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                    <customfield id="customfield_14350" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>serverRank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>1|hwb773:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                    </customfields>
    </item>
</channel>
</rss>