win32: use high resolution timer for sleeps;

src/core/os_glfw.h

@@ -1,9 +1,5 @@
 #ifndef LOVR_USE_GLFW
 
-void os_destroy(void) {
-  //
-}
-
 void os_poll_events(void) {
   //
 }
@@ -294,10 +290,6 @@ static int convertKey(os_key key) {
   }
 }
 
-void os_destroy(void) {
-  glfwTerminate();
-}
-
 void os_poll_events(void) {
   if (glfwState.window) {
     glfwPollEvents();

src/core/os_linux.c

@@ -14,6 +14,10 @@ bool os_init(void) {
   return true;
 }
 
+void os_destroy(void) {
+  glfwTerminate();
+}
+
 const char* os_get_name(void) {
   return "Linux";
 }

src/core/os_macos.c

@@ -32,6 +32,10 @@ bool os_init(void) {
   return true;
 }
 
+void os_destroy(void) {
+  glfwTerminate();
+}
+
 const char* os_get_name(void) {
   return "macOS";
 }

src/core/os_win32.c

@@ -11,6 +11,8 @@
 #include "os_glfw.h"
 
 static uint64_t frequency;
+static __declspec(thread) HANDLE timer;
+static __declspec(thread) bool createdTimer;
 
 #ifndef LOVR_OMIT_MAIN
 
@@ -62,6 +64,11 @@ bool os_init(void) {
   return true;
 }
 
+void os_destroy(void) {
+  os_thread_detach();
+  glfwTerminate();
+}
+
 const char* os_get_name(void) {
   return "Windows";
 }
@@ -93,6 +100,21 @@ double os_get_time(void) {
 }
 
 void os_sleep(double seconds) {
+#ifdef CREATE_WAITABLE_TIMER_HIGH_RESOLUTION
+  if (!createdTimer) {
+    createdTimer = true;
+    timer = CreateWaitableTimerExW(NULL, NULL, CREATE_WAITABLE_TIMER_HIGH_RESOLUTION, TIMER_ALL_ACCESS);
+  }
+
+  if (timer && seconds > 0.) {
+    LARGE_INTEGER due;
+    due.QuadPart = -((LONGLONG) (seconds * 1e7));
+    if (SetWaitableTimer(timer, &due, 0, NULL, NULL, false)) {
+      WaitForSingleObject(timer, INFINITE);
+      return;
+    }
+  }
+#endif
   Sleep((unsigned int) (seconds * 1000));
 }
 
@@ -121,7 +143,10 @@ void os_thread_attach(void) {
 }
 
 void os_thread_detach(void) {
-  //
+  if (createdTimer) {
+    CloseHandle(timer);
+    createdTimer = false;
+  }
 }
 
 void os_on_permission(fn_permission* callback) {