run

来自「tools.03b.zip」· 代码 · 共 21 行

#! /bin/bash

echo WARNING: since external sort is not stable
echo keys with the same value will be sorted randomly
echo thus some times sort might produce slightly different answers

echo Generating dataset
../Generator 20000 > data

echo Sorting
../ExternalSort data 1000 > a
sort -n --key=1,1 -s data > b

echo Comparing results
if diff a b
then
  echo "Same results with exhaustive search. Everything seems fine."
  rm -rf a b
else echo "PROBLEM! We got different results from exhaustive search!"
fi