Around 51:40 he talks about how semaphores are a bad idea, and says that something called "pseudotime" was a much better idea but which never caught on. What i

Around 51:40 he talks about how semaphores are a bad idea, and says that something called "pseudotime" was a much better idea but which never caught on. What is this "pseudotime"? Google turns up nothing. Am I mis-hearing what he said?