Efficient Bounded Timestamping from Standard Synchronization Primitives