Typed Task Mutex Lock

Question

On a machine-learning platform, a large number of short jobs run at once, and every job gets a thread to itself. There are two kinds of job: generation jobs ("gen") and scoring jobs ("score"). On the shared hardware each kind would interfere with the other. The platform therefore lets jobs of the same kind overlap in any number, but a gen job and a score job may never be running at the same moment. ...