All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.vmlens.trace.agent.bootstrap.interleave.operation.VolatileFieldAccess Maven / Gradle / Ivy

There is a newer version: 1.1.5
Show newest version
package com.vmlens.trace.agent.bootstrap.interleave.operation;



import com.vmlens.trace.agent.bootstrap.interleave.MonitorInfo;
import com.vmlens.trace.agent.bootstrap.interleave.MonitorLockEnterStack;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.LeftBeforeRight;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.Position;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.PositionAndOperation;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.PotentialOrder;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.PotentialOrderSingle;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.RelationList;
import com.vmlens.trace.agent.bootstrap.interleave.normalized.RelationMap;
import gnu.trove.list.linked.TLinkedList;
import gnu.trove.map.hash.TIntObjectHashMap;
import gnu.trove.set.hash.TIntHashSet;

public class VolatileFieldAccess implements  OperationTyp {
	
	
	public static final int MIN_OPERATION = 3;
	
	
	private final int operation;
	public final int fieldId;
	
	public VolatileFieldAccess( int fieldId , int operation) {
		super();
		this.operation = operation;
		this.fieldId = fieldId;
	}
	
	
	
	
	@Override
	public void fill(RelationMap relationMap,Position position,TIntHashSet takeMonitorIds) {
		
		TLinkedList list = relationMap.volatileAccess.get( fieldId );
		
		if( list == null )
		{
			list = new TLinkedList();
			relationMap.volatileAccess.put( fieldId  , list);
		}
		
		
		list.add(new PositionAndOperation(position,this));
		
		
	}




	@Override
	public boolean createsSyncRelation(OperationTyp other) {
		
		
		
		if( other instanceof  VolatileFieldAccess)
		{	
			
			return  (operation | ((VolatileFieldAccess) other).operation ) >= MIN_OPERATION;
		}
		else
		{
			return false;
		}
		
		
	}




	
	
	@Override
	public String toString() {

		// {"loopId":1,"runId":1,"threadId":5,"actualOperation":{"jsonClass":"ActualOjectLongId","objectHashCode":2,"operation":{"fieldId":5,"operation":1}}}
		
		return "{\"jsonClass\":\"VolatileFieldAccess\",\"fieldId\":" + fieldId + ",\"operation\":" + operation+ "}";
	}




	@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + fieldId;
		result = prime * result + operation;
		return result;
	}




	@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		VolatileFieldAccess other = (VolatileFieldAccess) obj;
		if (fieldId != other.fieldId)
			return false;
		if (operation != other.operation)
			return false;
		return true;
	}




	@Override
	public void prefill(TIntObjectHashMap monitorId2MonitorInfo,int threadIndex) {
		// TODO Auto-generated method stub
		
	}




	@Override
	public void setDataFromMonitorStack(MonitorLockEnterStack monitorLockEnterStack,int threadIndex ,int  perThreadPosition) {
		// TODO Auto-generated method stub
		
	}

	@Override
	public void addPotentialRelation(RelationList orderList, Position a, OperationTyp operation,
			Position b) {
		orderList.addPotentialOrder(new PotentialOrderSingle (new LeftBeforeRight(a, b) ,new LeftBeforeRight(b, a)  ));
		
	}
	
	
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy