timed_pop_unlocked


Description:

public G timed_pop_unlocked (ref TimeVal end_time)

Pops data from the this.

If the queue is empty, blocks until end_time or until data becomes available.

If no data is received before end_time, null is returned.

To easily calculate end_time, a combination of get_real_time and add can be used.

This function must be called while holding the this's lock.

Parameters:

this

a AsyncQueue

end_time

a TimeVal, determining the final time

Returns:

data from the queue or null, when no data is received before end_time.