icppはadaでは "ceiling locking"、posixでは "priority protect protocol"、rtsjでは "priority ceiling emulation" と呼ばれている。