VESPA: static profiling for binary optimization

Over the past few years, there has been a surge in the popularity of binary optimizers such as BOLT, Propeller, Janus and HALO. These tools use dynamic profiling information to make optimization decisions. Although effective, gathering runtime data presents developers with inconveniences such as unrepresentative inputs, the need to accommodate software modifications, and longer build times. In this paper, we revisit the static profiling technique proposed by Calder et al. in the late 90’s, and investigate its application to drive binary optimizations, in the context of the BOLT binary optimizer, as a replacement for dynamic profiling. A few core modifications to Calder et al.’s original proposal, consisting of new program features and a new regression model, are sufficient to enable some of the gains obtained through runtime profiling. An evaluation of BOLT powered by our static profiler on four large benchmarks (clang, GCC, MySQL and PostgreSQL) yields binaries that are 5.47 % faster than the executables produced by clang -O3.

Dwa oświeceniowe wykłady geometrii — dyskursywny obraz świata

Two Enlightenment lectures on geometry: A discursive worldviewThis article focuses on the history of the Polish educational and scientific discourse. The paper examines Polish texts by Józef Czech — Euklidesa początków jeometryi xsiąg ośmioro, to iest sześć pierwszych, jedenasta i dwunasta z dodanemi przypisami i trygonometrią dla pozytku młodzi akademickiey Euclid’s six books on geometry, that is the first six books, the eleventh book and the twelfth book with notes and geometry for the benefit of university youth, 1807 and by Ignacy Zaborowski — Jeometria praktyczna Practical geometry, 1786.The science of the 19th century is an area for gaining empirical, theoretical, and practical knowledge of the world. The paper discusses this problem in the context of methods which can be employed to analyze the image of the world. The author of the article presents the concept of discursive worldview, which is meant to enable the description of dynamic profiling of meanings in educational and scientific discourse.