Optimize set operations by walking through sets.

bench/resources/README.md

@@ -12,3 +12,6 @@ Licensed under Apache 2.0, see https://github.com/google/jsonnet/blob/7d1cbf8e69
 ## go_suite
 These are benchmarks copied from the Go Jsonnet implementation's test suite.
 Licensed under Apache 2.0, see https://github.com/google/go-jsonnet/blob/10aef6a96ca825c97c87df137a837e39f5df174c/LICENSE
+
+## sjsonnet_suite
+Benchmarks created by this project.

bench/resources/sjsonnet_suite/setDiff.jsonnet

@@ -0,0 +1,22 @@
+{
+    local sets = [
+        [2,3,21,23,26,31,49,51,56,68,78,81,84,91,98,100,111,114,116,133,141,149,159,166,167,169,178,184,185,186,188,190,205,208,209,215,226,227,232,236,239,240,243,246,252,255,259,260,261,265,269,287,290,304,309,328,340,344,351,352,373,391,396,397,399,407,409,411,413,415,418,419,431,434,435,436,441,443,446,462,465,476,478,480,488,491,494,499,518,520,522,539,549,553,554,557,564,577,584,586,588,611,612,615,622,627,629,630,634,639,645,663,673,674,680,684,690,692,706,707,709,715,721,727,735,737,740,746,749,754,756,764,767,769,779,780,785,787,794,800,802,808,811,818,821,843,855,859,863,867,868,882,886,891,896,901,906,907,911,917,918,924,933,936,943,945,947,950,953,955,958,959,963,969,970,978,982,984,985,986,996],
+        [2,5,8,15,16,19,22,23,32,43,58,61,72,73,80,91,94,96,102,107,108,110,113,119,128,130,132,141,143,156,157,166,168,171,177,178,185,194,198,210,215,221,222,228,233,250,251,259,267,273,274,284,293,297,300,306,307,328,333,337,339,344,346,347,348,366,374,376,379,381,383,396,397,412,415,417,419,421,423,424,427,433,446,453,458,459,462,472,473,474,498,501,512,514,535,548,557,572,576,584,601,603,618,623,629,630,634,639,650,654,658,660,667,678,692,696,698,703,705,706,712,716,718,722,730,734,736,745,754,755,756,769,772,782,784,791,792,794,798,799,802,812,815,824,826,831,840,843,858,860,864,868,873,881,882,883,884,887,888,890,895,896,900,924,931,934,938,940,950,953,955,959,963,972,974,985,998],
+        [1,3,6,15,31,32,42,44,55,63,64,67,69,70,81,87,88,89,93,100,104,111,119,123,130,132,141,143,151,154,159,161,167,168,170,174,179,180,181,188,192,197,198,203,222,229,237,244,245,248,253,262,272,289,290,300,307,308,309,311,315,320,331,332,337,340,343,350,352,357,359,361,367,369,381,396,397,402,411,415,420,426,432,433,439,447,452,455,459,461,472,477,483,486,504,505,526,535,538,542,548,553,556,560,562,563,567,578,580,585,586,587,593,599,610,621,631,639,650,651,653,670,672,675,677,679,680,686,691,698,705,708,713,721,726,727,739,742,743,747,755,758,760,778,790,795,796,800,802,803,808,818,823,827,828,838,844,848,849,862,866,870,885,888,908,919,921,927,950,953,959,963,964,968,976,992,1000],
+        [1,13,16,27,35,50,53,58,65,66,67,70,71,72,73,74,88,95,96,98,99,106,112,116,119,133,134,136,139,143,155,166,170,179,183,186,187,190,193,195,203,204,211,212,225,234,235,237,238,243,248,254,261,265,267,268,277,279,293,314,334,350,351,352,354,358,364,368,371,372,376,394,405,409,410,422,433,437,439,461,463,470,473,484,492,493,511,516,528,545,550,552,554,558,561,565,588,605,613,625,626,630,631,644,653,660,664,671,686,690,692,694,696,706,714,715,717,720,721,722,723,727,738,744,745,753,755,763,771,772,776,779,784,786,788,793,794,795,798,799,801,811,816,817,838,841,844,845,857,858,865,869,872,878,888,892,894,895,896,911,915,916,921,922,934,937,940,947,951,952,955,957,958,978,982,987,997,998],
+        [2,7,9,21,22,24,30,37,42,52,65,67,88,89,90,132,136,140,141,142,144,152,153,156,167,171,179,181,190,193,195,196,200,209,212,231,242,246,249,253,261,277,286,295,301,304,312,319,323,328,334,341,342,346,349,351,354,364,368,369,380,382,383,384,397,413,414,415,419,421,433,434,437,448,454,465,485,486,490,499,504,506,510,517,525,526,527,539,540,543,545,553,554,561,573,574,581,588,591,594,596,605,606,608,631,639,640,645,649,650,663,694,696,697,707,709,714,715,716,721,724,730,731,732,737,739,740,742,749,755,761,767,773,774,777,782,787,792,801,802,804,806,810,811,830,837,841,843,846,848,850,853,856,869,875,878,879,880,881,885,889,897,900,905,907,920,921,930,934,953,956,966,977,986,988,991,996],
+        [3,11,15,20,31,33,38,48,50,56,59,60,72,75,78,88,95,96,97,103,113,125,127,130,131,132,134,142,149,153,178,185,187,195,219,222,223,247,251,252,258,261,273,277,281,292,295,304,306,308,309,319,322,326,327,357,368,376,387,390,394,414,433,435,438,447,455,473,477,488,489,490,501,509,511,517,534,537,539,545,546,557,558,566,579,585,589,600,603,606,609,616,620,621,636,638,639,645,652,670,671,679,687,703,706,707,720,722,723,724,728,733,739,744,746,747,751,752,754,757,758,764,776,781,783,785,787,789,795,797,803,805,810,811,812,815,816,829,837,847,856,858,860,862,870,881,886,890,894,895,896,900,914,924,927,932,933,935,938,939,948,970,971,973,974,975,976,982,990,1000],
+        [2,7,9,12,13,15,17,18,19,27,29,33,41,42,45,50,60,62,64,74,81,84,85,90,92,94,99,104,106,111,112,115,121,125,126,143,152,153,160,163,172,174,177,181,189,199,203,211,212,224,227,231,235,238,239,259,262,266,272,279,280,284,288,290,293,302,320,337,340,342,351,361,364,365,366,373,374,377,389,392,399,408,410,415,423,439,452,454,463,464,475,488,491,498,500,503,518,519,520,526,529,536,537,538,539,547,550,555,557,560,561,564,567,571,573,581,597,610,615,618,619,625,629,640,650,652,657,662,669,676,682,683,689,699,700,728,732,735,737,742,743,748,757,769,772,789,798,799,801,809,813,815,816,824,825,826,842,848,852,856,859,861,867,869,872,875,877,884,886,895,914,925,937,947,948,959,961,965,966,971,974,981,997,999],
+        [10,15,37,39,40,69,71,72,73,74,75,78,79,86,87,90,98,104,106,116,124,131,132,133,138,151,157,159,160,164,168,178,180,182,204,211,213,217,218,228,233,240,244,246,247,250,257,259,262,270,272,276,289,293,300,332,335,341,344,349,363,376,390,397,406,410,414,427,431,433,437,446,447,453,459,460,461,465,468,472,476,496,501,512,516,520,523,529,530,531,534,545,551,555,562,566,569,579,584,585,589,593,595,596,600,614,615,616,629,634,647,650,651,653,654,656,659,675,679,692,713,718,720,722,727,741,744,746,750,753,754,762,763,764,765,766,767,775,777,779,780,782,785,787,789,794,800,801,810,812,817,824,828,830,833,836,838,842,845,847,851,883,884,887,891,892,896,904,907,916,917,927,939,943,961,963,964,983,984,989,998,999],
+        [6,10,11,14,17,24,27,28,55,56,64,70,88,93,94,95,97,98,110,116,117,118,120,124,125,129,132,137,138,141,150,153,156,158,159,161,166,167,175,180,183,184,185,188,189,191,198,211,220,221,222,232,237,243,251,260,270,278,290,298,303,307,310,315,322,323,328,343,357,364,365,369,387,392,414,433,448,455,456,462,478,479,482,483,496,500,509,511,512,521,523,525,530,536,540,544,545,553,561,564,571,572,577,578,581,601,602,606,620,625,633,637,642,643,644,650,657,662,665,674,675,683,689,690,693,698,704,708,744,753,757,764,767,773,777,780,781,794,799,801,803,827,830,832,836,845,846,855,859,863,864,870,876,885,887,891,894,897,901,902,910,915,916,920,923,930,939,948,956,957,967,970,972,977,981,983,985,994],
+        [1,7,9,12,25,26,32,33,38,52,55,64,74,75,80,84,94,100,103,117,121,132,133,134,135,137,145,157,174,175,178,182,189,194,197,217,218,222,230,240,242,249,257,259,270,271,275,276,277,282,285,298,301,302,305,306,310,315,316,318,328,329,330,336,350,365,367,377,381,384,402,406,416,424,425,428,440,443,448,449,452,457,469,473,480,482,488,495,506,511,512,517,527,531,535,537,543,545,557,567,579,585,596,599,615,618,622,624,627,628,633,636,639,641,645,647,653,655,659,660,692,700,705,712,715,716,717,718,720,722,726,732,735,736,745,758,785,795,796,798,805,806,808,815,817,819,823,826,839,845,849,850,854,872,878,880,884,885,887,888,893,898,901,906,914,924,928,932,941,942,967,969,971,975,976,982,988,994,999],
+    ],
+
+    foo: [
+        std.foldl(
+                function(a, b) std.setDiff(a, b),
+                sets[first+1:],
+                sets[first]
+                ) for first in std.range(0, std.length(sets) - 2)
+    ],
+}