Most Recent Verify Posts RSS

Xeon Phi vs. GPU Programming: Which Is Better?

While covering the Xeon Phi MIC architecture, the question of how this compares to targeting the high-core GPUs available sometimes comes up. Jeff Cogswell tackles the question and weighs the tradeoffs. A reader recently contacted me and asked the difference between programming for a GPU and programming for the Xeon …

Read Full Post Posted in Verify | Leave a comment

Creating an Intel Fortran MKL Project in Visual Studio

Jeff Cogswell demonstrates how to create a Fortran project in Visual Studio, and then how to configure it to use Math Kernel Library.

Read Full Post Posted in Design | Leave a comment

Intel’s Online Tool Simplifies Choosing Correct Compiler Options

Setting up the correct compiler and linker options to work with the Intel Math Kernel library can be difficult. Intel has a document that’s over 100 pages on the topic. But fortunately, the company also provided a handy tool to simplify the process. Jeff Cogswell explores that tool.  The Intel …

Read Full Post Posted in Build | Leave a comment

Vectorization, The Other Parallelism

  Moore’s Law correctly predicted that processor transistor density would increase year after year. All those extra transistors have been used to make powerful hardware capabilities like multiple cores and hardware extensions that improve performance. Intel processors have extensions that support SIMD (single instruction, multiple data) parallelism with Intel® SSE …

Read Full Post Posted in Verify | Leave a comment

Speedy Agile QA Testing

The time to find latent errors is early in agile development—not after you ship product. Read how the new Intel Inspector XE 2013 helps meet QA and developer demands and enables you to deliver reliable code to market faster, under tight deadlines.  Download Intel Inspector XE 2013 one-sheeter here (pdf.)

Read Full Post Posted in Verify | Leave a comment

Real-World Verification, Done Fluidly

  While it’s important to master the tools used in parallel development such as Parallel Composer, Parallel Amplifier and Parallel Inspector, it’s good now and then to step back and let the work of others inspire your work.  Today we’ll see how a company called Flow Science used the full …

Read Full Post Posted in Verify | Leave a comment

Benign Data Races: What Could Possibly Go Wrong?

A data race occurs when two threads access the same variable concurrently and at least one of the accesses is a write. Data races are one of the most common and hardest to debug types of bugs in concurrent systems. Data races on complex data structures (like strings and hash …

Read Full Post Posted in Verify | Leave a comment

Tracking Usability Bugs

A usability bug is any unintended behavior by the product, noticed by and impacting the user – and not in a good way.  Find out how to track yours.  Read more here.

Read Full Post Posted in Verify | Leave a comment

Checklist for Programming Intel® Xeon Phi™ Coprocessors

  Key tips for programming a high degree of parallelism, while using familiar programming methods and the latest Intel® tools supporting the Intel® Xeon Phi™ coprocessor. Read the complete posting here. 

Read Full Post Posted in Verify | Leave a comment

Pointer Checker: Easily Catch Out-of-Bounds Memory Accesses

This article introduces a powerful new feature called Pointer Checker, which precisely and easily isolates elusive bugs in programs. Found in the Intel® C++ Composer XE 2013 product, its integration into the compiler adds powerful functionality in a way that slides seamlessly into build systems. Clever implementation and powerful error …

Read Full Post Posted in Verify | Leave a comment