Spin-and-burn loop leveling

22May2015, updated 4June2017 This page is in group Technology and is a note about how an embedded controller might favourably spin to burn cycles. It describes an exception. I have used the word spin rather than block here even if it is an example of rather red blocking in the earlier note Not so blocking after all. I have been trying to make […]

My XMOS notes

Started 18Feb2015, updated 27Oct2021 (MIPI) – Plus a short update 31May2023 («NumPages» for .xe file for 14.4.1) This page is in group Technology (plus My XMOS pages) and is a blog note about my experience with the XMOS toolset xTIMEcomposer and XMOS HW and how I am going to use used the startKIT to control a small 40 litre […]

How much concurrency?

Started 29Oct2014, updated 1Sept2015 (then a small chapter on XMOS 12Nov2021) This page is in group Technology and is about a facet of multi-threaded concurrent programming where it’s an important matter that more or less independent sw-processes shall not make running difficult for the others. Intro During my previous blog notes, especially «Not so blocking after all» I […]

Rich interface component modeling

This page is in group Technology. Started work on this 1Feb2014, probably finished now (updated 7Jul2020 (table)) Intro In this note I will describe two articles about software components. The article «Component Models for Reasoning» (Seceleanu, Crnkovic) [01] and «Tool support for the rapid composition, analysis and implementation of reactive services» (Kraemer, Slåtten, Herrmann) [02]. […]

HTML5 and concurrency

New 4Dec2013, ready 08:09:10 11.12.13 (updated 15Mar2014) This page is in group Technology. Intro My starting point with this note was my surprise of the JavaScript «concurrency model» [01] – as described in HTLM5 [02] («WebAppAPIs»). I asked myself whether this «single-threaded» model had been influenced by the Model-View-Controller (MVC) [03]. Maybe, in any case […]

A reactive manifest

New: 10Nov2013, updated 22Feb2024 (Some moved to 254:[] typos, plus added some). This page is in group Technology. This note on the Internet Archive‘s Wayback Machine: A reactive manifest Disclaimer Whether this note manifests itself as a manifest, remains to be manifested. Background I will in this blog try to critically analyse The Reactive Manifesto [1]. The […]

Eventual concurrency

Started 12Sep2013, finished 19Sep2013. Updated 28Jan2014 This page is in group Technology. Intro In this blog page I will try to understand how so-called «single threaded» software architectures based on «event-loop concurrency» and callbacks (where mostly all blocking is «evil»), differs from light-weight processes that communicate using channels  (where any needed non-blocking is built explicitly (or by […]

Block play for blockers

1Sep2013 – updated 19Feb2015 This page is in group Technology. This is a small contribution for software programmers who do concurrent programming. It is a naïve follow-up from a previous blog note: Pike & Sutter: Concurrency vs. Concurrency, meant to install a gut feeling of when blocking is not evil. Looking back I have discovered some milestones […]

Pike & Sutter: Concurrency vs. Concurrency

New: 25July2013, updated 29Apr2024 This page is in groups Technology and My Go (golang) notes. Updates An aside on async/await 28Apr2024. Rob Pike, at GopherConAU 2023 gave a lecture called «What We Got Right, What We Got Wrong» (here). He talks about Go concurrency at 11.30. My point here is his aside on the increasingly popular async/await paradigm. […]

IEC 61508 and (safe?) concurrency

25 April 2013 (last edit 21June2013) This page is in group Technology. Background Concurrency on Wikipedia or [3]. This note is a branch from 065. 035, 023 are perhaps also relevant. My XCHAN paper is a contribution to making concurrency easier, trying to merge the how SDL and CSP may view communication (Also discussed in 056). If you checked the references […]