FWIW, the ftrace infrastructure has on many an occasion (even before it was called ftrace and specific to -rt) helped in debugging and fixing futex races.