Mercurial > hg > Members > kono > jpf-core
view src/main/gov/nasa/jpf/vm/OVStatics.java @ 0:61d41facf527
initial v8 import (history reset)
author | Peter Mehlitz <Peter.C.Mehlitz@nasa.gov> |
---|---|
date | Fri, 23 Jan 2015 10:14:01 -0800 |
parents | |
children |
line wrap: on
line source
/* * Copyright (C) 2014, United States Government, as represented by the * Administrator of the National Aeronautics and Space Administration. * All rights reserved. * * The Java Pathfinder core (jpf-core) platform is licensed under the * Apache License, Version 2.0 (the "License"); you may not use this file except * in compliance with the License. You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0. * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ package gov.nasa.jpf.vm; import java.util.Iterator; import gov.nasa.jpf.Config; import gov.nasa.jpf.util.IntTable; import gov.nasa.jpf.util.ObjVector; /** * Statics implementation that uses a simple ObjVector as the underlying container. * * The ids used to retrieve ElementInfos are dense and search global, computation is based * on the assumption that each ClassLoader can only define one class per binary class name */ public class OVStatics implements Statics { static class OVMemento implements Memento<Statics> { ObjVector.Snapshot<ElementInfo> eiSnap; OVMemento (OVStatics statics){ statics.elementInfos.process( ElementInfo.storer); eiSnap = statics.elementInfos.getSnapshot(); } @Override public Statics restore(Statics inSitu) { OVStatics statics = (OVStatics) inSitu; statics.elementInfos.restore(eiSnap); statics.elementInfos.process( ElementInfo.restorer); return statics; } } protected ObjVector<ElementInfo> elementInfos; // search global class ids (for this ClassLoader only) // NOTE this is per instance so that each one is as dense as possible, but since // it is search global it does NOT have to be restored and we can copy the reference when cloning protected int nextId; protected IntTable<String> ids; //--- construction public OVStatics (Config conf) { elementInfos = new ObjVector<ElementInfo>(); nextId = 0; ids = new IntTable<String>(); } protected int computeId (ClassInfo ci) { String clsName = ci.getName(); IntTable.Entry<String> e = ids.get(clsName); if (e == null) { int id = nextId++; ids.put( clsName, id); return id; } else { return e.val; } } protected StaticElementInfo createStaticElementInfo (int id, ClassInfo ci, ThreadInfo ti, ElementInfo eiClsObj) { Fields f = ci.createStaticFields(); Monitor m = new Monitor(); StaticElementInfo ei = new StaticElementInfo( id, ci, f, m, ti, eiClsObj); ci.initializeStaticData(ei, ti); return ei; } @Override public StaticElementInfo newClass (ClassInfo ci, ThreadInfo ti, ElementInfo eiClsObj) { assert (eiClsObj != null); int id = computeId( ci); StaticElementInfo ei = createStaticElementInfo( id, ci, ti, eiClsObj); elementInfos.set(id, ei); return ei; } @Override public StaticElementInfo newStartupClass (ClassInfo ci, ThreadInfo ti) { int id = computeId( ci); StaticElementInfo ei = createStaticElementInfo( id, ci, ti, null); elementInfos.set(id, ei); return ei; } //--- accessors @Override public StaticElementInfo get(int id) { // the cast sucks, but otherwise we run into the Processor covariance problem return (StaticElementInfo)elementInfos.get(id); } @Override public StaticElementInfo getModifiable(int id) { StaticElementInfo ei = (StaticElementInfo)elementInfos.get(id); if (ei.isFrozen()) { ei = (StaticElementInfo)ei.deepClone(); // freshly created ElementInfos are not frozen, so we don't have to defreeze elementInfos.set(id, ei); } return ei; } //--- housekeeping @Override public void cleanUpDanglingReferences (Heap heap) { ThreadInfo ti = ThreadInfo.getCurrentThread(); int tid = ti.getId(); boolean isThreadTermination = ti.isTerminated(); for (ElementInfo e : this) { e.cleanUp( heap, isThreadTermination, tid); } } //--- state restoration @Override public Memento<Statics> getMemento(MementoFactory factory) { return factory.getMemento(this); } @Override public Memento<Statics> getMemento() { return new OVMemento(this); } @SuppressWarnings("rawtypes") @Override public Iterator<ElementInfo> iterator(){ return ((ObjVector)elementInfos).nonNullIterator(); } @Override public void markRoots(Heap heap) { for (StaticElementInfo ei : liveStatics()){ ei.markStaticRoot(heap); } } @SuppressWarnings("rawtypes") @Override public Iterable<StaticElementInfo> liveStatics() { return (Iterable)elementInfos.elements(); } @Override public int size() { return elementInfos.length(); } }