Specification for Low Overhead Tool Annotations Released

Program analysis tools can be valuable for debugging program correctness and performance issues, even more so for multi-threaded programs.   Some of these tools need to know about certain events in the program. For example, race detection for Intel® Cilk™ Plus programs requires knowing precisely when spawn and sync events happen.  Similar events are necessary to analyze […] Read more >

New Rules for Array Sections in Intel(R) Cilk(TM) Plus

Fans of Cilk Plus or language specifications may be interested in the revised specification of Intel® Cilk™ Plus posted at .   Clark Nelson did most of the work for turning the previous specification into something closer to standardese and illuminating ambiguities in the previous specification.  I’ll mention two important changes that the new specification to […] Read more >