Tag Archives: synchronization

Software Design and time synchronization

I have a blog post up at fsmlabs.com about our TimeKeeper software for time synchronization. TimeKeeper is currently aimed at financial trading markets, but we also hope to market it to electric power  distribution and transmission engineers who have a … Continue reading

Posted in data center, green power | Tagged , , , | Leave a comment

RTOS design and embedded system development

Real-time operating systems are either a solved problem or a backwater of engineering design. Threads, semaphores, mutexes, some basic I/O, priority scheduling all of this has been more or less standardized in the  POSIX 1003.13 smaller profiles (51,52) for many … Continue reading

Posted in embedded systems, green power, operating systems, software engineering | Tagged , , , | Leave a comment

Updated: meaning of concurrent programs

Updated rough draft available with thrilling descriptions of atomic compare and swap and some comments on “formal methods”. Bonus photo

Posted in software engineering | Tagged , , , , , , | 1 Comment