Resource constrained and speculative scheduling of an algorithm class with run-time dependent conditionals

We present a significant extension of the quantified equation based algorithm class of piecewise regular algorithms. The main contributions of the following paper are: the class of piecewise regular algorithms are extended by allowing run-time dependent conditionals; a mixed integer linear program is given to derive optimal schedules of the novel class we call dynamic piecewise regular algorithms; and in order to achieve highest performance, we present a speculative scheduling approach. The results are applied to an illustrative example.

[1]  J. G. Fyles,et al.  Pleistocene Geology of Arctic Canada , 1960 .

[2]  Paul Feautrier,et al.  Automatic Parallelization in the Polytope Model , 1996, The Data Parallel Programming Model.

[3]  David Gareth. Harry.  Aspects of the permafrost geomorphology of southwest Banks Island, Western Canadian Arctic. , 1982 .

[4]  Sanjay V. Rajopadhye,et al.  An optimal algo-tech-cuit for the knapsack problem , 1993, Proceedings of International Conference on Application Specific Array Processors (ASAP '93).

[5]  I. Lønne,et al.  Sedimentary facies and depositional architecture of ice-contact glaciomarine systems , 1995 .

[6]  Mark Nuttall,et al.  Encyclopedia Of The Arctic , 2004 .

[7]  J. Harper,et al.  Maximum Storm Surge Elevations in the Tuktoyaktuk Region of the Canadian Beaufort Sea , 1988 .

[8]  J. Shaw,et al.  Sensitivity of the coasts of Canada to sea-level rise , 1998 .

[9]  Philip R. Hill,et al.  Holocene sea-level history of the Canadian Beaufort shelf , 1993 .

[10]  André F. Lotter,et al.  Loss on ignition as a method for estimating organic and carbonate content in sediments: reproducibility and comparability of results , 2001 .

[11]  Thomas Kailath,et al.  Regular iterative algorithms and their implementation on processor arrays , 1988, Proc. IEEE.

[12]  R. Powell,et al.  Glacimarine processes at grounding-line fans and their growth to ice-contact deltas , 1990, Geological Society, London, Special Publications.

[13]  Frank Hannig,et al.  Resource Constrained and Speculative Scheduling of Dynamic Piecewise Regular Algorithms , 2004 .

[14]  Philip R. Hill,et al.  Geomorphologic and sedimentary evolution of a transgressive thermokarst coast, Mackenzie delta region, Canadian Beaufort Sea , 1999 .

[15]  Nicholas John Anderson,et al.  Holocene thermal maximum in the western Arctic (0-180°W) , 2004 .

[16]  Philip R. Hill,et al.  The Effects of the Holocene Sea Level Rise on the Evolution of the Southeastern Coast of the Canadian Beaufort Sea , 1995 .

[17]  Philip Marsh,et al.  Processes controlling the rapid drainage of two ice‐rich permafrost‐dammed lakes in NW Canada , 2001 .

[18]  R. West,et al.  Plant macroscopic remains from recent sediments of Banks Island, Northwest Territories, and Bathurst Island, Nunavut, Canada, and the interpretation of Quaternary cold stage plant macroscopic assemblages , 2000 .

[19]  Ed F. Deprettere,et al.  Compaan: deriving process networks from Matlab for embedded signal processing architectures , 2000, CODES '00.

[20]  Derald G. Smith,et al.  Vibracoring Fluvial and Deltaic Sediments: Tips on Improving Penetration and Recovery: RESEARCH METHOD PAPER , 1984 .

[21]  Yu-Chin Hsu,et al.  Optimum and heuristic data path scheduling under resource constraints , 1991, DAC '90.

[22]  A. Dyke,et al.  A reinterpretation of glacial and marine limits around the northwestern Laurentide Ice Sheet , 1987 .

[23]  Philip R. Hill,et al.  A sea-level curve for the Canadian Beaufort Shelf , 1985 .

[24]  Richard M. Karp,et al.  The Organization of Computations for Uniform Recurrence Equations , 1967, JACM.

[25]  J. C. Ritchie,et al.  Past and Present Vegetation of the Far Northwest of Canada. , 1985 .

[26]  Jürgen Teich,et al.  Regular mapping for coarse-grained reconfigurable architectures , 2004, 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[27]  Jean-Serge Vincent,et al.  Late Tertiary and Early Pleistocene Deposits and History of Banks Island, Southwestern Canadian Arctic Archipelago , 1990 .

[28]  J. Smol,et al.  Sediment Core Collection and Extrusion , 2002 .

[29]  David H. Roberts,et al.  Isolation basin stratigraphy and Holocene relative sea-level change on Arveprinsen Ejland, Disko Bugt, West Greenland , 1999 .

[30]  David J. A. Evans,et al.  Glaciers and Glaciation , 1997 .

[31]  D.I. Moldovan,et al.  On the design of algorithms for VLSI systolic arrays , 1983, Proceedings of the IEEE.

[32]  Uwe Eckhardt,et al.  Hierarchical algorithm partitioning at system level for an improved utilization of memory structures , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[33]  P. Gibbard,et al.  Quaternary glaciations : extent and chronology , 2004 .

[34]  Graham M. Megson.  Mapping a class of run-time dependencies onto regular arrays , 1993, [1993] Proceedings Seventh International Parallel Processing Symposium.

[35]  Ian D. Bryant,et al.  Fluvio-Aeolian Sedimentation—An Example from Banks Island, N.W.T., Canada , 1985 .

[36]  S. Solomon,et al.  Influence of ground ice and permafrost on coastal evolution, Richards Island, Beaufort Sea coast, N.W.T. , 1996 .

[37]  Arnaud Héquette,et al.  Late Holocene diatom biostratigraphy and sea-level changes in the southeastern Beaufort Sea , 2000 .

[38]  P. Barnes,et al.  Sea ice sediment entrainment and rafting in the Arctic , 1989 .

[39]  Nikil D. Dutt,et al.  SPARK: a high-level synthesis framework for applying parallelizing compiler transformations , 2003, 16th International Conference on VLSI Design, 2003. Proceedings..

[40]  R. Powell,et al.  Suspended sediment transport and deposition of cyclically interlaminated sediment in a temperate glacial fjord, Alaska, U.S.A. , 1990, Geological Society, London, Special Publications.

[41]  Scott A. Mahlke,et al.  High-level synthesis of nonprogrammable hardware accelerators , 2000, Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors.

[42]  Lothar Thiele,et al.  Resource constrained scheduling of uniform algorithms , 1993, J. VLSI Signal Process..

[43]  Ed F. Deprettere,et al.  Deriving process networks from weakly dynamic applications in system-level design , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).

[44]  Walter E. Dean,et al.  Determination of carbonate and organic matter in calcareous sediments and sedimentary rocks by loss on ignition; comparison with other methods , 1974 .

[45]  Julian A. Dowdeswell,et al.  Glacimarine Environments: Processes and Sediments , 1990 .

[46]  J. Andrews,et al.  The Laurentide and Innuitian ice sheets during the Last Glacial Maximum , 2002 .

[47]  A. Miall,et al.  Mesozoic and tertiary geology of Banks Island, Arctic Canada, the history of an unstable craton margin , 1979 .

[48]  E. C. Pielou.  A naturalist's guide to the Arctic , 1994 .

[49]  J. Vincent,et al.  Quaternary stratigraphy of the western Canadian Arctic Archipelago , 1984 .

[50]  Jürgen Teich,et al.  Dynamic Piecewise Linear/Regular Algorithms , 2004 .

[51]  P. Barnes,et al.  SEA-ICE INFLUENCE ON ARCTIC COASTAL RETREAT. , 1987 .

[52]  Paul Feautrier,et al.  Fuzzy array dataflow analysis , 1995, PPOPP '95.

[53]  Jean-Serge Vincent,et al.  The Sangamonian and early Wisconsinan glacial record in the western Canadian Arctic , 1992 .

[54]  Robert H. Bourke,et al.  Sea level rise in the Arctic Ocean , 2001 .

[55]  K. Lambeck,et al.  Estimates of the Regional Distribution of Sea Level Rise over the 1950–2000 Period , 2004 .

[56]  C. Burn,et al.  Tundra lakes and permafrost, Richards Island, western Arctic coast, Canada , 2002 .

[57]  Jürgen Teich,et al.  Automatic Synthesis of FPGA Processor Arrays from Loop Algorithms , 2004, The Journal of Supercomputing.

[58]  Doran Wilde,et al.  Regular array synthesis using ALPHA , 1994, Proceedings of IEEE International Conference on Application Specific Array Processors (ASSAP'94).

[59]  B. Ramakrishna Rau,et al.  PICO: Automatically Designing Custom Computers , 2002, Computer.

[60]  A. Dyke,et al.  Holocene delevelling of Devon Island, Arctic Canada: implications for ice sheet geometry and crustal response , 1998 .