MiFID2 and security – keeping track of the money
A shorter version of this post is on the FSMLabs web site. MiFID2 is a new set of regulations for the financial services industry in Europe that includes a much more rigorous approach to timestamps....
View ArticleWindows support in Timekeeper and MiFID II Compliance
TimeKeeper® PTP/NTP time synchronization software now works on Microsoft Windows® Operating Systems including Windows 7, Windows 8 and Windows Server 2012. This has been a lot longer in coming than we...
View Articleultrafinitism
I have seen some ultrafinitists go so far as to challenge the existence of 2100 as a natural number, in the sense of there being a series of “points” of that length. There is the obvious “draw the...
View ArticleRTLinux early paper from 20 years ago
An early RTLinux paper with Michael Barabanov. real_time_1996 Only 20 years later, the idea is now not too scary. Real-Time Linux Michael Barabanov Victor Yodaiken March 3, 1996 1 Introduction If you...
View ArticlePatent 5,995,745
Adding real-time support to general purpose operating systems AbstractA general purpose computer operating system is run using a real time operating system. A real time operating system is provided for...
View ArticleAlgebra for computer science and function nesting
The fundamental mathematical basis of computer science is that code and data are the same things. A sequence of bits can represent real numbers, integers, vectors, groups, matrices, video , audio, or...
View ArticleRelaxed memory order
Two interesting posts on the order in which reads and writes happen and are made visible on shared memory multi-processors. X86 has a strong memory model in which if X=Y=0 and then processor core 1...
View ArticleKirkhart’s conjecture
Is that there is some insight into the nature of primes that comes from considering the classes of numbers that share the same set of prime factors. For example 2x3x5 = 30, 4x3x5 = 60, 2x9x5 = 90,...
View ArticleMiFID II, GPS and UTC time
I have a post up on FSMLabs web site about the use of GPS and other satellite time for MiFID II timestamp compliance. It’s fascinating how much effort has recently gone into trying to convince people...
View ArticleTheories of abstract automata – Arbib
We have said that automata theory deals with the realization of partial functions F: X* —» Y* by some finitely specifiable substrate. Before we specify in more detail the forms (of which the Turing...
View ArticleESMA clarifies time sources for MiFID II
ESMA just released guidelines that reinforce what was already clear in the MiFIDII regulation – that GPS time is a perfectly acceptable source of “traceable” time. There is a lot else that is of...
View ArticleMore on Fischer, Lynch, Patterson and the parrot theorem.
I’m thinking about distributed consensus algorithms, timestamping, and databases, and am repeatedly seeing references to the Fischer, Lynch, Paterson “theorem”. Here is the problem statement The...
View ArticleProcess algebra versus state machines part 1
Robin Milner’s influential book Communication and Concurrency involves a take on state machines that has always puzzled me. “Now in standard automata theory, an automaton is interpreted as a language,”...
View ArticleKeynes apology
The composition of this book has been for the author a long struggle of escape, and so must the reading of it be for most readers if the author’s assault upon them is to be successful,—a struggle of...
View ArticlePaxos and other consensus algorithms – draft. updated plus chang/maxemchuk
I’ve been looking at Paxos and Raft and Zab and other algorithms that can loosely be called “consensus” algorithms because we want to see where we can improve distributed system operation with...
View ArticleThe Auragen file system.
This article on the interesting Wave Transactional File System inspired me to look up an earlier file system that also used copy on write semantics. From: Anita Borg, Wolfgang Blau, Wolfgang Graetsch,...
View Articleone way queues
Here’s some code for lock free queues for a single producer and single consumer. The code is designed for Intel multiprocessors with strong memory model. I don’t know what ARM offers these days. But...
View Article