feat: monotonic clock

Author: waterlens

bench/bench.mbt

@@ -0,0 +1,15 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|

bench/bench_test.mbt

@@ -0,0 +1,27 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|
+test "monotonic clock" {
+  let ts = monotonic_clock_start()
+  let mut sum: UInt64 = 0
+  for i in 0..=100000 {
+    sum += i.to_uint64()
+  }
+  let diff = monotonic_clock_end(ts)
+  println("elapsed time: \{diff} us")
+  assert_true!(diff > 0.0)
+  assert_false!(diff.is_inf())
+  assert_eq!(sum, 5000050000UL)
+}

bench/monotonic_clock_js.mbt

@@ -0,0 +1,22 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+///|
+extern type Timestamp
+///|
+pub extern "js" fn monotonic_clock_start() -> Timestamp =
+  #| () => performance.now()
+
+///|
+pub extern "js" fn monotonic_clock_end(ts : Timestamp) -> Double =
+  #| (ts) => (performance.now() - ts) * 1000.0

bench/monotonic_clock_native.mbt

@@ -0,0 +1,21 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+///|
+extern type Timestamp
+
+///|
+pub extern "C" fn monotonic_clock_start() -> Timestamp = "moonbit_monotonic_clock_start"
+
+///|
+pub extern "C" fn monotonic_clock_end(ts : Timestamp) -> Double = "moonbit_monotonic_clock_stop"

bench/monotonic_clock_wasm.mbt

@@ -0,0 +1,27 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+///|
+
+extern type Instant
+
+fn instant_elapsed_as_secs_f64(x : Instant) -> Double = "__moonbit_time_unstable" "instant_elapsed_as_secs_f64"
+
+///|
+pub fn monotonic_clock_start() -> Instant = "__moonbit_time_unstable" "instant_now"
+
+///|
+pub fn monotonic_clock_end(ts : Instant) -> Double {
+  let elapsed_secs: Double = instant_elapsed_as_secs_f64(ts);
+  elapsed_secs * 1000000.0
+}

bench/moon.pkg.json

@@ -0,0 +1,13 @@
+{
+  "targets": {
+    "monotonic_clock_js.mbt": ["js"],
+    "monotonic_clock_wasm.mbt": ["wasm", "wasm-gc"],
+    "monotonic_clock_native.mbt": ["native"]
+  },
+  "import": [
+    "moonbitlang/core/builtin"
+  ],
+  "test-import": [
+    "moonbitlang/core/double"
+  ]
+}

bench/types.mbt

@@ -0,0 +1,16 @@
+// Copyright 2025 International Digital Economy Academy
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+///|
+pub(all) struct T {}