What's better for performance - os.clock, os.time or time?

[GulgPlayer (Gulg)]

I want to get current time to synchronize some algorithm steps in a RenderStepped event handler. What function should I use to get the maximum performance? I suppose it’s time() because it uses Roblox’s local time and not OS time.