SocketManager: add some comments to process_timers