The Compiler Forest

Abstract. We address the problem of writing compilers targeting complex execution environments, such as computer clusters composed of machines with multi-core CPUs. To that end we introduce partial compilers. These compilers can pass sub-programs to several child (partial) compilers, combining the code generated by their children to generate the final target code. We define a set of high-level polymorphic operations manipulating both compilers and partial compilers as first-class values. These mechanisms provide a software architecture for modular compiler construction. This allows the building of a forest of compilers, providing a structured treatment of multistage compilers.

A loop unrolling method based on machine learning

In order to improve the accuracy of loop unrolling factor in the compiler, we propose a loop unrolling method based on improved random decision forest. First, we improve the traditional random decision forest through adding weight value. Second, BSC algorithm based on SMOTE algorithm is proposed to solve the problem of unbalanced data sets. Nearly 1000 loops are selected from several benchmarks, and features extracted from these loops constitute the training set of the loop unrolling factor prediction model. The model has a prediction accuracy of 81 % for the unrolling factor, and the existing Open64 compiler gives 36 % only

Simple algebraic data types for C

ADT is a simple tool in the spirit of Lex and Yacc that makes algebraic data types and a restricted form of pattern matching on those data types as found in SML available in C programs. ADT adds runtime checks, which make C programs written with the aid of ADT less likely to dereference a NULL pointer. The runtime tests may consume a significant amount of CPU time; hence they can be switched off once the program is suitably debugged

Richmond National Battlefield Park

This post is part of a series featuring behind-the-scenes dispatches from our Pohanka Interns on the front lines of history this summer as interpreters, archivists, and preservationists. See here for the introduction to the series. Richmond National Battlefield Park consists of thirteen sites around Richmond that document the battles for control of the Confederate capital. Several of the park sites feature earthworks; at Fort Harrison the earthen wall of the fort towers twenty feet over the ditch below, by the Totopotomoy Creek the earthworks have been eroded to barely a few inches in height. But the most infamous earthworks are on the Cold Harbor battlefield. [excerpt