A Pipelined Multi-Core Machine with Operating System Support - Lutsyk (Springer International Publishing, 2020)