2
0

SortDemo.Mod 26 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029
  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. sortname: ARRAY 32 OF CHAR;
  20. delay: LONGINT;
  21. ha, hb: Index; (* highlighted elements *)
  22. concurrent: BOOLEAN; concSorters: LONGINT;
  23. nofcomps, nofswaps, nofmoves: LONGINT;
  24. compareWeight, swapWeight: LONGREAL; (* in relation to element move *)
  25. timer: Kernel.Timer;
  26. data, backup: SortValues;
  27. highlighted: ARRAY N OF BOOLEAN;
  28. PROCEDURE &New( win: ControlWindow );
  29. BEGIN
  30. cw := win;
  31. Init( WindowSize, WindowSize, FALSE );
  32. manager := WM.GetDefaultManager();
  33. manager.Add( 40, 250, SELF, {WM.FlagFrame, WM.FlagClose, WM.FlagNoResizing} );
  34. SetTitle( Strings.NewString( "SortArray" ) );
  35. Raster.SetRGB( white, 255, 255, 255 );
  36. Raster.SetRGB( yellow, 255, 255, 0 );
  37. Raster.SetRGB( grey, 110, 110, 110 );
  38. Raster.SetRGB( col1, 210, 140, 75 );
  39. concSorters := 0; concurrent := FALSE;
  40. delay := 16; NEW( timer );
  41. compareWeight := 3.0; swapWeight := 2.4;
  42. ShowWeightings;
  43. OrderData; backup :=data;
  44. END New;
  45. PROCEDURE Handle*( VAR x: WMMessages.Message );
  46. BEGIN
  47. IF x.msgType = WMMessages.MsgClose THEN cw.Close ELSE Handle^( x ) END
  48. END Handle;
  49. PROCEDURE Pause;
  50. VAR t: Kernel.Timer;
  51. BEGIN
  52. IF delay > 0 THEN
  53. IF ~concurrent THEN timer.Sleep( delay )
  54. ELSE
  55. NEW( t ); t.Sleep( delay )
  56. END
  57. END
  58. END Pause;
  59. PROCEDURE ShowWeightings;
  60. VAR digits: ARRAY 8 OF CHAR;
  61. BEGIN
  62. Log.Ln;
  63. Log.String( "SortDemo weightings: element move = 1, element swap =");
  64. Strings.FloatToStr( swapWeight, 3, 1, 0, digits );
  65. Log.String( digits );
  66. Log.String( ", compare =" );
  67. Strings.FloatToStr( compareWeight, 3, 1, 0, digits );
  68. Log.String( digits ); Log.Ln;
  69. END ShowWeightings;
  70. PROCEDURE AdjWeightings;
  71. VAR digits: ARRAY 8 OF CHAR;
  72. BEGIN
  73. Strings.FloatToStr( compareWeight, 3, 1, 0, digits );
  74. IF WMDialogs.QueryString( "Input compare weight", digits ) = 0 THEN
  75. Strings.StrToFloat( digits, compareWeight )
  76. END;
  77. Strings.FloatToStr( swapWeight, 3, 1, 0, digits );
  78. IF WMDialogs.QueryString( "Input swap weight", digits ) = 0 THEN
  79. Strings.StrToFloat( digits, swapWeight )
  80. END;
  81. ShowWeightings
  82. END AdjWeightings;
  83. PROCEDURE InitSort;
  84. BEGIN
  85. nofcomps := 0; nofswaps := 0; nofmoves := 0;
  86. backup := data
  87. END InitSort;
  88. PROCEDURE FinishSort;
  89. BEGIN
  90. UnHighlight( ha ); UnHighlight( hb );
  91. Log.String( sortname ); Log.String( ": " );
  92. Log.Int( nofcomps, 1 ); Log.String( " compares, " );
  93. Log.Int( nofswaps, 1 ); Log.String( " swaps, " );
  94. Log.Int( nofmoves, 1 ); Log.String( " moves, total effort: " );
  95. Log.Int( ENTIER( nofcomps*compareWeight) + ENTIER(nofswaps*swapWeight) + nofmoves, 0 ); Log.Ln;
  96. END FinishSort;
  97. PROCEDURE DrawElement( n: Index );
  98. VAR mode: Raster.Mode;
  99. x, y, len: LONGINT;
  100. BEGIN
  101. len := data[n];
  102. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  103. Raster.InitMode( mode, Raster.srcCopy );
  104. IF len < N THEN Raster.Fill( img, x, 0, x+ElemSize, y, white, mode ) END;
  105. Raster.Fill( img, x, y+1, x+ElemSize, y+ElemSize+1, col1, mode );
  106. IF len > 1 THEN
  107. Raster.Fill( img, x, y+ElemSize+1, x+1, WindowSize, white, mode );
  108. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, grey, mode );
  109. Raster.Fill( img, x+ElemSize-1, y+ElemSize+1, x+ElemSize, WindowSize, white, mode );
  110. END;
  111. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  112. END DrawElement;
  113. PROCEDURE Highlight( n: Index );
  114. VAR mode: Raster.Mode;
  115. x, y, len: LONGINT;
  116. BEGIN
  117. IF ~highlighted[n] THEN
  118. len := data[n];
  119. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  120. Raster.InitMode( mode, Raster.srcCopy );
  121. IF len > 1 THEN
  122. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, yellow, mode )
  123. END;
  124. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  125. highlighted[n] := TRUE
  126. END
  127. END Highlight;
  128. PROCEDURE UnHighlight( n: Index );
  129. VAR mode: Raster.Mode;
  130. x, y, len: LONGINT;
  131. BEGIN
  132. IF highlighted[n] THEN
  133. len := data[n];
  134. x := ElemSize*n; y := WindowSize - 1 - ElemSize*len;
  135. Raster.InitMode( mode, Raster.srcCopy );
  136. IF len > 1 THEN
  137. Raster.Fill( img, x+1, y+ElemSize+1, x+ElemSize-1, WindowSize, grey, mode );
  138. END;
  139. Invalidate( WMRectangles.MakeRect( x, 0, x+ElemSize, WindowSize ) );
  140. highlighted[n] := FALSE
  141. END
  142. END UnHighlight;
  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 ); Pause;
  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 ); Pause;
  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 - 1 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, h, 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; h := ip - 1;
  278. WHILE l <= h DO
  279. m := (l + h) DIV 2;
  280. IF Less( x, m ) THEN ip := m; h := m - 1 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 ~