Использование этой библиотеки с Vala:
http://valadoc.org/#!api=glib-2.0/GLib.DateTime
GLib.DateTime now = new GLib.DateTime.now_local();
var sec = now.to_unix()
var msec = (sec * 1000) + now.get_microsecond();
это правильный способ получить текущее время в миллисекундах?
Есть ли способ лучше ?