My Rust programming language notes

New: New 29Apr2024. Updated 09May2024. In work. This page is in group Technology That Rust doesn’t, but this Rust won’t rust, right? «Rust has been said to be named after a particularly robust type of fungi that is “over-engineered for survival” according to Hoare.» from [1]. «Rust began as a personal project in 2006 by […]

Embedded threads in par for you?

Started 25Oct2023, updated 30Oct2023. This will be is in group Technology if I think it would be might be worth it. At first I will try to list up relevant other blog notes or lectures I have done or presented over the years, those may have filled in the same points that I initially thought […]

XCHANs: Notes on a New Channel Type

New 05Oct2023 – updated 09Oct2023. This paper is in group Publications. This note is a restoration and update of XCHANs: Notes on a New Channel Type. See the still existing CPA 2012 page. XCHANs: Notes on a New Channel Type Øyvind Teig. Autronica Fire and Security (AFS) (A UTC Fire and Security company) – https://www.autronicafire.no […]

Publications

Mirror from Publications stopped Oct2023. Now only updated here. In English Updated 05Oct2023. Newest on top of the lists: Publications & lectures IEEE-COPA 2021 joint fringe presentation with Dr. Lawrence John Dickson (Larry): Torus heat equations to get dizzy from. Hooping with xC Dec.2020 IEEE life members newsletter: «Lucky Strike with Missing Bytes« CPA-2018 CPA […]

Determined about buffers and bit arrays?

Published 22Dec2016. More like a scratchpad, updated 15July2019 This page is in group Technology. If you want to follow me to try to find out why queueing of entry calls in Ada causes nondeterminstic (scheduling? timing? deadline?) and try to understand why the scheduling of processes on the defunct transputer is the opposite(?), then jump […]

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

Timing out design by contract with a stopwatch

Excerpt: Can time be part of a contract? Is it a contract when time is included? «Shall we meet at half past eight at the Pub for a beer?» Let’s steer past that one. Timing requirements are important, they are extensively used in hard real-time systems. In some protocols a client does not need to send any «end of request» signal as the server times out after a period of inactivity to close the connection (like HTTP persistent connections). This blog note tries to discuss when timeouts are fine to use, and when they do turn the components’ interactions into a quiz.

JavaScript tree becoming concurrent?

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.

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