Channels and rendezvous vs. safety-critical systems

New 19Dec2011, moved here 11April2017, updated 03Mar2024 This note is in group Technology and My Go (golang) notes, and discusses the Ada Ravenscar Profile (subset) for safety-critical systems – as seen from the outside of the Ada community. (Update 28Apr2019: observe that the Ada Conformity Assessment Authority works on another profile, the Ada Jorvik Profile that […]

xC is C plus x

Started 7April2017, updated 03Mar2024 (Replicated select case) This page is in group Technology (plus My XMOS pages) and is a blog note trying to scribble down some info about the XMOS xC language that I haven’t found elsewhere. I love it. But, alas, xC appears as C plus unknown X. I’ll help finding min(X). Also see more xC code […]

Towards a taxonomy(?) of CSP-based systems

New: 12Oct2016. Last updated 25Aug2021 This page is in group Technology. This note started with an attempt to look at how channels are modelled (in code, really) but then ended up with trying to systemise what I found. The note was even called Channel structures at the start. Fold handling with Collapse-O-Matic plugin I am using Collape-O-Matic (here) […]

Know your timer’s type

New 27Feb2012, moved from 041 4Sept2015. Updated 24Sept2018 This page is in group Technology and is a note showing how you might implement a timer system better with correct typing. It assumes that you’re a systems programmer and understands that the system timer is the fastest you get at this level, since it’s incremented on every system timer/clock […]

CSP on Node.js and ClojureScript by JavaScript

Started 26Feb2014, updated 20Sep2021 (PyCSP) This page is in group Technology Intro There are some implicit Wiki-refs at the bottom. These terms are be bold at first occasion. I want learn a little more on CSP (Communicating Sequential Processes), and from zero I want to learn about Node.js, Clojure, ClojureScript (all server side) and JavaScript (client side). I will learn […]

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 […]