blob: aebee674bec02705d520edb3444601ab60bececd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
/*******************************************************************************
* Copyright (c) 2019 Willink Transformations and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v20.html
*
* Contributors:
* E.D.Willink - Initial API and implementation
*******************************************************************************/
package org.eclipse.qvtd.compiler.internal.qvts2qvts.partitioner;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.qvtd.compiler.internal.qvtb2qvts.AbstractTransformationAnalysis;
import org.eclipse.qvtd.compiler.internal.qvtb2qvts.ScheduleManager;
import org.eclipse.qvtd.compiler.internal.qvts2qvts.RegionAnalysis;
import org.eclipse.qvtd.pivot.qvtschedule.NavigableEdge;
/**
* AbstractPartitioningStrategy provides the default/mandatory supervision of the creation of an appropriate suite of Partitions for a Region.
*/
public abstract class AbstractPartitioningStrategy implements PartitioningStrategy
{
protected final @NonNull ScheduleManager scheduleManager;
protected final @NonNull PartitionedTransformationAnalysis partitionedTransformationAnalysis;
protected final @NonNull MappingPartitioner mappingPartitioner;
protected final @NonNull AbstractTransformationAnalysis transformationAnalysis;
protected final @NonNull RegionAnalysis regionAnalysis;
//
// Working list of PartitionAnalysi to return from partition().
//
protected final @NonNull List<@NonNull PartitionAnalysis> newPartitionAnalyses = new ArrayList<>();
protected AbstractPartitioningStrategy(@NonNull PartitionedTransformationAnalysis partitionedTransformationAnalysis, @NonNull MappingPartitioner mappingPartitioner) {
this.scheduleManager = partitionedTransformationAnalysis.getScheduleManager();
this.partitionedTransformationAnalysis = partitionedTransformationAnalysis;
this.mappingPartitioner = mappingPartitioner;
this.transformationAnalysis = mappingPartitioner.getTransformationAnalysis();
this.regionAnalysis = mappingPartitioner.getRegionAnalysis();
}
protected void check() {
if (newPartitionAnalyses.size() > 1) { // FIXME shouldn't this work anyway when no partitioning was needed?
mappingPartitioner.check(/*isInfallible*/);
}
}
protected void createAssignmentPartitions() {
//
// Create an AssignmentRegion for each still to-be-realized edge to an output which may well result
// in two realized edges.
//
for (@NonNull NavigableEdge outputEdge : mappingPartitioner.getRealizedOutputEdges()) {
if (!mappingPartitioner.hasRealizedEdge(outputEdge)) {
newPartitionAnalyses.add(new AssignmentPartitionFactory(mappingPartitioner, outputEdge).createPartitionAnalysis(partitionedTransformationAnalysis));
}
}
//
// Create an AssignmentRegion for each still to-be-realized edge.
//
for (@NonNull NavigableEdge edge : mappingPartitioner.getRealizedEdges()) {
if (!mappingPartitioner.hasRealizedEdge(edge)) {
newPartitionAnalyses.add(new AssignmentPartitionFactory(mappingPartitioner, edge).createPartitionAnalysis(partitionedTransformationAnalysis));
}
}
}
protected void createSpeculationPartitions() {
boolean useActivators = useActivators();
if (useActivators) {
regionAnalysis.createLocalSuccess();
}
BasicPartitionAnalysis localPredicatePartition = new LocalPredicatePartitionFactory(mappingPartitioner, useActivators).createPartitionAnalysis(partitionedTransformationAnalysis);
BasicPartitionAnalysis globalPredicatePartition = new GlobalPredicatePartitionFactory(mappingPartitioner).createPartitionAnalysis(partitionedTransformationAnalysis);
BasicPartitionAnalysis speculatedPartition = new SpeculatedPartitionFactory(mappingPartitioner).createPartitionAnalysis(partitionedTransformationAnalysis);
newPartitionAnalyses.add(localPredicatePartition);
newPartitionAnalyses.add(globalPredicatePartition);
newPartitionAnalyses.add(speculatedPartition);
if (!useActivators) {
globalPredicatePartition.addExplicitPredecessor(localPredicatePartition);
speculatedPartition.addExplicitPredecessor(globalPredicatePartition);
}
}
protected abstract boolean useActivators();
}
|
