SortDemo.Mod 25 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030
  1. MODULE SortDemo; (** AUTHOR "GF"; PURPOSE "animated sort demo" *)
  2. (* this is an extended A2-port of the SortDemo done by W.Weck in 1993 for Oberon V4 *)
  3. IMPORT
  4. Raster, Random, WMRectangles, Strings, WMMessages, WMDialogs,
  5. WM := WMWindowManager, WMComponents, WMStandardComponents,
  6. Log := KernelLog, Clock, Kernel, Machine;
  7. CONST
  8. N = 120; ElemSize = 5;
  9. MaxConcurrentSorters = 5; (* assuming we have 6 processor cores *)
  10. WindowSize = N*ElemSize;
  11. TYPE
  12. ElementType = LONGINT;
  13. Index = INTEGER;
  14. SortValues = ARRAY N OF ElementType;
  15. SortArray = OBJECT (WM.BufferWindow)
  16. VAR
  17. cw: ControlWindow;
  18. white, grey, col1, yellow: Raster.Pixel;
  19. mode: Raster.Mode;
  20. sortname: ARRAY 32 OF CHAR;
  21. delay: LONGINT;
  22. ha, hb: Index; (* highlighted elements *)
  23. concurrent: BOOLEAN; concSorters: LONGINT;
  24. nofcomps, nofswaps, nofmoves: LONGINT;
  25. compareWeight, swapWeight: LONGREAL; (* in relation to element move *)
  26. timer: Kernel.Timer;
  27. data, backup: SortValues;
  28. highlighted: ARRAY N OF BOOLEAN;
  29. PROCEDURE &New( win: ControlWindow );
  30. BEGIN
  31. cw := win;
  32. Init( WindowSize, WindowSize, FALSE );
  33. manager := WM.GetDefaultManager();
  34. manager.Add( 40, 250, SELF, {WM.FlagFrame, WM.FlagClose, WM.FlagNoResizing} );
  35. SetTitle( Strings.NewString( "SortArray" ) );
  36. Raster.SetRGB( white, 255, 255, 255 );
  37. Raster.SetRGB( yellow, 255, 255, 0 );
  38. Raster.SetRGB( grey, 110, 110, 110 );
  39. Raster.SetRGB( col1, 210, 140, 75 );
  40. Raster.InitMode( mode, Raster.srcCopy );
  41. concSorters := 0; concurrent := FALSE;
  42. delay := 16; NEW( timer );
  43. compareWeight := 3.0; swapWeight := 2.4;
  44. ShowWeightings;
  45. OrderData; backup :=data;
  46. END New;
  47. PROCEDURE Handle*( VAR x: WMMessages.Message );
  48. BEGIN
  49. IF x.msgType = WMMessages.MsgClose THEN cw.Close ELSE Handle^( x ) END
  50. END Handle;
  51. PROCEDURE Pause;
  52. VAR t: Kernel.Timer;
  53. BEGIN
  54. IF delay > 0 THEN
  55. IF ~concurrent THEN timer.Sleep( delay )
  56. ELSE
  57. NEW( t ); t.Sleep( delay )
  58. END
  59. END
  60. END Pause;
  61. PROCEDURE ShowWeightings;
  62. VAR digits: ARRAY 8 OF CHAR;
  63. BEGIN
  64. Log.Ln;
  65. Log.String( "SortDemo weightings: element move = 1, element swap =");
  66. Strings.FloatToStr( swapWeight, 3, 1, 0, digits );
  67. Log.String( digits );
  68. Log.String( ", compare =" );
  69. Strings.FloatToStr( compareWeight, 3, 1, 0, digits );
  70. Log.String( digits ); Log.Ln;
  71. END ShowWeightings;
  72. PROCEDURE AdjWeightings;
  73. VAR digits: ARRAY 8 OF CHAR;
  74. BEGIN
  75. Strings.FloatToStr( compareWeight, 3, 1, 0, digits );
  76. IF WMDialogs.QueryString( "Input compare weight", digits ) = 0 THEN
  77. Strings.StrToFloat( digits, compareWeight )
  78. END;
  79. Strings.FloatToStr( swapWeight, 3, 1, 0, digits );
  80. IF WMDialogs.QueryString( "Input swap weight", digits ) = 0 THEN
  81. Strings.StrToFloat( digits, swapWeight )
  82. END;
  83. ShowWeightings
  84. END AdjWeightings;
  85. PROCEDURE InitSort;
  86. BEGIN
  87. nofcomps := 0; nofswaps := 0; nofmoves := 0;
  88. backup := data
  89. END InitSort;
  90. PROCEDURE FinishSort;
  91. BEGIN
  92. UnHighlight( ha ); UnHighlight( hb );
  93. Log.String( sortname ); Log.String( ": " );
  94. Log.Int( nofcomps, 1 ); Log.String( " compares, " );
  95. Log.Int( nofswaps, 1 ); Log.String( " swaps, " );
  96. Log.Int( nofmoves, 1 ); Log.String( " moves, total effort: " );
  97. Log.Int( ENTIER( nofcomps*compareWeight) + ENTIER(nofswaps*swapWeight) + nofmoves, 0 ); Log.Ln;
  98. END FinishSort;
  99. PROCEDURE DrawElement( n: Index );
  100. VAR
  101. x, y, len: LONGINT;
  102. BEGIN
  103. len := data[n];
  104. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  105. IF len < N THEN Raster.Fill( img, x, 0, x+ElemSize, y, white, mode ) END;
  106. Raster.Fill( img, x, y+1, x+ElemSize, y+ElemSize+1, col1, mode );
  107. IF len > 1 THEN
  108. Raster.Fill( img, x, y+ElemSize+1, x+1, WindowSize, white, mode );
  109. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, grey, mode );
  110. Raster.Fill( img, x+ElemSize-1, y+ElemSize+1, x+ElemSize, WindowSize, white, mode );
  111. END;
  112. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  113. highlighted[n] := FALSE;
  114. END DrawElement;
  115. PROCEDURE UnHighlight( n: Index );
  116. VAR
  117. x, y, len: LONGINT;
  118. BEGIN
  119. IF highlighted[n] THEN
  120. len := data[n];
  121. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  122. IF len > 1 THEN
  123. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, grey, mode );
  124. END;
  125. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  126. highlighted[n] := FALSE;
  127. END
  128. END UnHighlight;
  129. PROCEDURE Highlight( n: Index );
  130. VAR
  131. x, y, len: LONGINT;
  132. BEGIN
  133. IF ~highlighted[n] THEN
  134. len := data[n];
  135. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  136. IF len > 1 THEN
  137. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, yellow, mode )
  138. END;
  139. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  140. highlighted[n] := TRUE;
  141. END
  142. END Highlight;
  143. PROCEDURE Highlight2( a, b: Index );
  144. BEGIN
  145. IF ~concurrent THEN
  146. IF (ha # a) & (ha # b) THEN UnHighlight( ha ) END;
  147. IF (hb # a) & (hb # b) THEN UnHighlight( hb ) END;
  148. END;
  149. Highlight( a ); Highlight( b );
  150. ha := a; hb := b;
  151. Pause
  152. END Highlight2;
  153. PROCEDURE Randomize( n: INTEGER );
  154. VAR i, j, k: Index;
  155. random: Random.Generator;
  156. t, d: LONGINT;
  157. BEGIN
  158. NEW( random ); Clock.Get( t, d ); random.InitSeed( t );
  159. FOR i := 1 TO n DO
  160. j := SHORT( random.Dice( N ) );
  161. k := SHORT( random.Dice( N ) );
  162. Swap( j, k );
  163. END
  164. END Randomize;
  165. PROCEDURE OrderData;
  166. VAR i: Index;
  167. BEGIN
  168. FOR i := 0 TO N-1 DO data[i] := i + 1; DrawElement( i ) END;
  169. END OrderData;
  170. PROCEDURE RevOrderData;
  171. VAR i: Index;
  172. BEGIN
  173. FOR i := 0 TO N-1 DO data[i] := N - i; DrawElement( i ) END;
  174. END RevOrderData;
  175. PROCEDURE BadOrder; (* worst case for quicksort *)
  176. VAR i, m: Index;
  177. BEGIN
  178. m := (N - 1) DIV 2;
  179. FOR i := 0 TO m-1 DO data[i] := i + 1 END;
  180. data[m] := N;
  181. FOR i := m+1 TO N-1 DO data[i] := i END;
  182. FOR i := 0 TO N-1 DO DrawElement( i ) END;
  183. END BadOrder;
  184. PROCEDURE PrevOrder;
  185. VAR i: Index;
  186. BEGIN
  187. data := backup;
  188. FOR i := 0 TO N-1 DO DrawElement( i ) END;
  189. END PrevOrder;
  190. PROCEDURE DecSpeed;
  191. BEGIN
  192. IF delay # 0 THEN delay := 2*delay ELSE delay := 4 END;
  193. END DecSpeed;
  194. PROCEDURE IncSpeed;
  195. BEGIN
  196. IF delay > 4 THEN delay := delay DIV 2 ELSE delay := 0 END;
  197. END IncSpeed;
  198. PROCEDURE Swap( i, j: Index );
  199. VAR tmp: LONGINT;
  200. BEGIN
  201. IF i # j THEN
  202. tmp := data[i]; data[i] := data[j]; data[j] := tmp;
  203. DrawElement( i ); DrawElement( j );
  204. Machine.AtomicInc( nofswaps )
  205. END
  206. END Swap;
  207. PROCEDURE Less( i, j: Index ): BOOLEAN;
  208. BEGIN
  209. IF delay > 0 THEN
  210. Highlight2( i, j );
  211. END;
  212. Machine.AtomicInc( nofcomps );
  213. RETURN data[i] < data[j];
  214. END Less;
  215. PROCEDURE BubbleSort( lo, hi: Index );
  216. VAR i: Index; swaps: LONGINT;
  217. BEGIN
  218. REPEAT
  219. swaps := 0;
  220. FOR i := lo TO hi - 1 DO
  221. IF Less( i + 1, i ) THEN Swap( i, i + 1 ); INC( swaps ) END
  222. END;
  223. UNTIL swaps = 0
  224. END BubbleSort;
  225. PROCEDURE BubbleSortOptim( lo, hi: Index );
  226. VAR i, first, last: Index; swaps: LONGINT;
  227. BEGIN
  228. first := lo; last := hi - 1;
  229. LOOP
  230. swaps := 0;
  231. FOR i := first TO last DO
  232. IF Less( i + 1, i ) THEN Swap( i, i + 1 ); INC( swaps ); last := i END
  233. END;
  234. IF swaps = 0 THEN EXIT END;
  235. swaps := 0;
  236. FOR i := last TO first + 1 BY -1 DO
  237. IF Less( i, i - 1 ) THEN Swap( i, i - 1 ); INC( swaps ); first := i END
  238. END;
  239. IF swaps = 0 THEN EXIT END;
  240. END
  241. END BubbleSortOptim;
  242. PROCEDURE SelectSort( lo, hi: Index );
  243. VAR i, j, min: Index;
  244. BEGIN
  245. FOR i := lo TO hi DO
  246. min := i;
  247. FOR j := i + 1 TO hi DO
  248. IF Less( j, min ) THEN min := j END
  249. END;
  250. IF i # min THEN Swap( i, min ) END
  251. END
  252. END SelectSort;
  253. PROCEDURE ShellSort( lo, hi: Index );
  254. VAR i, j, h: Index;
  255. BEGIN
  256. i := 4; h := 1;
  257. WHILE (lo+i) <= hi DO i := i*2; h := h*2 + 1 END;
  258. WHILE h # 0 DO
  259. i := lo + h;
  260. WHILE i <= hi DO
  261. j := i - h;
  262. WHILE (j >= lo) & Less( j + h, j ) DO Swap( j, j + h ); j := j - h END;
  263. INC( i )
  264. END;
  265. h := (h - 1) DIV 2
  266. END;
  267. END ShellSort;
  268. PROCEDURE InsertSort( lo, hi: Index );
  269. VAR
  270. x, l, m, ip, i: Index;
  271. tmp: ElementType;
  272. BEGIN
  273. x := lo + 1;
  274. WHILE x <= hi DO
  275. IF Less( x, x - 1 )THEN
  276. (* find insert position ip, binary search *)
  277. ip := x - 1; l := lo;
  278. WHILE l < ip DO
  279. m := (l + ip) DIV 2;
  280. IF Less( x, m ) THEN ip := m ELSE l := m + 1 END
  281. END;
  282. (* insert data[x] at position ip *)
  283. tmp := data[x]; i := x;
  284. REPEAT
  285. data[i] := data[i - 1]; DrawElement( i ); INC( nofmoves ); DEC( i )
  286. UNTIL i = ip;
  287. data[ip] := tmp; DrawElement( ip ); Pause;
  288. DEC( nofmoves ); INC( nofswaps )
  289. END;
  290. INC( x )
  291. END
  292. END InsertSort;
  293. PROCEDURE QuickSort( lo, hi: Index );
  294. VAR
  295. i, j, m: Index;
  296. BEGIN
  297. IF lo < hi THEN
  298. i := lo; j := hi; m := (lo + hi) DIV 2;
  299. REPEAT
  300. WHILE Less( i, m ) DO INC( i ) END;
  301. WHILE Less( m, j ) DO DEC( j ) END;
  302. IF i <= j THEN
  303. IF m = i THEN m := j ELSIF m = j THEN m := i END;
  304. Swap( i, j ); INC( i ); DEC( j )
  305. END
  306. UNTIL i > j;
  307. QuickSort( lo, j ); QuickSort( i, hi )
  308. END;
  309. END QuickSort;
  310. PROCEDURE QuickSortOptim( lo, hi: Index );
  311. VAR i, j, m: Index; n: LONGINT;
  312. BEGIN
  313. IF lo < hi THEN
  314. n := hi - lo + 1;
  315. IF n = 2 THEN
  316. IF Less( hi, lo ) THEN Swap( lo, hi ) END
  317. ELSIF (n < 16) & (compareWeight > 1.7) THEN
  318. InsertSort( lo, hi ) (* less expensive compares! *)
  319. ELSE
  320. (* QuickSort *)
  321. i := lo; j := hi; m := (lo + hi) DIV 2;
  322. REPEAT
  323. WHILE Less( i, m ) DO INC( i ) END;
  324. WHILE Less( m, j ) DO DEC( j ) END;
  325. IF i <= j THEN
  326. IF m = i THEN m := j ELSIF m = j THEN m := i END;
  327. Swap( i, j ); INC( i ); DEC( j )
  328. END
  329. UNTIL i > j;
  330. QuickSortOptim( lo, j ); QuickSortOptim( i, hi )
  331. END
  332. END;
  333. END QuickSortOptim;
  334. PROCEDURE QuickSortConc( lo, hi: Index );
  335. VAR
  336. i, j, m: Index;
  337. csorter: ConcurrentSorter;
  338. BEGIN
  339. IF lo < hi THEN
  340. i := lo; j := hi; m := (lo + hi) DIV 2;
  341. REPEAT
  342. WHILE Less( i, m ) DO UnHighlight( i ); INC( i ) END; UnHighlight( i );
  343. WHILE Less( m, j ) DO UnHighlight( j ); DEC( j ) END; UnHighlight( j );
  344. UnHighlight( m );
  345. IF i <= j THEN
  346. IF m = i THEN m := j ELSIF m = j THEN m := i END;
  347. Swap( i, j ); INC( i ); DEC( j )
  348. END
  349. UNTIL i > j;
  350. IF concSorters < MaxConcurrentSorters THEN
  351. NEW( csorter, SELF, lo, j ); QuickSortConc( i, hi )
  352. ELSE
  353. QuickSortConc( lo, j ); QuickSortConc( i, hi )
  354. END
  355. END;
  356. END QuickSortConc;
  357. PROCEDURE DoBubbleSort;
  358. BEGIN
  359. sortname := "BubbleSort";
  360. BubbleSort( 0, N-1 )
  361. END DoBubbleSort;
  362. PROCEDURE DoBubbleSortOptim;
  363. BEGIN
  364. sortname := "BubbleSort optim.";
  365. BubbleSortOptim( 0, N-1 )
  366. END DoBubbleSortOptim;
  367. PROCEDURE DoSelectSort;
  368. BEGIN
  369. sortname := "SelectSort";
  370. SelectSort( 0, N-1 )
  371. END DoSelectSort;
  372. PROCEDURE DoShellSort;
  373. BEGIN
  374. sortname := "ShellSort";
  375. ShellSort( 0, N-1 )
  376. END DoShellSort;
  377. PROCEDURE DoInsertSort;
  378. BEGIN
  379. sortname := "InsertSort";
  380. InsertSort( 0, N-1 )
  381. END DoInsertSort;
  382. PROCEDURE DoQuickSort;
  383. BEGIN
  384. sortname := "QuickSort";
  385. QuickSort( 0, N-1 );
  386. END DoQuickSort;
  387. PROCEDURE DoQuickSortOptim;
  388. BEGIN
  389. sortname := "QuickSort optim.";
  390. QuickSortOptim( 0, N - 1 );
  391. END DoQuickSortOptim;
  392. PROCEDURE DoQuickSortConc;
  393. VAR t: Kernel.Timer;
  394. BEGIN
  395. sortname := "QuickSort conc.";
  396. concurrent := TRUE; concSorters := 0;
  397. QuickSortConc( 0, N-1 );
  398. (* now wait until all concurrent activities have finished *)
  399. NEW( t ); WHILE concSorters > 0 DO t.Sleep( 50 ) END;
  400. concurrent := FALSE;
  401. END DoQuickSortConc;
  402. PROCEDURE HeapSort;
  403. VAR l, r: Index;
  404. PROCEDURE Sift( l, r: Index );
  405. VAR i, j: Index;
  406. BEGIN
  407. i := l; j := 2*l + 1;
  408. IF (j + 1 < r) & Less( j, j + 1 ) THEN INC( j ) END;
  409. WHILE (j < r) & ~Less( j, i ) DO
  410. Swap( i, j );
  411. i := j; j := 2*j + 1;
  412. IF (j + 1 < r) & Less( j, j + 1 ) THEN INC( j ) END
  413. END
  414. END Sift;
  415. BEGIN
  416. sortname := "HeapSort";
  417. r := N; l := N DIV 2;
  418. WHILE l > 0 DO DEC( l ); Sift( l, r ) END;
  419. WHILE r > 0 DO DEC( r ); Swap( 0, r ); Sift( 0, r ) END;
  420. END HeapSort;
  421. PROCEDURE SmoothSort; (* W.Weck 21 Jan 93, SmoothSort due to E.W.Dijkstra, J.Gutknecht *)
  422. VAR q, r, p, b, c: Index;
  423. PROCEDURE up( VAR b, c: Index );
  424. VAR b1: Index;
  425. BEGIN b1 := b; b := b + c + 1; c := b1
  426. END up;
  427. PROCEDURE down( VAR b, c: Index );
  428. VAR c1: Index;
  429. BEGIN c1 := c; c := b - c - 1; b := c1
  430. END down;
  431. PROCEDURE sift( r, b, c: Index );
  432. VAR r1: Index;
  433. BEGIN
  434. WHILE b >= 3 DO r1 := r - b + c;
  435. IF Less( r1, r - 1 ) THEN r1 := r - 1; down( b, c ) END;
  436. IF Less( r, r1 ) THEN Swap( r, r1 ); r := r1; down( b, c ) ELSE b := 1 END
  437. END
  438. END sift;
  439. PROCEDURE trinkle( r, p, b, c: Index );
  440. VAR r1, r2: Index;
  441. BEGIN
  442. WHILE p > 0 DO
  443. WHILE ~ODD( p ) DO p := p DIV 2; up( b, c ) END;
  444. r2 := r - b;
  445. IF (p = 1) OR ~Less( r, r2 ) THEN p := 0
  446. ELSE p := p - 1;
  447. IF b = 1 THEN Swap( r, r2 ); r := r2
  448. ELSE r1 := r - b + c;
  449. IF Less( r1, r - 1 ) THEN r1 := r - 1; down( b, c ); p := p*2 END;
  450. IF ~Less( r2, r1 ) THEN Swap( r, r2 ); r := r2 ELSE Swap( r, r1 ); r := r1; down( b, c ); p := 0 END
  451. END
  452. END
  453. END;
  454. sift( r, b, c )
  455. END trinkle;
  456. PROCEDURE semiTrinkle( r, p, b, c: Index );
  457. VAR r1: Index;
  458. BEGIN r1 := r - c;
  459. IF Less( r, r1 ) THEN Swap( r, r1 ); trinkle( r1, p, b, c ) END
  460. END semiTrinkle;
  461. BEGIN
  462. sortname := "SmoothSort";
  463. q := 1; r := 0; p := 1; b := 1; c := 1;
  464. WHILE q # N DO
  465. IF p MOD 8 = 3 (* p = ... 011 *) THEN
  466. sift( r, b, c ); p := (p + 1) DIV 4; up( b, c ); up( b, c ) (* b >= 3 *)
  467. ELSE (* p = ... 01 *)
  468. IF (q + c) < N THEN sift( r, b, c ) ELSE trinkle( r, p, b, c ) END;
  469. down( b, c ); p := p*2;
  470. WHILE b # 1 DO down( b, c ); p := p*2 END;
  471. p := p + 1
  472. END;
  473. q := q + 1; r := r + 1
  474. END;
  475. trinkle( r, p, b, c );
  476. WHILE q # 1 DO q := q - 1; p := p - 1;
  477. IF b = 1 THEN r := r - 1;
  478. WHILE ~ODD( p ) DO p := p DIV 2; up( b, c ) END
  479. ELSE (* b >= 3 *) r := r - b + c;
  480. IF p > 0 THEN semiTrinkle( r, p, b, c ) END;
  481. down( b, c ); p := p*2 + 1; r := r + c; semiTrinkle( r, p, b, c ); down( b, c ); p := p*2 + 1
  482. END
  483. END;
  484. END SmoothSort;
  485. END SortArray;
  486. TYPE
  487. ConcurrentSorter = OBJECT
  488. VAR
  489. lo, hi: Index;
  490. av: SortArray;
  491. PROCEDURE &Init ( a: SortArray; low, high: Index );
  492. BEGIN
  493. av := a;
  494. lo := low; hi := high;
  495. END Init;
  496. BEGIN {ACTIVE}
  497. Machine.AtomicInc( av.concSorters );
  498. av.QuickSortConc( lo, hi );
  499. Machine.AtomicDec( av.concSorters )
  500. END ConcurrentSorter;
  501. TYPE
  502. SortStarter = OBJECT
  503. TYPE
  504. SortProcedure = PROCEDURE {DELEGATE};
  505. VAR
  506. sort: SortProcedure;
  507. av: SortArray;
  508. running, terminated: BOOLEAN;
  509. PROCEDURE &Init( a: SortArray );
  510. BEGIN
  511. sort := NIL; av := a;
  512. running := FALSE; terminated := FALSE
  513. END Init;
  514. PROCEDURE Start( proc: SortProcedure );
  515. BEGIN
  516. IF ~running THEN
  517. BEGIN {EXCLUSIVE} sort := proc END
  518. END
  519. END Start;
  520. PROCEDURE Terminate;
  521. BEGIN {EXCLUSIVE}
  522. terminated := TRUE
  523. END Terminate;
  524. BEGIN {ACTIVE}
  525. BEGIN {EXCLUSIVE}
  526. REPEAT
  527. AWAIT( (sort # NIL) OR terminated );
  528. IF ~terminated THEN
  529. running := TRUE;
  530. av.InitSort; sort; av.FinishSort;
  531. running := FALSE;
  532. END;
  533. sort := NIL
  534. UNTIL terminated
  535. END
  536. END SortStarter;
  537. TYPE
  538. ControlWindow = OBJECT( WMComponents.FormWindow )
  539. VAR
  540. toolbar: WMStandardComponents.Panel;
  541. button : WMStandardComponents.Button;
  542. av: SortArray;
  543. sorter: SortStarter;
  544. PROCEDURE &New;
  545. VAR vc: WMComponents.VisualComponent;
  546. BEGIN
  547. vc := CreateForm();
  548. Init( vc.bounds.GetWidth(), vc.bounds.GetHeight(), FALSE );
  549. SetContent( vc );
  550. SetTitle( WM.NewString( "Sort Demo" ) );
  551. WM.DefaultAddWindow( SELF );
  552. NEW( av, SELF );
  553. NEW( sorter, av )
  554. END New;
  555. PROCEDURE Handle*( VAR x: WMMessages.Message );
  556. BEGIN
  557. IF x.msgType = WMMessages.MsgClose THEN Close ELSE Handle^( x ) END
  558. END Handle;
  559. PROCEDURE Close*;
  560. BEGIN
  561. sorter.Terminate; av.Close; Close^
  562. END Close;
  563. PROCEDURE CreateForm( ): WMComponents.VisualComponent;
  564. VAR
  565. panel: WMStandardComponents.Panel;
  566. label : WMStandardComponents.Label;
  567. BEGIN
  568. NEW( panel );
  569. panel.bounds.SetWidth( 560 );
  570. panel.bounds.SetHeight( 80 );
  571. panel.fillColor.Set( LONGINT( 0FFFFFFFFH ) );
  572. NEW( toolbar );
  573. toolbar.bounds.SetHeight( 20 );
  574. toolbar.alignment.Set( WMComponents.AlignTop );
  575. toolbar.fillColor.Set( LONGINT( 0CCCCCCFFH ) );
  576. NEW( label );
  577. label.bounds.SetWidth( 70 );
  578. label.alignment.Set( WMComponents.AlignLeft );
  579. label.caption.SetAOC( " Array init: " );
  580. label.textColor.Set( 0000000FFH );
  581. toolbar.AddContent(label);
  582. NEW( button );
  583. button.bounds.SetWidth( 70 );
  584. button.alignment.Set( WMComponents.AlignLeft );
  585. button.caption.SetAOC( " order " );
  586. button.onClick.Add( Order );
  587. toolbar.AddContent( button );
  588. NEW( button );
  589. button.bounds.SetWidth( 70 );
  590. button.alignment.Set( WMComponents.AlignLeft );
  591. button.caption.SetAOC( " rev. order " );
  592. button.onClick.Add( RevOrder );
  593. toolbar.AddContent( button );
  594. NEW( button );
  595. button.bounds.SetWidth( 70 );
  596. button.alignment.Set( WMComponents.AlignLeft );
  597. button.caption.SetAOC( "bad order" );
  598. button.onClick.Add( BadOrder );
  599. toolbar.AddContent( button );
  600. NEW( button );
  601. button.bounds.SetWidth( 70 );
  602. button.alignment.Set( WMComponents.AlignLeft );
  603. button.caption.SetAOC( "prev. order" );
  604. button.onClick.Add( PrevOrder );
  605. toolbar.AddContent( button );
  606. NEW( button );
  607. button.bounds.SetWidth( 70 );
  608. button.alignment.Set( WMComponents.AlignLeft );
  609. button.caption.SetAOC( " rand 10 " );
  610. button.onClick.Add( Rand10 );
  611. toolbar.AddContent( button );
  612. NEW( button );
  613. button.bounds.SetWidth( 70 );
  614. button.alignment.Set( WMComponents.AlignLeft );
  615. button.caption.SetAOC( " rand 100 " );
  616. button.onClick.Add( Rand100 );
  617. toolbar.AddContent( button );
  618. NEW( button );
  619. button.bounds.SetWidth( 70 );
  620. button.alignment.Set( WMComponents.AlignLeft );
  621. button.caption.SetAOC( " rand 200 " );
  622. button.onClick.Add( Rand200 );
  623. toolbar.AddContent( button );
  624. panel.AddContent( toolbar );
  625. NEW( toolbar );
  626. toolbar.bounds.SetHeight( 20 );
  627. toolbar.alignment.Set( WMComponents.AlignTop );
  628. toolbar.fillColor.Set( LONGINT( 0CCCCCCFFH ) );
  629. NEW( label );
  630. label.bounds.SetWidth( 70 );
  631. label.alignment.Set( WMComponents.AlignLeft );
  632. label.caption.SetAOC( " Sorter: " );
  633. label.textColor.Set( 0000000FFH );
  634. toolbar.AddContent(label);
  635. NEW( button );
  636. button.bounds.SetWidth( 80 );
  637. button.alignment.Set( WMComponents.AlignLeft );
  638. button.caption.SetAOC( " Bubble " );
  639. button.onClick.Add( StartBubbleSort );
  640. toolbar.AddContent( button );
  641. NEW( button );
  642. button.bounds.SetWidth( 80 );
  643. button.alignment.Set( WMComponents.AlignLeft );
  644. button.caption.SetAOC( " Select " );
  645. button.onClick.Add( StartSelectSort );
  646. toolbar.AddContent( button );
  647. NEW( button );
  648. button.bounds.SetWidth( 80 );
  649. button.alignment.Set( WMComponents.AlignLeft );
  650. button.caption.SetAOC( " Shell " );
  651. button.onClick.Add( StartShellSort );
  652. toolbar.AddContent( button );
  653. NEW( button );
  654. button.bounds.SetWidth( 90 );
  655. button.alignment.Set( WMComponents.AlignLeft );
  656. button.caption.SetAOC( " Quick " );
  657. button.onClick.Add( StartQuickSort );
  658. toolbar.AddContent( button );
  659. NEW( button );
  660. button.bounds.SetWidth( 80 );
  661. button.alignment.Set( WMComponents.AlignLeft );
  662. button.caption.SetAOC( " Heap " );
  663. button.onClick.Add( StartHeapSort );
  664. toolbar.AddContent( button );
  665. NEW( button );
  666. button.bounds.SetWidth( 80 );
  667. button.alignment.Set( WMComponents.AlignLeft );
  668. button.caption.SetAOC( " Smooth " );
  669. button.onClick.Add( StartSmoothSort );
  670. toolbar.AddContent( button );
  671. panel.AddContent( toolbar );
  672. NEW( toolbar );
  673. toolbar.bounds.SetHeight( 20 );
  674. toolbar.alignment.Set( WMComponents.AlignTop );
  675. toolbar.fillColor.Set( LONGINT( 0CCCCCCFFH ) );
  676. NEW( label );
  677. label.bounds.SetWidth( 70 );
  678. label.alignment.Set( WMComponents.AlignLeft );
  679. label.caption.SetAOC( " Sorter: " );
  680. label.textColor.Set( 0000000FFH );
  681. toolbar.AddContent(label);
  682. NEW( button );
  683. button.bounds.SetWidth( 80 );
  684. button.alignment.Set( WMComponents.AlignLeft );
  685. button.caption.SetAOC( "opt Bubble" );
  686. button.onClick.Add( StartBubbleSortOptim );
  687. toolbar.AddContent( button );
  688. NEW( button );
  689. button.bounds.SetWidth( 80 );
  690. button.alignment.Set( WMComponents.AlignLeft );
  691. button.caption.SetAOC( "Insert" );
  692. button.onClick.Add( StartInsertSort );
  693. toolbar.AddContent( button );
  694. NEW( label );
  695. label.bounds.SetWidth( 80 );
  696. label.alignment.Set( WMComponents.AlignLeft );
  697. label.textColor.Set( 0000000FFH );
  698. toolbar.AddContent(label);
  699. NEW( button );
  700. button.bounds.SetWidth( 125 );
  701. button.alignment.Set( WMComponents.AlignLeft );
  702. button.caption.SetAOC( " optim. Quick " );
  703. button.onClick.Add( StartQuickSortOptim );
  704. toolbar.AddContent( button );
  705. NEW( button );
  706. button.bounds.SetWidth( 125 );
  707. button.alignment.Set( WMComponents.AlignLeft );
  708. button.caption.SetAOC( " concurrent Quick " );
  709. button.onClick.Add( StartQuickSortConc );
  710. toolbar.AddContent( button );
  711. panel.AddContent( toolbar );
  712. NEW( toolbar );
  713. toolbar.bounds.SetHeight( 20 );
  714. toolbar.alignment.Set( WMComponents.AlignTop );
  715. toolbar.fillColor.Set( LONGINT( 0CCCCCCFFH ) );
  716. NEW( label );
  717. label.bounds.SetWidth( 70 );
  718. label.alignment.Set( WMComponents.AlignLeft );
  719. label.caption.SetAOC( " Speed: " );
  720. label.textColor.Set( 0000000FFH );
  721. toolbar.AddContent(label);
  722. NEW( button );
  723. button.bounds.SetWidth( 40 );
  724. button.alignment.Set( WMComponents.AlignLeft );
  725. button.caption.SetAOC( " - " );
  726. button.onClick.Add( DecSpeed );
  727. toolbar.AddContent( button );
  728. NEW( button );
  729. button.bounds.SetWidth( 40 );
  730. button.alignment.Set( WMComponents.AlignLeft );
  731. button.caption.SetAOC( " + " );
  732. button.onClick.Add( IncSpeed );
  733. toolbar.AddContent( button );
  734. NEW( label );
  735. label.bounds.SetWidth( 80 );
  736. label.alignment.Set( WMComponents.AlignLeft );
  737. label.textColor.Set( 0000000FFH );
  738. toolbar.AddContent(label);
  739. NEW( button );
  740. button.bounds.SetWidth( 160 );
  741. button.alignment.Set( WMComponents.AlignLeft );
  742. button.caption.SetAOC( "adjust weightings" );
  743. button.onClick.Add( AdjWeightings );
  744. toolbar.AddContent( button );
  745. panel.AddContent( toolbar );
  746. RETURN panel
  747. END CreateForm;
  748. PROCEDURE Order( sender, data: ANY );
  749. BEGIN
  750. IF ~ sorter.running THEN av.OrderData END
  751. END Order;
  752. PROCEDURE RevOrder( sender, data: ANY );
  753. BEGIN
  754. IF ~ sorter.running THEN av.RevOrderData END
  755. END RevOrder;
  756. PROCEDURE BadOrder( sender, data: ANY );
  757. BEGIN
  758. IF ~ sorter.running THEN av.BadOrder END
  759. END BadOrder;
  760. PROCEDURE PrevOrder( sender, data: ANY );
  761. BEGIN
  762. IF ~ sorter.running THEN av.PrevOrder END
  763. END PrevOrder;
  764. PROCEDURE Rand10( sender, data: ANY );
  765. BEGIN
  766. IF ~ sorter.running THEN av.Randomize( 10 ) END
  767. END Rand10;
  768. PROCEDURE Rand100( sender, data: ANY );
  769. BEGIN
  770. IF ~ sorter.running THEN av.Randomize( 100 ) END
  771. END Rand100;
  772. PROCEDURE Rand200( sender, data: ANY );
  773. BEGIN
  774. IF ~ sorter.running THEN av.Randomize( 200 ) END
  775. END Rand200;
  776. PROCEDURE IncSpeed( sender, data: ANY );
  777. BEGIN
  778. av.IncSpeed
  779. END IncSpeed;
  780. PROCEDURE DecSpeed( sender, data: ANY );
  781. BEGIN
  782. av.DecSpeed
  783. END DecSpeed;
  784. PROCEDURE AdjWeightings( sender, data: ANY );
  785. BEGIN
  786. av.AdjWeightings
  787. END AdjWeightings;
  788. PROCEDURE StartBubbleSort( sender, data: ANY );
  789. BEGIN
  790. sorter.Start( av.DoBubbleSort )
  791. END StartBubbleSort;
  792. PROCEDURE StartBubbleSortOptim( sender, data: ANY );
  793. BEGIN
  794. sorter.Start( av.DoBubbleSortOptim )
  795. END StartBubbleSortOptim;
  796. PROCEDURE StartInsertSort( sender, data: ANY );
  797. BEGIN
  798. sorter.Start( av.DoInsertSort )
  799. END StartInsertSort;
  800. PROCEDURE StartSelectSort( sender, data: ANY );
  801. BEGIN
  802. sorter.Start( av.DoSelectSort )
  803. END StartSelectSort;
  804. PROCEDURE StartQuickSortOptim( sender, data: ANY );
  805. BEGIN
  806. sorter.Start( av.DoQuickSortOptim )
  807. END StartQuickSortOptim;
  808. PROCEDURE StartShellSort( sender, data: ANY );
  809. BEGIN
  810. sorter.Start( av.DoShellSort )
  811. END StartShellSort;
  812. PROCEDURE StartQuickSort( sender, data: ANY );
  813. BEGIN
  814. sorter.Start( av.DoQuickSort )
  815. END StartQuickSort;
  816. PROCEDURE StartQuickSortConc( sender, data: ANY );
  817. BEGIN
  818. sorter.Start( av.DoQuickSortConc )
  819. END StartQuickSortConc;
  820. PROCEDURE StartHeapSort( sender, data: ANY );
  821. BEGIN
  822. sorter.Start( av.HeapSort )
  823. END StartHeapSort;
  824. PROCEDURE StartSmoothSort( sender, data: ANY );
  825. BEGIN
  826. sorter.Start( av.SmoothSort )
  827. END StartSmoothSort;
  828. END ControlWindow;
  829. VAR
  830. w: ControlWindow;
  831. PROCEDURE Open*;
  832. BEGIN
  833. IF w # NIL THEN w.Close END;
  834. NEW( w )
  835. END Open;
  836. END SortDemo.
  837. ----------------------------------------------------
  838. SortDemo.Open
  839. System.Free SortDemo ~