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 […]
New: 25July2013, updated 29Apr2024 (08Nov2024 New style of References) 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 […]
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 […]
Jan2012, updated 08Nov2023 (PX5) This page is in group Technology. Also see Standard disclaimer Scratchpad 1 I plan to scribble on this note to discuss some, in my opinion, peculiar aspects of the IEC 61508 functional safety-critical standard. I will only discuss process safe (or thread safe) programming in IEC 61508 context. Is the IEC 61508 end user safe in this […]
«Becoming textual: attempting to model ‘XCHAN’ with CSPm» «Using FDR2 and ProBE tools when state-ing is not enough» This page is in group Technology. By Øyvind Teig, Autronica Fire and Security. Original 15April2013, updated August2013 Delivered as exam lecture for «TK8112 – The Theory of Concurrency in Real-Time Systems» All original lecture material: http://www.teigfam.net/oyvind/blog_notes/063/063-Teig-NTNU.zip. It’s not […]
Published 3Jan2013, updated 20Nov2018 This page is in group Technology. In this blog I will jot down some experience with installation and use of the FDR2 tool [1] which analyses CSP (Communicating Sequential Processes) specifications [5]. My experience is that I try to avoid Unix, OSX, Terminal and bash scripting. But here is my last journey into it. Important notice about […]
Published 31Dec2012, updated 30Nov2021 This page is in groups Technology, My Go (golang) notes and My XMOS pages. This blog note has been moved from http://oyvteig.blogspot.no/2012/04/045-nondeterministic-note-about.html. I have written a little about nondeterminism before [1], [2]. [1] is about Ada and the Ravenscar Profile for safety-critical systems. The newer note IEC 61508 and (safe?) concurrency also covers the matter somewhat. Observe that (non)determinsm […]
Also see Google Scholar «Øyvind Teig» here About These blogs are «mine», but I try to spice them with other people’s opinion as expressed to me, most often if people do reply to a mail. If so, I always ask for permission. The more I blog the more I realise that I am not a computer scientist, and […]