Not relevant here. The paper talks about correctness for parallel kernel-level threads. In contrast, lthreads are about concurrency. These user-level threads a

Not relevant here. The paper talks about correctness for parallel kernel-level threads. In contrast, lthreads are about concurrency. These user-level threads are about software architecture, because they are more elegant than an event-loop. Parallelism (exploiting multicore hardware for a speedup) is a secondary goal, but it is much easier to parallelize a user-level thread program compared to an event loop program.