An introduction to operating systems