higher linux timer accuracy and workers example (no smp support yet though)