exchange/src/mintdb/perf_taler_mintdb_interpreter.c

468 lines
14 KiB
C
Raw Normal View History

2015-06-09 17:35:33 +02:00
/*
This file is part of TALER
Copyright (C) 2014, 2015 Christian Grothoff (and other contributing authors)
2015-06-09 17:35:33 +02:00
TALER is free software; you can redistribute it and/or modify it under the
terms of the GNU General Public License as published by the Free Software
Foundation; either version 3, or (at your option) any later version.
TALER is distributed in the hope that it will be useful, but WITHOUT ANY
WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
A PARTICULAR PURPOSE. See the GNU General Public License for more details.
2015-06-09 17:35:33 +02:00
You should have received a copy of the GNU General Public License along with
TALER; see the file COPYING. If not, If not, see <http://www.gnu.org/licenses/>
*/
/**
* @file mintdb/perf_taler_mintdb_interpreter.c
* @brief Interpreter library for mint database performance analysis
* @author Nicolas Fournier
*/
2015-06-12 11:14:32 +02:00
#include "platform.h"
2015-06-09 17:35:33 +02:00
#include "perf_taler_mintdb_interpreter.h"
#include "perf_taler_mintdb_init.h"
2015-06-12 11:14:32 +02:00
#include "gauger.h"
2015-06-11 15:55:46 +02:00
/**
* Represents the state of the interpreter
*/
struct PERF_TALER_MINTDB_interpreter_state
{
/**
* State of the commands
*/
struct PERF_TALER_MINTDB_Cmd *cmd;
/**
* Database plugin
*/
struct TALER_MINTDB_Plugin *plugin;
/**
* Current database session
*/
struct TALER_MINTDB_Session *session;
/**
* The current index of the interpreter
*/
int i;
};
/**
* Free the memory of @a data, with data of type @a type
*/
static void
data_free (union PERF_TALER_MINTDB_Data *data, enum PERF_TALER_MINTDB_Type type)
{
2015-06-11 15:55:46 +02:00
switch (type)
{
case PERF_TALER_MINTDB_DEPOSIT:
2015-06-12 12:09:14 +02:00
PERF_TALER_MINTDB_deposit_free (data->deposit);
2015-06-11 15:55:46 +02:00
data->deposit = NULL;
return;
case PERF_TALER_MINTDB_BLINDCOIN:
PERF_TALER_MINTDB_collectable_blindcoin_free (data->blindcoin);
data->blindcoin = NULL;
return;
case PERF_TALER_MINTDB_RESERVE:
PERF_TALER_MINTDB_reserve_free (data->reserve);
data->reserve = NULL;
return;
case PERF_TALER_MINTDB_DENOMINATION_INFO:
PERF_TALER_MINTDB_denomination_free (data->dki);
data->dki = NULL;
return;
case PERF_TALER_MINTDB_COIN_INFO:
PERF_TALER_MINTDB_coin_public_info_free (data->cpi);
data->cpi = NULL;
return;
2015-06-11 15:55:46 +02:00
default:
return;
}
}
/**
* Finds the first command in cmd with the name search
*
2015-06-09 17:35:33 +02:00
* @return the index of the first command with name search
* GNUNET_SYSERR if none found
*/
2015-06-09 17:35:33 +02:00
static int
2015-06-11 15:55:46 +02:00
cmd_find (const struct PERF_TALER_MINTDB_Cmd *cmd, const char *search)
{
2015-06-09 13:55:05 +02:00
int i;
for (i=0; PERF_TALER_MINTDB_CMD_END != cmd[i].command; i++)
if (0 == strcmp (cmd[i].label, search))
return i;
2015-06-09 13:55:05 +02:00
return GNUNET_SYSERR;
}
2015-06-11 15:55:46 +02:00
/**
* Initialization of a command array
*/
2015-06-09 17:35:33 +02:00
static int
2015-06-11 15:55:46 +02:00
cmd_init (struct PERF_TALER_MINTDB_Cmd cmd[])
{
int i = 0;
2015-06-19 10:55:13 +02:00
2015-06-09 17:35:33 +02:00
for (i=0; PERF_TALER_MINTDB_CMD_END != cmd[i].command; i++)
{
switch (cmd[i].command)
{
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_SAVE_ARRAY:
// Allocation of memory for saving data
cmd[i].details.save_array.data_saved =
GNUNET_new_array (cmd[i].details.save_array.nb_saved,
union PERF_TALER_MINTDB_Data);
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_LOAD_ARRAY:
// Creating the permutation array to randomize the data order
2015-06-19 10:55:13 +02:00
GNUNET_assert (NULL !=
(cmd[i].details.load_array.permutation =
GNUNET_CRYPTO_random_permute (
GNUNET_CRYPTO_QUALITY_WEAK,
cmd[cmd_find (cmd,
cmd[i].details
.load_array.label_save)]
.details.save_array.nb_saved)));
// Initializing the type based on the type of the saved array
2015-06-12 11:14:32 +02:00
cmd[i].exposed_type = cmd[cmd_find (cmd,
cmd[i].details.load_array.label_save)]
.details.save_array.type_saved;
break;
2015-06-09 17:35:33 +02:00
default:
break;
}
}
return GNUNET_OK;
}
/**
* Free the memory of the command chain
*/
static int
cmd_clean (struct PERF_TALER_MINTDB_Cmd cmd[])
{
int i = 0;
2015-06-19 10:55:13 +02:00
for (i = 0; PERF_TALER_MINTDB_CMD_END != cmd[i].command; i++)
{
switch (cmd[i].command)
{
case PERF_TALER_MINTDB_CMD_SAVE_ARRAY:
{
int j;
2015-06-11 15:55:46 +02:00
for (j = 0; j < cmd[i].details.save_array.nb_saved; j++)
{
2015-06-11 15:55:46 +02:00
data_free (&cmd[i].details.save_array.data_saved[j],
2015-06-12 11:14:32 +02:00
cmd[i].details.save_array.type_saved);
}
2015-06-11 15:55:46 +02:00
GNUNET_free (cmd[i].details.save_array.data_saved);
cmd[i].details.save_array.data_saved = NULL;
}
2015-06-19 10:55:13 +02:00
break;
case PERF_TALER_MINTDB_CMD_LOAD_ARRAY:
GNUNET_free (cmd[i].details.load_array.permutation);
2015-06-19 10:55:13 +02:00
cmd[i].details.load_array.permutation = NULL;
break;
default:
data_free (&cmd[i].exposed, cmd[i].exposed_type);
break;
}
}
return GNUNET_OK;
2015-06-09 17:35:33 +02:00
};
2015-06-11 15:55:46 +02:00
/**
* Handles the command END_LOOP for the interpreter
*/
static void
interpret_end_loop (struct PERF_TALER_MINTDB_interpreter_state *state)
{
2015-06-17 17:24:08 +02:00
int i;
2015-06-19 10:55:13 +02:00
union PERF_TALER_MINTDB_Data zero = {0};
2015-06-12 11:14:32 +02:00
int jump = cmd_find (state->cmd,
state->cmd[state->i].details.end_loop.label_loop);
2015-06-17 17:24:08 +02:00
// Cleaning up the memory in the loop
for (i = jump; i < state->i; i++)
{
// If the exposed variable has not been copied it is freed
if ( GNUNET_NO == state->cmd[i].exposed_saved)
data_free (&state->cmd[i].exposed, state->cmd[i].exposed_type);
state->cmd[i].exposed_saved = GNUNET_NO;
2015-06-19 10:55:13 +02:00
// Anyway we need to make the data zero.
state->cmd[i].exposed = zero;
2015-06-17 17:24:08 +02:00
}
state->cmd[jump].details.loop.curr_iteration++;
2015-06-11 15:55:46 +02:00
// If the loop is not finished
2015-06-12 11:14:32 +02:00
if (state->cmd[jump].details.loop.max_iterations >
state->cmd[jump].details.loop.curr_iteration)
2015-06-11 15:55:46 +02:00
{
// jump back to the start
state->i = jump;
2015-06-11 15:55:46 +02:00
}else{
// Reset the loop counter and continue running
state->cmd[jump].details.loop.curr_iteration = 0;
2015-06-11 15:55:46 +02:00
}
}
2015-06-19 10:55:13 +02:00
static void
interpret_save_array (struct PERF_TALER_MINTDB_interpreter_state *state)
{
int loop_index;
int selection_chance;
2015-06-19 10:55:13 +02:00
// Array initialization on first loop iteration
// Alows for nested loops
if (0 == state->cmd[cmd_find (state->cmd,
state->cmd[state->i]
.details.save_array.label_loop)]
.details.loop.curr_iteration)
{
state->cmd[state->i].details.save_array.index = 0;
}
loop_index = cmd_find (state->cmd,
state->cmd[state->i].details.save_array.label_loop);
// The probobility distribution of the saved items will be a little biased
// against the few last items but it should not be a big problem.
selection_chance = state->cmd[loop_index].details.loop.max_iterations /
state->cmd[state->i].details.save_array.nb_saved;
/*
* If the remaining sapce is equal to the remaining number of
* iterations, the item is automaticly saved.
*
* Else it is saved only if rdn is 0
*/
2015-06-19 10:55:13 +02:00
if ((0 < (state->cmd[state->i].details.save_array.nb_saved -
state->cmd[state->i].details.save_array.index)) &&
(((state->cmd[loop_index].details.loop.max_iterations -
state->cmd[loop_index].details.loop.curr_iteration) ==
(state->cmd[state->i].details.save_array.nb_saved -
state->cmd[state->i].details.save_array.index))
|| (0 == GNUNET_CRYPTO_random_u32 (GNUNET_CRYPTO_QUALITY_WEAK,
selection_chance))))
{
union PERF_TALER_MINTDB_Data *save_location;
union PERF_TALER_MINTDB_Data *item_saved;
save_location = &state->cmd[state->i].details.save_array
.data_saved[state->cmd[state->i].details.save_array.index];
item_saved = &state->cmd[cmd_find (state->cmd,
state->cmd[state->i]
.details.save_array.label_save)]
.exposed;
switch (state->cmd[state->i].details.save_array.type_saved)
{
case PERF_TALER_MINTDB_TIME:
save_location->time = item_saved->time;
break;
2015-06-11 15:55:46 +02:00
case PERF_TALER_MINTDB_DEPOSIT:
save_location->deposit = item_saved->deposit;
break;
case PERF_TALER_MINTDB_BLINDCOIN:
save_location->blindcoin = item_saved->blindcoin;
break;
case PERF_TALER_MINTDB_RESERVE:
save_location->reserve = item_saved->reserve;
break;
case PERF_TALER_MINTDB_DENOMINATION_INFO:
save_location->dki = item_saved->dki;
break;
case PERF_TALER_MINTDB_COIN_INFO:
save_location->cpi = item_saved->cpi;
break;
default:
break;
}
state->cmd[cmd_find (state->cmd,
state->cmd[state->i].details.save_array.label_save)]
.exposed_saved = GNUNET_YES;
state->cmd[state->i].details.save_array.index++;
}
}
2015-06-11 15:55:46 +02:00
2015-06-19 10:55:13 +02:00
/**
2015-06-12 11:14:32 +02:00
* Main interpreter loop.
*
*/
2015-06-09 17:35:33 +02:00
static int
2015-06-11 15:55:46 +02:00
interpret (struct PERF_TALER_MINTDB_interpreter_state *state)
{
2015-06-11 15:55:46 +02:00
for (state->i=0; PERF_TALER_MINTDB_CMD_END != state->cmd[state->i].command; state->i++)
2015-06-09 17:35:33 +02:00
{
2015-06-11 15:55:46 +02:00
switch (state->cmd[state->i].command)
{
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_END:
return GNUNET_YES;
case PERF_TALER_MINTDB_CMD_DEBUG:
printf ("%s\n", state->cmd[state->i].label);
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_LOOP:
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_END_LOOP:
2015-06-11 15:55:46 +02:00
interpret_end_loop (state);
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_GET_TIME:
2015-06-11 15:55:46 +02:00
clock_gettime (CLOCK_MONOTONIC, &state->cmd[state->i].exposed.time);
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_GAUGER:
{
2015-06-12 11:14:32 +02:00
int start_index, stop_index;
struct timespec start, stop;
unsigned long elapsed_ms;
start_index = cmd_find (state->cmd,
state->cmd[state->i].details.gauger.label_start);
stop_index = cmd_find (state->cmd,
state->cmd[state->i].details.gauger.label_stop);
start = state->cmd [start_index].exposed.time;
stop = state->cmd [stop_index].exposed.time;
elapsed_ms = (start.tv_sec - stop.tv_sec) * 1000 +
(start.tv_nsec - stop.tv_nsec) / 1000000;
GAUGER ("MINTDB",
state->cmd[state->i].details.gauger.description,
elapsed_ms,
"milliseconds");
}
break;
2015-06-11 15:55:46 +02:00
case PERF_TALER_MINTDB_CMD_NEW_SESSION:
state->session = state->plugin->get_session (state->plugin->cls, GNUNET_YES);
break;
2015-06-11 15:55:46 +02:00
case PERF_TALER_MINTDB_CMD_START_TRANSACTION:
state->plugin->start (state->plugin->cls, state->session);
break;
2015-06-11 15:55:46 +02:00
case PERF_TALER_MINTDB_CMD_COMMIT_TRANSACTION:
state->plugin->commit (state->plugin->cls, state->session);
break;
2015-06-11 15:55:46 +02:00
case PERF_TALER_MINTDB_CMD_ABORT_TRANSACTION:
state->plugin->rollback (state->plugin->cls, state->session);
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_SAVE_ARRAY:
interpret_save_array (state);
break;
2015-06-09 17:35:33 +02:00
case PERF_TALER_MINTDB_CMD_LOAD_ARRAY:
{
2015-06-12 11:14:32 +02:00
int loop_index, save_index;
2015-06-19 10:55:13 +02:00
union PERF_TALER_MINTDB_Data *loaded_data;
2015-06-12 11:14:32 +02:00
loop_index = cmd_find (state->cmd,
state->cmd[state->i].details.load_array.label_loop);
save_index = cmd_find (state->cmd,
state->cmd[state->i].details.load_array.label_save);
2015-06-11 15:55:46 +02:00
/* Extracting the data from the loop_indexth indice in save_index
* array.
*/
2015-06-19 10:55:13 +02:00
loaded_data = &state->cmd[save_index].details.save_array.data_saved[
2015-06-11 15:55:46 +02:00
state->cmd[state->i].details.load_array.permutation[
2015-06-12 11:14:32 +02:00
state->cmd[loop_index].details.loop.curr_iteration]];
2015-06-11 15:55:46 +02:00
switch (state->cmd[state->i].exposed_type)
{
2015-06-19 10:55:13 +02:00
case PERF_TALER_MINTDB_TIME:
state->cmd[state->i].exposed.time = loaded_data->time;
2015-06-11 15:55:46 +02:00
break;
2015-06-19 10:55:13 +02:00
case PERF_TALER_MINTDB_DEPOSIT:
state->cmd[state->i].exposed.deposit = loaded_data->deposit;
loaded_data->deposit = NULL;
2015-06-11 15:55:46 +02:00
break;
2015-06-09 17:35:33 +02:00
default:
2015-06-11 15:55:46 +02:00
break;
}
}
2015-06-11 15:55:46 +02:00
break;
case PERF_TALER_MINTDB_CMD_INSERT_DEPOSIT:
{
2015-06-17 17:24:08 +02:00
struct TALER_MINTDB_Deposit *deposit =
PERF_TALER_MINTDB_deposit_init ();
GNUNET_assert (
2015-06-19 10:55:13 +02:00
state->plugin->insert_deposit (state->plugin->cls,
state->session,
deposit));
2015-06-17 17:24:08 +02:00
state->cmd[state->i].exposed.deposit = deposit;
2015-06-11 15:55:46 +02:00
}
break;
case PERF_TALER_MINTDB_CMD_GET_DEPOSIT:
{
2015-06-12 11:14:32 +02:00
struct TALER_MINTDB_Deposit *deposit =
state->cmd[cmd_find (state->cmd,
state->cmd[state->i]
.details.get_deposit.label_source)]
2015-06-12 11:14:32 +02:00
.exposed.deposit; // Get the deposit from the source
state->plugin->have_deposit (state->plugin->cls,
state->session, deposit);
2015-06-11 15:55:46 +02:00
}
break;
2015-06-09 17:35:33 +02:00
default :
break;
}
}
return GNUNET_OK;
}
2015-06-11 15:55:46 +02:00
/**
2015-06-09 13:55:05 +02:00
* Runs the commands given in @a cmd, working with
* the database referenced by @a db_plugin
*/
int
2015-06-11 15:55:46 +02:00
PERF_TALER_MINTDB_interpret (struct TALER_MINTDB_Plugin *db_plugin,
2015-06-12 11:14:32 +02:00
struct PERF_TALER_MINTDB_Cmd cmd[])
{
struct PERF_TALER_MINTDB_interpreter_state state =
{.i = 0, .cmd = cmd, .plugin = db_plugin};
2015-06-12 11:14:32 +02:00
// Initializing commands
cmd_init (state.cmd);
// Running the interpreter
2015-06-19 10:55:13 +02:00
GNUNET_assert (NULL !=
(state.session = db_plugin->get_session (db_plugin->cls, GNUNET_YES)));
2015-06-11 15:55:46 +02:00
interpret (&state);
// Cleaning the memory
2015-06-11 15:55:46 +02:00
cmd_clean (cmd);
return GNUNET_YES;
}