Blame tests/t-lock.c

Packit fc043f
/* t-lock.c - Check the lock functions
Packit fc043f
 * Copyright (C) 2013, 2015 g10 Code GmbH
Packit fc043f
 *
Packit fc043f
 * This file is part of libgpg-error.
Packit fc043f
 *
Packit fc043f
 * libgpg-error is free software; you can redistribute it and/or
Packit fc043f
 * modify it under the terms of the GNU Lesser General Public License
Packit fc043f
 * as published by the Free Software Foundation; either version 2.1 of
Packit fc043f
 * the License, or (at your option) any later version.
Packit fc043f
 *
Packit fc043f
 * libgpg-error is distributed in the hope that it will be useful, but
Packit fc043f
 * WITHOUT ANY WARRANTY; without even the implied warranty of
Packit fc043f
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit fc043f
 * Lesser General Public License for more details.
Packit fc043f
 *
Packit fc043f
 * You should have received a copy of the GNU Lesser General Public
Packit fc043f
 * License along with this program; if not, see <https://www.gnu.org/licenses/>.
Packit fc043f
 */
Packit fc043f
Packit fc043f
#if HAVE_CONFIG_H
Packit fc043f
# include <config.h>
Packit fc043f
#endif
Packit fc043f
Packit fc043f
#include <stdio.h>
Packit fc043f
#include <stdlib.h>
Packit fc043f
#include <string.h>
Packit fc043f
#include <assert.h>
Packit fc043f
#include <sys/types.h>
Packit fc043f
#include <unistd.h>
Packit fc043f
#ifdef _WIN32
Packit fc043f
# include <windows.h>
Packit fc043f
# include <time.h>
Packit fc043f
#else
Packit fc043f
# ifdef USE_POSIX_THREADS
Packit fc043f
#  include <pthread.h>
Packit fc043f
# endif
Packit fc043f
#endif
Packit fc043f
Packit fc043f
#define PGM "t-lock"
Packit fc043f
Packit fc043f
#include "t-common.h"
Packit fc043f
Packit fc043f
#ifdef _WIN32
Packit fc043f
# define THREAD_RET_TYPE  DWORD WINAPI
Packit fc043f
# define THREAD_RET_VALUE 0
Packit fc043f
#else
Packit fc043f
# define THREAD_RET_TYPE  void *
Packit fc043f
# define THREAD_RET_VALUE NULL
Packit fc043f
#endif
Packit fc043f
Packit fc043f
Packit fc043f
/* Our tests works by having a a couple of accountant threads which do
Packit fc043f
   random transactions between accounts and a revision threads which
Packit fc043f
   checks that the balance of all accounts is invariant.  The idea for
Packit fc043f
   this check is due to Bruno Haible.  */
Packit fc043f
#define N_ACCOUNT 8
Packit fc043f
#define ACCOUNT_VALUE 42
Packit fc043f
static int account[N_ACCOUNT];
Packit fc043f
GPGRT_LOCK_DEFINE (accounts_lock);
Packit fc043f
Packit fc043f
/* Number of transactions done by each accountant.  */
Packit fc043f
#define N_TRANSACTIONS 1000
Packit fc043f
Packit fc043f
/* Number of accountants to run.  */
Packit fc043f
#define N_ACCOUNTANTS 5
Packit fc043f
Packit fc043f
/* Maximum transaction value.  A quite low value is used so that we
Packit fc043f
   would get an integer overflow.  */
Packit fc043f
#define MAX_TRANSACTION_VALUE 50
Packit fc043f
Packit fc043f
/* Flag to tell the revision thread to finish.  */
Packit fc043f
static volatile int stop_revision_thread;
Packit fc043f
Packit fc043f
Packit fc043f
/* Initialze all accounts.  */
Packit fc043f
static void
Packit fc043f
init_accounts (void)
Packit fc043f
{
Packit fc043f
  int i;
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNT; i++)
Packit fc043f
    account[i] = ACCOUNT_VALUE;
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
/* Check that the sum of all accounts matches the initial sum.  */
Packit fc043f
static void
Packit fc043f
check_accounts (void)
Packit fc043f
{
Packit fc043f
  int i, sum;
Packit fc043f
Packit fc043f
  sum = 0;
Packit fc043f
  for (i = 0; i < N_ACCOUNT; i++)
Packit fc043f
    sum += account[i];
Packit fc043f
  if (sum != N_ACCOUNT * ACCOUNT_VALUE)
Packit fc043f
    die ("accounts out of balance");
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
static void
Packit fc043f
print_accounts (void)
Packit fc043f
{
Packit fc043f
  int i;
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNT; i++)
Packit fc043f
    printf ("account %d: %6d\n", i, account[i]);
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
#if defined(_WIN32) || defined(USE_POSIX_THREADS)
Packit fc043f
/* Get a a random integer value in the range 0 to HIGH.  */
Packit fc043f
static unsigned int
Packit fc043f
get_rand (int high)
Packit fc043f
{
Packit fc043f
  return (unsigned int)(1+(int)((double)(high+1)*rand ()/(RAND_MAX+1.0))) - 1;
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
/* Pick a random account.  Note that this function is not
Packit fc043f
   thread-safe. */
Packit fc043f
static int
Packit fc043f
pick_account (void)
Packit fc043f
{
Packit fc043f
  return get_rand (N_ACCOUNT - 1);
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
/* Pick a random value for a transaction.  This is not thread-safe.  */
Packit fc043f
static int
Packit fc043f
pick_value (void)
Packit fc043f
{
Packit fc043f
  return get_rand (MAX_TRANSACTION_VALUE);
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
/* This is the revision department.  */
Packit fc043f
static THREAD_RET_TYPE
Packit fc043f
revision_thread (void *arg)
Packit fc043f
{
Packit fc043f
  gpg_err_code_t rc;
Packit fc043f
  int i = 0;
Packit fc043f
Packit fc043f
  (void)arg;
Packit fc043f
Packit fc043f
  while (!stop_revision_thread)
Packit fc043f
    {
Packit fc043f
      rc = gpgrt_lock_lock (&accounts_lock);
Packit fc043f
      if (rc)
Packit fc043f
        fail ("gpgrt_lock_lock failed at %d: %s", __LINE__, gpg_strerror (rc));
Packit fc043f
Packit fc043f
      check_accounts ();
Packit fc043f
      rc = gpgrt_lock_unlock (&accounts_lock);
Packit fc043f
      if (rc)
Packit fc043f
        fail ("gpgrt_lock_unlock failed at %d: %s", __LINE__,gpg_strerror (rc));
Packit fc043f
      if (!(++i%7))
Packit fc043f
        gpgrt_yield ();
Packit fc043f
    }
Packit fc043f
  return THREAD_RET_VALUE;
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
/* This is one of our accountants.  */
Packit fc043f
static THREAD_RET_TYPE
Packit fc043f
accountant_thread (void *arg)
Packit fc043f
{
Packit fc043f
  gpg_err_code_t rc;
Packit fc043f
  int i;
Packit fc043f
  int acc1, acc2;
Packit fc043f
  int value;
Packit fc043f
Packit fc043f
  (void)arg;
Packit fc043f
Packit fc043f
#ifdef _WIN32
Packit fc043f
  srand (time(NULL)*getpid());  /* Windows needs it per thread.  */
Packit fc043f
#endif
Packit fc043f
  for (i = 0; i < N_TRANSACTIONS; i++)
Packit fc043f
    {
Packit fc043f
      rc = gpgrt_lock_lock (&accounts_lock);
Packit fc043f
      if (rc)
Packit fc043f
        fail ("gpgrt_lock_lock failed at %d: %s", __LINE__, gpg_strerror (rc));
Packit fc043f
Packit fc043f
      acc1 = pick_account ();
Packit fc043f
      acc2 = pick_account ();
Packit fc043f
      value = pick_value ();
Packit fc043f
      account[acc1] += value;
Packit fc043f
      account[acc2] -= value;
Packit fc043f
Packit fc043f
      rc = gpgrt_lock_unlock (&accounts_lock);
Packit fc043f
      if (rc)
Packit fc043f
        fail ("gpgrt_lock_unlock failed at %d: %s", __LINE__,gpg_strerror (rc));
Packit fc043f
      if (i && !(i%8))
Packit fc043f
        gpgrt_yield ();
Packit fc043f
    }
Packit fc043f
  return THREAD_RET_VALUE;
Packit fc043f
}
Packit fc043f
#endif /*_WIN32||USE_POSIX_THREADS*/
Packit fc043f
Packit fc043f
Packit fc043f
static void
Packit fc043f
run_test (void)
Packit fc043f
{
Packit fc043f
#ifdef _WIN32
Packit fc043f
  HANDLE rthread;
Packit fc043f
  HANDLE athreads[N_ACCOUNTANTS];
Packit fc043f
  int i;
Packit fc043f
  int rc;
Packit fc043f
Packit fc043f
  stop_revision_thread = 0;
Packit fc043f
  rthread = CreateThread (NULL, 0, revision_thread, NULL, 0, NULL);
Packit fc043f
  if (!rthread)
Packit fc043f
    die ("error creating revision thread: rc=%d", (int)GetLastError ());
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNTANTS; i++)
Packit fc043f
    {
Packit fc043f
      athreads[i] = CreateThread (NULL, 0, accountant_thread, NULL, 0, NULL);
Packit fc043f
      if (!athreads[i])
Packit fc043f
        die ("error creating accountant thread %d: rc=%d",
Packit fc043f
             i, (int)GetLastError ());
Packit fc043f
    }
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNTANTS; i++)
Packit fc043f
    {
Packit fc043f
      rc = WaitForSingleObject (athreads[i], INFINITE);
Packit fc043f
      if (rc == WAIT_OBJECT_0)
Packit fc043f
        show ("accountant thread %d has terminated", i);
Packit fc043f
      else
Packit fc043f
        fail ("waiting for accountant thread %d failed: %d",
Packit fc043f
              i, (int)GetLastError ());
Packit fc043f
      CloseHandle (athreads[i]);
Packit fc043f
    }
Packit fc043f
  stop_revision_thread = 1;
Packit fc043f
Packit fc043f
  rc = WaitForSingleObject (rthread, INFINITE);
Packit fc043f
  if (rc == WAIT_OBJECT_0)
Packit fc043f
    show ("revision thread has terminated");
Packit fc043f
  else
Packit fc043f
    fail ("waiting for revision thread failed: %d", (int)GetLastError ());
Packit fc043f
  CloseHandle (rthread);
Packit fc043f
Packit fc043f
#else /*!_WIN32*/
Packit fc043f
# ifdef USE_POSIX_THREADS
Packit fc043f
  pthread_t rthread;
Packit fc043f
  pthread_t athreads[N_ACCOUNTANTS];
Packit fc043f
  int i;
Packit fc043f
Packit fc043f
  stop_revision_thread = 0;
Packit fc043f
  pthread_create (&rthread, NULL, revision_thread, NULL);
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNTANTS; i++)
Packit fc043f
    pthread_create (&athreads[i], NULL, accountant_thread, NULL);
Packit fc043f
Packit fc043f
  for (i=0; i < N_ACCOUNTANTS; i++)
Packit fc043f
    {
Packit fc043f
      pthread_join (athreads[i], NULL);
Packit fc043f
      show ("accountant thread %d has terminated", i);
Packit fc043f
    }
Packit fc043f
Packit fc043f
  stop_revision_thread = 1;
Packit fc043f
  pthread_join (rthread, NULL);
Packit fc043f
  show ("revision thread has terminated");
Packit fc043f
# else /*!USE_POSIX_THREADS*/
Packit fc043f
  verbose++;
Packit fc043f
  show ("no thread support - skipping test\n", PGM);
Packit fc043f
  verbose--;
Packit fc043f
# endif /*!USE_POSIX_THREADS*/
Packit fc043f
#endif /*!_WIN32*/
Packit fc043f
Packit fc043f
  gpgrt_lock_destroy (&accounts_lock);
Packit fc043f
}
Packit fc043f
Packit fc043f
Packit fc043f
int
Packit fc043f
main (int argc, char **argv)
Packit fc043f
{
Packit fc043f
  int last_argc = -1;
Packit fc043f
  int rc;
Packit fc043f
Packit fc043f
  if (argc)
Packit fc043f
    {
Packit fc043f
      argc--; argv++;
Packit fc043f
    }
Packit fc043f
  while (argc && last_argc != argc )
Packit fc043f
    {
Packit fc043f
      last_argc = argc;
Packit fc043f
      if (!strcmp (*argv, "--help"))
Packit fc043f
        {
Packit fc043f
          puts (
Packit fc043f
"usage: ./t-lock [options]\n"
Packit fc043f
"\n"
Packit fc043f
"Options:\n"
Packit fc043f
"  --verbose      Show what is going on\n"
Packit fc043f
"  --debug        Flyswatter\n"
Packit fc043f
);
Packit fc043f
          exit (0);
Packit fc043f
        }
Packit fc043f
      if (!strcmp (*argv, "--verbose"))
Packit fc043f
        {
Packit fc043f
          verbose = 1;
Packit fc043f
          argc--; argv++;
Packit fc043f
        }
Packit fc043f
      else if (!strcmp (*argv, "--debug"))
Packit fc043f
        {
Packit fc043f
          verbose = debug = 1;
Packit fc043f
          argc--; argv++;
Packit fc043f
        }
Packit fc043f
    }
Packit fc043f
Packit fc043f
  srand (time(NULL)*getpid());
Packit fc043f
Packit fc043f
  if (!gpg_error_check_version (GPG_ERROR_VERSION))
Packit fc043f
    {
Packit fc043f
      die ("gpg_error_check_version returned an error");
Packit fc043f
      errorcount++;
Packit fc043f
    }
Packit fc043f
Packit fc043f
  init_accounts ();
Packit fc043f
  check_accounts ();
Packit fc043f
  run_test ();
Packit fc043f
  check_accounts ();
Packit fc043f
  /* Run a second time to check deinit code.  */
Packit fc043f
  run_test ();
Packit fc043f
  check_accounts ();
Packit fc043f
  /* And a third time to test an explicit init.  */
Packit fc043f
  rc = gpgrt_lock_init (&accounts_lock);
Packit fc043f
  if (rc)
Packit fc043f
    fail ("gpgrt_lock_init failed at %d: %s", __LINE__, gpg_strerror (rc));
Packit fc043f
  run_test ();
Packit fc043f
  check_accounts ();
Packit fc043f
  if (verbose)
Packit fc043f
    print_accounts ();
Packit fc043f
Packit fc043f
  return errorcount ? 1 : 0;
Packit fc043f
}