Home » Architecture » Correctness

Correctness

Nicole Hemsoth, HPCWire, Lustre Founder Spots Haskell on HPC Horizon, here. The Haskell FPGA Compiler should be interesting.

The saying goes that in Haskell, the function is a first-class citizen–and this status might make it a solid fit for a range of high performance computing environments. Despite what Braam admits is a daunting learning curve, there is an open field of possibilities for Haskell to infiltrate HPC. As it stands, there is an active community around it and around 5000 open source and tools available. But the real value for high performance computing, he argues, lies in Haskell’s productivity and correctness–a worth that’s been validated in select industrial use cases.

Arguably, Google and Facebook have brought more attention to Haskell in recent years, but there are a number of other notable uses that highlight Braam’s confidence in the functional language. For instance, Chicago-based Allston Trading, a high frequency trading company, uses Haskell in their trading infrastructure. AT&T is using it in their Network Security group to automate internet abuse complaint processing. Bank of American is using it in their backend data transformation and loading system and Credit Suisse’s Global Modeling and Analytics Group has been using it since 2006 to improve modeler productivity and open access to those models across the organization.

Peter Braam, CUFP, The Awesome Haskell FPGA Compiler, here.

The use of hybrid CPU/FPGA systems shows great promise for dramatically improving the performance of data-intensive applications. In addition, a new generation of application switches with integrated FPGAs provide the ability to run high-performance and mission critical applications in the network itself. We believe the major impediment to full scale deployment of these systems is the time and effort required to design and implement integrated hybrid solutions.

Parallel Scientific’s Awesome Haskell FPGA Compiler provides the environment that allows a developer to express hardware solutions in a high-level Domain Specific Language (DSL). The environment allows software simulation and testing of the solution in an interactive environment, thus avoiding the extremely long development cycle times traditionally required for FPGA design. Once the design has been verified in software, the compiler and tool chain create industry standard Verilog which then feeds into the FPGA vendor’s existing tool chain.

Dustin Sklavos, Anand Tech, Haswell and GK110 vs. Ivy and GK104: DigitalStorm Virtual System Review, here.

If you’re like me, you were probably incredibly underwhelmed by initial reviews of Haswell. Ivy Bridge proved to be a decent overclocker, but Intel’s miserly switch from fluxless solder to thermal paste as a thermal interface material in their chip packaging put a hard limit on what we could really do with it, and they’re continuing that aggavating trend with Haswell. One of the most frustrating results is a flattening of the overclocked performance curve from Sandy Bridge to Ivy Bridge, and thankfully we can at least test and see today if Haswell does anything to change things.

Ian Cutress, Anand Tech, Intel Z87 Motherboard Review with Haswell: Gigabyte, MSI, ASRock and ASUS, here.

https://i0.wp.com/images.anandtech.com/doci/6989/Intel%20Z87%20Block%20Diagram.png

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: