/******************************************************************************* * Copyright (c) 2007, 2010 Association for Decentralized Information Management * in Industry THTH ry. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * VTT Technical Research Centre of Finland - initial API and implementation *******************************************************************************/ package org.simantics.db.impl.query; import java.util.ArrayList; import java.util.concurrent.Semaphore; import java.util.concurrent.atomic.AtomicBoolean; import org.simantics.db.RelationInfo; import org.simantics.db.exception.DatabaseException; import org.simantics.db.impl.graph.ReadGraphImpl; import org.simantics.db.impl.procedure.InternalProcedure; import org.simantics.db.procedure.ListenerBase; import org.simantics.db.request.RequestFlags; final public class RelationInfoQuery extends UnaryQuery> { // public ArrayList> procs = null; private RelationInfoQuery(final int resource) { super(resource); } final static RelationInfo runner(ReadGraphImpl graph, final int r, final QueryProcessor provider, final CacheEntry parent, final ListenerBase listener, final InternalProcedure procedure) { RelationInfoQuery entry = (RelationInfoQuery)provider.relationInfoMap.get(r); if(entry == null) { entry = new RelationInfoQuery(r); entry.setPending(); entry.clearResult(provider.querySupport); entry.putEntry(provider); provider.performForEach(graph, entry, parent, listener, procedure); return entry.getResult(); } else { if(!entry.isReady()) { synchronized(entry) { if(!entry.isReady()) { throw new IllegalStateException(); // if(entry.procs == null) entry.procs = new ArrayList>(); // entry.procs.add(procedure); // provider.registerDependencies(graph, entry, parent, listener, procedure, false); // return entry.getResult(); } } } provider.performForEach(graph, entry, parent, listener, procedure); return entry.getResult(); } } final public static RelationInfo queryEach(ReadGraphImpl graph, final int r, final QueryProcessor provider, final CacheEntry parent, final ListenerBase listener, final InternalProcedure procedure) { RelationInfoQuery entry = (RelationInfoQuery)provider.relationInfoMap.get(r); if(entry != null && entry.isReady()) { entry.performFromCache(graph, provider, procedure); return entry.getResult(); } return runner(graph, r, provider, parent, listener, procedure); } final public static RelationInfoQuery probe(ReadGraphImpl graph, int resource) { final int thread = graph.thread(resource); RelationInfoQuery entry = (RelationInfoQuery)graph.processor.relationInfoMap.get(resource); if(entry != null && entry.isReady()) { return entry; } else { return null; } } @Override public UnaryQuery> getEntry(QueryProcessor provider) { return provider.relationInfoMap.get(id); } @Override public void putEntry(QueryProcessor provider) { provider.relationInfoMap.put(id, this); } @Override final public void removeEntry(QueryProcessor provider) { provider.relationInfoMap.remove(id); } private void computeAssertions(ReadGraphImpl graph, final boolean isFinal, final boolean isFunctional, final QueryProcessor queryProvider, final InternalProcedure proc) { final int isUsedInAssertion = queryProvider.getHasPredicateInverse(); assert(isUsedInAssertion != 0); DirectObjects.queryEach(graph, id, isUsedInAssertion, queryProvider, this, null, new IntProcedure() { AtomicBoolean done = new AtomicBoolean(false); @Override public void execute(ReadGraphImpl graph, int i) { if(done.compareAndSet(false, true)) { // System.err.println("Assertions for relation " + id); RelationInfo result = new RelationInfo(id, isFunctional, isFinal, true); addOrSet(graph, result, queryProvider); proc.execute(graph, result); } } @Override public void finished(ReadGraphImpl graph) { if(done.compareAndSet(false, true)) { // System.err.println("No assertions for relation " + id); RelationInfo result = new RelationInfo(id, isFunctional, isFinal, false); addOrSet(graph, result, queryProvider); proc.execute(graph, result); } } @Override public void exception(ReadGraphImpl graph, Throwable throwable) { if(done.compareAndSet(false, true)) { DatabaseException e = new DatabaseException("Internal error in RelationInfoQuery"); except(e); proc.exception(graph, e); } } }); // Types.queryEach(callerThread, id, queryProvider, this, null, new InternalProcedure() { // // @Override // public void execute(int callerThread, IntSet types) { // computeAssertions(callerThread, isFinal, isFunctional, queryProvider, proc); //// //// ////// System.out.println("RelationInfoQuery: computeTypes execute " + types); //// //// RelationInfo result = new RelationInfo(id, types.contains(queryProvider.getFunctionalRelation()), isFinal); //// //// addOrSet(callerThread, result, queryProvider); //// //// proc.execute(callerThread, result); //// // } // // @Override // public void exception(int callerThread, Throwable t) { // proc.exception(callerThread, t); // } // // }); } private void computeTypes(ReadGraphImpl graph, final boolean isFinal, final QueryProcessor queryProvider, final InternalProcedure proc) { // System.out.println("RelationInfoQuery: computeTypes " + id); Types.queryEach(graph, id, queryProvider, this, null, new InternalProcedure() { @Override public void execute(ReadGraphImpl graph, IntSet types) { computeAssertions(graph, isFinal, types.contains(queryProvider.getFunctionalRelation()), queryProvider, proc); // //// System.out.println("RelationInfoQuery: computeTypes execute " + types); // // RelationInfo result = new RelationInfo(id, types.contains(queryProvider.getFunctionalRelation()), isFinal); // // addOrSet(callerThread, result, queryProvider); // // proc.execute(callerThread, result); // } @Override public void exception(ReadGraphImpl graph, Throwable t) { proc.exception(graph, t); } }); } @Override public Object computeForEach(ReadGraphImpl graph, final QueryProcessor provider, final InternalProcedure procedure, boolean store) { // System.out.println("RelationInfoQuery computeForEach begin " + id + " " + getResult() + " " + statusOrException); final int superRelationOf = provider.getSuperrelationOf(); assert(superRelationOf != 0); DirectPredicates.queryEach(graph, id, provider, this, null, new IntProcedure() { boolean found = false; @Override public void execute(ReadGraphImpl graph, int i) { // System.out.println("RelationInfoQuery: execute " + i + " super = " + superRelationOf); if(i == superRelationOf) { computeTypes(graph, false, provider, procedure); found = true; } } @Override public void finished(ReadGraphImpl graph) { // System.out.println("RelationInfoQuery: finished"); if(!found) { computeTypes(graph, true, provider, procedure); } } @Override public void exception(ReadGraphImpl graph, Throwable t) { // System.out.println("RelationInfoQuery: exception"); procedure.exception(graph, t); } }); return getResult(); } @Override public String toString() { return "RelationInfoQuery[" + id + "]"; } public void addOrSet(ReadGraphImpl graph, final RelationInfo result, final QueryProcessor provider) { assert(isPending()); // ArrayList> p = null; synchronized(this) { setResult(result); setReady(); // p = procs; // procs = null; } // if(p != null) { // for(InternalProcedure proc : p) // proc.execute(graph, (RelationInfo)result); // } } @Override public Object performFromCache(ReadGraphImpl graph, QueryProcessor provider, InternalProcedure procedure) { assert(isReady()); if(handleException(graph, procedure)) return EXCEPTED; RelationInfo result = getResult(); procedure.execute(graph, result); return result; } @Override public void recompute(ReadGraphImpl graph, QueryProcessor provider) { final Semaphore s = new Semaphore(0); computeForEach(graph, provider, new InternalProcedure() { @Override public void execute(ReadGraphImpl graph, RelationInfo result) { s.release(); } @Override public void exception(ReadGraphImpl graph, Throwable t) { throw new Error("Error in recompute.", t); } }, true); while(!s.tryAcquire()) { provider.resume(graph); } // try { // s.acquire(); // } catch (InterruptedException e) { // throw new Error(e); // } } @Override public int type() { return RequestFlags.IMMEDIATE_UPDATE; } }