diff --git a/java/src/main/java/org/softwareheritage/graph/benchmark/ForkCC.java b/java/src/main/java/org/softwareheritage/graph/benchmark/ForkCC.java index ade5a5b..e52443e 100644 --- a/java/src/main/java/org/softwareheritage/graph/benchmark/ForkCC.java +++ b/java/src/main/java/org/softwareheritage/graph/benchmark/ForkCC.java @@ -1,147 +1,177 @@ package org.softwareheritage.graph.benchmark; import com.google.common.primitives.Longs; import com.martiansoftware.jsap.*; import it.unimi.dsi.big.webgraph.ImmutableGraph; import it.unimi.dsi.big.webgraph.LazyLongIterator; -import it.unimi.dsi.big.webgraph.algo.ConnectedComponents; import it.unimi.dsi.big.webgraph.Transform; import it.unimi.dsi.bits.LongArrayBitVector; import it.unimi.dsi.fastutil.Arrays; -import it.unimi.dsi.fastutil.Hash; import it.unimi.dsi.io.ByteDiskQueue; import it.unimi.dsi.logging.ProgressLogger; import org.softwareheritage.graph.Graph; import org.softwareheritage.graph.Node; import java.io.File; import java.io.IOException; -import java.util.ArrayList; -import java.util.HashMap; -import java.util.Map; -import java.util.TreeMap; +import java.util.*; public class ForkCC { private Graph graph; + private Long emptySnapshot; private void load_graph(String graphBasename) throws IOException { System.err.println("Loading graph " + graphBasename + " ..."); this.graph = new Graph(graphBasename); System.err.println("Graph loaded."); + this.emptySnapshot = null; } private static JSAPResult parse_args(String[] args) { JSAPResult config = null; try { SimpleJSAP jsap = new SimpleJSAP( ForkCC.class.getName(), "", new Parameter[] { new FlaggedOption("graphPath", JSAP.STRING_PARSER, JSAP.NO_DEFAULT, JSAP.REQUIRED, 'g', "graph", "Basename of the compressed graph"), new FlaggedOption("numThreads", JSAP.INTEGER_PARSER, "128", JSAP.NOT_REQUIRED, 't', "numthreads", "Number of threads"), } ); config = jsap.parse(args); if (jsap.messagePrinted()) { System.exit(1); } } catch (JSAPException e) { e.printStackTrace(); } return config; } - private Map compute(final ImmutableGraph graph, ProgressLogger pl) throws IOException { + private boolean nodeIsEmptySnapshot(Long node) { + if (this.emptySnapshot == null + && this.graph.getNodeType(node) == Node.Type.SNP + && this.graph.outdegree(node) == 0) { + System.err.println("Found empty snapshot: " + node); + this.emptySnapshot = node; + } + return node.equals(this.emptySnapshot); + } + + private ArrayList> compute(final ImmutableGraph graph, ProgressLogger pl) throws IOException { final long n = graph.numNodes(); // Allow enough memory to behave like in-memory queue int bufferSize = (int)Math.min(Arrays.MAX_ARRAY_SIZE & ~0x7, 8L * n); // Use a disk based queue to store BFS frontier final File queueFile = File.createTempFile(BFS.class.getSimpleName(), "queue"); final ByteDiskQueue queue = ByteDiskQueue.createNew(queueFile, bufferSize, true); final byte[] byteBuf = new byte[Long.BYTES]; // WARNING: no 64-bit version of this data-structure, but it can support // indices up to 2^37 final LongArrayBitVector visited = LongArrayBitVector.ofLength(n); pl.expectedUpdates = n; pl.itemsName = "nodes"; pl.start("Starting connected components visit..."); - long pos = 0; - TreeMap ccDistribution = new TreeMap<>(); + ArrayList> components = new ArrayList<>(); for (long i = 0; i < n; i++) { if (this.graph.getNodeType(i) == Node.Type.DIR) continue; + if (this.nodeIsEmptySnapshot(i)) continue; if (visited.getBoolean(i)) continue; - long originCount = 0; + ArrayList component = new ArrayList<>(); queue.enqueue(Longs.toByteArray(i)); visited.set(i); + component.add(i); while (!queue.isEmpty()) { queue.dequeue(byteBuf); final long currentNode = Longs.fromByteArray(byteBuf); - if (this.graph.getNodeType(currentNode) == Node.Type.ORI) - ++originCount; + if (this.graph.getNodeType(currentNode) == Node.Type.ORI) { + component.add(currentNode); + } final LazyLongIterator iterator = graph.successors(currentNode); long succ; while((succ = iterator.nextLong()) != -1) { if (this.graph.getNodeType(succ) == Node.Type.DIR) continue; + if (this.nodeIsEmptySnapshot(succ)) continue; if (!visited.getBoolean(succ)) { visited.set(succ); queue.enqueue(Longs.toByteArray(succ)); } } pl.update(); } - ccDistribution.merge(originCount, 1L, Long::sum); + // ccDistribution.merge(originCount, 1L, Long::sum); + components.add(component); } pl.done(); queue.close(); - return ccDistribution; + return components; } - private static void printDistribution(Map distribution) { + private static void printDistribution(ArrayList> components) { + TreeMap distribution = new TreeMap<>(); + for (ArrayList component : components) { + distribution.merge((long) component.size(), 1L, Long::sum); + } + for (Map.Entry entry : distribution.entrySet()) { System.out.format("%d %d\n", entry.getKey(), entry.getValue()); } } + private static void printLargestComponent(ArrayList> components) { + int indexLargest = 0; + for (int i = 1; i < components.size(); ++i) { + if (components.get(i).size() > components.get(indexLargest).size()) + indexLargest = i; + } + + ArrayList component = components.get(indexLargest); + for (Long node : component) { + System.out.println(node); + } + } + public static void main(String[] args) { JSAPResult config = parse_args(args); String graphPath = config.getString("graphPath"); int numThreads = config.getInt("numThreads"); ForkCC forkCc = new ForkCC(); try { forkCc.load_graph(graphPath); } catch (IOException e) { System.out.println("Could not load graph: " + e); System.exit(2); } ImmutableGraph symmetric = Transform.union( - forkCc.graph.getBVGraph(false), - forkCc.graph.getBVGraph(true) + forkCc.graph.getBVGraph(false), + forkCc.graph.getBVGraph(true) ); ProgressLogger logger = new ProgressLogger(); try { - Map distribution = forkCc.compute(symmetric, logger); - printDistribution(distribution); + ArrayList> components = forkCc.compute(symmetric, logger); + printDistribution(components); + // printLargestComponent(components); } catch (IOException e) { e.printStackTrace(); } logger.done(); } }