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
Read moreRTLinux 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
Read moreRISC-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.
Read moreWhat 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
Read moreSmart and dumb clients and the “so-called” Best Master Clock Algorithm in PTP IEEE 1588
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
Read moreUpdate of UNIX filesystem paper
download the paper
Read moreRight 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
Read moreTelecom 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
Read moreProject 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
Read moreA 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
Read more