Synchronization support for Rubinius