Quantcast
Channel: keeping simple
Browsing all 195 articles
Browse latest View live

Image may be NSFW.
Clik here to view.

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 Article


Image may be NSFW.
Clik here to view.

Windows 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 Article


ultrafinitism

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 Article

RTLinux 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 Article

Patent 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 Article


Algebra 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 Article

Relaxed 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 Article

Kirkhart’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 Article


Image may be NSFW.
Clik here to view.

MiFID 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 Article


Theories 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 Article

Image may be NSFW.
Clik here to view.

Practical State Machines for Computer Software and Engineering

Click image for PDF.

View Article

Image may be NSFW.
Clik here to view.

ESMA 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 Article

Image may be NSFW.
Clik here to view.

More 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 Article


Process 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 Article

Keynes 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 Article


Paxos 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 Article

The 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 Article


Image may be NSFW.
Clik here to view.

one 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

Notes on modularity and algebra updated

Download.

View Article

Software quality at toyota

The good stuff starts on page 36 Koopman.   

View Article
Browsing all 195 articles
Browse latest View live


Latest Images