chiark - git - mdw - storin/blob - diffan.c

   1 /* -*-c-*-
   2  *
   3  * $Id: diffan.c,v 1.2 2000/05/28 00:39:52 mdw Exp $
   4  *
   5  * Differential analysis of matrix multiplication
   6  *
   7  * (c) 2000 Mark Wooding
   8  */
   9
  10 /*----- Licensing notice --------------------------------------------------*
  11  *
  12  * Copyright (c) 2000 Mark Wooding
  13  * All rights reserved.
  14  *
  15  * Redistribution and use in source and binary forms, with or without
  16  * modification, are permitted provided that the following conditions are
  17  * met:
  18  *
  19  * 1. Redistributions of source code must retain the above copyright
  20  *    notice, this list of conditions and the following disclaimer.
  21  *
  22  * 2, Redistributions in binary form must reproduce the above copyright
  23  *    notice, this list of conditions and the following disclaimer in the
  24  *    documentation and/or other materials provided with the distribution.
  25  *
  26  * 3. The name of the authors may not be used to endorse or promote
  27  *    products derived from this software without specific prior written
  28  *    permission.
  29  *
  30  * THIS SOFTWARE IS PROVIDED ``AS IS'' AND ANY EXPRESS OR IMPLIED
  31  * WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
  32  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN
  33  * NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
  34  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  35  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  36  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  37  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  38  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
  39  * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
  40  * POSSIBILITY OF SUCH DAMAGE.
  41  *
  42  * Instead of accepting the above terms, you may redistribute and/or modify
  43  * this software under the terms of either the GNU General Public License,
  44  * or the GNU Library General Public License, published by the Free
  45  * Software Foundation; either version 2 of the License, or (at your
  46  * option) any later version.
  47  */
  48
  49 /*----- Revision history --------------------------------------------------*
  50  *
  51  * $Log: diffan.c,v $
  52  * Revision 1.2  2000/05/28 00:39:52  mdw
  53  * Bad bug makes all previous testing worthless.
  54  *
  55  * Revision 1.1  2000/05/21 11:28:30  mdw
  56  * Initial check-in.
  57  *
  58  */
  59
  60 /*----- Header files ------------------------------------------------------*/
  61
  62 #include <stdio.h>
  63 #include <stdlib.h>
  64
  65 #include "bits.h"
  66 #include "sym.h"
  67 #include "fibrand.h"
  68 #include "matrix.h"
  69 #include "storin-tab.h"
  70
  71 /*----- The constant matrix -----------------------------------------------*/
  72
  73 static const uint24 m[] = STORIN_M;
  74
  75 /*----- Magic numbers -----------------------------------------------------*/
  76
  77 #define PROBES 8192
  78 #define EXHAUST 4
  79
  80 /*----- Static variables --------------------------------------------------*/
  81
  82 static fibrand r;
  83
  84 /*----- Main code ---------------------------------------------------------*/
  85
  86 typedef struct {
  87   sym_base b;
  88   unsigned n;
  89 } diff;
  90
  91 static void probe(uint24 *delta)
  92 {
  93   unsigned i, j;
  94   unsigned max = 0;
  95   uint24 mout[4];
  96   sym_table t;
  97
  98   sym_create(&t);
  99
 100   for (i = 0; i < PROBES; i++) {
 101     uint24 x[4], y[4];
 102     uint24 xi[4], yi[4];
 103     uint24 dd[4];
 104     octet db[12];
 105     diff *p;
 106     unsigned c;
 107
 108     for (j = 0; j < 4; j++) {
 109       x[j] = U24(fibrand_step(&r));
 110       y[j] = x[j] ^ delta[j];
 111     }
 112
 113     matmul(xi, m, x, 4, 4, 1);
 114     matmul(yi, m, y, 4, 4, 1);
 115
 116     for (j = 0; j < 4; j++)
 117       dd[j] = xi[j] ^ yi[j];
 118
 119     STORE24(db + 0, dd[0]);
 120     STORE24(db + 3, dd[1]);
 121     STORE24(db + 6, dd[2]);
 122     STORE24(db + 9, dd[3]);
 123
 124     p = sym_find(&t, (char *)db, 12, sizeof(*p), &c);
 125     if (!c)
 126       p->n = 1;
 127     else
 128       p->n++;
 129     if (p->n > max) {
 130       max = p->n;
 131       for (j = 0; j < 4; j++)
 132         mout[j] = dd[j];
 133     }
 134   }
 135
 136   sym_destroy(&t);
 137
 138   if (max > 1) {
 139     printf("%06x %06x %06x %06x -> %06x %06x %06x %06x: %u\n",
 140            delta[0], delta[1], delta[2], delta[3],
 141            mout[0], mout[1], mout[2], mout[3], max);
 142   }
 143 }
 144
 145 static void rdiff(uint24 *delta, unsigned i, unsigned n)
 146 {
 147   if (!n) {
 148     probe(delta);
 149     return;
 150   }
 151   for (; i < 96; i++) {
 152     uint24 *dd = delta + i / 24;
 153     uint24 m = 1 << (i % 24);
 154     *dd ^= m;
 155     rdiff(delta, i + 1, n - 1);
 156     *dd ^= m;
 157   }
 158 }
 159
 160 static void bitdiffs(unsigned n)
 161 {
 162   uint24 delta[4] = { 0 };
 163   rdiff(delta, 0, n);
 164   probe(delta);
 165 }
 166
 167 int main(void)
 168 {
 169   unsigned i, j;
 170   uint24 delta[4];
 171
 172   fibrand_lcseed(&r, 0);
 173
 174   for (i = 1; i <= EXHAUST; i++)
 175     bitdiffs(i);
 176
 177   printf("*** ok, trying random probing\n");
 178
 179   for (;;) {
 180     for (j = 0; j < 4; j++)
 181       delta[j] = U24(fibrand_step(&r));
 182     probe(delta);
 183   }
 184
 185   return (0);
 186 }
 187
 188 /*----- That's all, folks -------------------------------------------------*/