Free Software Patents: Alan Cox
1. A method, comprising: storing, by one or more processors, confidential data in a confidential section of virtual memory, wherein storing the confidential data in the confidential section of virtual...
View ArticleBig Data and politics
For the general public, there was no way to know that the idea for the Parker contest had come from a data-mining discovery about some supporters: affection for contests, small dinners and celebrity....
View ArticleObama’s big data team
Those applications used a huge chunk of Amazon’s Eastern data center. “We had thousands of nodes,” said VanDenPlas. “We pushed 180TB of traffic with billions and billions of requests. We had 60% of all...
View ArticleA basic design error in software
Suppose we didn’t know too much about bridge design, but were convinced that (a) the current design methods were too slow and unmodular to be useful, and (b) not knowing anything about structure other...
View ArticleReal-time Linux
My opinion has always been that the Linux-RT project was based on an unfixable engineering error. A few words on the status and the future of RT: ----------------------------------------------- The...
View ArticleClik here to view.
Cassandra
Cassandra’s unfortunate end. Cassandra is quite interesting – and time sync seems increasingly critical to correct operation. Here are some resources: A paper on the storage model from developers at...
View ArticleA claimed validated operating system.
The claim: we have demonstrated the comprehensive formal verification of the seL4 microkernel, with a complete proof chain from precise, formal statements of high-level security and safety properties...
View ArticleProject Roseline
Accurate and reliable knowledge of time is fundamental to cyber-physical systems for sensing, control, performance, and energy efficient integration of computing and communications. This simple...
View ArticleClik here to view.
Telecom is 10 years behind wall street on time synchronization
This is an interesting paper, but Telecom has not yet come to grips with the problems and advantages of fast shared commodity ethernet interconnect. North American service providers are in the process...
View ArticleRight to private jet ski use while collecting disability
New York authorities said the warrants led to the indictments of firefighters, police officers, and civil servants on disability fraud charges. The Facebook data, which included user photos and...
View ArticleClik here to view.
Smart and dumb clients and the “so-called” Best Master Clock Algorithm in PTP...
The Best Master Clock (BMC) algorithm is a key part and key weakness of the PTP standard. The proposed enterprise profile for PTP calls it “the so-called ‘best master clock'” algorithm because it...
View ArticleWhat does the UNIX file system do?
Unix, Linux, Windows and other operating systems and the world wide web all support file systems with the familiar path file names like "/home/snowden/travel/boardingpass.pdf" or...
View ArticleRISC-V and Bloat
Went to UT today to listen to David Patterson speak about the open RISC instruction set architecture and processors he and his colleagues are developing. As a software developer, hearing about free...
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 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 ArticleClik 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