Self-stabilizing Operating System

About

Please see my homepge publications or presentations

Get Latest

SOS ver 0.7 device drivers source disk image readme To check the image with Bochs: Install Bochs. Download and extract the above source. Download and save the above image at "./bin" (folder need to be created if you didn't build from source, alternatively see the above README for how to build). Run ./tools/boocs.cmd (make sure it points to the installed Bochs PATH) or ./tools/boocs_run.bash. With some effort SOS can run on (qemu) too: download bios files bios.bin(corboot+ADLO) and vgabios-cirrus.bin, patch qemu (instructions), enlarge sos image to at least 1MB and run command "qemu -L . -hda ./sos-dev.img"

Other Downloads

SOS ver 0.01 source

SOS ver 0.3 source

SOS ver 0.4 memory management 1 source

SOS ver 0.5 memory management 2 source

SOS ver 0.6 memory management 3 source

SOS ver 0.801 - a Byzantine guest source

Test Results

Tests comparing the code of version 0.3 against the same code excluding checks required for self-stabilization, were performed. The tests included the same task (output of text to the screen) being run by increased number of processes. There was an almost fixed and negligible time difference in the executable between the two cases (around 0.25%). See the following graph which shows the number of tasks against execution time in seconds. The two cases are almost identical. (My thanks to the anonymous reviewer who raised this issue)