<!-- 
RSS generated by JIRA (9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66) at Thu Feb 08 05:03:33 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-43589] Add logging to be used by TLA+ trace checker for RaftMongo.tla</title>
                <link>https://jira.mongodb.org/browse/SERVER-43589</link>
                <project id="10000" key="SERVER">Core Server</project>
                    <description>&lt;p&gt;Add logging statements to mongod. These statements will be executed each time mongod performs an action modeled by any of our specs. They will output all internal state that is modeled by any of the TLA+ specs we plan to check against our implementation. For example, each time the server changes state (among primary, secondary, recovering, etc.), it must output the entire oplog, the current term, and the server state.&lt;/p&gt;

&lt;p&gt;These logging statements will be in a new component, disabled by default. The statements must add no overhead when the log component is disabled.&lt;/p&gt;</description>
                <environment></environment>
        <key id="938628">SERVER-43589</key>
            <summary>Add logging to be used by TLA+ trace checker for RaftMongo.tla</summary>
                <type id="2" iconUrl="https://jira.mongodb.org/secure/viewavatar?size=xsmall&amp;avatarId=14711&amp;avatarType=issuetype">New Feature</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>Tue, 24 Sep 2019 15:56:36 +0000</created>
                <updated>Sun, 29 Oct 2023 22:16:52 +0000</updated>
                            <resolved>Wed, 11 Dec 2019 16:59:51 +0000</resolved>
                                                    <fixVersion>4.3.3</fixVersion>
                                    <component>Replication</component>
                                        <votes>0</votes>
                                    <watches>2</watches>
                                                                                                                <comments>
                            <comment id="2769732" author="xgen-internal-githook" created="Wed, 29 Jan 2020 01:47:59 +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="2599375" author="jesse" created="Wed, 11 Dec 2019 16:59:35 +0000"  >&lt;p&gt;Nevermind, the difficulty of writing such a test is too great. When we test logging code in a JSTest we read log lines from the RAMLog, which are truncated at 1024 chars. TLA+ Trace Logging easily exceeds that limit, so we&apos;d need new infrastructure to test it.&lt;/p&gt;</comment>
                            <comment id="2597611" author="jesse" created="Tue, 10 Dec 2019 21:16:51 +0000"  >&lt;p&gt;Before closing, write a test that checks that oplog visibility rules are obeyed on the primary when logging ClientWrite actions.&lt;/p&gt;</comment>
                            <comment id="2597602" author="xgen-internal-githook" created="Tue, 10 Dec 2019 21:11:50 +0000"  >&lt;p&gt;Author:&lt;/p&gt;
{&apos;email&apos;: &apos;jesse@mongodb.com&apos;, &apos;name&apos;: &apos;A. Jesse Jiryu Davis&apos;, &apos;username&apos;: &apos;ajdavis&apos;}
&lt;p&gt;Message: &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&lt;br/&gt;
Branch: master&lt;br/&gt;
&lt;a href=&quot;https://github.com/mongodb/mongo/commit/f515d2ad5494e64c3be80189e7ea6bceaf267421&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/mongodb/mongo/commit/f515d2ad5494e64c3be80189e7ea6bceaf267421&lt;/a&gt;&lt;/p&gt;</comment>
                            <comment id="2523234" author="xgen-internal-githook" created="Thu, 7 Nov 2019 20:49:55 +0000"  >&lt;p&gt;Author:&lt;/p&gt;
{&apos;name&apos;: &apos;A. Jesse Jiryu Davis&apos;, &apos;username&apos;: &apos;ajdavis&apos;, &apos;email&apos;: &apos;jesse@mongodb.com&apos;}
&lt;p&gt;Message: &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&lt;br/&gt;
Branch: master&lt;br/&gt;
&lt;a href=&quot;https://github.com/mongodb/mongo/commit/eda99cf7ca668908e5eb0498845b0270265c44e7&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/mongodb/mongo/commit/eda99cf7ca668908e5eb0498845b0270265c44e7&lt;/a&gt;&lt;/p&gt;</comment>
                    </comments>
                    <attachments>
                    </attachments>
                <subtasks>
                    </subtasks>
                <customfields>
                                                <customfield id="customfield_10050" key="com.atlassian.jira.toolkit:comments">
                        <customfieldname># Replies</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>5.0</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_18555" key="com.onresolve.jira.groovy.groovyrunner:scripted-field">
                        <customfieldname># of Sprints</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>4.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, 24 Sep 2019 16:43:38 +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_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|hvs7n3:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                <customfield id="customfield_12550" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>Rank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>2|hvgtnb:</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="3303">Repl 2019-11-04</customfieldvalue>
    <customfieldvalue id="3304">Repl 2019-11-18</customfieldvalue>
    <customfieldvalue id="3436">Repl 2019-12-02</customfieldvalue>
    <customfieldvalue id="3437">Repl 2019-12-16</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|hvrtwf:</customfieldvalue>

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