* Main program that calls the individual timings. */
/*
- * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
*/
#include <stdexcept>
-#include <iostream>
-
#include "times.h"
+/** Generate a random amount of symbols and destroy them again immediatly.
+ * This operation effectively makes the serial numbers of all subsequent
+ * symbols unpredictable. If the serials are unpredictable, then so are
+ * their hash values. If the hash values are unpredictable, then so are
+ * the canonical orderings. If the canonical orderings are unpredictable,
+ * all subsequent times are subject to some variation. This variation,
+ * however is natural and desireable for two reasons: First, we cannot know
+ * how many symbols have been generated before in real world computations.
+ * Second, the following timings are subject to some semi-random variation
+ * anyways because short timings need to be repeated until enough time has
+ * gone by for the measurement to be reliable. During this process the serial
+ * numbers will be shifted anyways in a semi-random way. It is better not
+ * to lull the user in a false sense of reproducibility and instead confront
+ * her with the normal variation to be expected.
+ */
+void randomify_symbol_serials()
+{
+ srand((unsigned)time(NULL));
+ const int m = rand() % 666;
+ for (int s=0; s<m; ++s ) {
+ symbol* tmp = new symbol;
+ delete tmp;
+ }
+}
+
int main()
{
- unsigned result = 0;
-
- try {
- for (int i=0; i<1; ++i)
- result += time_dennyfliegner();
- } catch (const exception &e) {
- cout << "Error: caught exception " << e.what() << endl;
- ++result;
- }
-
- try {
- for (int i=0; i<1; ++i)
- result += time_gammaseries();
- } catch (const exception &e) {
- cout << "Error: caught exception " << e.what() << endl;
- ++result;
- }
-
- if (result) {
- cout << "Error: something went wrong. ";
- if (result == 1) {
- cout << "(one failure)" << endl;
- } else {
- cout << "(" << result << " individual failures)" << endl;
- }
- cout << "please check times.out against times.ref for more details."
- << endl << "happy debugging!" << endl;
- }
-
- return result;
+ randomify_symbol_serials();
+
+ unsigned result = 0;
+
+#define TIME(which) \
+try { \
+ result += time_ ## which (); \
+} catch (const exception &e) { \
+ cout << "Error: caught exception " << e.what() << endl; \
+ ++result; \
+}
+
+ TIME(dennyfliegner)
+ TIME(gammaseries)
+ TIME(vandermonde)
+ TIME(toeplitz)
+ TIME(hashmap)
+ TIME(lw_A)
+ TIME(lw_B)
+ TIME(lw_C)
+ TIME(lw_D)
+ TIME(lw_E)
+ TIME(lw_F)
+ TIME(lw_G)
+ TIME(lw_H)
+ TIME(lw_IJKL)
+ TIME(lw_M1)
+ TIME(lw_M2)
+ TIME(lw_N)
+ TIME(lw_O)
+ TIME(lw_P)
+ TIME(lw_Pprime)
+ TIME(lw_Q)
+ TIME(lw_Qprime)
+ TIME(antipode)
+ TIME(fateman_expand)
+
+ if (result) {
+ cout << "Error: something went wrong. ";
+ if (result == 1) {
+ cout << "(one failure)" << endl;
+ } else {
+ cout << "(" << result << " individual failures)" << endl;
+ }
+ cout << "please check times.out against times.ref for more details."
+ << endl << "happy debugging!" << endl;
+ }
+
+ return result;
}