Author Archives: sdowney

A further digression, because it turns out I want to be able to permute a tuple at run time. That means treating the element of a tuple generically. And I can just barely do this, for some tuples, in c++17. So a slight digression into ADTs. Which in this case means Algebraic Data Types, not […]

Table of Contents 1. Setting up Cross Compiling 2. Sysroot 3. Static linking 4. CMake 5. Sources 1 Setting up Cross Compiling In order to test out some of these multi-threaded tool properly, I really need to run them on a less strict platform than x86_64. X86_64 provides a lot of guarantees about sequential consistency […]

1 A batch of tasks to run This adds a rather simple component to spingate orchestrating a batch of tasks to be run, gated by the spingate. The tasks are added one at a time, a thread is created for the task, and the thread waits on the spingate to open before calling the task. […]

1 Building a simple spin gate in C++ This is a very simplified latch which allows several threads to block and busywait until they are released to begin work in parallel. I’m using this to do some multi-thread stress testing, where I want to maximize the overlapping work in order to check for suprising non-deterministic […]

Table of Contents 1. Why notes 2. Getting Ready 3. Configure and build with magic option 1 Why notes Making notes so I don’t forget, although the key problem is fixed upstream. Ubuntu 16.10 (Yakkety Yak) has made a critical change to the system compiler, and everything is by default built with position independent executable […]

Yet another test post. Testing post via email

These are the exercises from chapter 3 ofReal World Haskellby Bryan O’Sullivan, Don Stewart, and John Goerzen> module RWHChapter3 where{-# OPTIONS_GHC -XMagicHash #-}Some useful things to check my work:> import Test.QuickCheck> import Data.List> import GHC.Prim> import GHC.Base1) Write a function that computes the number of elements in a list. To test it, ensure that it […]

If I set the up correctly, I can now embed mathematical formulas in my blog: