If this is well designed, I see this as very useful. If the barrier is lower than callouts to a C library or using cython, and if it's designed in a way to make it easier to write correct critical section code, then this encourages the "right" way to program. (Where right is any area of development where building quickly in a high level language, then optimizing later is one of the better ways to go.)