Swift concurrency(?)

New 12Jan2017, updated 2Apr2019 Intro In this note I will try to track what’s happening with Swift and concurrency. I already have mentioned Swift some (https://www.teigfam.net/oyvind/home/?s=Swift) and I won’t repeat here – only to say that there per se, at the moment, is no concurrency support in the language. Swift 3 users are supposed to use […]

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

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.

Timeouts and antiresonance(?) stop

Started 15April2016 – 7Aug2017 (typo) This page is in group Technology. Coding with timeouts may be the only correct solution, but it may also become one of your worst coding nightmares. Reading it over this may be a rather complicated note that perhaps requires that you have some experience. «Timeouts and several parties causing antiresonance stop» […]

My SafeRTOS notes

There is a nice series of development boards by ST called STM32 MCU Nucleo (here [1]), based on an ARM. One of these appeared on a table near me. They guy who had it said that «they also tell about a free operating system». It happened to be FreeRTOS™ (here [2]) by Real Time Engineers Ltd on freertos.org [3]. I eagerly looked it up and was fast pointed to WITTENSTEIN HighIntegritySystems (by The WITTENSTEIN Group) here [4]. They do SafeRTOS, so I downloaded its manual here [5]. This is a IEC 61508 (here [6]) approved RTOS. Since I work with safety critical systems (and have some blog notes here covering some aspects of 61508, like in note 065 [7]) I started to read. It spurred some questions.

«The Go Programming Language» by Donovan & Kernighan

New 18Jan2016. Updated 6April2016 This page is in groups Technology and My Go (golang) notes. «The Go Programming Language» by Alan A. A. Donovan & Brian W. Kernighan. Addison-Wesley. ISBN-13: 978-0134190440, ISBN-10: 0134190440. I am commenting on the first paper printing of October 2015,  © 2016 by the authors. The book’s web page is at http://www.gopl.io/ Following the K&R book […]

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.

Go(-lang) forums matters

New Oct2015, updated 15May2021. This note is in groups Technology and My Go (golang) notes. I think it’s fair to copy my own comments at Go Forum in this note. I would also do newer golang-nuts and golang-dev matters that I have taken part in. The latter forums I won’t backlog. You will have to go there to read […]