Four labs for the operating system course at FUDAN, which follows the course 6.828 at MIT