/**
 * Test that $lookup within a sharded transaction reads from the correct snapshot.
 * @tags: [
 *   requires_sharding,
 *   uses_multi_shard_transaction,
 *   uses_transactions,
 * ]
 */
import {withRetryOnTransientTxnError} from "jstests/libs/auto_retry_transaction_in_sharding.js";
import {FeatureFlagUtil} from "jstests/libs/feature_flag_util.js";
import {ShardingTest} from "jstests/libs/shardingtest.js";
import {
    flushRoutersAndRefreshShardMetadata
} from "jstests/sharding/libs/sharded_transactions_helpers.js";

const st = new ShardingTest({shards: 2, mongos: 1});

let session = st.s.startSession();
let sessionDB = session.getDatabase("unsharded_lookup_in_txn");

const shardedColl = sessionDB.sharded;
const unshardedColl = sessionDB.unsharded;

assert.commandWorked(
    st.s.adminCommand({enableSharding: sessionDB.getName(), primaryShard: st.shard0.shardName}));

assert.commandWorked(
    st.s.adminCommand({shardCollection: shardedColl.getFullName(), key: {_id: 1}}));

// Move all of the data to shard 1.
assert.commandWorked(st.s.adminCommand(
    {moveChunk: shardedColl.getFullName(), find: {_id: 0}, to: st.shard1.shardName}));
flushRoutersAndRefreshShardMetadata(st, {ns: shardedColl.getFullName()});

// Insert a bunch of documents, all of which reside on the same chunk (on shard 1).
for (let i = -10; i < 10; i++) {
    assert.commandWorked(shardedColl.insert({_id: i, local_always_one: 1}));
}

const pipeline = [{
        $lookup: {
            from: unshardedColl.getName(),
            localField: "local_always_one",
            foreignField: "foreign_always_one",
            as: "matches"
        }
    }];
const kBatchSize = 2;

const testLookupDoesNotSeeDocumentsOutsideSnapshot = function() {
    // TODO SERVER-88936 Remove this check once allow additional participants is enabled on last-lts
    const additionalTxnParticipantsAllowed =
        FeatureFlagUtil.isPresentAndEnabled(st.s.getDB('admin'), "AllowAdditionalParticipants");
    if (!additionalTxnParticipantsAllowed) {
        return;
    }

    unshardedColl.drop();
    // Insert some stuff into the unsharded collection.
    const kUnshardedCollOriginalSize = 10;
    for (let i = 0; i < kUnshardedCollOriginalSize; i++) {
        assert.commandWorked(unshardedColl.insert({_id: i, foreign_always_one: 1}));
    }

    withRetryOnTransientTxnError(
        () => {
            session.startTransaction();

            const curs = shardedColl.aggregate(
                pipeline, {readConcern: {level: "snapshot"}, cursor: {batchSize: kBatchSize}});

            for (let i = 0; i < kBatchSize; i++) {
                const doc = curs.next();
                assert.eq(doc.matches.length, kUnshardedCollOriginalSize);
            }

            // Do writes on the unsharded collection from outside the session.
            (function() {
                const unshardedCollOutsideSession =
                    st.s.getDB(sessionDB.getName())[unshardedColl.getName()];
                assert.commandWorked(unshardedCollOutsideSession.insert({b: 1, xyz: 1}));
                assert.commandWorked(unshardedCollOutsideSession.insert({b: 1, xyz: 2}));
            })();

            // We shouldn't see those writes from the aggregation within the session.
            assert.eq(curs.hasNext(), true);
            while (curs.hasNext()) {
                const doc = curs.next();
                assert.eq(doc.matches.length, kUnshardedCollOriginalSize);
            }

            assert.commandWorked(session.abortTransaction_forTesting());
        },
        () => {
            session.abortTransaction_forTesting();
        });
};

// Run the test once, with all of the data on shard 1. This means that the merging shard (shard
// 0) will not be targeted. This is interesting because in contrast to the case below, the
// merging half of the pipeline will start the transaction on the merging shard.
testLookupDoesNotSeeDocumentsOutsideSnapshot();

// Move some data to shard 0, so that the merging shard will be targeted.
assert.commandWorked(st.s.adminCommand({split: shardedColl.getFullName(), middle: {_id: 0}}));
assert.commandWorked(st.s.adminCommand(
    {moveChunk: shardedColl.getFullName(), find: {_id: -1}, to: st.shard0.shardName}));
flushRoutersAndRefreshShardMetadata(st, {ns: shardedColl.getFullName()});

// Run the test again.
testLookupDoesNotSeeDocumentsOutsideSnapshot();

st.stop();