Including an OS
I try to study the IncludeOS with respect to mult-threadedness or even concurrency
I try to study the IncludeOS with respect to mult-threadedness or even concurrency
Excerpt: I hope it to be a note showing whether it’s possible to code the animated tree in concurrent JavaScript code. Or rather, which solution to choose – or which that suits best. «JavaScript is the most commonly used programming language on earth. Even Back-End developers are more likely to use it than any other language» – stackoverflow Developer Survey Results 2016. In other words: most of the world’s programmers are deprived of concurrency support in their programming language.
Started 25Aug2015, edited 21Aug2016 This page is in group Technology and is about a facet of multi-threaded concurrent programming where some seem to think that synchronous non-buffered channels and processes are incompatible with hard real-time systems and guaranteed deadlines. Over a beer the other night, but oh so serious, I heard a computer scientist challenge C. Liu and J. Layland’s […]
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 […]
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 […]
Started 8Sept2014, updated 08Nov2024 (New style of References. Clos-network added to Wikipedia refs. User forums). This page is in group Technology and is about a facet of multi-threaded (or perhaps single-threaded) programming After having heard so often that «blocking is evil» and that it’s kind of the opposite – a necessary side of life – I have finally unblocked on the […]
Started at Caffè Nero at Blackwell’s in Oxford on 24Aug2014, updated 17Sept2014. 22Oct2023: typos fixed. This page is in group Technology . (Update Oct2023: Observe that this note was written before I got acquainted with the XMOS xCore architecture and the xC language. TODO: I might one day make an addition for this.) Atomic is a […]
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]. […]
New Dec2011, here Jan2014 (updated 12Feb2014) This page is in group Technology Intro This note is about programming language source code’s syntax and semantics. (Some implicit references are at Wiki-refs) I will try to explain WYSIWYG semantics and discuss whether the new term stuttering semantics is of any value. It’s new here and meant to […]
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 […]