src/edu/berkeley/fleet/two/FleetTwoFleet.java

   1 package edu.berkeley.fleet.two;
   2 import java.io.*;
   3 import edu.berkeley.fleet.api.*;
   4 import edu.berkeley.fleet.util.*;
   5 import edu.berkeley.fleet.api.Instruction.Set;
   6 import static edu.berkeley.fleet.api.Instruction.Set.*;
   7 import static edu.berkeley.fleet.api.Instruction.*;
   8 import static edu.berkeley.fleet.api.Predicate.*;
   9
  10 /** common subclass for the "FleetTwo" generation of processors, all 37-bit wide, with AM33 encoding */
  11 public abstract class FleetTwoFleet extends Fleet {
  12
  13     public static final Mask PACKET_TOKEN               = new Mask("v.................................................");
  14     public static final Mask PACKET_DATA                = new Mask(".vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv............");
  15     public static final Mask PACKET_SIGNAL              = new Mask("......................................v...........");
  16     public static final Mask PACKET_DEST                = new Mask(".......................................vvvvvvvvvvv");
  17
  18     public static final Mask CBD_SIZE                   = new Mask("...............................vvvvvv");
  19     public static final Mask CBD_OFFSET                 = new Mask("vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv......");
  20
  21     public static final int  WIDTH_WORD                 = PACKET_DATA.valmaskwidth;
  22     public static final int  WIDTH_PACKET               = PACKET_TOKEN.width;
  23
  24     public static final Mask WHOLE_WORD                 = new Mask("vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv");
  25     public static final Mask DISPATCH_PATH              = new Mask("vvvvvvvvvvv..........................");
  26     public static final Mask DISPATCH_INSTR             = new Mask("...........vvvvvvvvvvvvvvvvvvvvvvvvvv");
  27     public static final Mask I                          = new Mask("...........1.........................");
  28     public static final Mask OS                         = new Mask("............1........................");
  29     public static final Mask P                          = new Mask(".............vvv.....................");
  30     public static final Mask P_NOT_A                    = new Mask(".............000.....................");
  31     public static final Mask P_A                        = new Mask(".............001.....................");
  32     public static final Mask P_NOT_B                    = new Mask(".............010.....................");
  33     public static final Mask P_B                        = new Mask(".............011.....................");
  34     public static final Mask P_UNUSED                   = new Mask(".............100.....................");
  35     public static final Mask P_OLC_ZERO                 = new Mask(".............101.....................");
  36     public static final Mask P_OLC_NONZERO              = new Mask(".............110.....................");
  37     public static final Mask P_ALWAYS                   = new Mask(".............111.....................");
  38
  39     public static final Mask SHIFT                      = new Mask("................00vvvvvvvvvvvvvvvvvvv");
  40
  41     public static final Mask TAIL                       = new Mask("................11...................");
  42
  43     public static final Mask MOVE                       = new Mask("................01...................");
  44     public static final Mask TI                         = new Mask("................011..................");
  45     public static final Mask DI                         = new Mask("................01.1.................");
  46     public static final Mask FLUSH                      = new Mask("................01.01................");
  47     public static final Mask DC                         = new Mask("................01.11................");
  48     public static final Mask DO                         = new Mask("................01...1...............");
  49     public static final Mask TO                         = new Mask("................01....1..............");
  50     public static final Mask PATH_IMMEDIATE             = new Mask("................01.....1vvvvvvvvvvvvv");
  51     public static final Mask PATH_DATA                  = new Mask("................01.....01............");
  52     public static final Mask PATH_NOCHANGE              = new Mask("................01.....00............");
  53
  54     public static final Mask SET_OLC_FROM_IMMEDIATE     = new Mask("................101000100......vvvvvv");
  55     public static final Mask SET_OLC_FROM_DATA_LATCH    = new Mask("................101000010............");
  56     public static final Mask SET_OLC_FROM_OLC_MINUS_ONE = new Mask("................101000001............");
  57
  58     public static final Mask SET_ILC_FROM_IMMEDIATE     = new Mask("................10010010......0vvvvvv");
  59     public static final Mask SET_ILC_FROM_INFINITY      = new Mask("................10010010......1......");
  60     public static final Mask SET_ILC_FROM_DATA_LATCH    = new Mask("................10010001.............");
  61
  62     public static final Mask SET_IMMEDIATE              = new Mask("................100010.vvvvvvvvvvvvvv");
  63     public static final Mask SET_IMMEDIATE_EXTEND       = new Mask("................100010v..............");
  64
  65     public static final Mask SET_FLAGS                  = new Mask("................100001...............");
  66     public static final Mask SET_FLAGS_A                = new Mask("................100001...vvvvvv......");
  67     public static final Mask SET_FLAGS_B                = new Mask("................100001.........vvvvvv");
  68     public static final Mask SET_FLAGS_VALUE_A          = new Mask("1.....");
  69     public static final Mask SET_FLAGS_VALUE_NOT_A      = new Mask(".1....");
  70     public static final Mask SET_FLAGS_VALUE_B          = new Mask("..1...");
  71     public static final Mask SET_FLAGS_VALUE_NOT_B      = new Mask("...1..");
  72     public static final Mask SET_FLAGS_VALUE_C          = new Mask("....1.");
  73     public static final Mask SET_FLAGS_VALUE_NOT_C      = new Mask(".....1");
  74
  75     // Misc //////////////////////////////////////////////////////////////////////////////
  76
  77     public static final long DataLatch_WIDTH = SET_IMMEDIATE.valmaskmax-SET_IMMEDIATE.valmaskmin+1;  // FIXME: this is an abstraction breakage
  78     private static final long mask  = ~(-1L << DataLatch_WIDTH);
  79     public static boolean isSmallEnoughToFit(long immediate) {
  80         if ((immediate & ~mask) == 0)   return true;
  81         if ((immediate |  mask) == -1L) return true;
  82         return false;
  83     }
  84
  85     public int getWordWidth() { return 37; }
  86
  87     //////////////////////////////////////////////////////////////////////////////
  88
  89     /** get the bits describing this box's location on the DESTINATION HORN */
  90     protected abstract BitVector getDestAddr(Path box);
  91
  92     private static final BitVector SIGNAL_ZERO = new BitVector(1);
  93     private static final BitVector SIGNAL_ONE  = new BitVector(1).set(0,true);
  94
  95     /** decode a path, given the starting point and the bits that comprise it */
  96     public Path getPathByAddr(Dock source, BitVector dest) {
  97         for(Ship ship : this)
  98             for(Dock bb : ship) {
  99                 for(Destination d : new Destination[] { bb.getInstructionDestination(), bb.getDataDestination() }) {
 100                     for(BitVector signal : new BitVector[] { SIGNAL_ZERO, SIGNAL_ONE }) {
 101                         Path p = (Path)source.getPath(d, signal);
 102                         if (getDestAddr(p).equals(dest)) return p;
 103                     }
 104                 }
 105             }
 106         return null;
 107     }
 108
 109     /** read a machine-formatted instruction from a file (into a Java object) */
 110     public Instruction readInstruction(DataInputStream is, Dock dispatchFrom) throws IOException {
 111         long inst = 0;
 112         try {
 113             inst = (inst << 8) | (is.readByte() & 0xff);
 114             inst = (inst << 8) | (is.readByte() & 0xff);
 115             inst = (inst << 8) | (is.readByte() & 0xff);
 116             inst = (inst << 8) | (is.readByte() & 0xff);
 117             inst = (inst << 8) | (is.readByte() & 0xff);
 118             inst = (inst << 8) | (is.readByte() & 0xff);
 119             return readInstruction(inst, dispatchFrom);
 120         } catch (EOFException eof) {
 121             return null;
 122         }
 123     }
 124
 125     public int getShiftWidth() { return SHIFT.valmaskwidth; }
 126     public int getSetWidth() { return SET_IMMEDIATE.valmaskwidth+1; }
 127
 128     // FIXME: should use BitVector here
 129     public Instruction readInstruction(long inst, Dock dispatchFrom) {
 130         Dock dock = getPathByAddr(dispatchFrom, DISPATCH_PATH.getvalAsBitVector(inst)).getDestination().getDock();
 131
 132         if (TAIL.get(inst))   return new Tail(dock);
 133
 134         Predicate predicate = Default;
 135         if (P_ALWAYS.get(inst)) predicate = IgnoreOLC;
 136         if (P_OLC_NONZERO.get(inst))    predicate = Default;
 137         if (P_OLC_ZERO.get(inst))    predicate = OLCZero;
 138         if (P_A.get(inst))      predicate = FlagA;
 139         if (P_B.get(inst))      predicate = FlagB;
 140         if (P_NOT_A.get(inst))  predicate = NotFlagA;
 141         if (P_NOT_B.get(inst))  predicate = NotFlagB;
 142
 143         boolean looping = !OS.get(inst);
 144         if (FLUSH.get(inst))
 145             return new Flush(dock, looping, predicate);
 146         if (SHIFT.get(inst))                return new Shift(dock, looping, predicate, new BitVector(dock.getShip().getFleet().getShiftWidth()).set(SHIFT.getval(inst)));
 147         if (SET_IMMEDIATE.get(inst)) {
 148             boolean extend = SET_IMMEDIATE_EXTEND.getval(inst) != 0;
 149             long immediate = SET_IMMEDIATE.getval(inst);
 150             if (extend) immediate |= (-1L << DataLatch_WIDTH);
 151             return new Set(dock, looping, predicate, SetDest.DataLatch, (immediate));
 152         }
 153
 154         if (SET_OLC_FROM_OLC_MINUS_ONE.get(inst))
 155             return new Set(dock, looping, predicate, SetDest.OuterLoopCounter, SetSource.Decrement);
 156         if (SET_OLC_FROM_IMMEDIATE.get(inst))
 157             return new Set(dock, looping, predicate, SetDest.OuterLoopCounter, (SET_OLC_FROM_IMMEDIATE.getval(inst)));
 158         if (SET_ILC_FROM_IMMEDIATE.get(inst))
 159             return new Set(dock, looping, predicate, SetDest.InnerLoopCounter, (SET_ILC_FROM_IMMEDIATE.getval(inst)));
 160         if (SET_OLC_FROM_DATA_LATCH.get(inst))
 161             return new Set(dock, looping, predicate, SetDest.OuterLoopCounter, SetSource.DataLatch);
 162         if (SET_ILC_FROM_DATA_LATCH.get(inst))
 163             return new Set(dock, looping, predicate, SetDest.InnerLoopCounter, SetSource.DataLatch);
 164         if (SET_ILC_FROM_INFINITY.get(inst))
 165             return new Set(dock, looping, predicate, SetDest.InnerLoopCounter, SetSource.Infinity);
 166         if (SET_FLAGS.get(inst)) {
 167             long flag_a = SET_FLAGS_A.getval(inst);
 168             long flag_b = SET_FLAGS_B.getval(inst);
 169             FlagFunction ap = FlagFunction.ZERO;
 170             FlagFunction bp = FlagFunction.ZERO;
 171             if (SET_FLAGS_VALUE_A    .get(flag_a)) ap = ap.add(FlagA    );
 172             if (SET_FLAGS_VALUE_NOT_A.get(flag_a)) ap = ap.add(NotFlagA );
 173             if (SET_FLAGS_VALUE_B    .get(flag_a)) ap = ap.add(FlagB    );
 174             if (SET_FLAGS_VALUE_NOT_B.get(flag_a)) ap = ap.add(NotFlagB );
 175             if (SET_FLAGS_VALUE_C    .get(flag_a)) ap = ap.add(FlagC    );
 176             if (SET_FLAGS_VALUE_NOT_C.get(flag_a)) ap = ap.add(NotFlagC );
 177             if (SET_FLAGS_VALUE_A    .get(flag_b)) bp = bp.add(FlagA    );
 178             if (SET_FLAGS_VALUE_NOT_A.get(flag_b)) bp = bp.add(NotFlagA );
 179             if (SET_FLAGS_VALUE_B    .get(flag_b)) bp = bp.add(FlagB    );
 180             if (SET_FLAGS_VALUE_NOT_B.get(flag_b)) bp = bp.add(NotFlagB );
 181             if (SET_FLAGS_VALUE_C    .get(flag_b)) bp = bp.add(FlagC    );
 182             if (SET_FLAGS_VALUE_NOT_C.get(flag_b)) bp = bp.add(NotFlagC );
 183             return new Set(dock, looping, predicate, ap, bp);
 184         }
 185         if (MOVE.get(inst))
 186             return new Move(dock,
 187                             looping,
 188                             predicate,
 189                             I.get(inst),
 190                             getPathByAddr(dock, PATH_IMMEDIATE.getvalAsBitVector(inst)),
 191                             TI.get(inst),
 192                             DI.get(inst),
 193                             DC.get(inst),
 194                             PATH_DATA.get(inst),
 195                             DO.get(inst),
 196                             TO.get(inst)
 197                             );
 198         throw new RuntimeException("unknown instruction: 0x" + Long.toString(inst, 16));
 199     }
 200
 201     public long writeInstruction(Instruction d, Dock dispatchFrom) {
 202         long instr = 0;
 203
 204         if (d.dock != null) {
 205             BitVector bv = getDestAddr(dispatchFrom.getPath(d.dock.getInstructionDestination(),null));
 206             BitVector bv2 = new BitVector(DISPATCH_PATH.valmaskwidth);
 207             for(int i=0; i<bv2.length(); i++)
 208                 bv2.set(i, bv.get(i));
 209             instr = DISPATCH_PATH.setval(instr, bv2);
 210         }
 211
 212         boolean dl = false;
 213         Instruction pi = d;
 214         if (!pi.looping) instr = OS.set(instr);
 215         switch(pi.predicate) {
 216             case IgnoreOLC:         instr = P_ALWAYS.set(instr); break;
 217             case OLCZero:         instr = P_OLC_ZERO.set(instr); break;
 218             case Default: instr = P_OLC_NONZERO.set(instr); break;
 219             case FlagA:      instr = P_A.set(instr);      break;
 220             case FlagB:      instr = P_B.set(instr);      break;
 221             case NotFlagA:  instr = P_NOT_A.set(instr);      break;
 222             case NotFlagB:  instr = P_NOT_B.set(instr);      break;
 223             default: throw new RuntimeException("error!");
 224         }
 225
 226         if (d instanceof Tail) {
 227             instr = TAIL.set(instr);
 228
 229         } else if (d instanceof Shift) {
 230             Shift shift = (Shift)d;
 231             instr = SHIFT.set(instr);
 232             instr = SHIFT.setval(instr, shift.immediate);
 233
 234         } else if (d instanceof Flush) {
 235             instr = FLUSH.set(instr);
 236
 237         } else if (d instanceof Set) {
 238             Set s = (Set)d;
 239             switch(s.dest) {
 240                 case InnerLoopCounter:
 241                     switch(s.source) {
 242                         case DataLatch:
 243                             instr = SET_ILC_FROM_DATA_LATCH.set(instr);
 244                             break;
 245                         case Immediate:
 246                             instr = SET_ILC_FROM_IMMEDIATE.setval(SET_ILC_FROM_IMMEDIATE.set(instr), s.immediate);
 247                             break;
 248                         case Infinity:
 249                             instr = SET_ILC_FROM_INFINITY.set(instr);
 250                             break;
 251                     }
 252                     break;
 253                 case OuterLoopCounter:
 254                     switch(s.source) {
 255                         case Decrement:
 256                             instr = SET_OLC_FROM_OLC_MINUS_ONE.set(instr);
 257                             break;
 258                         case DataLatch:
 259                             instr = SET_OLC_FROM_DATA_LATCH.set(instr);
 260                             break;
 261                         case Immediate:
 262                             instr = SET_OLC_FROM_IMMEDIATE.setval(SET_OLC_FROM_IMMEDIATE.set(instr), s.immediate);
 263                             break;
 264                     }
 265                     break;
 266                 case Flags: {
 267                     instr = SET_FLAGS.set(instr);
 268                     instr = SET_FLAGS_A.setval(instr, flagFunctionToLong(s.newFlagA));
 269                     instr = SET_FLAGS_B.setval(instr, flagFunctionToLong(s.newFlagB));
 270                     break;
 271                 }
 272                 case DataLatch: {
 273                     instr = SET_IMMEDIATE.set(instr);
 274                     instr = SET_IMMEDIATE_EXTEND.setval(instr, s.immediate < 0 ? 1 : 0);
 275                     instr = SET_IMMEDIATE.setval(instr, s.immediate & ~(-1L << DataLatch_WIDTH));
 276                     break;
 277                 }
 278             }
 279
 280         } else if (d instanceof Move) {
 281             Move inst = (Move)d;
 282             instr  = MOVE.set(instr);
 283             if (inst.tokenIn)                    instr = TI.set(instr);
 284             if (inst.dataIn)                     instr = DI.set(instr);
 285             if (inst.latchData)                  instr = DC.set(instr);
 286             if (inst.dataOut)                    instr = DO.set(instr);
 287             if (inst.tokenOut)                   instr = TO.set(instr);
 288             if (inst.interruptible)              instr = I.set(instr);
 289
 290             if (inst.latchPath)                  instr = PATH_DATA.set(instr);
 291             else {
 292                 instr  = PATH_IMMEDIATE.set(instr);
 293                 if (inst.path != null) {
 294                     BitVector bv  = getDestAddr(inst.path);
 295                     BitVector bv2 = new BitVector(PATH_IMMEDIATE.valmaskwidth);
 296                     for(int i=0; i<Math.min(bv.length(),bv2.length()); i++)
 297                         bv2.set(i, bv.get(i));
 298                     instr  = PATH_IMMEDIATE.setval(instr, bv2);
 299                 }
 300             }
 301
 302         } else {
 303             throw new RuntimeException("unrecognized instruction " + d.getClass().getName());
 304
 305         }
 306         return instr;
 307     }
 308
 309     public void writeInstruction(DataOutputStream os, Dock dispatchFrom, Instruction d) throws IOException {
 310         long instr = writeInstruction(d, dispatchFrom);
 311         for(int i=5; i>=0; i--)
 312             os.write(BitManipulations.getIntField(i*8+7, i*8, instr));
 313     }
 314
 315     private static long flagFunctionToLong(FlagFunction ff) {
 316         long ret = 0;
 317         for(Predicate p : ff)
 318             switch(p) {
 319                 case FlagA    : ret = SET_FLAGS_VALUE_A    .set(ret); break;
 320                 case NotFlagA : ret = SET_FLAGS_VALUE_NOT_A.set(ret); break;
 321                 case FlagB    : ret = SET_FLAGS_VALUE_B    .set(ret); break;
 322                 case NotFlagB : ret = SET_FLAGS_VALUE_NOT_B.set(ret); break;
 323                 case FlagC    : ret = SET_FLAGS_VALUE_C    .set(ret); break;
 324                 case NotFlagC : ret = SET_FLAGS_VALUE_NOT_C.set(ret); break;
 325                 default: throw new RuntimeException();
 326             }
 327         return ret;
 328     }
 329
 330 }