Editing Parallel computing (section)

===Automatic parallelization===
{{main|Automatic parallelization}}
[[Automatic parallelization]] of a sequential program by a [[compiler]] is the "holy grail" of parallel computing, especially with the aforementioned limit of processor frequency. Despite decades of work by compiler researchers, automatic parallelization has had only limited success.<ref>{{cite book |last1=Shen |first1=John Paul |last2=Lipasti |first2=Mikko H. |year=2004 |title=Modern processor design: fundamentals of superscalar processors |edition=1st |publisher=McGraw-Hill |location=Dubuque, Iowa |isbn=978-0-07-057064-1 |page=561 |quote=However, the holy grail of such research—automated parallelization of serial programs—has yet to materialize. While automated parallelization of certain classes of algorithms has been demonstrated, such success has largely been limited to scientific and numeric applications with predictable flow control (e.g., nested loop structures with statically determined iteration counts) and statically analyzable memory access patterns. (e.g., walks over large multidimensional arrays of float-point data).}}</ref>

Mainstream parallel programming languages remain either [[Explicit parallelism|explicitly parallel]] or (at best) [[Implicit parallelism|partially implicit]], in which a programmer gives the compiler [[Directive (programming)|directives]] for parallelization. A few fully implicit parallel programming languages exist—[[SISAL]], Parallel [[Haskell]], [[SequenceL]], [[SystemC]] (for [[Field-programmable gate array|FPGAs]]), [[Mitrionics|Mitrion-C]], [[VHDL]], and [[Verilog]].