|
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 |
}
|