1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
'use strict';
/**
* Verifies the transactions server status metrics on mongos while running transactions.
*
* @tags: [requires_sharding, assumes_snapshot_transactions, uses_transactions]
*/
load('jstests/concurrency/fsm_libs/extend_workload.js'); // for extendWorkload
load('jstests/concurrency/fsm_workload_helpers/check_transaction_server_status_invariants.js');
load('jstests/concurrency/fsm_workloads/multi_statement_transaction_atomicity_isolation.js');
var $config = extendWorkload($config, function($config, $super) {
$config.teardown = function(db, collName, cluster) {
// Check the server-wide invariants one last time with only a single sample, since all user
// operations should have finished.
checkServerStatusInvariants(db, 1, true /* isMongos */);
$super.teardown.apply(this, arguments);
};
$config.states.verifyServerStatus = function verifyServerStatus(db, collName) {
const nSamples = 100;
checkServerStatusInvariants(db, nSamples, true /* isMongos */);
};
$config.transitions = {
init: {update: 0.8, checkConsistency: 0.1, verifyServerStatus: 0.1},
update: {update: 0.7, checkConsistency: 0.1, causalRead: 0.1, verifyServerStatus: 0.1},
checkConsistency: {update: 0.9, verifyServerStatus: 0.1},
causalRead: {update: 0.9, verifyServerStatus: 0.1},
verifyServerStatus: {update: 0.8, checkConsistency: 0.1, causalRead: 0.1},
};
return $config;
});
|