Changeset 7eec247 in rtems


Ignore:
Timestamp:
Oct 31, 2016, 9:50:54 AM (4 years ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
5, master
Children:
3e9f4c92
Parents:
1aae680
git-author:
Sebastian Huber <sebastian.huber@…> (10/31/16 09:50:54)
git-committer:
Sebastian Huber <sebastian.huber@…> (10/31/16 12:09:42)
Message:

smptests/smplock01: Use test support

Convert output to XML.

Location:
testsuites/smptests/smplock01
Files:
1 added
2 edited

Legend:

Unmodified
Added
Removed
  • testsuites/smptests/smplock01/init.c

    r1aae680 r7eec247  
    2020#include <rtems/score/smplockmcs.h>
    2121#include <rtems/score/smplockseq.h>
    22 #include <rtems/score/smpbarrier.h>
    23 #include <rtems/score/atomic.h>
     22#include <rtems/test.h>
    2423#include <rtems.h>
    2524
     25#define TESTS_USE_PRINTK
    2626#include "tmacros.h"
    2727
     
    3434#define TEST_COUNT 11
    3535
    36 typedef enum {
    37   INITIAL,
    38   START_TEST,
    39   STOP_TEST
    40 } states;
    41 
    4236typedef struct {
    43   Atomic_Uint state;
    44   SMP_barrier_Control barrier;
    45   rtems_id timer_id;
    46   rtems_interval timeout;
     37  rtems_test_parallel_context base;
    4738  unsigned long counter[TEST_COUNT];
    48   unsigned long test_counter[TEST_COUNT][CPU_COUNT];
     39  unsigned long local_counter[CPU_COUNT][TEST_COUNT][CPU_COUNT];
    4940  SMP_lock_Control lock;
    5041#if defined(RTEMS_PROFILING)
     
    5344  SMP_MCS_lock_Control mcs_lock;
    5445  SMP_sequence_lock_Control seq_lock;
    55   char unused_space_for_cache_line_separation_0[128];
    56   int a;
    57   char unused_space_for_cache_line_separation_1[128];
    58   int b;
    59 } global_context;
    60 
    61 static global_context context = {
    62   .state = ATOMIC_INITIALIZER_UINT(INITIAL),
    63   .barrier = SMP_BARRIER_CONTROL_INITIALIZER,
     46  int a RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
     47  int b RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
     48} test_context RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
     49
     50static test_context test_instance = {
    6451  .lock = SMP_LOCK_INITIALIZER("global ticket"),
    6552#if defined(RTEMS_PROFILING)
     
    7057};
    7158
    72 static const char * const test_names[TEST_COUNT] = {
    73   "global ticket lock with local counter",
    74   "global MCS lock with local counter",
    75   "global ticket lock with global counter",
    76   "global MCS lock with global counter",
    77   "local ticket lock with local counter",
    78   "local MCS lock with local counter",
    79   "local ticket lock with global counter",
    80   "local MCS lock with global counter",
    81   "global ticket lock with busy section",
    82   "global MCS lock with busy section",
    83   "sequence lock"
    84 };
    85 
    86 static void stop_test_timer(rtems_id timer_id, void *arg)
    87 {
    88   global_context *ctx = arg;
    89 
    90   _Atomic_Store_uint(&ctx->state, STOP_TEST, ATOMIC_ORDER_RELEASE);
    91 }
    92 
    93 static void wait_for_state(global_context *ctx, int desired_state)
    94 {
    95   while (
    96     _Atomic_Load_uint(&ctx->state, ATOMIC_ORDER_ACQUIRE) != desired_state
    97   ) {
    98     /* Wait */
    99   }
    100 }
    101 
    102 static bool assert_state(global_context *ctx, int desired_state)
    103 {
    104   return _Atomic_Load_uint(&ctx->state, ATOMIC_ORDER_RELAXED) == desired_state;
    105 }
    106 
    107 typedef void (*test_body)(
    108   int test,
    109   global_context *ctx,
    110   SMP_barrier_State *bs,
    111   unsigned int cpu_count,
    112   unsigned int cpu_self
    113 );
     59static rtems_interval test_duration(void)
     60{
     61  return rtems_clock_get_ticks_per_second();
     62}
     63
     64static rtems_interval test_init(
     65  rtems_test_parallel_context *base,
     66  void *arg,
     67  size_t active_workers
     68)
     69{
     70  return test_duration();
     71}
     72
     73static void test_fini(
     74  test_context *ctx,
     75  const char *name,
     76  size_t test,
     77  size_t active_workers
     78)
     79{
     80  unsigned long sum = 0;
     81  unsigned long n = active_workers;
     82  unsigned long i;
     83
     84  printf("  <%s activeWorker=\"%lu\">\n", name, n);
     85
     86  for (i = 0; i < n; ++i) {
     87    unsigned long local_counter =
     88      ctx->local_counter[active_workers - 1][test][i];
     89
     90    sum += local_counter;
     91
     92    printf(
     93      "    <LocalCounter worker=\"%lu\">%lu</LocalCounter>\n",
     94      i,
     95      local_counter
     96    );
     97  }
     98
     99  printf(
     100    "    <GlobalCounter>%lu</GlobalCounter>\n"
     101    "    <SumOfLocalCounter>%lu</SumOfLocalCounter>\n"
     102    "  </%s>\n",
     103    ctx->counter[test],
     104    sum,
     105    name
     106  );
     107}
    114108
    115109static void test_0_body(
    116   int test,
    117   global_context *ctx,
    118   SMP_barrier_State *bs,
    119   unsigned int cpu_count,
    120   unsigned int cpu_self
    121 )
    122 {
     110  rtems_test_parallel_context *base,
     111  void *arg,
     112  size_t active_workers,
     113  size_t worker_index
     114)
     115{
     116  test_context *ctx = (test_context *) base;
     117  size_t test = 0;
    123118  unsigned long counter = 0;
    124119  SMP_lock_Context lock_context;
    125120
    126   while (assert_state(ctx, START_TEST)) {
     121  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    127122    _SMP_lock_Acquire(&ctx->lock, &lock_context);
    128123    _SMP_lock_Release(&ctx->lock, &lock_context);
     
    130125  }
    131126
    132   ctx->test_counter[test][cpu_self] = counter;
     127  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     128}
     129
     130static void test_0_fini(
     131  rtems_test_parallel_context *base,
     132  void *arg,
     133  size_t active_workers
     134)
     135{
     136  test_context *ctx = (test_context *) base;
     137
     138  test_fini(
     139    ctx,
     140    "GlobalTicketLockWithLocalCounter",
     141    0,
     142    active_workers
     143  );
    133144}
    134145
    135146static void test_1_body(
    136   int test,
    137   global_context *ctx,
    138   SMP_barrier_State *bs,
    139   unsigned int cpu_count,
    140   unsigned int cpu_self
    141 )
    142 {
     147  rtems_test_parallel_context *base,
     148  void *arg,
     149  size_t active_workers,
     150  size_t worker_index
     151)
     152{
     153  test_context *ctx = (test_context *) base;
     154  size_t test = 1;
    143155  unsigned long counter = 0;
    144156  SMP_MCS_lock_Context lock_context;
    145157
    146   while (assert_state(ctx, START_TEST)) {
     158  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    147159    _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats);
    148160    _SMP_MCS_lock_Release(&ctx->mcs_lock, &lock_context);
     
    150162  }
    151163
    152   ctx->test_counter[test][cpu_self] = counter;
     164  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     165}
     166
     167static void test_1_fini(
     168  rtems_test_parallel_context *base,
     169  void *arg,
     170  size_t active_workers
     171)
     172{
     173  test_context *ctx = (test_context *) base;
     174
     175  test_fini(
     176    ctx,
     177    "GlobalMCSLockWithLocalCounter",
     178    1,
     179    active_workers
     180  );
    153181}
    154182
    155183static void test_2_body(
    156   int test,
    157   global_context *ctx,
    158   SMP_barrier_State *bs,
    159   unsigned int cpu_count,
    160   unsigned int cpu_self
    161 )
    162 {
     184  rtems_test_parallel_context *base,
     185  void *arg,
     186  size_t active_workers,
     187  size_t worker_index
     188)
     189{
     190  test_context *ctx = (test_context *) base;
     191  size_t test = 2;
    163192  unsigned long counter = 0;
    164193  SMP_lock_Context lock_context;
    165194
    166   while (assert_state(ctx, START_TEST)) {
     195  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    167196    _SMP_lock_Acquire(&ctx->lock, &lock_context);
    168197    ++ctx->counter[test];
     
    171200  }
    172201
    173   ctx->test_counter[test][cpu_self] = counter;
     202  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     203}
     204
     205static void test_2_fini(
     206  rtems_test_parallel_context *base,
     207  void *arg,
     208  size_t active_workers
     209)
     210{
     211  test_context *ctx = (test_context *) base;
     212
     213  test_fini(
     214    ctx,
     215    "GlobalTicketLockWithGlobalCounter",
     216    2,
     217    active_workers
     218  );
    174219}
    175220
    176221static void test_3_body(
    177   int test,
    178   global_context *ctx,
    179   SMP_barrier_State *bs,
    180   unsigned int cpu_count,
    181   unsigned int cpu_self
    182 )
    183 {
     222  rtems_test_parallel_context *base,
     223  void *arg,
     224  size_t active_workers,
     225  size_t worker_index
     226)
     227{
     228  test_context *ctx = (test_context *) base;
     229  size_t test = 3;
    184230  unsigned long counter = 0;
    185231  SMP_MCS_lock_Context lock_context;
    186232
    187   while (assert_state(ctx, START_TEST)) {
     233  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    188234    _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats);
    189235    ++ctx->counter[test];
     
    192238  }
    193239
    194   ctx->test_counter[test][cpu_self] = counter;
     240  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     241}
     242
     243static void test_3_fini(
     244  rtems_test_parallel_context *base,
     245  void *arg,
     246  size_t active_workers
     247)
     248{
     249  test_context *ctx = (test_context *) base;
     250
     251  test_fini(
     252    ctx,
     253    "GlobalMCSLockWithGlobalCounter",
     254    3,
     255    active_workers
     256  );
    195257}
    196258
    197259static void test_4_body(
    198   int test,
    199   global_context *ctx,
    200   SMP_barrier_State *bs,
    201   unsigned int cpu_count,
    202   unsigned int cpu_self
    203 )
    204 {
     260  rtems_test_parallel_context *base,
     261  void *arg,
     262  size_t active_workers,
     263  size_t worker_index
     264)
     265{
     266  test_context *ctx = (test_context *) base;
     267  size_t test = 4;
    205268  unsigned long counter = 0;
    206269  SMP_lock_Control lock;
     
    209272  _SMP_lock_Initialize(&lock, "local");
    210273
    211   while (assert_state(ctx, START_TEST)) {
     274  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    212275    _SMP_lock_Acquire(&lock, &lock_context);
    213276    _SMP_lock_Release(&lock, &lock_context);
     
    217280  _SMP_lock_Destroy(&lock);
    218281
    219   ctx->test_counter[test][cpu_self] = counter;
     282  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     283}
     284
     285static void test_4_fini(
     286  rtems_test_parallel_context *base,
     287  void *arg,
     288  size_t active_workers
     289)
     290{
     291  test_context *ctx = (test_context *) base;
     292
     293  test_fini(
     294    ctx,
     295    "LocalTicketLockWithLocalCounter",
     296    4,
     297    active_workers
     298  );
    220299}
    221300
    222301static void test_5_body(
    223   int test,
    224   global_context *ctx,
    225   SMP_barrier_State *bs,
    226   unsigned int cpu_count,
    227   unsigned int cpu_self
    228 )
    229 {
     302  rtems_test_parallel_context *base,
     303  void *arg,
     304  size_t active_workers,
     305  size_t worker_index
     306)
     307{
     308  test_context *ctx = (test_context *) base;
     309  size_t test = 5;
    230310  unsigned long counter = 0;
    231311#if defined(RTEMS_PROFILING)
     
    238318  _SMP_MCS_lock_Initialize(&lock);
    239319
    240   while (assert_state(ctx, START_TEST)) {
     320  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    241321    _SMP_MCS_lock_Acquire(&lock, &lock_context, &stats);
    242322    _SMP_MCS_lock_Release(&lock, &lock_context);
     
    247327  _SMP_lock_Stats_destroy(&stats);
    248328
    249   ctx->test_counter[test][cpu_self] = counter;
     329  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     330}
     331
     332static void test_5_fini(
     333  rtems_test_parallel_context *base,
     334  void *arg,
     335  size_t active_workers
     336)
     337{
     338  test_context *ctx = (test_context *) base;
     339
     340  test_fini(
     341    ctx,
     342    "LocalMCSLockWithLocalCounter",
     343    5,
     344    active_workers
     345  );
    250346}
    251347
    252348static void test_6_body(
    253   int test,
    254   global_context *ctx,
    255   SMP_barrier_State *bs,
    256   unsigned int cpu_count,
    257   unsigned int cpu_self
    258 )
    259 {
     349  rtems_test_parallel_context *base,
     350  void *arg,
     351  size_t active_workers,
     352  size_t worker_index
     353)
     354{
     355  test_context *ctx = (test_context *) base;
     356  size_t test = 6;
    260357  unsigned long counter = 0;
    261358  SMP_lock_Control lock;
     
    264361  _SMP_lock_Initialize(&lock, "local");
    265362
    266   while (assert_state(ctx, START_TEST)) {
     363  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    267364    _SMP_lock_Acquire(&lock, &lock_context);
    268365
     
    276373  _SMP_lock_Destroy(&lock);
    277374
    278   ctx->test_counter[test][cpu_self] = counter;
     375  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     376}
     377
     378static void test_6_fini(
     379  rtems_test_parallel_context *base,
     380  void *arg,
     381  size_t active_workers
     382)
     383{
     384  test_context *ctx = (test_context *) base;
     385
     386  test_fini(
     387    ctx,
     388    "LocalTicketLockWithGlobalCounter",
     389    6,
     390    active_workers
     391  );
    279392}
    280393
    281394static void test_7_body(
    282   int test,
    283   global_context *ctx,
    284   SMP_barrier_State *bs,
    285   unsigned int cpu_count,
    286   unsigned int cpu_self
    287 )
    288 {
     395  rtems_test_parallel_context *base,
     396  void *arg,
     397  size_t active_workers,
     398  size_t worker_index
     399)
     400{
     401  test_context *ctx = (test_context *) base;
     402  size_t test = 7;
    289403  unsigned long counter = 0;
    290404#if defined(RTEMS_PROFILING)
     
    297411  _SMP_MCS_lock_Initialize(&lock);
    298412
    299   while (assert_state(ctx, START_TEST)) {
     413  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    300414    _SMP_MCS_lock_Acquire(&lock, &lock_context, &stats);
    301415
     
    310424  _SMP_lock_Stats_destroy(&stats);
    311425
    312   ctx->test_counter[test][cpu_self] = counter;
     426  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     427}
     428
     429static void test_7_fini(
     430  rtems_test_parallel_context *base,
     431  void *arg,
     432  size_t active_workers
     433)
     434{
     435  test_context *ctx = (test_context *) base;
     436
     437  test_fini(
     438    ctx,
     439    "LocalMCSLockWithGlobalCounter",
     440    7,
     441    active_workers
     442  );
    313443}
    314444
     
    323453
    324454static void test_8_body(
    325   int test,
    326   global_context *ctx,
    327   SMP_barrier_State *bs,
    328   unsigned int cpu_count,
    329   unsigned int cpu_self
    330 )
    331 {
     455  rtems_test_parallel_context *base,
     456  void *arg,
     457  size_t active_workers,
     458  size_t worker_index
     459)
     460{
     461  test_context *ctx = (test_context *) base;
     462  size_t test = 8;
    332463  unsigned long counter = 0;
    333464  SMP_lock_Context lock_context;
    334465
    335   while (assert_state(ctx, START_TEST)) {
     466  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    336467    _SMP_lock_Acquire(&ctx->lock, &lock_context);
    337468    busy_section();
     
    340471  }
    341472
    342   ctx->test_counter[test][cpu_self] = counter;
     473  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     474}
     475
     476static void test_8_fini(
     477  rtems_test_parallel_context *base,
     478  void *arg,
     479  size_t active_workers
     480)
     481{
     482  test_context *ctx = (test_context *) base;
     483
     484  test_fini(
     485    ctx,
     486    "GlobalTicketLockWithBusySection",
     487    8,
     488    active_workers
     489  );
    343490}
    344491
    345492static void test_9_body(
    346   int test,
    347   global_context *ctx,
    348   SMP_barrier_State *bs,
    349   unsigned int cpu_count,
    350   unsigned int cpu_self
    351 )
    352 {
     493  rtems_test_parallel_context *base,
     494  void *arg,
     495  size_t active_workers,
     496  size_t worker_index
     497)
     498{
     499  test_context *ctx = (test_context *) base;
     500  size_t test = 9;
    353501  unsigned long counter = 0;
    354502  SMP_MCS_lock_Context lock_context;
    355503
    356   while (assert_state(ctx, START_TEST)) {
     504  while (!rtems_test_parallel_stop_job(&ctx->base)) {
    357505    _SMP_MCS_lock_Acquire(&ctx->mcs_lock, &lock_context, &ctx->mcs_stats);
    358506    busy_section();
     
    361509  }
    362510
    363   ctx->test_counter[test][cpu_self] = counter;
     511  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     512}
     513
     514static void test_9_fini(
     515  rtems_test_parallel_context *base,
     516  void *arg,
     517  size_t active_workers
     518)
     519{
     520  test_context *ctx = (test_context *) base;
     521
     522  test_fini(
     523    ctx,
     524    "GlobalMCSLockWithBusySection",
     525    9,
     526    active_workers
     527  );
    364528}
    365529
    366530static void test_10_body(
    367   int test,
    368   global_context *ctx,
    369   SMP_barrier_State *bs,
    370   unsigned int cpu_count,
    371   unsigned int cpu_self
    372 )
    373 {
     531  rtems_test_parallel_context *base,
     532  void *arg,
     533  size_t active_workers,
     534  size_t worker_index
     535)
     536{
     537  test_context *ctx = (test_context *) base;
     538  size_t test = 10;
    374539  unsigned long counter = 0;
    375540  unsigned long seq;
    376541
    377   if (cpu_self == 0) {
    378     while (assert_state(ctx, START_TEST)) {
     542  if (rtems_test_parallel_is_master_worker(worker_index)) {
     543    while (!rtems_test_parallel_stop_job(&ctx->base)) {
    379544      seq = _SMP_sequence_lock_Write_begin(&ctx->seq_lock);
    380545
     
    387552    }
    388553  } else {
    389     while (assert_state(ctx, START_TEST)) {
     554    while (!rtems_test_parallel_stop_job(&ctx->base)) {
    390555      unsigned long a;
    391556      unsigned long b;
     
    404569  }
    405570
    406   ctx->test_counter[test][cpu_self] = counter;
    407 }
    408 
    409 static const test_body test_bodies[TEST_COUNT] = {
    410   test_0_body,
    411   test_1_body,
    412   test_2_body,
    413   test_3_body,
    414   test_4_body,
    415   test_5_body,
    416   test_6_body,
    417   test_7_body,
    418   test_8_body,
    419   test_9_body,
    420   test_10_body
     571  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
     572}
     573
     574static void test_10_fini(
     575  rtems_test_parallel_context *base,
     576  void *arg,
     577  size_t active_workers
     578)
     579{
     580  test_context *ctx = (test_context *) base;
     581
     582  test_fini(
     583    ctx,
     584    "SequenceLock",
     585    10,
     586    active_workers
     587  );
     588}
     589
     590static const rtems_test_parallel_job test_jobs[TEST_COUNT] = {
     591  {
     592    .init = test_init,
     593    .body = test_0_body,
     594    .fini = test_0_fini,
     595    .cascade = true
     596  }, {
     597    .init = test_init,
     598    .body = test_1_body,
     599    .fini = test_1_fini,
     600    .cascade = true
     601  }, {
     602    .init = test_init,
     603    .body = test_2_body,
     604    .fini = test_2_fini,
     605    .cascade = false
     606  }, {
     607    .init = test_init,
     608    .body = test_3_body,
     609    .fini = test_3_fini,
     610    .cascade = false
     611  }, {
     612    .init = test_init,
     613    .body = test_4_body,
     614    .fini = test_4_fini,
     615    .cascade = true
     616  }, {
     617    .init = test_init,
     618    .body = test_5_body,
     619    .fini = test_5_fini,
     620    .cascade = true
     621  }, {
     622    .init = test_init,
     623    .body = test_6_body,
     624    .fini = test_6_fini,
     625    .cascade = false
     626  }, {
     627    .init = test_init,
     628    .body = test_7_body,
     629    .fini = test_7_fini,
     630    .cascade = false
     631  }, {
     632    .init = test_init,
     633    .body = test_8_body,
     634    .fini = test_8_fini,
     635    .cascade = false
     636  }, {
     637    .init = test_init,
     638    .body = test_9_body,
     639    .fini = test_9_fini,
     640    .cascade = false
     641  }, {
     642    .init = test_init,
     643    .body = test_10_body,
     644    .fini = test_10_fini,
     645    .cascade = false
     646  }
    421647};
    422648
    423 static void run_tests(
    424   global_context *ctx,
    425   SMP_barrier_State *bs,
    426   unsigned int cpu_count,
    427   unsigned int cpu_self,
    428   bool master
    429 )
    430 {
    431   int test;
    432 
    433   for (test = 0; test < TEST_COUNT; ++test) {
    434     _SMP_barrier_Wait(&ctx->barrier, bs, cpu_count);
    435 
    436     if (master) {
    437       rtems_status_code sc = rtems_timer_fire_after(
    438         ctx->timer_id,
    439         ctx->timeout,
    440         stop_test_timer,
    441         ctx
    442       );
    443       rtems_test_assert(sc == RTEMS_SUCCESSFUL);
    444 
    445       _Atomic_Store_uint(&ctx->state, START_TEST, ATOMIC_ORDER_RELEASE);
    446     }
    447 
    448     wait_for_state(ctx, START_TEST);
    449 
    450     (*test_bodies[test])(test, ctx, bs, cpu_count, cpu_self);
    451   }
    452 
    453   _SMP_barrier_Wait(&ctx->barrier, bs, cpu_count);
    454 }
    455 
    456 static void task(rtems_task_argument arg)
    457 {
    458   global_context *ctx = (global_context *) arg;
    459   uint32_t cpu_count = rtems_get_processor_count();
    460   uint32_t cpu_self = rtems_get_current_processor();
    461   rtems_status_code sc;
    462   SMP_barrier_State bs = SMP_BARRIER_STATE_INITIALIZER;
    463 
    464   run_tests(ctx, &bs, cpu_count, cpu_self, false);
    465 
    466   sc = rtems_task_suspend(RTEMS_SELF);
    467   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
    468 }
    469 
    470649static void test(void)
    471650{
    472   global_context *ctx = &context;
    473   uint32_t cpu_count = rtems_get_processor_count();
    474   uint32_t cpu_self = rtems_get_current_processor();
    475   uint32_t cpu;
    476   int test;
    477   rtems_status_code sc;
    478   SMP_barrier_State bs = SMP_BARRIER_STATE_INITIALIZER;
    479 
    480   for (cpu = 0; cpu < cpu_count; ++cpu) {
    481     if (cpu != cpu_self) {
    482       rtems_id task_id;
    483 
    484       sc = rtems_task_create(
    485         rtems_build_name('T', 'A', 'S', 'K'),
    486         TASK_PRIORITY,
    487         RTEMS_MINIMUM_STACK_SIZE,
    488         RTEMS_DEFAULT_MODES,
    489         RTEMS_DEFAULT_ATTRIBUTES,
    490         &task_id
    491       );
    492       rtems_test_assert(sc == RTEMS_SUCCESSFUL);
    493 
    494       sc = rtems_task_start(task_id, task, (rtems_task_argument) ctx);
    495       rtems_test_assert(sc == RTEMS_SUCCESSFUL);
    496     }
    497   }
    498 
    499   ctx->timeout = 5 * rtems_clock_get_ticks_per_second();
    500 
    501   sc = rtems_timer_create(rtems_build_name('T', 'I', 'M', 'R'), &ctx->timer_id);
    502   rtems_test_assert(sc == RTEMS_SUCCESSFUL);
    503 
    504   run_tests(ctx, &bs, cpu_count, cpu_self, true);
    505 
    506   for (test = 0; test < TEST_COUNT; ++test) {
    507     unsigned long sum = 0;
    508 
    509     printf("%s\n", test_names[test]);
    510 
    511     for (cpu = 0; cpu < cpu_count; ++cpu) {
    512       unsigned long local_counter = ctx->test_counter[test][cpu];
    513 
    514       sum += local_counter;
    515 
    516       printf(
    517         "\tprocessor %" PRIu32 ", local counter %lu\n",
    518         cpu,
    519         local_counter
    520       );
    521     }
    522 
    523     printf(
    524       "\tglobal counter %lu, sum of local counter %lu\n",
    525       ctx->counter[test],
    526       sum
    527     );
    528   }
     651  test_context *ctx = &test_instance;
     652  const char *test = "SMPLock01";
     653
     654  printf("<%s>\n", test);
     655  rtems_test_parallel(&ctx->base, NULL, &test_jobs[0], TEST_COUNT);
     656  printf("</%s>\n", test);
    529657}
    530658
  • testsuites/smptests/smplock01/smplock01.scn

    r1aae680 r7eec247  
    11*** BEGIN OF TEST SMPLOCK 1 ***
    2 global ticket lock with local counter
    3         processor 0, local counter 830091
    4         processor 1, local counter 830090
    5         processor 2, local counter 830091
    6         processor 3, local counter 830091
    7         processor 4, local counter 830091
    8         processor 5, local counter 830091
    9         processor 6, local counter 830091
    10         processor 7, local counter 830091
    11         processor 8, local counter 830089
    12         processor 9, local counter 830088
    13         processor 10, local counter 830090
    14         processor 11, local counter 830090
    15         processor 12, local counter 830090
    16         processor 13, local counter 830092
    17         processor 14, local counter 830093
    18         processor 15, local counter 830092
    19         processor 16, local counter 830092
    20         processor 17, local counter 830092
    21         processor 18, local counter 830089
    22         processor 19, local counter 830092
    23         processor 20, local counter 830090
    24         processor 21, local counter 830090
    25         processor 22, local counter 830090
    26         processor 23, local counter 830092
    27         global counter 0, sum of local counter 19922178
    28 global MCS lock with local counter
    29         processor 0, local counter 1579723
    30         processor 1, local counter 1580054
    31         processor 2, local counter 1579890
    32         processor 3, local counter 1579777
    33         processor 4, local counter 1579884
    34         processor 5, local counter 1580005
    35         processor 6, local counter 1578632
    36         processor 7, local counter 1578637
    37         processor 8, local counter 1578774
    38         processor 9, local counter 1578759
    39         processor 10, local counter 1580282
    40         processor 11, local counter 1579885
    41         processor 12, local counter 1580378
    42         processor 13, local counter 1580043
    43         processor 14, local counter 1580115
    44         processor 15, local counter 1580113
    45         processor 16, local counter 1579911
    46         processor 17, local counter 1579993
    47         processor 18, local counter 1580032
    48         processor 19, local counter 1579588
    49         processor 20, local counter 1580049
    50         processor 21, local counter 1580048
    51         processor 22, local counter 1578484
    52         processor 23, local counter 1580013
    53         global counter 0, sum of local counter 37913069
    54 global ticket lock with global counter
    55         processor 0, local counter 784729
    56         processor 1, local counter 784730
    57         processor 2, local counter 784730
    58         processor 3, local counter 784730
    59         processor 4, local counter 784731
    60         processor 5, local counter 784730
    61         processor 6, local counter 784731
    62         processor 7, local counter 784730
    63         processor 8, local counter 784731
    64         processor 9, local counter 784729
    65         processor 10, local counter 784729
    66         processor 11, local counter 784730
    67         processor 12, local counter 784731
    68         processor 13, local counter 784729
    69         processor 14, local counter 784728
    70         processor 15, local counter 784730
    71         processor 16, local counter 784729
    72         processor 17, local counter 784730
    73         processor 18, local counter 784730
    74         processor 19, local counter 784729
    75         processor 20, local counter 784729
    76         processor 21, local counter 784729
    77         processor 22, local counter 784729
    78         processor 23, local counter 784731
    79         global counter 18833514, sum of local counter 18833514
    80 global MCS lock with global counter
    81         processor 0, local counter 947856
    82         processor 1, local counter 947857
    83         processor 2, local counter 947857
    84         processor 3, local counter 947855
    85         processor 4, local counter 947858
    86         processor 5, local counter 947857
    87         processor 6, local counter 947856
    88         processor 7, local counter 947856
    89         processor 8, local counter 947856
    90         processor 9, local counter 947856
    91         processor 10, local counter 947857
    92         processor 11, local counter 947856
    93         processor 12, local counter 947855
    94         processor 13, local counter 947857
    95         processor 14, local counter 947857
    96         processor 15, local counter 947855
    97         processor 16, local counter 947856
    98         processor 17, local counter 947855
    99         processor 18, local counter 947858
    100         processor 19, local counter 947857
    101         processor 20, local counter 947858
    102         processor 21, local counter 947857
    103         processor 22, local counter 947857
    104         processor 23, local counter 947857
    105         global counter 22748556, sum of local counter 22748556
    106 local ticket lock with local counter
    107         processor 0, local counter 77155869
    108         processor 1, local counter 77158831
    109         processor 2, local counter 77081105
    110         processor 3, local counter 77082737
    111         processor 4, local counter 77075777
    112         processor 5, local counter 77076154
    113         processor 6, local counter 77065268
    114         processor 7, local counter 77066500
    115         processor 8, local counter 77106686
    116         processor 9, local counter 77107321
    117         processor 10, local counter 77060207
    118         processor 11, local counter 77062079
    119         processor 12, local counter 77059638
    120         processor 13, local counter 77059931
    121         processor 14, local counter 77056750
    122         processor 15, local counter 77057813
    123         processor 16, local counter 76659137
    124         processor 17, local counter 76659205
    125         processor 18, local counter 76669140
    126         processor 19, local counter 76670415
    127         processor 20, local counter 76674221
    128         processor 21, local counter 76674630
    129         processor 22, local counter 76434805
    130         processor 23, local counter 76434361
    131         global counter 0, sum of local counter 1846208580
    132 local MCS lock with local counter
    133         processor 0, local counter 44963740
    134         processor 1, local counter 45045357
    135         processor 2, local counter 45023035
    136         processor 3, local counter 45021994
    137         processor 4, local counter 44912701
    138         processor 5, local counter 44951749
    139         processor 6, local counter 45090697
    140         processor 7, local counter 45089463
    141         processor 8, local counter 45015619
    142         processor 9, local counter 45088716
    143         processor 10, local counter 45064955
    144         processor 11, local counter 45063568
    145         processor 12, local counter 44966963
    146         processor 13, local counter 45002743
    147         processor 14, local counter 45127830
    148         processor 15, local counter 45126512
    149         processor 16, local counter 44947194
    150         processor 17, local counter 44992882
    151         processor 18, local counter 45006760
    152         processor 19, local counter 45005553
    153         processor 20, local counter 44880447
    154         processor 21, local counter 44889042
    155         processor 22, local counter 45036454
    156         processor 23, local counter 45036288
    157         global counter 0, sum of local counter 1080350262
    158 local ticket lock with global counter
    159         processor 0, local counter 3962116
    160         processor 1, local counter 3963441
    161         processor 2, local counter 3963482
    162         processor 3, local counter 3963367
    163         processor 4, local counter 3962978
    164         processor 5, local counter 3963102
    165         processor 6, local counter 3962979
    166         processor 7, local counter 3962911
    167         processor 8, local counter 3962974
    168         processor 9, local counter 3963125
    169         processor 10, local counter 3963056
    170         processor 11, local counter 3963093
    171         processor 12, local counter 3962996
    172         processor 13, local counter 3963100
    173         processor 14, local counter 3963096
    174         processor 15, local counter 3963028
    175         processor 16, local counter 3967076
    176         processor 17, local counter 3967251
    177         processor 18, local counter 3967222
    178         processor 19, local counter 3967093
    179         processor 20, local counter 3972862
    180         processor 21, local counter 3972917
    181         processor 22, local counter 3967217
    182         processor 23, local counter 3967220
    183         global counter 7095791, sum of local counter 95157702
    184 local MCS lock with global counter
    185         processor 0, local counter 3849478
    186         processor 1, local counter 3860113
    187         processor 2, local counter 3966891
    188         processor 3, local counter 3966750
    189         processor 4, local counter 3973618
    190         processor 5, local counter 4014013
    191         processor 6, local counter 3914674
    192         processor 7, local counter 3914601
    193         processor 8, local counter 3910536
    194         processor 9, local counter 3924908
    195         processor 10, local counter 3995362
    196         processor 11, local counter 3995130
    197         processor 12, local counter 3909912
    198         processor 13, local counter 3923977
    199         processor 14, local counter 3995941
    200         processor 15, local counter 3995667
    201         processor 16, local counter 3842753
    202         processor 17, local counter 3852728
    203         processor 18, local counter 3956029
    204         processor 19, local counter 3955977
    205         processor 20, local counter 3961870
    206         processor 21, local counter 4001067
    207         processor 22, local counter 3911767
    208         processor 23, local counter 3911724
    209         global counter 8503087, sum of local counter 94505486
    210 global ticket lock with busy section
    211         processor 0, local counter 614377
    212         processor 1, local counter 614376
    213         processor 2, local counter 614377
    214         processor 3, local counter 614377
    215         processor 4, local counter 614377
    216         processor 5, local counter 614378
    217         processor 6, local counter 614377
    218         processor 7, local counter 614377
    219         processor 8, local counter 614377
    220         processor 9, local counter 614376
    221         processor 10, local counter 614378
    222         processor 11, local counter 614377
    223         processor 12, local counter 614377
    224         processor 13, local counter 614377
    225         processor 14, local counter 614377
    226         processor 15, local counter 614376
    227         processor 16, local counter 614377
    228         processor 17, local counter 614377
    229         processor 18, local counter 614377
    230         processor 19, local counter 614378
    231         processor 20, local counter 614378
    232         processor 21, local counter 614377
    233         processor 22, local counter 614377
    234         processor 23, local counter 614377
    235         global counter 0, sum of local counter 14745049
    236 global MCS lock with busy section
    237         processor 0, local counter 552660
    238         processor 1, local counter 552661
    239         processor 2, local counter 552659
    240         processor 3, local counter 552659
    241         processor 4, local counter 552660
    242         processor 5, local counter 552659
    243         processor 6, local counter 552659
    244         processor 7, local counter 552660
    245         processor 8, local counter 552660
    246         processor 9, local counter 552660
    247         processor 10, local counter 552660
    248         processor 11, local counter 552659
    249         processor 12, local counter 552660
    250         processor 13, local counter 552659
    251         processor 14, local counter 552660
    252         processor 15, local counter 552661
    253         processor 16, local counter 552660
    254         processor 17, local counter 552659
    255         processor 18, local counter 552660
    256         processor 19, local counter 552661
    257         processor 20, local counter 552660
    258         processor 21, local counter 552661
    259         processor 22, local counter 552660
    260         processor 23, local counter 552661
    261         global counter 0, sum of local counter 13263838
    262 sequence lock
    263         processor 0, local counter 12138641
    264         processor 1, local counter 8
    265         processor 2, local counter 64
    266         processor 3, local counter 89
    267         processor 4, local counter 208
    268         processor 5, local counter 227
    269         processor 6, local counter 69
    270         processor 7, local counter 82
    271         processor 8, local counter 2019
    272         processor 9, local counter 2017
    273         processor 10, local counter 1914
    274         processor 11, local counter 2008
    275         processor 12, local counter 1890
    276         processor 13, local counter 1902
    277         processor 14, local counter 1734
    278         processor 15, local counter 1701
    279         processor 16, local counter 2198
    280         processor 17, local counter 2176
    281         processor 18, local counter 2011
    282         processor 19, local counter 2047
    283         processor 20, local counter 2072
    284         processor 21, local counter 2084
    285         processor 22, local counter 1866
    286         processor 23, local counter 1849
    287         global counter 0, sum of local counter 12170876
     2<SMPLock01>
     3  <GlobalTicketLockWithLocalCounter activeWorker="1">
     4    <LocalCounter worker="0">18398214</LocalCounter>
     5    <GlobalCounter>0</GlobalCounter>
     6    <SumOfLocalCounter>18398214</SumOfLocalCounter>
     7  </GlobalTicketLockWithLocalCounter>
     8  <GlobalTicketLockWithLocalCounter activeWorker="2">
     9    <LocalCounter worker="0">3818444</LocalCounter>
     10    <LocalCounter worker="1">3818595</LocalCounter>
     11    <GlobalCounter>0</GlobalCounter>
     12    <SumOfLocalCounter>7637039</SumOfLocalCounter>
     13  </GlobalTicketLockWithLocalCounter>
     14  <GlobalTicketLockWithLocalCounter activeWorker="3">
     15    <LocalCounter worker="0">1919976</LocalCounter>
     16    <LocalCounter worker="1">1919985</LocalCounter>
     17    <LocalCounter worker="2">1919953</LocalCounter>
     18    <GlobalCounter>0</GlobalCounter>
     19    <SumOfLocalCounter>5759914</SumOfLocalCounter>
     20  </GlobalTicketLockWithLocalCounter>
     21  <GlobalTicketLockWithLocalCounter activeWorker="4">
     22    <LocalCounter worker="0">1487437</LocalCounter>
     23    <LocalCounter worker="1">1487431</LocalCounter>
     24    <LocalCounter worker="2">1487432</LocalCounter>
     25    <LocalCounter worker="3">1487421</LocalCounter>
     26    <GlobalCounter>0</GlobalCounter>
     27    <SumOfLocalCounter>5949721</SumOfLocalCounter>
     28  </GlobalTicketLockWithLocalCounter>
     29  <GlobalTicketLockWithLocalCounter activeWorker="5">
     30    <LocalCounter worker="0">1148919</LocalCounter>
     31    <LocalCounter worker="1">1148898</LocalCounter>
     32    <LocalCounter worker="2">1148900</LocalCounter>
     33    <LocalCounter worker="3">1148852</LocalCounter>
     34    <LocalCounter worker="4">1148909</LocalCounter>
     35    <GlobalCounter>0</GlobalCounter>
     36    <SumOfLocalCounter>5744478</SumOfLocalCounter>
     37  </GlobalTicketLockWithLocalCounter>
     38  <GlobalTicketLockWithLocalCounter activeWorker="6">
     39    <LocalCounter worker="0">930242</LocalCounter>
     40    <LocalCounter worker="1">930202</LocalCounter>
     41    <LocalCounter worker="2">930199</LocalCounter>
     42    <LocalCounter worker="3">930184</LocalCounter>
     43    <LocalCounter worker="4">930181</LocalCounter>
     44    <LocalCounter worker="5">930230</LocalCounter>
     45    <GlobalCounter>0</GlobalCounter>
     46    <SumOfLocalCounter>5581238</SumOfLocalCounter>
     47  </GlobalTicketLockWithLocalCounter>
     48  <GlobalTicketLockWithLocalCounter activeWorker="7">
     49    <LocalCounter worker="0">779079</LocalCounter>
     50    <LocalCounter worker="1">778991</LocalCounter>
     51    <LocalCounter worker="2">778995</LocalCounter>
     52    <LocalCounter worker="3">778990</LocalCounter>
     53    <LocalCounter worker="4">778981</LocalCounter>
     54    <LocalCounter worker="5">778985</LocalCounter>
     55    <LocalCounter worker="6">778987</LocalCounter>
     56    <GlobalCounter>0</GlobalCounter>
     57    <SumOfLocalCounter>5453008</SumOfLocalCounter>
     58  </GlobalTicketLockWithLocalCounter>
     59  <GlobalTicketLockWithLocalCounter activeWorker="8">
     60    <LocalCounter worker="0">654604</LocalCounter>
     61    <LocalCounter worker="1">651632</LocalCounter>
     62    <LocalCounter worker="2">651569</LocalCounter>
     63    <LocalCounter worker="3">651546</LocalCounter>
     64    <LocalCounter worker="4">651563</LocalCounter>
     65    <LocalCounter worker="5">651567</LocalCounter>
     66    <LocalCounter worker="6">651596</LocalCounter>
     67    <LocalCounter worker="7">653615</LocalCounter>
     68    <GlobalCounter>0</GlobalCounter>
     69    <SumOfLocalCounter>5217692</SumOfLocalCounter>
     70  </GlobalTicketLockWithLocalCounter>
     71  <GlobalTicketLockWithLocalCounter activeWorker="9">
     72    <LocalCounter worker="0">534418</LocalCounter>
     73    <LocalCounter worker="1">534312</LocalCounter>
     74    <LocalCounter worker="2">534314</LocalCounter>
     75    <LocalCounter worker="3">534304</LocalCounter>
     76    <LocalCounter worker="4">534309</LocalCounter>
     77    <LocalCounter worker="5">534304</LocalCounter>
     78    <LocalCounter worker="6">534311</LocalCounter>
     79    <LocalCounter worker="7">534303</LocalCounter>
     80    <LocalCounter worker="8">534309</LocalCounter>
     81    <GlobalCounter>0</GlobalCounter>
     82    <SumOfLocalCounter>4808884</SumOfLocalCounter>
     83  </GlobalTicketLockWithLocalCounter>
     84  <GlobalTicketLockWithLocalCounter activeWorker="10">
     85    <LocalCounter worker="0">472000</LocalCounter>
     86    <LocalCounter worker="1">470376</LocalCounter>
     87    <LocalCounter worker="2">470345</LocalCounter>
     88    <LocalCounter worker="3">470334</LocalCounter>
     89    <LocalCounter worker="4">470373</LocalCounter>
     90    <LocalCounter worker="5">470401</LocalCounter>
     91    <LocalCounter worker="6">470374</LocalCounter>
     92    <LocalCounter worker="7">470391</LocalCounter>
     93    <LocalCounter worker="8">470370</LocalCounter>
     94    <LocalCounter worker="9">472016</LocalCounter>
     95    <GlobalCounter>0</GlobalCounter>
     96    <SumOfLocalCounter>4706980</SumOfLocalCounter>
     97  </GlobalTicketLockWithLocalCounter>
     98  <GlobalTicketLockWithLocalCounter activeWorker="11">
     99    <LocalCounter worker="0">429615</LocalCounter>
     100    <LocalCounter worker="1">428935</LocalCounter>
     101    <LocalCounter worker="2">428953</LocalCounter>
     102    <LocalCounter worker="3">428926</LocalCounter>
     103    <LocalCounter worker="4">428906</LocalCounter>
     104    <LocalCounter worker="5">428880</LocalCounter>
     105    <LocalCounter worker="6">428914</LocalCounter>
     106    <LocalCounter worker="7">428898</LocalCounter>
     107    <LocalCounter worker="8">428907</LocalCounter>
     108    <LocalCounter worker="9">429584</LocalCounter>
     109    <LocalCounter worker="10">429584</LocalCounter>
     110    <GlobalCounter>0</GlobalCounter>
     111    <SumOfLocalCounter>4720102</SumOfLocalCounter>
     112  </GlobalTicketLockWithLocalCounter>
     113  <GlobalTicketLockWithLocalCounter activeWorker="12">
     114    <LocalCounter worker="0">386115</LocalCounter>
     115    <LocalCounter worker="1">385629</LocalCounter>
     116    <LocalCounter worker="2">385643</LocalCounter>
     117    <LocalCounter worker="3">385644</LocalCounter>
     118    <LocalCounter worker="4">385621</LocalCounter>
     119    <LocalCounter worker="5">385630</LocalCounter>
     120    <LocalCounter worker="6">385638</LocalCounter>
     121    <LocalCounter worker="7">385615</LocalCounter>
     122    <LocalCounter worker="8">385627</LocalCounter>
     123    <LocalCounter worker="9">386087</LocalCounter>
     124    <LocalCounter worker="10">386088</LocalCounter>
     125    <LocalCounter worker="11">386095</LocalCounter>
     126    <GlobalCounter>0</GlobalCounter>
     127    <SumOfLocalCounter>4629432</SumOfLocalCounter>
     128  </GlobalTicketLockWithLocalCounter>
     129  <GlobalTicketLockWithLocalCounter activeWorker="13">
     130    <LocalCounter worker="0">352696</LocalCounter>
     131    <LocalCounter worker="1">352413</LocalCounter>
     132    <LocalCounter worker="2">352429</LocalCounter>
     133    <LocalCounter worker="3">352421</LocalCounter>
     134    <LocalCounter worker="4">352419</LocalCounter>
     135    <LocalCounter worker="5">352411</LocalCounter>
     136    <LocalCounter worker="6">352423</LocalCounter>
     137    <LocalCounter worker="7">352409</LocalCounter>
     138    <LocalCounter worker="8">352415</LocalCounter>
     139    <LocalCounter worker="9">352661</LocalCounter>
     140    <LocalCounter worker="10">352666</LocalCounter>
     141    <LocalCounter worker="11">352666</LocalCounter>
     142    <LocalCounter worker="12">352660</LocalCounter>
     143    <GlobalCounter>0</GlobalCounter>
     144    <SumOfLocalCounter>4582689</SumOfLocalCounter>
     145  </GlobalTicketLockWithLocalCounter>
     146  <GlobalTicketLockWithLocalCounter activeWorker="14">
     147    <LocalCounter worker="0">324515</LocalCounter>
     148    <LocalCounter worker="1">324378</LocalCounter>
     149    <LocalCounter worker="2">324389</LocalCounter>
     150    <LocalCounter worker="3">324381</LocalCounter>
     151    <LocalCounter worker="4">324382</LocalCounter>
     152    <LocalCounter worker="5">324372</LocalCounter>
     153    <LocalCounter worker="6">324380</LocalCounter>
     154    <LocalCounter worker="7">324380</LocalCounter>
     155    <LocalCounter worker="8">324370</LocalCounter>
     156    <LocalCounter worker="9">324483</LocalCounter>
     157    <LocalCounter worker="10">324482</LocalCounter>
     158    <LocalCounter worker="11">324482</LocalCounter>
     159    <LocalCounter worker="12">324479</LocalCounter>
     160    <LocalCounter worker="13">324509</LocalCounter>
     161    <GlobalCounter>0</GlobalCounter>
     162    <SumOfLocalCounter>4541982</SumOfLocalCounter>
     163  </GlobalTicketLockWithLocalCounter>
     164  <GlobalTicketLockWithLocalCounter activeWorker="15">
     165    <LocalCounter worker="0">301306</LocalCounter>
     166    <LocalCounter worker="1">301217</LocalCounter>
     167    <LocalCounter worker="2">301212</LocalCounter>
     168    <LocalCounter worker="3">301217</LocalCounter>
     169    <LocalCounter worker="4">301219</LocalCounter>
     170    <LocalCounter worker="5">301218</LocalCounter>
     171    <LocalCounter worker="6">301213</LocalCounter>
     172    <LocalCounter worker="7">301212</LocalCounter>
     173    <LocalCounter worker="8">301215</LocalCounter>
     174    <LocalCounter worker="9">301273</LocalCounter>
     175    <LocalCounter worker="10">301271</LocalCounter>
     176    <LocalCounter worker="11">301274</LocalCounter>
     177    <LocalCounter worker="12">301273</LocalCounter>
     178    <LocalCounter worker="13">301270</LocalCounter>
     179    <LocalCounter worker="14">301270</LocalCounter>
     180    <GlobalCounter>0</GlobalCounter>
     181    <SumOfLocalCounter>4518660</SumOfLocalCounter>
     182  </GlobalTicketLockWithLocalCounter>
     183  <GlobalTicketLockWithLocalCounter activeWorker="16">
     184    <LocalCounter worker="0">282744</LocalCounter>
     185    <LocalCounter worker="1">282629</LocalCounter>
     186    <LocalCounter worker="2">282622</LocalCounter>
     187    <LocalCounter worker="3">282627</LocalCounter>
     188    <LocalCounter worker="4">282620</LocalCounter>
     189    <LocalCounter worker="5">282617</LocalCounter>
     190    <LocalCounter worker="6">282616</LocalCounter>
     191    <LocalCounter worker="7">282618</LocalCounter>
     192    <LocalCounter worker="8">282624</LocalCounter>
     193    <LocalCounter worker="9">282662</LocalCounter>
     194    <LocalCounter worker="10">282664</LocalCounter>
     195    <LocalCounter worker="11">282663</LocalCounter>
     196    <LocalCounter worker="12">282662</LocalCounter>
     197    <LocalCounter worker="13">282658</LocalCounter>
     198    <LocalCounter worker="14">282662</LocalCounter>
     199    <LocalCounter worker="15">282693</LocalCounter>
     200    <GlobalCounter>0</GlobalCounter>
     201    <SumOfLocalCounter>4522381</SumOfLocalCounter>
     202  </GlobalTicketLockWithLocalCounter>
     203  <GlobalTicketLockWithLocalCounter activeWorker="17">
     204    <LocalCounter worker="0">259579</LocalCounter>
     205    <LocalCounter worker="1">259524</LocalCounter>
     206    <LocalCounter worker="2">259529</LocalCounter>
     207    <LocalCounter worker="3">259530</LocalCounter>
     208    <LocalCounter worker="4">259529</LocalCounter>
     209    <LocalCounter worker="5">259532</LocalCounter>
     210    <LocalCounter worker="6">259530</LocalCounter>
     211    <LocalCounter worker="7">259536</LocalCounter>
     212    <LocalCounter worker="8">259529</LocalCounter>
     213    <LocalCounter worker="9">259533</LocalCounter>
     214    <LocalCounter worker="10">259527</LocalCounter>
     215    <LocalCounter worker="11">259529</LocalCounter>
     216    <LocalCounter worker="12">259533</LocalCounter>
     217    <LocalCounter worker="13">259527</LocalCounter>
     218    <LocalCounter worker="14">259528</LocalCounter>
     219    <LocalCounter worker="15">259524</LocalCounter>
     220    <LocalCounter worker="16">259536</LocalCounter>
     221    <GlobalCounter>0</GlobalCounter>
     222    <SumOfLocalCounter>4412055</SumOfLocalCounter>
     223  </GlobalTicketLockWithLocalCounter>
     224  <GlobalTicketLockWithLocalCounter activeWorker="18">
     225    <LocalCounter worker="0">239835</LocalCounter>
     226    <LocalCounter worker="1">239813</LocalCounter>
     227    <LocalCounter worker="2">239814</LocalCounter>
     228    <LocalCounter worker="3">239810</LocalCounter>
     229    <LocalCounter worker="4">239811</LocalCounter>
     230    <LocalCounter worker="5">239817</LocalCounter>
     231    <LocalCounter worker="6">239813</LocalCounter>
     232    <LocalCounter worker="7">239814</LocalCounter>
     233    <LocalCounter worker="8">239815</LocalCounter>
     234    <LocalCounter worker="9">239816</LocalCounter>
     235    <LocalCounter worker="10">239815</LocalCounter>
     236    <LocalCounter worker="11">239813</LocalCounter>
     237    <LocalCounter worker="12">239813</LocalCounter>
     238    <LocalCounter worker="13">239817</LocalCounter>
     239    <LocalCounter worker="14">239813</LocalCounter>
     240    <LocalCounter worker="15">239812</LocalCounter>
     241    <LocalCounter worker="16">239811</LocalCounter>
     242    <LocalCounter worker="17">239834</LocalCounter>
     243    <GlobalCounter>0</GlobalCounter>
     244    <SumOfLocalCounter>4316686</SumOfLocalCounter>
     245  </GlobalTicketLockWithLocalCounter>
     246  <GlobalTicketLockWithLocalCounter activeWorker="19">
     247    <LocalCounter worker="0">223254</LocalCounter>
     248    <LocalCounter worker="1">223225</LocalCounter>
     249    <LocalCounter worker="2">223227</LocalCounter>
     250    <LocalCounter worker="3">223222</LocalCounter>
     251    <LocalCounter worker="4">223224</LocalCounter>
     252    <LocalCounter worker="5">223223</LocalCounter>
     253    <LocalCounter worker="6">223220</LocalCounter>
     254    <LocalCounter worker="7">223216</LocalCounter>
     255    <LocalCounter worker="8">223217</LocalCounter>
     256    <LocalCounter worker="9">223222</LocalCounter>
     257    <LocalCounter worker="10">223219</LocalCounter>
     258    <LocalCounter worker="11">223221</LocalCounter>
     259    <LocalCounter worker="12">223223</LocalCounter>
     260    <LocalCounter worker="13">223225</LocalCounter>
     261    <LocalCounter worker="14">223219</LocalCounter>
     262    <LocalCounter worker="15">223222</LocalCounter>
     263    <LocalCounter worker="16">223223</LocalCounter>
     264    <LocalCounter worker="17">223249</LocalCounter>
     265    <LocalCounter worker="18">223251</LocalCounter>
     266    <GlobalCounter>0</GlobalCounter>
     267    <SumOfLocalCounter>4241302</SumOfLocalCounter>
     268  </GlobalTicketLockWithLocalCounter>
     269  <GlobalTicketLockWithLocalCounter activeWorker="20">
     270    <LocalCounter worker="0">213739</LocalCounter>
     271    <LocalCounter worker="1">213709</LocalCounter>
     272    <LocalCounter worker="2">213708</LocalCounter>
     273    <LocalCounter worker="3">213708</LocalCounter>
     274    <LocalCounter worker="4">213707</LocalCounter>
     275    <LocalCounter worker="5">213710</LocalCounter>
     276    <LocalCounter worker="6">213708</LocalCounter>
     277    <LocalCounter worker="7">213710</LocalCounter>
     278    <LocalCounter worker="8">213708</LocalCounter>
     279    <LocalCounter worker="9">213710</LocalCounter>
     280    <LocalCounter worker="10">213710</LocalCounter>
     281    <LocalCounter worker="11">213710</LocalCounter>
     282    <LocalCounter worker="12">213711</LocalCounter>
     283    <LocalCounter worker="13">213714</LocalCounter>
     284    <LocalCounter worker="14">213714</LocalCounter>
     285    <LocalCounter worker="15">213708</LocalCounter>
     286    <LocalCounter worker="16">213710</LocalCounter>
     287    <LocalCounter worker="17">213732</LocalCounter>
     288    <LocalCounter worker="18">213734</LocalCounter>
     289    <LocalCounter worker="19">213735</LocalCounter>
     290    <GlobalCounter>0</GlobalCounter>
     291    <SumOfLocalCounter>4274295</SumOfLocalCounter>
     292  </GlobalTicketLockWithLocalCounter>
     293  <GlobalTicketLockWithLocalCounter activeWorker="21">
     294    <LocalCounter worker="0">198998</LocalCounter>
     295    <LocalCounter worker="1">198980</LocalCounter>
     296    <LocalCounter worker="2">198986</LocalCounter>
     297    <LocalCounter worker="3">198983</LocalCounter>
     298    <LocalCounter worker="4">198981</LocalCounter>
     299    <LocalCounter worker="5">198983</LocalCounter>
     300    <LocalCounter worker="6">198983</LocalCounter>
     301    <LocalCounter worker="7">198981</LocalCounter>
     302    <LocalCounter worker="8">198981</LocalCounter>
     303    <LocalCounter worker="9">198983</LocalCounter>
     304    <LocalCounter worker="10">198982</LocalCounter>
     305    <LocalCounter worker="11">198981</LocalCounter>
     306    <LocalCounter worker="12">198982</LocalCounter>
     307    <LocalCounter worker="13">198983</LocalCounter>
     308    <LocalCounter worker="14">198984</LocalCounter>
     309    <LocalCounter worker="15">198984</LocalCounter>
     310    <LocalCounter worker="16">198982</LocalCounter>
     311    <LocalCounter worker="17">198992</LocalCounter>
     312    <LocalCounter worker="18">198994</LocalCounter>
     313    <LocalCounter worker="19">198993</LocalCounter>
     314    <LocalCounter worker="20">198995</LocalCounter>
     315    <GlobalCounter>0</GlobalCounter>
     316    <SumOfLocalCounter>4178691</SumOfLocalCounter>
     317  </GlobalTicketLockWithLocalCounter>
     318  <GlobalTicketLockWithLocalCounter activeWorker="22">
     319    <LocalCounter worker="0">192361</LocalCounter>
     320    <LocalCounter worker="1">192346</LocalCounter>
     321    <LocalCounter worker="2">192349</LocalCounter>
     322    <LocalCounter worker="3">192348</LocalCounter>
     323    <LocalCounter worker="4">192348</LocalCounter>
     324    <LocalCounter worker="5">192350</LocalCounter>
     325    <LocalCounter worker="6">192346</LocalCounter>
     326    <LocalCounter worker="7">192349</LocalCounter>
     327    <LocalCounter worker="8">192348</LocalCounter>
     328    <LocalCounter worker="9">192346</LocalCounter>
     329    <LocalCounter worker="10">192346</LocalCounter>
     330    <LocalCounter worker="11">192345</LocalCounter>
     331    <LocalCounter worker="12">192346</LocalCounter>
     332    <LocalCounter worker="13">192348</LocalCounter>
     333    <LocalCounter worker="14">192346</LocalCounter>
     334    <LocalCounter worker="15">192347</LocalCounter>
     335    <LocalCounter worker="16">192350</LocalCounter>
     336    <LocalCounter worker="17">192356</LocalCounter>
     337    <LocalCounter worker="18">192355</LocalCounter>
     338    <LocalCounter worker="19">192357</LocalCounter>
     339    <LocalCounter worker="20">192356</LocalCounter>
     340    <LocalCounter worker="21">192358</LocalCounter>
     341    <GlobalCounter>0</GlobalCounter>
     342    <SumOfLocalCounter>4231701</SumOfLocalCounter>
     343  </GlobalTicketLockWithLocalCounter>
     344  <GlobalTicketLockWithLocalCounter activeWorker="23">
     345    <LocalCounter worker="0">176769</LocalCounter>
     346    <LocalCounter worker="1">176761</LocalCounter>
     347    <LocalCounter worker="2">176760</LocalCounter>
     348    <LocalCounter worker="3">176759</LocalCounter>
     349    <LocalCounter worker="4">176760</LocalCounter>
     350    <LocalCounter worker="5">176757</LocalCounter>
     351    <LocalCounter worker="6">176759</LocalCounter>
     352    <LocalCounter worker="7">176758</LocalCounter>
     353    <LocalCounter worker="8">176759</LocalCounter>
     354    <LocalCounter worker="9">176759</LocalCounter>
     355    <LocalCounter worker="10">176759</LocalCounter>
     356    <LocalCounter worker="11">176760</LocalCounter>
     357    <LocalCounter worker="12">176758</LocalCounter>
     358    <LocalCounter worker="13">176758</LocalCounter>
     359    <LocalCounter worker="14">176760</LocalCounter>
     360    <LocalCounter worker="15">176759</LocalCounter>
     361    <LocalCounter worker="16">176757</LocalCounter>
     362    <LocalCounter worker="17">176761</LocalCounter>
     363    <LocalCounter worker="18">176763</LocalCounter>
     364    <LocalCounter worker="19">176760</LocalCounter>
     365    <LocalCounter worker="20">176762</LocalCounter>
     366    <LocalCounter worker="21">176763</LocalCounter>
     367    <LocalCounter worker="22">176762</LocalCounter>
     368    <GlobalCounter>0</GlobalCounter>
     369    <SumOfLocalCounter>4065483</SumOfLocalCounter>
     370  </GlobalTicketLockWithLocalCounter>
     371  <GlobalTicketLockWithLocalCounter activeWorker="24">
     372    <LocalCounter worker="0">164847</LocalCounter>
     373    <LocalCounter worker="1">164844</LocalCounter>
     374    <LocalCounter worker="2">164845</LocalCounter>
     375    <LocalCounter worker="3">164845</LocalCounter>
     376    <LocalCounter worker="4">164846</LocalCounter>
     377    <LocalCounter worker="5">164844</LocalCounter>
     378    <LocalCounter worker="6">164846</LocalCounter>
     379    <LocalCounter worker="7">164845</LocalCounter>
     380    <LocalCounter worker="8">164845</LocalCounter>
     381    <LocalCounter worker="9">164845</LocalCounter>
     382    <LocalCounter worker="10">164846</LocalCounter>
     383    <LocalCounter worker="11">164844</LocalCounter>
     384    <LocalCounter worker="12">164846</LocalCounter>
     385    <LocalCounter worker="13">164846</LocalCounter>
     386    <LocalCounter worker="14">164846</LocalCounter>
     387    <LocalCounter worker="15">164845</LocalCounter>
     388    <LocalCounter worker="16">164846</LocalCounter>
     389    <LocalCounter worker="17">164846</LocalCounter>
     390    <LocalCounter worker="18">164847</LocalCounter>
     391    <LocalCounter worker="19">164845</LocalCounter>
     392    <LocalCounter worker="20">164845</LocalCounter>
     393    <LocalCounter worker="21">164845</LocalCounter>
     394    <LocalCounter worker="22">164846</LocalCounter>
     395    <LocalCounter worker="23">164846</LocalCounter>
     396    <GlobalCounter>0</GlobalCounter>
     397    <SumOfLocalCounter>3956291</SumOfLocalCounter>
     398  </GlobalTicketLockWithLocalCounter>
     399  <GlobalMCSLockWithLocalCounter activeWorker="1">
     400    <LocalCounter worker="0">13057243</LocalCounter>
     401    <GlobalCounter>0</GlobalCounter>
     402    <SumOfLocalCounter>13057243</SumOfLocalCounter>
     403  </GlobalMCSLockWithLocalCounter>
     404  <GlobalMCSLockWithLocalCounter activeWorker="2">
     405    <LocalCounter worker="0">1266595</LocalCounter>
     406    <LocalCounter worker="1">1266587</LocalCounter>
     407    <GlobalCounter>0</GlobalCounter>
     408    <SumOfLocalCounter>2533182</SumOfLocalCounter>
     409  </GlobalMCSLockWithLocalCounter>
     410  <GlobalMCSLockWithLocalCounter activeWorker="3">
     411    <LocalCounter worker="0">1806557</LocalCounter>
     412    <LocalCounter worker="1">1806541</LocalCounter>
     413    <LocalCounter worker="2">1806556</LocalCounter>
     414    <GlobalCounter>0</GlobalCounter>
     415    <SumOfLocalCounter>5419654</SumOfLocalCounter>
     416  </GlobalMCSLockWithLocalCounter>
     417  <GlobalMCSLockWithLocalCounter activeWorker="4">
     418    <LocalCounter worker="0">1799359</LocalCounter>
     419    <LocalCounter worker="1">1799355</LocalCounter>
     420    <LocalCounter worker="2">1799361</LocalCounter>
     421    <LocalCounter worker="3">1799358</LocalCounter>
     422    <GlobalCounter>0</GlobalCounter>
     423    <SumOfLocalCounter>7197433</SumOfLocalCounter>
     424  </GlobalMCSLockWithLocalCounter>
     425  <GlobalMCSLockWithLocalCounter activeWorker="5">
     426    <LocalCounter worker="0">1809548</LocalCounter>
     427    <LocalCounter worker="1">1809543</LocalCounter>
     428    <LocalCounter worker="2">1809545</LocalCounter>
     429    <LocalCounter worker="3">1809547</LocalCounter>
     430    <LocalCounter worker="4">1809545</LocalCounter>
     431    <GlobalCounter>0</GlobalCounter>
     432    <SumOfLocalCounter>9047728</SumOfLocalCounter>
     433  </GlobalMCSLockWithLocalCounter>
     434  <GlobalMCSLockWithLocalCounter activeWorker="6">
     435    <LocalCounter worker="0">1572945</LocalCounter>
     436    <LocalCounter worker="1">1572938</LocalCounter>
     437    <LocalCounter worker="2">1572941</LocalCounter>
     438    <LocalCounter worker="3">1572942</LocalCounter>
     439    <LocalCounter worker="4">1572941</LocalCounter>
     440    <LocalCounter worker="5">1572939</LocalCounter>
     441    <GlobalCounter>0</GlobalCounter>
     442    <SumOfLocalCounter>9437646</SumOfLocalCounter>
     443  </GlobalMCSLockWithLocalCounter>
     444  <GlobalMCSLockWithLocalCounter activeWorker="7">
     445    <LocalCounter worker="0">1488244</LocalCounter>
     446    <LocalCounter worker="1">1488238</LocalCounter>
     447    <LocalCounter worker="2">1488242</LocalCounter>
     448    <LocalCounter worker="3">1488243</LocalCounter>
     449    <LocalCounter worker="4">1488241</LocalCounter>
     450    <LocalCounter worker="5">1488240</LocalCounter>
     451    <LocalCounter worker="6">1488242</LocalCounter>
     452    <GlobalCounter>0</GlobalCounter>
     453    <SumOfLocalCounter>10417690</SumOfLocalCounter>
     454  </GlobalMCSLockWithLocalCounter>
     455  <GlobalMCSLockWithLocalCounter activeWorker="8">
     456    <LocalCounter worker="0">1326735</LocalCounter>
     457    <LocalCounter worker="1">1326731</LocalCounter>
     458    <LocalCounter worker="2">1326732</LocalCounter>
     459    <LocalCounter worker="3">1326732</LocalCounter>
     460    <LocalCounter worker="4">1326730</LocalCounter>
     461    <LocalCounter worker="5">1326731</LocalCounter>
     462    <LocalCounter worker="6">1326733</LocalCounter>
     463    <LocalCounter worker="7">1326732</LocalCounter>
     464    <GlobalCounter>0</GlobalCounter>
     465    <SumOfLocalCounter>10613856</SumOfLocalCounter>
     466  </GlobalMCSLockWithLocalCounter>
     467  <GlobalMCSLockWithLocalCounter activeWorker="9">
     468    <LocalCounter worker="0">1227563</LocalCounter>
     469    <LocalCounter worker="1">1227561</LocalCounter>
     470    <LocalCounter worker="2">1227561</LocalCounter>
     471    <LocalCounter worker="3">1227562</LocalCounter>
     472    <LocalCounter worker="4">1227558</LocalCounter>
     473    <LocalCounter worker="5">1227561</LocalCounter>
     474    <LocalCounter worker="6">1227561</LocalCounter>
     475    <LocalCounter worker="7">1227562</LocalCounter>
     476    <LocalCounter worker="8">1227559</LocalCounter>
     477    <GlobalCounter>0</GlobalCounter>
     478    <SumOfLocalCounter>11048048</SumOfLocalCounter>
     479  </GlobalMCSLockWithLocalCounter>
     480  <GlobalMCSLockWithLocalCounter activeWorker="10">
     481    <LocalCounter worker="0">894577</LocalCounter>
     482    <LocalCounter worker="1">894574</LocalCounter>
     483    <LocalCounter worker="2">894575</LocalCounter>
     484    <LocalCounter worker="3">894576</LocalCounter>
     485    <LocalCounter worker="4">894575</LocalCounter>
     486    <LocalCounter worker="5">894575</LocalCounter>
     487    <LocalCounter worker="6">894576</LocalCounter>
     488    <LocalCounter worker="7">894575</LocalCounter>
     489    <LocalCounter worker="8">894575</LocalCounter>
     490    <LocalCounter worker="9">894575</LocalCounter>
     491    <GlobalCounter>0</GlobalCounter>
     492    <SumOfLocalCounter>8945753</SumOfLocalCounter>
     493  </GlobalMCSLockWithLocalCounter>
     494  <GlobalMCSLockWithLocalCounter activeWorker="11">
     495    <LocalCounter worker="0">791584</LocalCounter>
     496    <LocalCounter worker="1">791584</LocalCounter>
     497    <LocalCounter worker="2">791583</LocalCounter>
     498    <LocalCounter worker="3">791582</LocalCounter>
     499    <LocalCounter worker="4">791584</LocalCounter>
     500    <LocalCounter worker="5">791582</LocalCounter>
     501    <LocalCounter worker="6">791584</LocalCounter>
     502    <LocalCounter worker="7">791582</LocalCounter>
     503    <LocalCounter worker="8">791583</LocalCounter>
     504    <LocalCounter worker="9">791583</LocalCounter>
     505    <LocalCounter worker="10">791584</LocalCounter>
     506    <GlobalCounter>0</GlobalCounter>
     507    <SumOfLocalCounter>8707415</SumOfLocalCounter>
     508  </GlobalMCSLockWithLocalCounter>
     509  <GlobalMCSLockWithLocalCounter activeWorker="12">
     510    <LocalCounter worker="0">700121</LocalCounter>
     511    <LocalCounter worker="1">700119</LocalCounter>
     512    <LocalCounter worker="2">700118</LocalCounter>
     513    <LocalCounter worker="3">700118</LocalCounter>
     514    <LocalCounter worker="4">700117</LocalCounter>
     515    <LocalCounter worker="5">700117</LocalCounter>
     516    <LocalCounter worker="6">700119</LocalCounter>
     517    <LocalCounter worker="7">700119</LocalCounter>
     518    <LocalCounter worker="8">700118</LocalCounter>
     519    <LocalCounter worker="9">700118</LocalCounter>
     520    <LocalCounter worker="10">700119</LocalCounter>
     521    <LocalCounter worker="11">700118</LocalCounter>
     522    <GlobalCounter>0</GlobalCounter>
     523    <SumOfLocalCounter>8401421</SumOfLocalCounter>
     524  </GlobalMCSLockWithLocalCounter>
     525  <GlobalMCSLockWithLocalCounter activeWorker="13">
     526    <LocalCounter worker="0">612928</LocalCounter>
     527    <LocalCounter worker="1">612926</LocalCounter>
     528    <LocalCounter worker="2">612925</LocalCounter>
     529    <LocalCounter worker="3">612927</LocalCounter>
     530    <LocalCounter worker="4">612925</LocalCounter>
     531    <LocalCounter worker="5">612925</LocalCounter>
     532    <LocalCounter worker="6">612925</LocalCounter>
     533    <LocalCounter worker="7">612925</LocalCounter>
     534    <LocalCounter worker="8">612924</LocalCounter>
     535    <LocalCounter worker="9">612925</LocalCounter>
     536    <LocalCounter worker="10">612926</LocalCounter>
     537    <LocalCounter worker="11">612926</LocalCounter>
     538    <LocalCounter worker="12">612925</LocalCounter>
     539    <GlobalCounter>0</GlobalCounter>
     540    <SumOfLocalCounter>7968032</SumOfLocalCounter>
     541  </GlobalMCSLockWithLocalCounter>
     542  <GlobalMCSLockWithLocalCounter activeWorker="14">
     543    <LocalCounter worker="0">615640</LocalCounter>
     544    <LocalCounter worker="1">615637</LocalCounter>
     545    <LocalCounter worker="2">615638</LocalCounter>
     546    <LocalCounter worker="3">615638</LocalCounter>
     547    <LocalCounter worker="4">615637</LocalCounter>
     548    <LocalCounter worker="5">615636</LocalCounter>
     549    <LocalCounter worker="6">615637</LocalCounter>
     550    <LocalCounter worker="7">615636</LocalCounter>
     551    <LocalCounter worker="8">615633</LocalCounter>
     552    <LocalCounter worker="9">615638</LocalCounter>
     553    <LocalCounter worker="10">615638</LocalCounter>
     554    <LocalCounter worker="11">615637</LocalCounter>
     555    <LocalCounter worker="12">615637</LocalCounter>
     556    <LocalCounter worker="13">615635</LocalCounter>
     557    <GlobalCounter>0</GlobalCounter>
     558    <SumOfLocalCounter>8618917</SumOfLocalCounter>
     559  </GlobalMCSLockWithLocalCounter>
     560  <GlobalMCSLockWithLocalCounter activeWorker="15">
     561    <LocalCounter worker="0">494010</LocalCounter>
     562    <LocalCounter worker="1">494005</LocalCounter>
     563    <LocalCounter worker="2">494007</LocalCounter>
     564    <LocalCounter worker="3">494003</LocalCounter>
     565    <LocalCounter worker="4">494006</LocalCounter>
     566    <LocalCounter worker="5">494003</LocalCounter>
     567    <LocalCounter worker="6">494003</LocalCounter>
     568    <LocalCounter worker="7">494003</LocalCounter>
     569    <LocalCounter worker="8">494005</LocalCounter>
     570    <LocalCounter worker="9">494002</LocalCounter>
     571    <LocalCounter worker="10">494006</LocalCounter>
     572    <LocalCounter worker="11">494005</LocalCounter>
     573    <LocalCounter worker="12">494004</LocalCounter>
     574    <LocalCounter worker="13">494002</LocalCounter>
     575    <LocalCounter worker="14">494003</LocalCounter>
     576    <GlobalCounter>0</GlobalCounter>
     577    <SumOfLocalCounter>7410067</SumOfLocalCounter>
     578  </GlobalMCSLockWithLocalCounter>
     579  <GlobalMCSLockWithLocalCounter activeWorker="16">
     580    <LocalCounter worker="0">452311</LocalCounter>
     581    <LocalCounter worker="1">452308</LocalCounter>
     582    <LocalCounter worker="2">452307</LocalCounter>
     583    <LocalCounter worker="3">452304</LocalCounter>
     584    <LocalCounter worker="4">452306</LocalCounter>
     585    <LocalCounter worker="5">452306</LocalCounter>
     586    <LocalCounter worker="6">452306</LocalCounter>
     587    <LocalCounter worker="7">452305</LocalCounter>
     588    <LocalCounter worker="8">452306</LocalCounter>
     589    <LocalCounter worker="9">452305</LocalCounter>
     590    <LocalCounter worker="10">452308</LocalCounter>
     591    <LocalCounter worker="11">452302</LocalCounter>
     592    <LocalCounter worker="12">452304</LocalCounter>
     593    <LocalCounter worker="13">452307</LocalCounter>
     594    <LocalCounter worker="14">452305</LocalCounter>
     595    <LocalCounter worker="15">452307</LocalCounter>
     596    <GlobalCounter>0</GlobalCounter>
     597    <SumOfLocalCounter>7236897</SumOfLocalCounter>
     598  </GlobalMCSLockWithLocalCounter>
     599  <GlobalMCSLockWithLocalCounter activeWorker="17">
     600    <LocalCounter worker="0">411836</LocalCounter>
     601    <LocalCounter worker="1">411832</LocalCounter>
     602    <LocalCounter worker="2">411832</LocalCounter>
     603    <LocalCounter worker="3">411831</LocalCounter>
     604    <LocalCounter worker="4">411830</LocalCounter>
     605    <LocalCounter worker="5">411830</LocalCounter>
     606    <LocalCounter worker="6">411835</LocalCounter>
     607    <LocalCounter worker="7">411833</LocalCounter>
     608    <LocalCounter worker="8">411830</LocalCounter>
     609    <LocalCounter worker="9">411832</LocalCounter>
     610    <LocalCounter worker="10">411833</LocalCounter>
     611    <LocalCounter worker="11">411829</LocalCounter>
     612    <LocalCounter worker="12">411833</LocalCounter>
     613    <LocalCounter worker="13">411833</LocalCounter>
     614    <LocalCounter worker="14">411831</LocalCounter>
     615    <LocalCounter worker="15">411833</LocalCounter>
     616    <LocalCounter worker="16">411828</LocalCounter>
     617    <GlobalCounter>0</GlobalCounter>
     618    <SumOfLocalCounter>7001141</SumOfLocalCounter>
     619  </GlobalMCSLockWithLocalCounter>
     620  <GlobalMCSLockWithLocalCounter activeWorker="18">
     621    <LocalCounter worker="0">467016</LocalCounter>
     622    <LocalCounter worker="1">466996</LocalCounter>
     623    <LocalCounter worker="2">467001</LocalCounter>
     624    <LocalCounter worker="3">466994</LocalCounter>
     625    <LocalCounter worker="4">466989</LocalCounter>
     626    <LocalCounter worker="5">466986</LocalCounter>
     627    <LocalCounter worker="6">466991</LocalCounter>
     628    <LocalCounter worker="7">466994</LocalCounter>
     629    <LocalCounter worker="8">466973</LocalCounter>
     630    <LocalCounter worker="9">466976</LocalCounter>
     631    <LocalCounter worker="10">466993</LocalCounter>
     632    <LocalCounter worker="11">466996</LocalCounter>
     633    <LocalCounter worker="12">467008</LocalCounter>
     634    <LocalCounter worker="13">467005</LocalCounter>
     635    <LocalCounter worker="14">466998</LocalCounter>
     636    <LocalCounter worker="15">467002</LocalCounter>
     637    <LocalCounter worker="16">466990</LocalCounter>
     638    <LocalCounter worker="17">467009</LocalCounter>
     639    <GlobalCounter>0</GlobalCounter>
     640    <SumOfLocalCounter>8405917</SumOfLocalCounter>
     641  </GlobalMCSLockWithLocalCounter>
     642  <GlobalMCSLockWithLocalCounter activeWorker="19">
     643    <LocalCounter worker="0">370400</LocalCounter>
     644    <LocalCounter worker="1">370402</LocalCounter>
     645    <LocalCounter worker="2">370401</LocalCounter>
     646    <LocalCounter worker="3">370408</LocalCounter>
     647    <LocalCounter worker="4">370401</LocalCounter>
     648    <LocalCounter worker="5">370404</LocalCounter>
     649    <LocalCounter worker="6">370404</LocalCounter>
     650    <LocalCounter worker="7">370410</LocalCounter>
     651    <LocalCounter worker="8">370410</LocalCounter>
     652    <LocalCounter worker="9">370403</LocalCounter>
     653    <LocalCounter worker="10">370399</LocalCounter>
     654    <LocalCounter worker="11">370408</LocalCounter>
     655    <LocalCounter worker="12">370401</LocalCounter>
     656    <LocalCounter worker="13">370399</LocalCounter>
     657    <LocalCounter worker="14">370401</LocalCounter>
     658    <LocalCounter worker="15">370398</LocalCounter>
     659    <LocalCounter worker="16">370401</LocalCounter>
     660    <LocalCounter worker="17">370396</LocalCounter>
     661    <LocalCounter worker="18">370396</LocalCounter>
     662    <GlobalCounter>0</GlobalCounter>
     663    <SumOfLocalCounter>7037642</SumOfLocalCounter>
     664  </GlobalMCSLockWithLocalCounter>
     665  <GlobalMCSLockWithLocalCounter activeWorker="20">
     666    <LocalCounter worker="0">391059</LocalCounter>
     667    <LocalCounter worker="1">392308</LocalCounter>
     668    <LocalCounter worker="2">392294</LocalCounter>
     669    <LocalCounter worker="3">392312</LocalCounter>
     670    <LocalCounter worker="4">392291</LocalCounter>
     671    <LocalCounter worker="5">392348</LocalCounter>
     672    <LocalCounter worker="6">392321</LocalCounter>
     673    <LocalCounter worker="7">392268</LocalCounter>
     674    <LocalCounter worker="8">392312</LocalCounter>
     675    <LocalCounter worker="9">392486</LocalCounter>
     676    <LocalCounter worker="10">392486</LocalCounter>
     677    <LocalCounter worker="11">392471</LocalCounter>
     678    <LocalCounter worker="12">392499</LocalCounter>
     679    <LocalCounter worker="13">392452</LocalCounter>
     680    <LocalCounter worker="14">392467</LocalCounter>
     681    <LocalCounter worker="15">392478</LocalCounter>
     682    <LocalCounter worker="16">392436</LocalCounter>
     683    <LocalCounter worker="17">390882</LocalCounter>
     684    <LocalCounter worker="18">390899</LocalCounter>
     685    <LocalCounter worker="19">390972</LocalCounter>
     686    <GlobalCounter>0</GlobalCounter>
     687    <SumOfLocalCounter>7842041</SumOfLocalCounter>
     688  </GlobalMCSLockWithLocalCounter>
     689  <GlobalMCSLockWithLocalCounter activeWorker="21">
     690    <LocalCounter worker="0">318394</LocalCounter>
     691    <LocalCounter worker="1">332823</LocalCounter>
     692    <LocalCounter worker="2">332655</LocalCounter>
     693    <LocalCounter worker="3">332725</LocalCounter>
     694    <LocalCounter worker="4">332890</LocalCounter>
     695    <LocalCounter worker="5">333114</LocalCounter>
     696    <LocalCounter worker="6">332973</LocalCounter>
     697    <LocalCounter worker="7">332994</LocalCounter>
     698    <LocalCounter worker="8">332878</LocalCounter>
     699    <LocalCounter worker="9">334457</LocalCounter>
     700    <LocalCounter worker="10">334487</LocalCounter>
     701    <LocalCounter worker="11">334425</LocalCounter>
     702    <LocalCounter worker="12">334507</LocalCounter>
     703    <LocalCounter worker="13">334550</LocalCounter>
     704    <LocalCounter worker="14">334514</LocalCounter>
     705    <LocalCounter worker="15">334366</LocalCounter>
     706    <LocalCounter worker="16">334029</LocalCounter>
     707    <LocalCounter worker="17">317461</LocalCounter>
     708    <LocalCounter worker="18">317374</LocalCounter>
     709    <LocalCounter worker="19">317671</LocalCounter>
     710    <LocalCounter worker="20">318126</LocalCounter>
     711    <GlobalCounter>0</GlobalCounter>
     712    <SumOfLocalCounter>6927413</SumOfLocalCounter>
     713  </GlobalMCSLockWithLocalCounter>
     714  <GlobalMCSLockWithLocalCounter activeWorker="22">
     715    <LocalCounter worker="0">331955</LocalCounter>
     716    <LocalCounter worker="1">341916</LocalCounter>
     717    <LocalCounter worker="2">341888</LocalCounter>
     718    <LocalCounter worker="3">342280</LocalCounter>
     719    <LocalCounter worker="4">343635</LocalCounter>
     720    <LocalCounter worker="5">343767</LocalCounter>
     721    <LocalCounter worker="6">343948</LocalCounter>
     722    <LocalCounter worker="7">343914</LocalCounter>
     723    <LocalCounter worker="8">343375</LocalCounter>
     724    <LocalCounter worker="9">343501</LocalCounter>
     725    <LocalCounter worker="10">343454</LocalCounter>
     726    <LocalCounter worker="11">343316</LocalCounter>
     727    <LocalCounter worker="12">343271</LocalCounter>
     728    <LocalCounter worker="13">343456</LocalCounter>
     729    <LocalCounter worker="14">343351</LocalCounter>
     730    <LocalCounter worker="15">343245</LocalCounter>
     731    <LocalCounter worker="16">341111</LocalCounter>
     732    <LocalCounter worker="17">329097</LocalCounter>
     733    <LocalCounter worker="18">329162</LocalCounter>
     734    <LocalCounter worker="19">329303</LocalCounter>
     735    <LocalCounter worker="20">331236</LocalCounter>
     736    <LocalCounter worker="21">332000</LocalCounter>
     737    <GlobalCounter>0</GlobalCounter>
     738    <SumOfLocalCounter>7472181</SumOfLocalCounter>
     739  </GlobalMCSLockWithLocalCounter>
     740  <GlobalMCSLockWithLocalCounter activeWorker="23">
     741    <LocalCounter worker="0">308389</LocalCounter>
     742    <LocalCounter worker="1">309721</LocalCounter>
     743    <LocalCounter worker="2">309624</LocalCounter>
     744    <LocalCounter worker="3">309655</LocalCounter>
     745    <LocalCounter worker="4">310504</LocalCounter>
     746    <LocalCounter worker="5">310414</LocalCounter>
     747    <LocalCounter worker="6">310534</LocalCounter>
     748    <LocalCounter worker="7">310443</LocalCounter>
     749    <LocalCounter worker="8">310415</LocalCounter>
     750    <LocalCounter worker="9">310215</LocalCounter>
     751    <LocalCounter worker="10">310278</LocalCounter>
     752    <LocalCounter worker="11">310266</LocalCounter>
     753    <LocalCounter worker="12">310079</LocalCounter>
     754    <LocalCounter worker="13">310083</LocalCounter>
     755    <LocalCounter worker="14">309887</LocalCounter>
     756    <LocalCounter worker="15">310072</LocalCounter>
     757    <LocalCounter worker="16">309153</LocalCounter>
     758    <LocalCounter worker="17">307219</LocalCounter>
     759    <LocalCounter worker="18">307158</LocalCounter>
     760    <LocalCounter worker="19">307167</LocalCounter>
     761    <LocalCounter worker="20">307747</LocalCounter>
     762    <LocalCounter worker="21">307966</LocalCounter>
     763    <LocalCounter worker="22">307630</LocalCounter>
     764    <GlobalCounter>0</GlobalCounter>
     765    <SumOfLocalCounter>7114619</SumOfLocalCounter>
     766  </GlobalMCSLockWithLocalCounter>
     767  <GlobalMCSLockWithLocalCounter activeWorker="24">
     768    <LocalCounter worker="0">294282</LocalCounter>
     769    <LocalCounter worker="1">294274</LocalCounter>
     770    <LocalCounter worker="2">294265</LocalCounter>
     771    <LocalCounter worker="3">294275</LocalCounter>
     772    <LocalCounter worker="4">294278</LocalCounter>
     773    <LocalCounter worker="5">294265</LocalCounter>
     774    <LocalCounter worker="6">294278</LocalCounter>
     775    <LocalCounter worker="7">294277</LocalCounter>
     776    <LocalCounter worker="8">294265</LocalCounter>
     777    <LocalCounter worker="9">294270</LocalCounter>
     778    <LocalCounter worker="10">294267</LocalCounter>
     779    <LocalCounter worker="11">294273</LocalCounter>
     780    <LocalCounter worker="12">294257</LocalCounter>
     781    <LocalCounter worker="13">294271</LocalCounter>
     782    <LocalCounter worker="14">294274</LocalCounter>
     783    <LocalCounter worker="15">294277</LocalCounter>
     784    <LocalCounter worker="16">294270</LocalCounter>
     785    <LocalCounter worker="17">294269</LocalCounter>
     786    <LocalCounter worker="18">294271</LocalCounter>
     787    <LocalCounter worker="19">294268</LocalCounter>
     788    <LocalCounter worker="20">294267</LocalCounter>
     789    <LocalCounter worker="21">294276</LocalCounter>
     790    <LocalCounter worker="22">294276</LocalCounter>
     791    <LocalCounter worker="23">294269</LocalCounter>
     792    <GlobalCounter>0</GlobalCounter>
     793    <SumOfLocalCounter>7062514</SumOfLocalCounter>
     794  </GlobalMCSLockWithLocalCounter>
     795  <GlobalTicketLockWithGlobalCounter activeWorker="24">
     796    <LocalCounter worker="0">149135</LocalCounter>
     797    <LocalCounter worker="1">149134</LocalCounter>
     798    <LocalCounter worker="2">149134</LocalCounter>
     799    <LocalCounter worker="3">149134</LocalCounter>
     800    <LocalCounter worker="4">149135</LocalCounter>
     801    <LocalCounter worker="5">149134</LocalCounter>
     802    <LocalCounter worker="6">149134</LocalCounter>
     803    <LocalCounter worker="7">149135</LocalCounter>
     804    <LocalCounter worker="8">149134</LocalCounter>
     805    <LocalCounter worker="9">149134</LocalCounter>
     806    <LocalCounter worker="10">149134</LocalCounter>
     807    <LocalCounter worker="11">149135</LocalCounter>
     808    <LocalCounter worker="12">149134</LocalCounter>
     809    <LocalCounter worker="13">149135</LocalCounter>
     810    <LocalCounter worker="14">149135</LocalCounter>
     811    <LocalCounter worker="15">149134</LocalCounter>
     812    <LocalCounter worker="16">149134</LocalCounter>
     813    <LocalCounter worker="17">149136</LocalCounter>
     814    <LocalCounter worker="18">149135</LocalCounter>
     815    <LocalCounter worker="19">149134</LocalCounter>
     816    <LocalCounter worker="20">149135</LocalCounter>
     817    <LocalCounter worker="21">149134</LocalCounter>
     818    <LocalCounter worker="22">149134</LocalCounter>
     819    <LocalCounter worker="23">149134</LocalCounter>
     820    <GlobalCounter>3579226</GlobalCounter>
     821    <SumOfLocalCounter>3579226</SumOfLocalCounter>
     822  </GlobalTicketLockWithGlobalCounter>
     823  <GlobalMCSLockWithGlobalCounter activeWorker="24">
     824    <LocalCounter worker="0">172181</LocalCounter>
     825    <LocalCounter worker="1">172178</LocalCounter>
     826    <LocalCounter worker="2">172178</LocalCounter>
     827    <LocalCounter worker="3">172178</LocalCounter>
     828    <LocalCounter worker="4">172180</LocalCounter>
     829    <LocalCounter worker="5">172180</LocalCounter>
     830    <LocalCounter worker="6">172179</LocalCounter>
     831    <LocalCounter worker="7">172179</LocalCounter>
     832    <LocalCounter worker="8">172180</LocalCounter>
     833    <LocalCounter worker="9">172179</LocalCounter>
     834    <LocalCounter worker="10">172179</LocalCounter>
     835    <LocalCounter worker="11">172180</LocalCounter>
     836    <LocalCounter worker="12">172180</LocalCounter>
     837    <LocalCounter worker="13">172178</LocalCounter>
     838    <LocalCounter worker="14">172179</LocalCounter>
     839    <LocalCounter worker="15">172179</LocalCounter>
     840    <LocalCounter worker="16">172179</LocalCounter>
     841    <LocalCounter worker="17">172178</LocalCounter>
     842    <LocalCounter worker="18">172179</LocalCounter>
     843    <LocalCounter worker="19">172180</LocalCounter>
     844    <LocalCounter worker="20">172178</LocalCounter>
     845    <LocalCounter worker="21">172180</LocalCounter>
     846    <LocalCounter worker="22">172179</LocalCounter>
     847    <LocalCounter worker="23">172178</LocalCounter>
     848    <GlobalCounter>4132298</GlobalCounter>
     849    <SumOfLocalCounter>4132298</SumOfLocalCounter>
     850  </GlobalMCSLockWithGlobalCounter>
     851  <LocalTicketLockWithLocalCounter activeWorker="1">
     852    <LocalCounter worker="0">18652007</LocalCounter>
     853    <GlobalCounter>0</GlobalCounter>
     854    <SumOfLocalCounter>18652007</SumOfLocalCounter>
     855  </LocalTicketLockWithLocalCounter>
     856  <LocalTicketLockWithLocalCounter activeWorker="2">
     857    <LocalCounter worker="0">18740564</LocalCounter>
     858    <LocalCounter worker="1">18739964</LocalCounter>
     859    <GlobalCounter>0</GlobalCounter>
     860    <SumOfLocalCounter>37480528</SumOfLocalCounter>
     861  </LocalTicketLockWithLocalCounter>
     862  <LocalTicketLockWithLocalCounter activeWorker="3">
     863    <LocalCounter worker="0">18653030</LocalCounter>
     864    <LocalCounter worker="1">18122134</LocalCounter>
     865    <LocalCounter worker="2">18122915</LocalCounter>
     866    <GlobalCounter>0</GlobalCounter>
     867    <SumOfLocalCounter>54898079</SumOfLocalCounter>
     868  </LocalTicketLockWithLocalCounter>
     869  <LocalTicketLockWithLocalCounter activeWorker="4">
     870    <LocalCounter worker="0">18565582</LocalCounter>
     871    <LocalCounter worker="1">17190377</LocalCounter>
     872    <LocalCounter worker="2">17191117</LocalCounter>
     873    <LocalCounter worker="3">17190756</LocalCounter>
     874    <GlobalCounter>0</GlobalCounter>
     875    <SumOfLocalCounter>70137832</SumOfLocalCounter>
     876  </LocalTicketLockWithLocalCounter>
     877  <LocalTicketLockWithLocalCounter activeWorker="5">
     878    <LocalCounter worker="0">18665586</LocalCounter>
     879    <LocalCounter worker="1">16212891</LocalCounter>
     880    <LocalCounter worker="2">16213673</LocalCounter>
     881    <LocalCounter worker="3">16081746</LocalCounter>
     882    <LocalCounter worker="4">16081213</LocalCounter>
     883    <GlobalCounter>0</GlobalCounter>
     884    <SumOfLocalCounter>83255109</SumOfLocalCounter>
     885  </LocalTicketLockWithLocalCounter>
     886  <LocalTicketLockWithLocalCounter activeWorker="6">
     887    <LocalCounter worker="0">18578108</LocalCounter>
     888    <LocalCounter worker="1">16296115</LocalCounter>
     889    <LocalCounter worker="2">16296806</LocalCounter>
     890    <LocalCounter worker="3">15747768</LocalCounter>
     891    <LocalCounter worker="4">15747301</LocalCounter>
     892    <LocalCounter worker="5">16956328</LocalCounter>
     893    <GlobalCounter>0</GlobalCounter>
     894    <SumOfLocalCounter>99622426</SumOfLocalCounter>
     895  </LocalTicketLockWithLocalCounter>
     896  <LocalTicketLockWithLocalCounter activeWorker="7">
     897    <LocalCounter worker="0">18678200</LocalCounter>
     898    <LocalCounter worker="1">15992304</LocalCounter>
     899    <LocalCounter worker="2">15993081</LocalCounter>
     900    <LocalCounter worker="3">15841718</LocalCounter>
     901    <LocalCounter worker="4">15841348</LocalCounter>
     902    <LocalCounter worker="5">15959344</LocalCounter>
     903    <LocalCounter worker="6">15960072</LocalCounter>
     904    <GlobalCounter>0</GlobalCounter>
     905    <SumOfLocalCounter>114266067</SumOfLocalCounter>
     906  </LocalTicketLockWithLocalCounter>
     907  <LocalTicketLockWithLocalCounter activeWorker="8">
     908    <LocalCounter worker="0">18589106</LocalCounter>
     909    <LocalCounter worker="1">15875999</LocalCounter>
     910    <LocalCounter worker="2">15876649</LocalCounter>
     911    <LocalCounter worker="3">15818065</LocalCounter>
     912    <LocalCounter worker="4">15815412</LocalCounter>
     913    <LocalCounter worker="5">15846763</LocalCounter>
     914    <LocalCounter worker="6">15847293</LocalCounter>
     915    <LocalCounter worker="7">15916120</LocalCounter>
     916    <GlobalCounter>0</GlobalCounter>
     917    <SumOfLocalCounter>129585407</SumOfLocalCounter>
     918  </LocalTicketLockWithLocalCounter>
     919  <LocalTicketLockWithLocalCounter activeWorker="9">
     920    <LocalCounter worker="0">18689087</LocalCounter>
     921    <LocalCounter worker="1">15546911</LocalCounter>
     922    <LocalCounter worker="2">15547569</LocalCounter>
     923    <LocalCounter worker="3">15455961</LocalCounter>
     924    <LocalCounter worker="4">15455418</LocalCounter>
     925    <LocalCounter worker="5">15496903</LocalCounter>
     926    <LocalCounter worker="6">15497497</LocalCounter>
     927    <LocalCounter worker="7">15447033</LocalCounter>
     928    <LocalCounter worker="8">15446640</LocalCounter>
     929    <GlobalCounter>0</GlobalCounter>
     930    <SumOfLocalCounter>142583019</SumOfLocalCounter>
     931  </LocalTicketLockWithLocalCounter>
     932  <LocalTicketLockWithLocalCounter activeWorker="10">
     933    <LocalCounter worker="0">18601625</LocalCounter>
     934    <LocalCounter worker="1">15394303</LocalCounter>
     935    <LocalCounter worker="2">15394892</LocalCounter>
     936    <LocalCounter worker="3">15291311</LocalCounter>
     937    <LocalCounter worker="4">15290941</LocalCounter>
     938    <LocalCounter worker="5">15381054</LocalCounter>
     939    <LocalCounter worker="6">15381638</LocalCounter>
     940    <LocalCounter worker="7">15323738</LocalCounter>
     941    <LocalCounter worker="8">15323464</LocalCounter>
     942    <LocalCounter worker="9">18600921</LocalCounter>
     943    <GlobalCounter>0</GlobalCounter>
     944    <SumOfLocalCounter>159983887</SumOfLocalCounter>
     945  </LocalTicketLockWithLocalCounter>
     946  <LocalTicketLockWithLocalCounter activeWorker="11">
     947    <LocalCounter worker="0">18700020</LocalCounter>
     948    <LocalCounter worker="1">15533741</LocalCounter>
     949    <LocalCounter worker="2">15534221</LocalCounter>
     950    <LocalCounter worker="3">15404627</LocalCounter>
     951    <LocalCounter worker="4">15404204</LocalCounter>
     952    <LocalCounter worker="5">15487953</LocalCounter>
     953    <LocalCounter worker="6">15488572</LocalCounter>
     954    <LocalCounter worker="7">15400441</LocalCounter>
     955    <LocalCounter worker="8">15399985</LocalCounter>
     956    <LocalCounter worker="9">18154320</LocalCounter>
     957    <LocalCounter worker="10">18155089</LocalCounter>
     958    <GlobalCounter>0</GlobalCounter>
     959    <SumOfLocalCounter>178663173</SumOfLocalCounter>
     960  </LocalTicketLockWithLocalCounter>
     961  <LocalTicketLockWithLocalCounter activeWorker="12">
     962    <LocalCounter worker="0">18610943</LocalCounter>
     963    <LocalCounter worker="1">15473224</LocalCounter>
     964    <LocalCounter worker="2">15473800</LocalCounter>
     965    <LocalCounter worker="3">15368894</LocalCounter>
     966    <LocalCounter worker="4">15368360</LocalCounter>
     967    <LocalCounter worker="5">15480650</LocalCounter>
     968    <LocalCounter worker="6">15481411</LocalCounter>
     969    <LocalCounter worker="7">15336787</LocalCounter>
     970    <LocalCounter worker="8">15336385</LocalCounter>
     971    <LocalCounter worker="9">17196268</LocalCounter>
     972    <LocalCounter worker="10">17197013</LocalCounter>
     973    <LocalCounter worker="11">17196671</LocalCounter>
     974    <GlobalCounter>0</GlobalCounter>
     975    <SumOfLocalCounter>193520406</SumOfLocalCounter>
     976  </LocalTicketLockWithLocalCounter>
     977  <LocalTicketLockWithLocalCounter activeWorker="13">
     978    <LocalCounter worker="0">18709295</LocalCounter>
     979    <LocalCounter worker="1">15557477</LocalCounter>
     980    <LocalCounter worker="2">15558120</LocalCounter>
     981    <LocalCounter worker="3">15469686</LocalCounter>
     982    <LocalCounter worker="4">15469124</LocalCounter>
     983    <LocalCounter worker="5">15504119</LocalCounter>
     984    <LocalCounter worker="6">15504781</LocalCounter>
     985    <LocalCounter worker="7">15472427</LocalCounter>
     986    <LocalCounter worker="8">15472039</LocalCounter>
     987    <LocalCounter worker="9">16307092</LocalCounter>
     988    <LocalCounter worker="10">16307904</LocalCounter>
     989    <LocalCounter worker="11">16131731</LocalCounter>
     990    <LocalCounter worker="12">16131316</LocalCounter>
     991    <GlobalCounter>0</GlobalCounter>
     992    <SumOfLocalCounter>207595111</SumOfLocalCounter>
     993  </LocalTicketLockWithLocalCounter>
     994  <LocalTicketLockWithLocalCounter activeWorker="14">
     995    <LocalCounter worker="0">18620298</LocalCounter>
     996    <LocalCounter worker="1">15450048</LocalCounter>
     997    <LocalCounter worker="2">15450641</LocalCounter>
     998    <LocalCounter worker="3">15348671</LocalCounter>
     999    <LocalCounter worker="4">15348185</LocalCounter>
     1000    <LocalCounter worker="5">15447477</LocalCounter>
     1001    <LocalCounter worker="6">15448127</LocalCounter>
     1002    <LocalCounter worker="7">15373177</LocalCounter>
     1003    <LocalCounter worker="8">15372740</LocalCounter>
     1004    <LocalCounter worker="9">16256377</LocalCounter>
     1005    <LocalCounter worker="10">16257208</LocalCounter>
     1006    <LocalCounter worker="11">15596231</LocalCounter>
     1007    <LocalCounter worker="12">15595801</LocalCounter>
     1008    <LocalCounter worker="13">17067834</LocalCounter>
     1009    <GlobalCounter>0</GlobalCounter>
     1010    <SumOfLocalCounter>222632815</SumOfLocalCounter>
     1011  </LocalTicketLockWithLocalCounter>
     1012  <LocalTicketLockWithLocalCounter activeWorker="15">
     1013    <LocalCounter worker="0">18718604</LocalCounter>
     1014    <LocalCounter worker="1">15566735</LocalCounter>
     1015    <LocalCounter worker="2">15567272</LocalCounter>
     1016    <LocalCounter worker="3">15480329</LocalCounter>
     1017    <LocalCounter worker="4">15479757</LocalCounter>
     1018    <LocalCounter worker="5">15546455</LocalCounter>
     1019    <LocalCounter worker="6">15547082</LocalCounter>
     1020    <LocalCounter worker="7">15465925</LocalCounter>
     1021    <LocalCounter worker="8">15465579</LocalCounter>
     1022    <LocalCounter worker="9">16056473</LocalCounter>
     1023    <LocalCounter worker="10">16057260</LocalCounter>
     1024    <LocalCounter worker="11">15873190</LocalCounter>
     1025    <LocalCounter worker="12">15872808</LocalCounter>
     1026    <LocalCounter worker="13">16031509</LocalCounter>
     1027    <LocalCounter worker="14">16032179</LocalCounter>
     1028    <GlobalCounter>0</GlobalCounter>
     1029    <SumOfLocalCounter>238761157</SumOfLocalCounter>
     1030  </LocalTicketLockWithLocalCounter>
     1031  <LocalTicketLockWithLocalCounter activeWorker="16">
     1032    <LocalCounter worker="0">18629493</LocalCounter>
     1033    <LocalCounter worker="1">15433606</LocalCounter>
     1034    <LocalCounter worker="2">15434095</LocalCounter>
     1035    <LocalCounter worker="3">15364110</LocalCounter>
     1036    <LocalCounter worker="4">15363692</LocalCounter>
     1037    <LocalCounter worker="5">15423461</LocalCounter>
     1038    <LocalCounter worker="6">15424149</LocalCounter>
     1039    <LocalCounter worker="7">15354320</LocalCounter>
     1040    <LocalCounter worker="8">15353874</LocalCounter>
     1041    <LocalCounter worker="9">15878044</LocalCounter>
     1042    <LocalCounter worker="10">15878765</LocalCounter>
     1043    <LocalCounter worker="11">15833258</LocalCounter>
     1044    <LocalCounter worker="12">15832744</LocalCounter>
     1045    <LocalCounter worker="13">15862126</LocalCounter>
     1046    <LocalCounter worker="14">15862781</LocalCounter>
     1047    <LocalCounter worker="15">15931680</LocalCounter>
     1048    <GlobalCounter>0</GlobalCounter>
     1049    <SumOfLocalCounter>252860198</SumOfLocalCounter>
     1050  </LocalTicketLockWithLocalCounter>
     1051  <LocalTicketLockWithLocalCounter activeWorker="17">
     1052    <LocalCounter worker="0">18727849</LocalCounter>
     1053    <LocalCounter worker="1">15496672</LocalCounter>
     1054    <LocalCounter worker="2">15497263</LocalCounter>
     1055    <LocalCounter worker="3">15410632</LocalCounter>
     1056    <LocalCounter worker="4">15410094</LocalCounter>
     1057    <LocalCounter worker="5">15474278</LocalCounter>
     1058    <LocalCounter worker="6">15474890</LocalCounter>
     1059    <LocalCounter worker="7">15414881</LocalCounter>
     1060    <LocalCounter worker="8">15414414</LocalCounter>
     1061    <LocalCounter worker="9">15540994</LocalCounter>
     1062    <LocalCounter worker="10">15541641</LocalCounter>
     1063    <LocalCounter worker="11">15473973</LocalCounter>
     1064    <LocalCounter worker="12">15473463</LocalCounter>
     1065    <LocalCounter worker="13">15532322</LocalCounter>
     1066    <LocalCounter worker="14">15532896</LocalCounter>
     1067    <LocalCounter worker="15">15445168</LocalCounter>
     1068    <LocalCounter worker="16">15444816</LocalCounter>
     1069    <GlobalCounter>0</GlobalCounter>
     1070    <SumOfLocalCounter>266306246</SumOfLocalCounter>
     1071  </LocalTicketLockWithLocalCounter>
     1072  <LocalTicketLockWithLocalCounter activeWorker="18">
     1073    <LocalCounter worker="0">17928143</LocalCounter>
     1074    <LocalCounter worker="1">15385654</LocalCounter>
     1075    <LocalCounter worker="2">15386165</LocalCounter>
     1076    <LocalCounter worker="3">15317188</LocalCounter>
     1077    <LocalCounter worker="4">15316670</LocalCounter>
     1078    <LocalCounter worker="5">15362234</LocalCounter>
     1079    <LocalCounter worker="6">15362933</LocalCounter>
     1080    <LocalCounter worker="7">15274058</LocalCounter>
     1081    <LocalCounter worker="8">15273688</LocalCounter>
     1082    <LocalCounter worker="9">15520890</LocalCounter>
     1083    <LocalCounter worker="10">15521466</LocalCounter>
     1084    <LocalCounter worker="11">15415491</LocalCounter>
     1085    <LocalCounter worker="12">15414935</LocalCounter>
     1086    <LocalCounter worker="13">15485859</LocalCounter>
     1087    <LocalCounter worker="14">15486443</LocalCounter>
     1088    <LocalCounter worker="15">15398657</LocalCounter>
     1089    <LocalCounter worker="16">15398314</LocalCounter>
     1090    <LocalCounter worker="17">17927656</LocalCounter>
     1091    <GlobalCounter>0</GlobalCounter>
     1092    <SumOfLocalCounter>282176444</SumOfLocalCounter>
     1093  </LocalTicketLockWithLocalCounter>
     1094  <LocalTicketLockWithLocalCounter activeWorker="19">
     1095    <LocalCounter worker="0">17613429</LocalCounter>
     1096    <LocalCounter worker="1">15606024</LocalCounter>
     1097    <LocalCounter worker="2">15606469</LocalCounter>
     1098    <LocalCounter worker="3">15506465</LocalCounter>
     1099    <LocalCounter worker="4">15505964</LocalCounter>
     1100    <LocalCounter worker="5">15570703</LocalCounter>
     1101    <LocalCounter worker="6">15571382</LocalCounter>
     1102    <LocalCounter worker="7">15514428</LocalCounter>
     1103    <LocalCounter worker="8">15514060</LocalCounter>
     1104    <LocalCounter worker="9">15578430</LocalCounter>
     1105    <LocalCounter worker="10">15578956</LocalCounter>
     1106    <LocalCounter worker="11">15476117</LocalCounter>
     1107    <LocalCounter worker="12">15475709</LocalCounter>
     1108    <LocalCounter worker="13">15518932</LocalCounter>
     1109    <LocalCounter worker="14">15519675</LocalCounter>
     1110    <LocalCounter worker="15">15469292</LocalCounter>
     1111    <LocalCounter worker="16">15468941</LocalCounter>
     1112    <LocalCounter worker="17">17612809</LocalCounter>
     1113    <LocalCounter worker="18">17613528</LocalCounter>
     1114    <GlobalCounter>0</GlobalCounter>
     1115    <SumOfLocalCounter>301321313</SumOfLocalCounter>
     1116  </LocalTicketLockWithLocalCounter>
     1117  <LocalTicketLockWithLocalCounter activeWorker="20">
     1118    <LocalCounter worker="0">17132843</LocalCounter>
     1119    <LocalCounter worker="1">15467671</LocalCounter>
     1120    <LocalCounter worker="2">15468243</LocalCounter>
     1121    <LocalCounter worker="3">15355941</LocalCounter>
     1122    <LocalCounter worker="4">15355528</LocalCounter>
     1123    <LocalCounter worker="5">15430531</LocalCounter>
     1124    <LocalCounter worker="6">15431151</LocalCounter>
     1125    <LocalCounter worker="7">15388106</LocalCounter>
     1126    <LocalCounter worker="8">15387790</LocalCounter>
     1127    <LocalCounter worker="9">15532317</LocalCounter>
     1128    <LocalCounter worker="10">15532901</LocalCounter>
     1129    <LocalCounter worker="11">15419252</LocalCounter>
     1130    <LocalCounter worker="12">15418798</LocalCounter>
     1131    <LocalCounter worker="13">15488804</LocalCounter>
     1132    <LocalCounter worker="14">15489381</LocalCounter>
     1133    <LocalCounter worker="15">15448508</LocalCounter>
     1134    <LocalCounter worker="16">15448083</LocalCounter>
     1135    <LocalCounter worker="17">17110297</LocalCounter>
     1136    <LocalCounter worker="18">17110974</LocalCounter>
     1137    <LocalCounter worker="19">17132347</LocalCounter>
     1138    <GlobalCounter>0</GlobalCounter>
     1139    <SumOfLocalCounter>315549466</SumOfLocalCounter>
     1140  </LocalTicketLockWithLocalCounter>
     1141  <LocalTicketLockWithLocalCounter activeWorker="21">
     1142    <LocalCounter worker="0">16916206</LocalCounter>
     1143    <LocalCounter worker="1">15348829</LocalCounter>
     1144    <LocalCounter worker="2">15349378</LocalCounter>
     1145    <LocalCounter worker="3">15301237</LocalCounter>
     1146    <LocalCounter worker="4">15300660</LocalCounter>
     1147    <LocalCounter worker="5">15352077</LocalCounter>
     1148    <LocalCounter worker="6">15352792</LocalCounter>
     1149    <LocalCounter worker="7">15295586</LocalCounter>
     1150    <LocalCounter worker="8">15295234</LocalCounter>
     1151    <LocalCounter worker="9">15406432</LocalCounter>
     1152    <LocalCounter worker="10">15407215</LocalCounter>
     1153    <LocalCounter worker="11">15288387</LocalCounter>
     1154    <LocalCounter worker="12">15287834</LocalCounter>
     1155    <LocalCounter worker="13">15387376</LocalCounter>
     1156    <LocalCounter worker="14">15388065</LocalCounter>
     1157    <LocalCounter worker="15">15288287</LocalCounter>
     1158    <LocalCounter worker="16">15287963</LocalCounter>
     1159    <LocalCounter worker="17">16326915</LocalCounter>
     1160    <LocalCounter worker="18">16327566</LocalCounter>
     1161    <LocalCounter worker="19">16106693</LocalCounter>
     1162    <LocalCounter worker="20">16106335</LocalCounter>
     1163    <GlobalCounter>0</GlobalCounter>
     1164    <SumOfLocalCounter>327121067</SumOfLocalCounter>
     1165  </LocalTicketLockWithLocalCounter>
     1166  <LocalTicketLockWithLocalCounter activeWorker="22">
     1167    <LocalCounter worker="0">16836742</LocalCounter>
     1168    <LocalCounter worker="1">15449539</LocalCounter>
     1169    <LocalCounter worker="2">15450118</LocalCounter>
     1170    <LocalCounter worker="3">15316318</LocalCounter>
     1171    <LocalCounter worker="4">15315967</LocalCounter>
     1172    <LocalCounter worker="5">15414143</LocalCounter>
     1173    <LocalCounter worker="6">15414873</LocalCounter>
     1174    <LocalCounter worker="7">15315456</LocalCounter>
     1175    <LocalCounter worker="8">15315048</LocalCounter>
     1176    <LocalCounter worker="9">15419186</LocalCounter>
     1177    <LocalCounter worker="10">15419737</LocalCounter>
     1178    <LocalCounter worker="11">15374010</LocalCounter>
     1179    <LocalCounter worker="12">15373492</LocalCounter>
     1180    <LocalCounter worker="13">15396609</LocalCounter>
     1181    <LocalCounter worker="14">15397385</LocalCounter>
     1182    <LocalCounter worker="15">15336581</LocalCounter>
     1183    <LocalCounter worker="16">15336218</LocalCounter>
     1184    <LocalCounter worker="17">16132164</LocalCounter>
     1185    <LocalCounter worker="18">16132817</LocalCounter>
     1186    <LocalCounter worker="19">15836470</LocalCounter>
     1187    <LocalCounter worker="20">15835949</LocalCounter>
     1188    <LocalCounter worker="21">16836521</LocalCounter>
     1189    <GlobalCounter>0</GlobalCounter>
     1190    <SumOfLocalCounter>343655343</SumOfLocalCounter>
     1191  </LocalTicketLockWithLocalCounter>
     1192  <LocalTicketLockWithLocalCounter activeWorker="23">
     1193    <LocalCounter worker="0">16291232</LocalCounter>
     1194    <LocalCounter worker="1">15428041</LocalCounter>
     1195    <LocalCounter worker="2">15428655</LocalCounter>
     1196    <LocalCounter worker="3">15361817</LocalCounter>
     1197    <LocalCounter worker="4">15361312</LocalCounter>
     1198    <LocalCounter worker="5">15423987</LocalCounter>
     1199    <LocalCounter worker="6">15424704</LocalCounter>
     1200    <LocalCounter worker="7">15320451</LocalCounter>
     1201    <LocalCounter worker="8">15320015</LocalCounter>
     1202    <LocalCounter worker="9">15335989</LocalCounter>
     1203    <LocalCounter worker="10">15336602</LocalCounter>
     1204    <LocalCounter worker="11">15238353</LocalCounter>
     1205    <LocalCounter worker="12">15237888</LocalCounter>
     1206    <LocalCounter worker="13">15288964</LocalCounter>
     1207    <LocalCounter worker="14">15289713</LocalCounter>
     1208    <LocalCounter worker="15">15247179</LocalCounter>
     1209    <LocalCounter worker="16">15246800</LocalCounter>
     1210    <LocalCounter worker="17">15845200</LocalCounter>
     1211    <LocalCounter worker="18">15845834</LocalCounter>
     1212    <LocalCounter worker="19">15532883</LocalCounter>
     1213    <LocalCounter worker="20">15532415</LocalCounter>
     1214    <LocalCounter worker="21">15837390</LocalCounter>
     1215    <LocalCounter worker="22">15838022</LocalCounter>
     1216    <GlobalCounter>0</GlobalCounter>
     1217    <SumOfLocalCounter>356013446</SumOfLocalCounter>
     1218  </LocalTicketLockWithLocalCounter>
     1219  <LocalTicketLockWithLocalCounter activeWorker="24">
     1220    <LocalCounter worker="0">15397914</LocalCounter>
     1221    <LocalCounter worker="1">15566890</LocalCounter>
     1222    <LocalCounter worker="2">15567438</LocalCounter>
     1223    <LocalCounter worker="3">15477547</LocalCounter>
     1224    <LocalCounter worker="4">15477033</LocalCounter>
     1225    <LocalCounter worker="5">15534538</LocalCounter>
     1226    <LocalCounter worker="6">15535180</LocalCounter>
     1227    <LocalCounter worker="7">15491695</LocalCounter>
     1228    <LocalCounter worker="8">15491372</LocalCounter>
     1229    <LocalCounter worker="9">15542761</LocalCounter>
     1230    <LocalCounter worker="10">15543394</LocalCounter>
     1231    <LocalCounter worker="11">15406366</LocalCounter>
     1232    <LocalCounter worker="12">15405826</LocalCounter>
     1233    <LocalCounter worker="13">15490798</LocalCounter>
     1234    <LocalCounter worker="14">15491494</LocalCounter>
     1235    <LocalCounter worker="15">15357829</LocalCounter>
     1236    <LocalCounter worker="16">15357479</LocalCounter>
     1237    <LocalCounter worker="17">15492383</LocalCounter>
     1238    <LocalCounter worker="18">15493044</LocalCounter>
     1239    <LocalCounter worker="19">15370471</LocalCounter>
     1240    <LocalCounter worker="20">15369857</LocalCounter>
     1241    <LocalCounter worker="21">15493139</LocalCounter>
     1242    <LocalCounter worker="22">15493629</LocalCounter>
     1243    <LocalCounter worker="23">15396639</LocalCounter>
     1244    <GlobalCounter>0</GlobalCounter>
     1245    <SumOfLocalCounter>371244716</SumOfLocalCounter>
     1246  </LocalTicketLockWithLocalCounter>
     1247  <LocalMCSLockWithLocalCounter activeWorker="1">
     1248    <LocalCounter worker="0">12082959</LocalCounter>
     1249    <GlobalCounter>0</GlobalCounter>
     1250    <SumOfLocalCounter>12082959</SumOfLocalCounter>
     1251  </LocalMCSLockWithLocalCounter>
     1252  <LocalMCSLockWithLocalCounter activeWorker="2">
     1253    <LocalCounter worker="0">12073288</LocalCounter>
     1254    <LocalCounter worker="1">12072981</LocalCounter>
     1255    <GlobalCounter>0</GlobalCounter>
     1256    <SumOfLocalCounter>24146269</SumOfLocalCounter>
     1257  </LocalMCSLockWithLocalCounter>
     1258  <LocalMCSLockWithLocalCounter activeWorker="3">
     1259    <LocalCounter worker="0">12138406</LocalCounter>
     1260    <LocalCounter worker="1">11387467</LocalCounter>
     1261    <LocalCounter worker="2">11387966</LocalCounter>
     1262    <GlobalCounter>0</GlobalCounter>
     1263    <SumOfLocalCounter>34913839</SumOfLocalCounter>
     1264  </LocalMCSLockWithLocalCounter>
     1265  <LocalMCSLockWithLocalCounter activeWorker="4">
     1266    <LocalCounter worker="0">12081451</LocalCounter>
     1267    <LocalCounter worker="1">10664115</LocalCounter>
     1268    <LocalCounter worker="2">10664607</LocalCounter>
     1269    <LocalCounter worker="3">12243261</LocalCounter>
     1270    <GlobalCounter>0</GlobalCounter>
     1271    <SumOfLocalCounter>45653434</SumOfLocalCounter>
     1272  </LocalMCSLockWithLocalCounter>
     1273  <LocalMCSLockWithLocalCounter activeWorker="5">
     1274    <LocalCounter worker="0">12146609</LocalCounter>
     1275    <LocalCounter worker="1">10837665</LocalCounter>
     1276    <LocalCounter worker="2">10838107</LocalCounter>
     1277    <LocalCounter worker="3">11075941</LocalCounter>
     1278    <LocalCounter worker="4">10837795</LocalCounter>
     1279    <GlobalCounter>0</GlobalCounter>
     1280    <SumOfLocalCounter>55736117</SumOfLocalCounter>
     1281  </LocalMCSLockWithLocalCounter>
     1282  <LocalMCSLockWithLocalCounter activeWorker="6">
     1283    <LocalCounter worker="0">12089675</LocalCounter>
     1284    <LocalCounter worker="1">10559924</LocalCounter>
     1285    <LocalCounter worker="2">10560425</LocalCounter>
     1286    <LocalCounter worker="3">10776034</LocalCounter>
     1287    <LocalCounter worker="4">10525391</LocalCounter>
     1288    <LocalCounter worker="5">10774845</LocalCounter>
     1289    <GlobalCounter>0</GlobalCounter>
     1290    <SumOfLocalCounter>65286294</SumOfLocalCounter>
     1291  </LocalMCSLockWithLocalCounter>
     1292  <LocalMCSLockWithLocalCounter activeWorker="7">
     1293    <LocalCounter worker="0">12154687</LocalCounter>
     1294    <LocalCounter worker="1">10116784</LocalCounter>
     1295    <LocalCounter worker="2">10117227</LocalCounter>
     1296    <LocalCounter worker="3">10572633</LocalCounter>
     1297    <LocalCounter worker="4">10106234</LocalCounter>
     1298    <LocalCounter worker="5">10107965</LocalCounter>
     1299    <LocalCounter worker="6">10108427</LocalCounter>
     1300    <GlobalCounter>0</GlobalCounter>
     1301    <SumOfLocalCounter>73283957</SumOfLocalCounter>
     1302  </LocalMCSLockWithLocalCounter>
     1303  <LocalMCSLockWithLocalCounter activeWorker="8">
     1304    <LocalCounter worker="0">12097857</LocalCounter>
     1305    <LocalCounter worker="1">9685901</LocalCounter>
     1306    <LocalCounter worker="2">9686270</LocalCounter>
     1307    <LocalCounter worker="3">10157156</LocalCounter>
     1308    <LocalCounter worker="4">9521302</LocalCounter>
     1309    <LocalCounter worker="5">9656650</LocalCounter>
     1310    <LocalCounter worker="6">9657039</LocalCounter>
     1311    <LocalCounter worker="7">11582770</LocalCounter>
     1312    <GlobalCounter>0</GlobalCounter>
     1313    <SumOfLocalCounter>82044945</SumOfLocalCounter>
     1314  </LocalMCSLockWithLocalCounter>
     1315  <LocalMCSLockWithLocalCounter activeWorker="9">
     1316    <LocalCounter worker="0">12168151</LocalCounter>
     1317    <LocalCounter worker="1">9531826</LocalCounter>
     1318    <LocalCounter worker="2">9532173</LocalCounter>
     1319    <LocalCounter worker="3">9548152</LocalCounter>
     1320    <LocalCounter worker="4">9528324</LocalCounter>
     1321    <LocalCounter worker="5">9524184</LocalCounter>
     1322    <LocalCounter worker="6">9524626</LocalCounter>
     1323    <LocalCounter worker="7">9552042</LocalCounter>
     1324    <LocalCounter worker="8">9531793</LocalCounter>
     1325    <GlobalCounter>0</GlobalCounter>
     1326    <SumOfLocalCounter>88441271</SumOfLocalCounter>
     1327  </LocalMCSLockWithLocalCounter>
     1328  <LocalMCSLockWithLocalCounter activeWorker="10">
     1329    <LocalCounter worker="0">12114395</LocalCounter>
     1330    <LocalCounter worker="1">9496439</LocalCounter>
     1331    <LocalCounter worker="2">9496720</LocalCounter>
     1332    <LocalCounter worker="3">9518493</LocalCounter>
     1333    <LocalCounter worker="4">9502427</LocalCounter>
     1334    <LocalCounter worker="5">9494644</LocalCounter>
     1335    <LocalCounter worker="6">9495062</LocalCounter>
     1336    <LocalCounter worker="7">9519993</LocalCounter>
     1337    <LocalCounter worker="8">9499030</LocalCounter>
     1338    <LocalCounter worker="9">12114111</LocalCounter>
     1339    <GlobalCounter>0</GlobalCounter>
     1340    <SumOfLocalCounter>100251314</SumOfLocalCounter>
     1341  </LocalMCSLockWithLocalCounter>
     1342  <LocalMCSLockWithLocalCounter activeWorker="11">
     1343    <LocalCounter worker="0">12177360</LocalCounter>
     1344    <LocalCounter worker="1">9564657</LocalCounter>
     1345    <LocalCounter worker="2">9564923</LocalCounter>
     1346    <LocalCounter worker="3">9581460</LocalCounter>
     1347    <LocalCounter worker="4">9566647</LocalCounter>
     1348    <LocalCounter worker="5">9562022</LocalCounter>
     1349    <LocalCounter worker="6">9562428</LocalCounter>
     1350    <LocalCounter worker="7">9582352</LocalCounter>
     1351    <LocalCounter worker="8">9568441</LocalCounter>
     1352    <LocalCounter worker="9">11402504</LocalCounter>
     1353    <LocalCounter worker="10">11402957</LocalCounter>
     1354    <GlobalCounter>0</GlobalCounter>
     1355    <SumOfLocalCounter>111535751</SumOfLocalCounter>
     1356  </LocalMCSLockWithLocalCounter>
     1357  <LocalMCSLockWithLocalCounter activeWorker="12">
     1358    <LocalCounter worker="0">12119476</LocalCounter>
     1359    <LocalCounter worker="1">9491442</LocalCounter>
     1360    <LocalCounter worker="2">9491786</LocalCounter>
     1361    <LocalCounter worker="3">9531107</LocalCounter>
     1362    <LocalCounter worker="4">9493390</LocalCounter>
     1363    <LocalCounter worker="5">9489365</LocalCounter>
     1364    <LocalCounter worker="6">9489758</LocalCounter>
     1365    <LocalCounter worker="7">9534422</LocalCounter>
     1366    <LocalCounter worker="8">9499933</LocalCounter>
     1367    <LocalCounter worker="9">10732309</LocalCounter>
     1368    <LocalCounter worker="10">10732783</LocalCounter>
     1369    <LocalCounter worker="11">12318345</LocalCounter>
     1370    <GlobalCounter>0</GlobalCounter>
     1371    <SumOfLocalCounter>121924116</SumOfLocalCounter>
     1372  </LocalMCSLockWithLocalCounter>
     1373  <LocalMCSLockWithLocalCounter activeWorker="13">
     1374    <LocalCounter worker="0">12183361</LocalCounter>
     1375    <LocalCounter worker="1">9565165</LocalCounter>
     1376    <LocalCounter worker="2">9565455</LocalCounter>
     1377    <LocalCounter worker="3">9582604</LocalCounter>
     1378    <LocalCounter worker="4">9568538</LocalCounter>
     1379    <LocalCounter worker="5">9567760</LocalCounter>
     1380    <LocalCounter worker="6">9568161</LocalCounter>
     1381    <LocalCounter worker="7">9591184</LocalCounter>
     1382    <LocalCounter worker="8">9569765</LocalCounter>
     1383    <LocalCounter worker="9">10815689</LocalCounter>
     1384    <LocalCounter worker="10">10816130</LocalCounter>
     1385    <LocalCounter worker="11">11127405</LocalCounter>
     1386    <LocalCounter worker="12">10815691</LocalCounter>
     1387    <GlobalCounter>0</GlobalCounter>
     1388    <SumOfLocalCounter>132336908</SumOfLocalCounter>
     1389  </LocalMCSLockWithLocalCounter>
     1390  <LocalMCSLockWithLocalCounter activeWorker="14">
     1391    <LocalCounter worker="0">12125462</LocalCounter>
     1392    <LocalCounter worker="1">9524915</LocalCounter>
     1393    <LocalCounter worker="2">9525201</LocalCounter>
     1394    <LocalCounter worker="3">9553382</LocalCounter>
     1395    <LocalCounter worker="4">9529788</LocalCounter>
     1396    <LocalCounter worker="5">9528364</LocalCounter>
     1397    <LocalCounter worker="6">9528814</LocalCounter>
     1398    <LocalCounter worker="7">9565861</LocalCounter>
     1399    <LocalCounter worker="8">9534294</LocalCounter>
     1400    <LocalCounter worker="9">10579374</LocalCounter>
     1401    <LocalCounter worker="10">10579805</LocalCounter>
     1402    <LocalCounter worker="11">10804186</LocalCounter>
     1403    <LocalCounter worker="12">10559267</LocalCounter>
     1404    <LocalCounter worker="13">10803938</LocalCounter>
     1405    <GlobalCounter>0</GlobalCounter>
     1406    <SumOfLocalCounter>141742651</SumOfLocalCounter>
     1407  </LocalMCSLockWithLocalCounter>
     1408  <LocalMCSLockWithLocalCounter activeWorker="15">
     1409    <LocalCounter worker="0">12189465</LocalCounter>
     1410    <LocalCounter worker="1">9573943</LocalCounter>
     1411    <LocalCounter worker="2">9574374</LocalCounter>
     1412    <LocalCounter worker="3">9587321</LocalCounter>
     1413    <LocalCounter worker="4">9575449</LocalCounter>
     1414    <LocalCounter worker="5">9574838</LocalCounter>
     1415    <LocalCounter worker="6">9575216</LocalCounter>
     1416    <LocalCounter worker="7">9592097</LocalCounter>
     1417    <LocalCounter worker="8">9576771</LocalCounter>
     1418    <LocalCounter worker="9">10155658</LocalCounter>
     1419    <LocalCounter worker="10">10156093</LocalCounter>
     1420    <LocalCounter worker="11">10485978</LocalCounter>
     1421    <LocalCounter worker="12">10147342</LocalCounter>
     1422    <LocalCounter worker="13">10152197</LocalCounter>
     1423    <LocalCounter worker="14">10152655</LocalCounter>
     1424    <GlobalCounter>0</GlobalCounter>
     1425    <SumOfLocalCounter>150069397</SumOfLocalCounter>
     1426  </LocalMCSLockWithLocalCounter>
     1427  <LocalMCSLockWithLocalCounter activeWorker="16">
     1428    <LocalCounter worker="0">12131505</LocalCounter>
     1429    <LocalCounter worker="1">9528313</LocalCounter>
     1430    <LocalCounter worker="2">9528627</LocalCounter>
     1431    <LocalCounter worker="3">9555655</LocalCounter>
     1432    <LocalCounter worker="4">9533873</LocalCounter>
     1433    <LocalCounter worker="5">9528420</LocalCounter>
     1434    <LocalCounter worker="6">9528806</LocalCounter>
     1435    <LocalCounter worker="7">9562116</LocalCounter>
     1436    <LocalCounter worker="8">9535204</LocalCounter>
     1437    <LocalCounter worker="9">9703506</LocalCounter>
     1438    <LocalCounter worker="10">9703941</LocalCounter>
     1439    <LocalCounter worker="11">10182457</LocalCounter>
     1440    <LocalCounter worker="12">9558198</LocalCounter>
     1441    <LocalCounter worker="13">9675351</LocalCounter>
     1442    <LocalCounter worker="14">9675784</LocalCounter>
     1443    <LocalCounter worker="15">11641089</LocalCounter>
     1444    <GlobalCounter>0</GlobalCounter>
     1445    <SumOfLocalCounter>158572845</SumOfLocalCounter>
     1446  </LocalMCSLockWithLocalCounter>
     1447  <LocalMCSLockWithLocalCounter activeWorker="17">
     1448    <LocalCounter worker="0">12078841</LocalCounter>
     1449    <LocalCounter worker="1">9483353</LocalCounter>
     1450    <LocalCounter worker="2">9483735</LocalCounter>
     1451    <LocalCounter worker="3">9515396</LocalCounter>
     1452    <LocalCounter worker="4">9490017</LocalCounter>
     1453    <LocalCounter worker="5">9484411</LocalCounter>
     1454    <LocalCounter worker="6">9484807</LocalCounter>
     1455    <LocalCounter worker="7">9529365</LocalCounter>
     1456    <LocalCounter worker="8">9491485</LocalCounter>
     1457    <LocalCounter worker="9">9450709</LocalCounter>
     1458    <LocalCounter worker="10">9451029</LocalCounter>
     1459    <LocalCounter worker="11">9486607</LocalCounter>
     1460    <LocalCounter worker="12">9462696</LocalCounter>
     1461    <LocalCounter worker="13">9452474</LocalCounter>
     1462    <LocalCounter worker="14">9452839</LocalCounter>
     1463    <LocalCounter worker="15">9492193</LocalCounter>
     1464    <LocalCounter worker="16">9462094</LocalCounter>
     1465    <GlobalCounter>0</GlobalCounter>
     1466    <SumOfLocalCounter>163752051</SumOfLocalCounter>
     1467  </LocalMCSLockWithLocalCounter>
     1468  <LocalMCSLockWithLocalCounter activeWorker="18">
     1469    <LocalCounter worker="0">11636388</LocalCounter>
     1470    <LocalCounter worker="1">9519555</LocalCounter>
     1471    <LocalCounter worker="2">9519856</LocalCounter>
     1472    <LocalCounter worker="3">9543401</LocalCounter>
     1473    <LocalCounter worker="4">9522497</LocalCounter>
     1474    <LocalCounter worker="5">9518968</LocalCounter>
     1475    <LocalCounter worker="6">9519332</LocalCounter>
     1476    <LocalCounter worker="7">9549730</LocalCounter>
     1477    <LocalCounter worker="8">9523584</LocalCounter>
     1478    <LocalCounter worker="9">9486041</LocalCounter>
     1479    <LocalCounter worker="10">9486390</LocalCounter>
     1480    <LocalCounter worker="11">9516448</LocalCounter>
     1481    <LocalCounter worker="12">9489905</LocalCounter>
     1482    <LocalCounter worker="13">9486483</LocalCounter>
     1483    <LocalCounter worker="14">9486864</LocalCounter>
     1484    <LocalCounter worker="15">9521185</LocalCounter>
     1485    <LocalCounter worker="16">9495104</LocalCounter>
     1486    <LocalCounter worker="17">11636084</LocalCounter>
     1487    <GlobalCounter>0</GlobalCounter>
     1488    <SumOfLocalCounter>175457815</SumOfLocalCounter>
     1489  </LocalMCSLockWithLocalCounter>
     1490  <LocalMCSLockWithLocalCounter activeWorker="19">
     1491    <LocalCounter worker="0">11238520</LocalCounter>
     1492    <LocalCounter worker="1">9474877</LocalCounter>
     1493    <LocalCounter worker="2">9475285</LocalCounter>
     1494    <LocalCounter worker="3">9490895</LocalCounter>
     1495    <LocalCounter worker="4">9476567</LocalCounter>
     1496    <LocalCounter worker="5">9473480</LocalCounter>
     1497    <LocalCounter worker="6">9473849</LocalCounter>
     1498    <LocalCounter worker="7">9492630</LocalCounter>
     1499    <LocalCounter worker="8">9477676</LocalCounter>
     1500    <LocalCounter worker="9">9473855</LocalCounter>
     1501    <LocalCounter worker="10">9474244</LocalCounter>
     1502    <LocalCounter worker="11">9495034</LocalCounter>
     1503    <LocalCounter worker="12">9474186</LocalCounter>
     1504    <LocalCounter worker="13">9467731</LocalCounter>
     1505    <LocalCounter worker="14">9468228</LocalCounter>
     1506    <LocalCounter worker="15">9497539</LocalCounter>
     1507    <LocalCounter worker="16">9479597</LocalCounter>
     1508    <LocalCounter worker="17">11238069</LocalCounter>
     1509    <LocalCounter worker="18">11238469</LocalCounter>
     1510    <GlobalCounter>0</GlobalCounter>
     1511    <SumOfLocalCounter>185380731</SumOfLocalCounter>
     1512  </LocalMCSLockWithLocalCounter>
     1513  <LocalMCSLockWithLocalCounter activeWorker="20">
     1514    <LocalCounter worker="0">11107013</LocalCounter>
     1515    <LocalCounter worker="1">9521584</LocalCounter>
     1516    <LocalCounter worker="2">9521960</LocalCounter>
     1517    <LocalCounter worker="3">9564977</LocalCounter>
     1518    <LocalCounter worker="4">9532128</LocalCounter>
     1519    <LocalCounter worker="5">9522954</LocalCounter>
     1520    <LocalCounter worker="6">9523296</LocalCounter>
     1521    <LocalCounter worker="7">9575090</LocalCounter>
     1522    <LocalCounter worker="8">9536475</LocalCounter>
     1523    <LocalCounter worker="9">9516989</LocalCounter>
     1524    <LocalCounter worker="10">9517312</LocalCounter>
     1525    <LocalCounter worker="11">9561659</LocalCounter>
     1526    <LocalCounter worker="12">9523097</LocalCounter>
     1527    <LocalCounter worker="13">9520017</LocalCounter>
     1528    <LocalCounter worker="14">9520401</LocalCounter>
     1529    <LocalCounter worker="15">9572744</LocalCounter>
     1530    <LocalCounter worker="16">9526636</LocalCounter>
     1531    <LocalCounter worker="17">10512248</LocalCounter>
     1532    <LocalCounter worker="18">10512713</LocalCounter>
     1533    <LocalCounter worker="19">12209345</LocalCounter>
     1534    <GlobalCounter>0</GlobalCounter>
     1535    <SumOfLocalCounter>196898638</SumOfLocalCounter>
     1536  </LocalMCSLockWithLocalCounter>
     1537  <LocalMCSLockWithLocalCounter activeWorker="21">
     1538    <LocalCounter worker="0">10752935</LocalCounter>
     1539    <LocalCounter worker="1">9493202</LocalCounter>
     1540    <LocalCounter worker="2">9493496</LocalCounter>
     1541    <LocalCounter worker="3">9530851</LocalCounter>
     1542    <LocalCounter worker="4">9496285</LocalCounter>
     1543    <LocalCounter worker="5">9492053</LocalCounter>
     1544    <LocalCounter worker="6">9492366</LocalCounter>
     1545    <LocalCounter worker="7">9540724</LocalCounter>
     1546    <LocalCounter worker="8">9502382</LocalCounter>
     1547    <LocalCounter worker="9">9500543</LocalCounter>
     1548    <LocalCounter worker="10">9500935</LocalCounter>
     1549    <LocalCounter worker="11">9530543</LocalCounter>
     1550    <LocalCounter worker="12">9499016</LocalCounter>
     1551    <LocalCounter worker="13">9491779</LocalCounter>
     1552    <LocalCounter worker="14">9492142</LocalCounter>
     1553    <LocalCounter worker="15">9534216</LocalCounter>
     1554    <LocalCounter worker="16">9503606</LocalCounter>
     1555    <LocalCounter worker="17">10658376</LocalCounter>
     1556    <LocalCounter worker="18">10658781</LocalCounter>
     1557    <LocalCounter worker="19">10767856</LocalCounter>
     1558    <LocalCounter worker="20">10647666</LocalCounter>
     1559    <GlobalCounter>0</GlobalCounter>
     1560    <SumOfLocalCounter>205579753</SumOfLocalCounter>
     1561  </LocalMCSLockWithLocalCounter>
     1562  <LocalMCSLockWithLocalCounter activeWorker="22">
     1563    <LocalCounter worker="0">10562721</LocalCounter>
     1564    <LocalCounter worker="1">9513544</LocalCounter>
     1565    <LocalCounter worker="2">9513904</LocalCounter>
     1566    <LocalCounter worker="3">9546975</LocalCounter>
     1567    <LocalCounter worker="4">9519487</LocalCounter>
     1568    <LocalCounter worker="5">9513233</LocalCounter>
     1569    <LocalCounter worker="6">9513599</LocalCounter>
     1570    <LocalCounter worker="7">9552592</LocalCounter>
     1571    <LocalCounter worker="8">9521671</LocalCounter>
     1572    <LocalCounter worker="9">9521235</LocalCounter>
     1573    <LocalCounter worker="10">9521661</LocalCounter>
     1574    <LocalCounter worker="11">9586145</LocalCounter>
     1575    <LocalCounter worker="12">9516100</LocalCounter>
     1576    <LocalCounter worker="13">9497783</LocalCounter>
     1577    <LocalCounter worker="14">9498107</LocalCounter>
     1578    <LocalCounter worker="15">9600924</LocalCounter>
     1579    <LocalCounter worker="16">9524532</LocalCounter>
     1580    <LocalCounter worker="17">10418128</LocalCounter>
     1581    <LocalCounter worker="18">10418533</LocalCounter>
     1582    <LocalCounter worker="19">10557157</LocalCounter>
     1583    <LocalCounter worker="20">10398032</LocalCounter>
     1584    <LocalCounter worker="21">10562124</LocalCounter>
     1585    <GlobalCounter>0</GlobalCounter>
     1586    <SumOfLocalCounter>215378187</SumOfLocalCounter>
     1587  </LocalMCSLockWithLocalCounter>
     1588  <LocalMCSLockWithLocalCounter activeWorker="23">
     1589    <LocalCounter worker="0">10020531</LocalCounter>
     1590    <LocalCounter worker="1">9499389</LocalCounter>
     1591    <LocalCounter worker="2">9499749</LocalCounter>
     1592    <LocalCounter worker="3">9539918</LocalCounter>
     1593    <LocalCounter worker="4">9501002</LocalCounter>
     1594    <LocalCounter worker="5">9499387</LocalCounter>
     1595    <LocalCounter worker="6">9499718</LocalCounter>
     1596    <LocalCounter worker="7">9549295</LocalCounter>
     1597    <LocalCounter worker="8">9505903</LocalCounter>
     1598    <LocalCounter worker="9">9469095</LocalCounter>
     1599    <LocalCounter worker="10">9469462</LocalCounter>
     1600    <LocalCounter worker="11">9526032</LocalCounter>
     1601    <LocalCounter worker="12">9488043</LocalCounter>
     1602    <LocalCounter worker="13">9482123</LocalCounter>
     1603    <LocalCounter worker="14">9482578</LocalCounter>
     1604    <LocalCounter worker="15">9551048</LocalCounter>
     1605    <LocalCounter worker="16">9492329</LocalCounter>
     1606    <LocalCounter worker="17">9974833</LocalCounter>
     1607    <LocalCounter worker="18">9975234</LocalCounter>
     1608    <LocalCounter worker="19">10011108</LocalCounter>
     1609    <LocalCounter worker="20">9968749</LocalCounter>
     1610    <LocalCounter worker="21">9967105</LocalCounter>
     1611    <LocalCounter worker="22">9967536</LocalCounter>
     1612    <GlobalCounter>0</GlobalCounter>
     1613    <SumOfLocalCounter>221940167</SumOfLocalCounter>
     1614  </LocalMCSLockWithLocalCounter>
     1615  <LocalMCSLockWithLocalCounter activeWorker="24">
     1616    <LocalCounter worker="0">9565647</LocalCounter>
     1617    <LocalCounter worker="1">9559731</LocalCounter>
     1618    <LocalCounter worker="2">9560104</LocalCounter>
     1619    <LocalCounter worker="3">9570849</LocalCounter>
     1620    <LocalCounter worker="4">9561554</LocalCounter>
     1621    <LocalCounter worker="5">9558504</LocalCounter>
     1622    <LocalCounter worker="6">9558927</LocalCounter>
     1623    <LocalCounter worker="7">9572162</LocalCounter>
     1624    <LocalCounter worker="8">9562182</LocalCounter>
     1625    <LocalCounter worker="9">9552179</LocalCounter>
     1626    <LocalCounter worker="10">9552550</LocalCounter>
     1627    <LocalCounter worker="11">9564991</LocalCounter>
     1628    <LocalCounter worker="12">9553751</LocalCounter>
     1629    <LocalCounter worker="13">9550482</LocalCounter>
     1630    <LocalCounter worker="14">9550928</LocalCounter>
     1631    <LocalCounter worker="15">9570603</LocalCounter>
     1632    <LocalCounter worker="16">9554636</LocalCounter>
     1633    <LocalCounter worker="17">9557198</LocalCounter>
     1634    <LocalCounter worker="18">9557558</LocalCounter>
     1635    <LocalCounter worker="19">9582834</LocalCounter>
     1636    <LocalCounter worker="20">9559094</LocalCounter>
     1637    <LocalCounter worker="21">9550291</LocalCounter>
     1638    <LocalCounter worker="22">9550671</LocalCounter>
     1639    <LocalCounter worker="23">9584758</LocalCounter>
     1640    <GlobalCounter>0</GlobalCounter>
     1641    <SumOfLocalCounter>229462184</SumOfLocalCounter>
     1642  </LocalMCSLockWithLocalCounter>
     1643  <LocalTicketLockWithGlobalCounter activeWorker="24">
     1644    <LocalCounter worker="0">919628</LocalCounter>
     1645    <LocalCounter worker="1">915976</LocalCounter>
     1646    <LocalCounter worker="2">916014</LocalCounter>
     1647    <LocalCounter worker="3">915977</LocalCounter>
     1648    <LocalCounter worker="4">915974</LocalCounter>
     1649    <LocalCounter worker="5">915968</LocalCounter>
     1650    <LocalCounter worker="6">916000</LocalCounter>
     1651    <LocalCounter worker="7">915967</LocalCounter>
     1652    <LocalCounter worker="8">915980</LocalCounter>
     1653    <LocalCounter worker="9">919377</LocalCounter>
     1654    <LocalCounter worker="10">919362</LocalCounter>
     1655    <LocalCounter worker="11">919368</LocalCounter>
     1656    <LocalCounter worker="12">919387</LocalCounter>
     1657    <LocalCounter worker="13">919349</LocalCounter>
     1658    <LocalCounter worker="14">919362</LocalCounter>
     1659    <LocalCounter worker="15">919383</LocalCounter>
     1660    <LocalCounter worker="16">919360</LocalCounter>
     1661    <LocalCounter worker="17">919503</LocalCounter>
     1662    <LocalCounter worker="18">919547</LocalCounter>
     1663    <LocalCounter worker="19">919538</LocalCounter>
     1664    <LocalCounter worker="20">919531</LocalCounter>
     1665    <LocalCounter worker="21">919522</LocalCounter>
     1666    <LocalCounter worker="22">919527</LocalCounter>
     1667    <LocalCounter worker="23">919283</LocalCounter>
     1668    <GlobalCounter>2095665</GlobalCounter>
     1669    <SumOfLocalCounter>22038883</SumOfLocalCounter>
     1670  </LocalTicketLockWithGlobalCounter>
     1671  <LocalMCSLockWithGlobalCounter activeWorker="24">
     1672    <LocalCounter worker="0">862472</LocalCounter>
     1673    <LocalCounter worker="1">883424</LocalCounter>
     1674    <LocalCounter worker="2">883458</LocalCounter>
     1675    <LocalCounter worker="3">963897</LocalCounter>
     1676    <LocalCounter worker="4">862708</LocalCounter>
     1677    <LocalCounter worker="5">883272</LocalCounter>
     1678    <LocalCounter worker="6">883301</LocalCounter>
     1679    <LocalCounter worker="7">963959</LocalCounter>
     1680    <LocalCounter worker="8">862582</LocalCounter>
     1681    <LocalCounter worker="9">892427</LocalCounter>
     1682    <LocalCounter worker="10">892442</LocalCounter>
     1683    <LocalCounter worker="11">967350</LocalCounter>
     1684    <LocalCounter worker="12">865089</LocalCounter>
     1685    <LocalCounter worker="13">886256</LocalCounter>
     1686    <LocalCounter worker="14">886273</LocalCounter>
     1687    <LocalCounter worker="15">970013</LocalCounter>
     1688    <LocalCounter worker="16">867177</LocalCounter>
     1689    <LocalCounter worker="17">883852</LocalCounter>
     1690    <LocalCounter worker="18">883865</LocalCounter>
     1691    <LocalCounter worker="19">963960</LocalCounter>
     1692    <LocalCounter worker="20">862399</LocalCounter>
     1693    <LocalCounter worker="21">883581</LocalCounter>
     1694    <LocalCounter worker="22">883619</LocalCounter>
     1695    <LocalCounter worker="23">963271</LocalCounter>
     1696    <GlobalCounter>1751273</GlobalCounter>
     1697    <SumOfLocalCounter>21600647</SumOfLocalCounter>
     1698  </LocalMCSLockWithGlobalCounter>
     1699  <GlobalTicketLockWithBusySection activeWorker="24">
     1700    <LocalCounter worker="0">122982</LocalCounter>
     1701    <LocalCounter worker="1">122980</LocalCounter>
     1702    <LocalCounter worker="2">122980</LocalCounter>
     1703    <LocalCounter worker="3">122981</LocalCounter>
     1704    <LocalCounter worker="4">122980</LocalCounter>
     1705    <LocalCounter worker="5">122981</LocalCounter>
     1706    <LocalCounter worker="6">122980</LocalCounter>
     1707    <LocalCounter worker="7">122981</LocalCounter>
     1708    <LocalCounter worker="8">122982</LocalCounter>
     1709    <LocalCounter worker="9">122980</LocalCounter>
     1710    <LocalCounter worker="10">122981</LocalCounter>
     1711    <LocalCounter worker="11">122980</LocalCounter>
     1712    <LocalCounter worker="12">122980</LocalCounter>
     1713    <LocalCounter worker="13">122980</LocalCounter>
     1714    <LocalCounter worker="14">122980</LocalCounter>
     1715    <LocalCounter worker="15">122981</LocalCounter>
     1716    <LocalCounter worker="16">122980</LocalCounter>
     1717    <LocalCounter worker="17">122980</LocalCounter>
     1718    <LocalCounter worker="18">122980</LocalCounter>
     1719    <LocalCounter worker="19">122981</LocalCounter>
     1720    <LocalCounter worker="20">122980</LocalCounter>
     1721    <LocalCounter worker="21">122980</LocalCounter>
     1722    <LocalCounter worker="22">122980</LocalCounter>
     1723    <LocalCounter worker="23">122980</LocalCounter>
     1724    <GlobalCounter>0</GlobalCounter>
     1725    <SumOfLocalCounter>2951530</SumOfLocalCounter>
     1726  </GlobalTicketLockWithBusySection>
     1727  <GlobalMCSLockWithBusySection activeWorker="24">
     1728    <LocalCounter worker="0">111505</LocalCounter>
     1729    <LocalCounter worker="1">111504</LocalCounter>
     1730    <LocalCounter worker="2">111504</LocalCounter>
     1731    <LocalCounter worker="3">111504</LocalCounter>
     1732    <LocalCounter worker="4">111504</LocalCounter>
     1733    <LocalCounter worker="5">111504</LocalCounter>
     1734    <LocalCounter worker="6">111505</LocalCounter>
     1735    <LocalCounter worker="7">111504</LocalCounter>
     1736    <LocalCounter worker="8">111505</LocalCounter>
     1737    <LocalCounter worker="9">111503</LocalCounter>
     1738    <LocalCounter worker="10">111505</LocalCounter>
     1739    <LocalCounter worker="11">111504</LocalCounter>
     1740    <LocalCounter worker="12">111505</LocalCounter>
     1741    <LocalCounter worker="13">111504</LocalCounter>
     1742    <LocalCounter worker="14">111505</LocalCounter>
     1743    <LocalCounter worker="15">111504</LocalCounter>
     1744    <LocalCounter worker="16">111504</LocalCounter>
     1745    <LocalCounter worker="17">111505</LocalCounter>
     1746    <LocalCounter worker="18">111505</LocalCounter>
     1747    <LocalCounter worker="19">111504</LocalCounter>
     1748    <LocalCounter worker="20">111504</LocalCounter>
     1749    <LocalCounter worker="21">111504</LocalCounter>
     1750    <LocalCounter worker="22">111504</LocalCounter>
     1751    <LocalCounter worker="23">111505</LocalCounter>
     1752    <GlobalCounter>0</GlobalCounter>
     1753    <SumOfLocalCounter>2676104</SumOfLocalCounter>
     1754  </GlobalMCSLockWithBusySection>
     1755  <SequenceLock activeWorker="24">
     1756    <LocalCounter worker="0">2440262</LocalCounter>
     1757    <LocalCounter worker="1">707</LocalCounter>
     1758    <LocalCounter worker="2">735</LocalCounter>
     1759    <LocalCounter worker="3">740</LocalCounter>
     1760    <LocalCounter worker="4">792</LocalCounter>
     1761    <LocalCounter worker="5">772</LocalCounter>
     1762    <LocalCounter worker="6">772</LocalCounter>
     1763    <LocalCounter worker="7">800</LocalCounter>
     1764    <LocalCounter worker="8">752</LocalCounter>
     1765    <LocalCounter worker="9">692</LocalCounter>
     1766    <LocalCounter worker="10">684</LocalCounter>
     1767    <LocalCounter worker="11">678</LocalCounter>
     1768    <LocalCounter worker="12">695</LocalCounter>
     1769    <LocalCounter worker="13">690</LocalCounter>
     1770    <LocalCounter worker="14">692</LocalCounter>
     1771    <LocalCounter worker="15">750</LocalCounter>
     1772    <LocalCounter worker="16">734</LocalCounter>
     1773    <LocalCounter worker="17">38</LocalCounter>
     1774    <LocalCounter worker="18">12</LocalCounter>
     1775    <LocalCounter worker="19">3</LocalCounter>
     1776    <LocalCounter worker="20">12</LocalCounter>
     1777    <LocalCounter worker="21">21</LocalCounter>
     1778    <LocalCounter worker="22">4</LocalCounter>
     1779    <LocalCounter worker="23">1</LocalCounter>
     1780    <GlobalCounter>0</GlobalCounter>
     1781    <SumOfLocalCounter>2452038</SumOfLocalCounter>
     1782  </SequenceLock>
     1783</SMPLock01>
    2881784*** END OF TEST SMPLOCK 1 ***
Note: See TracChangeset for help on using the changeset viewer.