package Analysis.Disjoint;
+import java.io.*;
import java.util.*;
import IR.*;
private static BitSet viewR01;
private MultiViewMap<Object> R;
+
// Rs
//
// Tracks whether the analysis must know the definite reachability
// information of a given variable.
- //private enum DefReachKnown {
- // UNKNOWN,
- // KNOWN,
- //}
- //private Map<TempDescriptor, DefReachKnown> Rs;
+ private enum DefReachKnown {
+ UNKNOWN,
+ KNOWN,
+ }
+ private Map<TempDescriptor, DefReachKnown> Rs;
- // Fu (upstream)
+ // Fu (field upstream)
//
// Maps a variable that points to object o0 to the
// set of variables that point to objects o1...oN
// that have a reference to o0.
- //private static MultiViewMapBuilder<Object> FuBuilder;
- //private static BitSet viewFu0;
- //private static BitSet viewFu1;
- //private MultiViewMap<Object> Fu;
-
+ private class FuSource {
+ DefReachKnown isKnown;
+ TempDescriptor knownSrc;
+ public FuSource() {
+ this.isKnown = DefReachKnown.UNKNOWN;
+ this.knownSrc = null;
+ }
+ public FuSource( TempDescriptor src ) {
+ assert( src != null );
+ this.isKnown = DefReachKnown.KNOWN;
+ this.knownSrc = src;
+ }
+ public boolean equals( Object o ) {
+ if( !(o instanceof FuSource) ) {
+ return false;
+ }
+ FuSource fus = (FuSource)o;
+ return
+ this.isKnown == fus.isKnown &&
+ this.knownSrc == fus.knownSrc;
+ }
+ public int hashCode() {
+ int hash = 0;
+ if( isKnown == DefReachKnown.KNOWN ) {
+ hash = 123451;
+ }
+ if( knownSrc != null ) {
+ hash ^= knownSrc.hashCode();
+ }
+ return hash;
+ }
+ }
+ private static MultiViewMapBuilder<Object> FuBuilder;
+ private static BitSet viewFufull;
+ private static BitSet viewFu0;
+ private static BitSet viewFu1;
+ private MultiViewMap<Object> Fu;
- // Fd (downstream)
+ // Fd (field downstream)
+ //
+ // Entries <x, f, y> mean x.f points directly at what
+ // y points at.
+ public class FdEntry {
+ TempDescriptor y;
+ FieldDescriptor f0;
+ TempDescriptor z;
+ public FdEntry( TempDescriptor y,
+ FieldDescriptor f0,
+ TempDescriptor z ) {
+ this.y = y;
+ this.f0 = f0;
+ this.z = z;
+ }
+ }
+ private static MultiViewMapBuilder<Object> FdBuilder;
+ private static BitSet viewFd0;
+ private static BitSet viewFd2;
+ private MultiViewMap<Object> Fd;
// call before instantiating this class
static public void initBuilders() {
+
RBuilder =
new MultiViewMapBuilder<Object>( new Class[] {
TempDescriptor.class,
viewR01 = RBuilder.addPartialView( 0, 1 );
RBuilder.setCheckTypes( true );
RBuilder.setCheckConsistency( true );
+
+
+ FuBuilder =
+ new MultiViewMapBuilder<Object>( new Class[] {
+ TempDescriptor.class,
+ FuSource.class},
+ new JoinOpNop() );
+ viewFufull = FuBuilder.getFullView();
+ viewFu0 = FuBuilder.addPartialView( 0 );
+ viewFu1 = FuBuilder.addPartialView( 1 );
+ FuBuilder.setCheckTypes( true );
+ FuBuilder.setCheckConsistency( true );
+
- //FuBuilder =
- // new MultiViewMapBuilder<Object>( new Class[] {
- // TempDescriptor.class,
- // DefReachFuVal.class},
- // new JoinOpNop() );
- //viewFu0 = FuBuilder.addPartialView( 0 );
- //viewFu1 = FuBuilder.addPartialView( 1 );
- //FuBuilder.setCheckTypes( true );
- //FuBuilder.setCheckConsistency( true );
+ FdBuilder =
+ new MultiViewMapBuilder<Object>( new Class[] {
+ TempDescriptor.class,
+ FieldDescriptor.class,
+ TempDescriptor.class},
+ new JoinOpNop() );
+ viewFd0 = FdBuilder.addPartialView( 0 );
+ viewFd2 = FdBuilder.addPartialView( 2 );
+ FdBuilder.setCheckTypes( true );
+ FdBuilder.setCheckConsistency( true );
}
+ public DefiniteReachState( DefiniteReachState toCopy ) {
+ this.R = toCopy.R.clone( RBuilder );
+ this.Rs = new HashMap<TempDescriptor, DefReachKnown>( toCopy.Rs );
+ this.Fu = toCopy.Fu.clone( FuBuilder );
+ this.Fd = toCopy.Fd.clone( FdBuilder );
+ }
public DefiniteReachState() {
- R = RBuilder.build();
- //Rs = new HashMap<TempDescriptor, DefReachKnown>();
- //Fu = FuBuilder.build();
+ R = RBuilder.build();
+ Rs = new HashMap<TempDescriptor, DefReachKnown>();
+ Fu = FuBuilder.build();
+ Fd = FdBuilder.build();
}
- public void methodEntry( Set<TempDescriptor> parameters ) {
- methodEntryR( parameters );
- //Rs.clear();
- //for( TempDescriptor p : parameters ) {
- // Rs.put( p, DefReachKnown.UNKNOWN );
- //}
- //
- //Fu = FuBuilder.build();
+
+ public boolean isAlreadyReachable( TempDescriptor a,
+ TempDescriptor b ) {
+
+ boolean case1 = !R.get( viewR01, MultiKey.factory( a, b ) ).isEmpty();
+
+ boolean case3 = false;
+ if( Rs.get( b ) != null &&
+ Rs.get( b ) == DefReachKnown.KNOWN &&
+ Fu.get( viewFufull, MultiKey.factory( b, new FuSource() ) ).isEmpty()
+ ) {
+ boolean allEntriesOk = true;
+ for( MultiKey fullKeyB : Fu.get( viewFu0,
+ MultiKey.factory( b ) ).keySet()
+ ) {
+ if( !R.get( viewR01,
+ MultiKey.factory( a,
+ ((FuSource)fullKeyB.get( 1 )).knownSrc
+ ) ).isEmpty()
+ ) {
+ allEntriesOk = false;
+ break;
+ }
+ }
+ case3 = allEntriesOk;
+ }
+
+ return case1 || case3;
+ }
+
+
+
+ public Set<FdEntry> edgesToElidePropagation( TempDescriptor x,
+ TempDescriptor y ) {
+ // return the set of edges that definite reach analysis tells
+ // us we can elide propagating reach info across during the
+ // store: x.f = y
+
+ Set<FdEntry> out = new HashSet<FdEntry>();
+
+ // we have to know something about y
+ DefReachKnown known = Rs.get( y );
+ if( known == null || known == DefReachKnown.UNKNOWN ) {
+ return out;
+ }
+
+ // find all 'y points at' entries in Fd
+ MultiKey keyY = MultiKey.factory( y );
+ Map<MultiKey, Object> mapY0 = Fd.get( viewFd0, keyY );
+
+ for( MultiKey fullKeyY : mapY0.keySet() ) {
+ // if y.f0 points at z, and z is already reachable from x,
+ // include the edge y.f0->z
+ FieldDescriptor f0 = (FieldDescriptor) fullKeyY.get( 1 );
+ TempDescriptor z = (TempDescriptor) fullKeyY.get( 2 );
+
+ if( isAlreadyReachable( z, x ) ) {
+ out.add( new FdEntry( y, f0, z ) );
+ }
+ }
+
+ return out;
+ }
+
+
+
+
+ public void methodEntry( Set<TempDescriptor> parameters ) {
+ methodEntryR ( parameters );
+ methodEntryRs( parameters );
+ methodEntryFu( parameters );
+ methodEntryFd( parameters );
}
public void copy( TempDescriptor x,
TempDescriptor y ) {
- copyR( x, y );
-
- // Rs' := (Rs - <x,*>) U {<x,v> | <y,v> in Rs}
- //DefReachKnown valRs = Rs.get( y );
- //assert( valRs != null );
- //Rs.put( x, valRs );
-
- // Fu' := (Fu - <x, *> - <*, x>) U
- // {<x,v> | <y,v> in Fu} U
- // {<v,x> | <v,y> in Fu} U
- // {<z, unknown> | <z,<x>> in Fu}
- //Fu.remove( viewFu0, MultiKey.factory( x ) );
- //Fu.remove( viewFu1, MultiKey.factory( x ) );
- //for( MultiKey key : Fu.get( viewFu0, MultiKey.factory( y ) ).keySet() ) {
- // DefReachFuVal val = (DefReachFuVal) key.get( 1 );
- // Fu.put( MultiKey.factory( x, val ), dummy );
- //}
- //for( MultiKey key : Fu.get( viewFu1, MultiKey.factory( y ) ).keySet() ) {
- // TempDescriptor v = (TempDescriptor) key.get( 0 );
- // Fu.put( MultiKey.factory( v, DefReachFuVal.factory( x ) ), dummy );
- //}
- //for( MultiKey key :
- // Fu.get( viewFu1,
- // MultiKey.factory( DefReachFuVal.factory( DefReachFuVal.Val.UNKNOWN ) )
- // ).keySet()
- // ) {
- // TempDescriptor z = (TempDescriptor) key.get( 0 );
- // Fu.put( MultiKey.factory( z, DefReachFuVal.factory( x ) ), dummy );
- //}
+ copyR ( x, y );
+ copyRs( x, y );
+ copyFu( x, y );
+ copyFd( x, y );
}
public void load( TempDescriptor x,
FieldDescriptor f,
Set<EdgeKey> edgeKeysForLoad ) {
- loadR( x, y, f, edgeKeysForLoad );
- // Rs' := (Rs - <x,*>) U {<x, unknown>}
- //Rs.put( x, DefReachKnown.UNKNOWN );
+ loadR ( x, y, f, edgeKeysForLoad );
+ loadRs( x, y, f, edgeKeysForLoad );
+ loadFu( x, y, f, edgeKeysForLoad );
+ loadFd( x, y, f, edgeKeysForLoad );
}
public void store( TempDescriptor x,
Set<EdgeKey> edgeKeysRemoved,
Set<EdgeKey> edgeKeysAdded ) {
- storeR( x, f, y, edgeKeysRemoved, edgeKeysAdded );
- // Rs' := Rs
+ storeR ( x, f, y, edgeKeysRemoved, edgeKeysAdded );
+ storeRs( x, f, y, edgeKeysRemoved, edgeKeysAdded );
+ storeFu( x, f, y, edgeKeysRemoved, edgeKeysAdded );
+ storeFd( x, f, y, edgeKeysRemoved, edgeKeysAdded );
}
public void newObject( TempDescriptor x ) {
- newObjectR( x );
-
- // Rs' := (Rs - <x,*>) U {<x, new>}
- //Rs.put( x, DefReachKnown.KNOWN );
-
+ newObjectR ( x );
+ newObjectRs( x );
+ newObjectFu( x );
+ newObjectFd( x );
}
public void methodCall( TempDescriptor retVal ) {
- methodCallR( retVal );
-
- // Rs' := (Rs - <x,*>) U {<x, unknown>}
- //Rs.put( x, DefReachKnown.UNKNOWN );
+ methodCallR ( retVal );
+ methodCallRs( retVal );
+ methodCallFu( retVal );
+ methodCallFd( retVal );
}
public void merge( DefiniteReachState that ) {
- mergeR( that );
-
- // Rs' := <x, new> iff in all incoming edges, otherwie <x, unknown>
- //mergeRs( that );
+ mergeR ( that );
+ mergeRs( that );
+ mergeFu( that );
+ mergeFd( that );
}
- ///////////////////////////////////////////////////////////
- //
- // This is WRONG
- //
- // It definitely tests the current R as well as Rs
- //
- // but also be careful what null means, is it actually
- // equivalent to UNKOWN? I'd rather put nothing, meaning
- // we have to do an analysis pass over all the incoming edges
- // before there is a sensical answer. I think...
+
+
+
+
+ public void methodEntryRs( Set<TempDescriptor> parameters ) {
+ Rs.clear();
+ for( TempDescriptor p : parameters ) {
+ Rs.put( p, DefReachKnown.UNKNOWN );
+ }
+ }
+
+ public void copyRs( TempDescriptor x,
+ TempDescriptor y ) {
+ DefReachKnown valRs = Rs.get( y );
+ assert( valRs != null );
+ Rs.put( x, valRs );
+ }
+
+ public void loadRs( TempDescriptor x,
+ TempDescriptor y,
+ FieldDescriptor f,
+ Set<EdgeKey> edgeKeysForLoad ) {
+ Rs.put( x, DefReachKnown.UNKNOWN );
+ }
+
+ public void storeRs( TempDescriptor x,
+ FieldDescriptor f,
+ TempDescriptor y,
+ Set<EdgeKey> edgeKeysRemoved,
+ Set<EdgeKey> edgeKeysAdded ) {
+ }
+
+ public void newObjectRs( TempDescriptor x ) {
+ Rs.put( x, DefReachKnown.KNOWN );
+ }
+
+ public void methodCallRs( TempDescriptor retVal ) {
+ Rs.put( retVal, DefReachKnown.UNKNOWN );
+ }
+
private void mergeRs( DefiniteReachState that ) {
- // merge "that" into "this" and leave "that" unchanged
- //Set<TempDescriptor> allVars = new HashSet<TempDescriptor>();
- //allVars.addAll( this.Rs.keySet() );
- //allVars.addAll( that.Rs.keySet() );
- //for( TempDescriptor x : allVars ) {
- // DefReachKnown vThis = this.Rs.get( x );
- // DefReachKnown vThat = that.Rs.get( x );
- // if( vThis != null && vThis.equals( DefReachKnown.KNOWN ) &&
- // vThat != null && vThat.equals( DefReachKnown.KNOWN ) ) {
- // this.Rs.put( x, DefReachKnown.KNOWN );
- // } else {
- // this.Rs.put( x, DefReachKnown.UNKNOWN );
- // }
- //}
+ Set<TempDescriptor> allVars = new HashSet<TempDescriptor>();
+ allVars.addAll( this.Rs.keySet() );
+ allVars.addAll( that.Rs.keySet() );
+ for( TempDescriptor x : allVars ) {
+ DefReachKnown vThis = this.Rs.get( x );
+ DefReachKnown vThat = that.Rs.get( x );
+ if( vThis != null && vThis.equals( DefReachKnown.KNOWN ) &&
+ vThat != null && vThat.equals( DefReachKnown.KNOWN ) ) {
+ this.Rs.put( x, DefReachKnown.KNOWN );
+ } else {
+ this.Rs.put( x, DefReachKnown.UNKNOWN );
+ }
+ }
+ }
+
+
+
+
+
+
+
+
+ public void methodEntryFu( Set<TempDescriptor> parameters ) {
+ Fu.clear();
+ }
+
+ public void copyFu( TempDescriptor x,
+ TempDescriptor y ) {
+ // consider that x and y can be the same, so do the
+ // parts of the update in the right order:
+
+ // first get all info for update
+ MultiKey keyY = MultiKey.factory( y );
+ MultiKey keyYsrc = MultiKey.factory( new FuSource( y ) );
+ Map<MultiKey, Object> mapY0 = Fu.get( viewFu0, keyY );
+ Map<MultiKey, Object> mapY1 = Fu.get( viewFu1, keyYsrc );
+
+ MultiKey keyXsrc = MultiKey.factory( new FuSource( x ) );
+ Map<MultiKey, Object> mapX1 = Fu.get( viewFu1, keyXsrc );
+
+ // then remove anything
+ MultiKey keyX = MultiKey.factory( x );
+ Fu.remove( viewFu0, keyX );
+ Fu.remove( viewFu1, keyXsrc );
+
+ // then insert new stuff
+ for( MultiKey fullKeyY : mapY0.keySet() ) {
+ MultiKey fullKeyX = MultiKey.factory( x,
+ fullKeyY.get( 1 ) );
+ Fu.put( fullKeyX, MultiViewMap.dummyValue );
+ }
+ for( MultiKey fullKeyY : mapY1.keySet() ) {
+ MultiKey fullKeyX = MultiKey.factory( fullKeyY.get( 0 ),
+ new FuSource( x ) );
+ Fu.put( fullKeyX, MultiViewMap.dummyValue );
+ }
+ for( MultiKey fullKeyXsrc : mapX1.keySet() ) {
+ Fu.put( MultiKey.factory( fullKeyXsrc.get( 0 ),
+ new FuSource() ),
+ MultiViewMap.dummyValue );
+ }
+ }
+
+ public void loadFu( TempDescriptor x,
+ TempDescriptor y,
+ FieldDescriptor f,
+ Set<EdgeKey> edgeKeysForLoad ) {
+
+ // first get all info for update
+ MultiKey keyXsrc = MultiKey.factory( new FuSource( x ) );
+ Map<MultiKey, Object> mapX1 = Fu.get( viewFu1, keyXsrc );
+
+ MultiKey keyX = MultiKey.factory( x );
+ // then remove anything
+ Fu.remove( viewFu0, keyX );
+ Fu.remove( viewFu1, keyXsrc );
+
+ // then insert new stuff
+ for( MultiKey fullKeyXsrc : mapX1.keySet() ) {
+ Fu.put( MultiKey.factory( fullKeyXsrc.get( 0 ),
+ new FuSource() ),
+ MultiViewMap.dummyValue );
+ }
+ }
+
+ public void storeFu( TempDescriptor x,
+ FieldDescriptor f,
+ TempDescriptor y,
+ Set<EdgeKey> edgeKeysRemoved,
+ Set<EdgeKey> edgeKeysAdded ) {
+
+ Fu.put( MultiKey.factory( y, new FuSource( x ) ),
+ MultiViewMap.dummyValue );
+ }
+
+ public void newObjectFu( TempDescriptor x ) {
+ MultiKey keyXsrc = MultiKey.factory( new FuSource( x ) );
+ Map<MultiKey, Object> mapX1 = Fu.get( viewFu1, keyXsrc );
+
+ MultiKey keyX = MultiKey.factory( x );
+ Fu.remove( viewFu0, keyX );
+ Fu.remove( viewFu1, keyXsrc );
+
+ for( MultiKey fullKeyXsrc : mapX1.keySet() ) {
+ Fu.put( MultiKey.factory( fullKeyXsrc.get( 0 ),
+ new FuSource() ),
+ MultiViewMap.dummyValue );
+ }
+ }
+
+ public void methodCallFu( TempDescriptor retVal ) {
+ MultiKey keyRetValsrc = MultiKey.factory( new FuSource( retVal ) );
+ Map<MultiKey, Object> mapRetVal1 = Fu.get( viewFu1, keyRetValsrc );
+
+ MultiKey keyRetVal = MultiKey.factory( retVal );
+ Fu.remove( viewFu0, keyRetVal );
+ Fu.remove( viewFu1, keyRetValsrc );
+
+ for( MultiKey fullKeyRetValsrc : mapRetVal1.keySet() ) {
+ Fu.put( MultiKey.factory( fullKeyRetValsrc.get( 0 ),
+ new FuSource() ),
+ MultiViewMap.dummyValue );
+ }
+ }
+
+ public void mergeFu( DefiniteReachState that ) {
+ this.Fu.merge( that.Fu );
+ }
+
+
+
+
+
+
+ public void methodEntryFd( Set<TempDescriptor> parameters ) {
+ Fd.clear();
+ }
+
+ public void copyFd( TempDescriptor x,
+ TempDescriptor y ) {
+ // consider that x and y can be the same, so do the
+ // parts of the update in the right order:
+
+ // first get all info for update
+ MultiKey keyY = MultiKey.factory( y );
+ Map<MultiKey, Object> mapY0 = Fd.get( viewFd0, keyY );
+ Map<MultiKey, Object> mapY2 = Fd.get( viewFd2, keyY );
+
+ // then remove anything
+ MultiKey keyX = MultiKey.factory( x );
+ Fd.remove( viewFd0, keyX );
+ Fd.remove( viewFd2, keyX );
+
+ // then insert new stuff
+ for( MultiKey fullKeyY : mapY0.keySet() ) {
+ MultiKey fullKeyX = MultiKey.factory( x,
+ fullKeyY.get( 1 ),
+ fullKeyY.get( 2 ) );
+ Fd.put( fullKeyX, MultiViewMap.dummyValue );
+ }
+ for( MultiKey fullKeyY : mapY2.keySet() ) {
+ MultiKey fullKeyX = MultiKey.factory( fullKeyY.get( 0 ),
+ fullKeyY.get( 1 ),
+ x );
+ Fd.put( fullKeyX, MultiViewMap.dummyValue );
+ }
}
+
+ public void loadFd( TempDescriptor x,
+ TempDescriptor y,
+ FieldDescriptor f,
+ Set<EdgeKey> edgeKeysForLoad ) {
+
+ MultiKey keyX = MultiKey.factory( x );
+ Fd.remove( viewFd0, keyX );
+ Fd.remove( viewFd2, keyX );
+ }
+
+ public void storeFd( TempDescriptor x,
+ FieldDescriptor f,
+ TempDescriptor y,
+ Set<EdgeKey> edgeKeysFdemoved,
+ Set<EdgeKey> edgeKeysAdded ) {
+ Fd.put( MultiKey.factory( x, f, y ),
+ MultiViewMap.dummyValue );
+ }
+
+ public void newObjectFd( TempDescriptor x ) {
+ MultiKey keyX = MultiKey.factory( x );
+ Fd.remove( viewFd0, keyX );
+ Fd.remove( viewFd2, keyX );
+ }
+
+ public void methodCallFd( TempDescriptor retVal ) {
+ MultiKey keyRetVal = MultiKey.factory( retVal );
+ Fd.remove( viewFd0, keyRetVal );
+ Fd.remove( viewFd2, keyRetVal );
+ }
+
+ public void mergeFd( DefiniteReachState that ) {
+ this.Fd.merge( that.Fd );
+ }
+
+
+
+
+
+
+
+
+
}
+ public void writeState( String outputName ) {
+ try {
+ BufferedWriter bw = new BufferedWriter( new FileWriter( "defReach-"+outputName+".txt" ) );
+ bw.write( this.toString() );
+ bw.close();
+ } catch( IOException e ) {
+ System.out.println( "ERROR writing definite reachability state:\n "+e );
+ }
+ }
+
public String toString() {
StringBuilder s = new StringBuilder();
s.append( R.toString( 2 ) );
s.append( "}\n" );
- //s.append( "R_s = {" );
- //for( TempDescriptor x : Rs.keySet() ) {
- // s.append( " "+x+"->"+Rs.get( x ) );
- //}
- //s.append( "}" );
+ s.append( "Rs = {\n" );
+ for( TempDescriptor x : Rs.keySet() ) {
+ s.append( " "+x+"->"+Rs.get( x )+"\n" );
+ }
+ s.append( "}\n" );
+
+ s.append( "Fd = {\n" );
+ s.append( Fd.toString( 2 ) );
+ s.append( "}\n" );
+
return s.toString();
}
}