Time and Timing
ChucK is a strongly-timed language, meaning that time is fundamentally embedded in the lan- guage. ChucK allows the programmer to explicitly reason about time from the code. This gives extremely flexible and precise control over time and (therefore) sound synthesis.
In ChucK:
- Time and duration are native types in the language
- Keyword now holds the current logical time
- Time is advanced (and can only be advanced) by explicitly manipulating now
- You have flexible and precise control
Time and Duration
Time and duration are native types in ChucK. time represents an absolute point in time (from the beginning of ChucK time). dur represents a duration (with the same logical units as time).
// a duration of one second 1::second => dur foo; // a point in time (duration of foo from now) now + foo => time later;
Later in this section, we outline the various arithmetic operations to perform on time and duration.
Durations can be used to construct new durations, which then be used to inductively construct yet other durations. For example:
// .5 second is a quarter .5::second => dur quarter; // 4 quarters is whole 4::quarter => dur whole;
By default, ChucK provides these preset duration values:
- samp : duration of 1 sample in ChucK time
- ms : duration of 1 millisecond
- second : duration of 1 second
- minute : 1 minute
- hour : 1 hour
- day : 1 day
- week : 1 week
Use these to represent any duration.
// the duration of half a sample .5::samp => dur foo; // 20 weeks 20::week => dur waithere; // use in combination 2::minute + 30::second => dur bar; // same value as above 2.5::minute => dur bar;
Operations on Time and Duration (Arithmetic)
In ChucK, there are well-defined arithmetic operations on values of type time and dur.
Example 1 (time offset):
// time + dur yields time now + 10::second => time later;
Example 2 (time subtraction):
// time - time yields dur later - now => dur D;
example 3 (addition):
// dur + dur yields dur 10::second + 100::samp => dur foo;
Example 4 (subtraction):
// dur - dur yields dur 10::second - 100::samp => dur bar;
Example 5 (division):
// dur / dur yields float 10::second / 20::ms => float n;
Example 6 (time mod):
// time mod dur yields dur now % 1::second => dur remainder;
Example 7 (synchronize to period):
// synchronize to period of .5 second .5::second => dur T; T - (now % T) => now;
Example 8 (comparison on time):
// compare time and time if( t1 < t2 ) // do something...
Example 9 (comparison on duration):
// compare dur and dur if( 900::ms < 1::second ) <<< "yay!" >>>;
The Keyword ‘now’
The keyword now is the key to reasoning about and controlling time in ChucK.
Some properties of now include:
- now is a special variable of type time
- now holds the current ChucK time (when read)
- Modifying now has the side effects of:
- advancing time (see below);
- suspending the current process (called shred) until the desired time is reached - allowing other shreds and audio synthesis to compute;
- The value of now only changes when it is explicitly modified.
For more detail see the Advancing Time section.
Example:
// compute value that represents "5 seconds from now" now + 5::second => time later; // while we are not at later yet... while( now < later ) { // print out value of now <<< now >>>; // advance time by 1 second 1::second => now; }
Advancing Time
Advancing time allows other shreds (processes) to run and allows audio to be computed in a controlled manner. There are three ways of advancing time in ChucK:
- chucking (=> ) a duration to now: this will advance time by that duration.
- chucking (=> ) a time to now: this will advance time to that point. (note that the desired time must be later than the current time, or at least be equal to it.)
- chucking (=> ) an Event to now: time will advance until the event is triggered. (also see event)
Advancing Time by Duration
// advance time by 1 second 1::second => now; // advance time by 100 millisecond 100::ms => now; // advance time by 1 samp (every sample) 1::samp => now; // advance time by less than 1 samp .024::samp => now;
Advancing Time by Absolute Time
// figure out when now + 4::hour => time later; // advance time to later later => now;
A time chucked to now will have ChucK wait until the appointed time. ChucK never misses an appointment (unless it crashes)! Again, the time chucked to now must be greater than or equal to now, otherwise an exception is thrown.
Advancing Time by Event
// wait on event e => now;
See events for a more complete discussion of using events!
The advancement of time can occur at any point in the code.
// our patch: sine oscillator -> dac SinOsc s => dac; // infinite time loop while( true ) { // randomly choose frequency from 30 to 1000 Std.rand2f( 30, 1000 ) => s.freq; // advance time by 100 millisecond 100::ms => now; }
Furthermore, there are no restrictions (other than underlying floating point precision) on how much time is advanced. So it is possible to advance time by a microsecond, a samp, 2 hours, or 10 years. The system will behave accordingly and deterministically.
This mechanism allows time to be controlled at any desired rate, according to any programmable pattern. With respect to sound synthesis, it is possible to control any unit generator at literally any rate, even sub-sample rate.
The power of the timing mechanism is extended by the ability to write parallel code, which is discussed in concurrency and shreds.