nac3/nac3artiq/min_artiq.py

from inspect import isclass, getmodule
from functools import wraps
import sys
from numpy import int32, int64

import nac3artiq

import device_db


__all__ = ["KernelInvariant", "extern", "kernel", "portable", "Core", "TTLOut"]


nac3 = nac3artiq.NAC3(device_db.device_db["core"]["arguments"]["target"])
allow_module_registration = True
registered_ids = set()


def KernelInvariant(t):
    return t


def register_module_of(obj):
    global registered_ids
    assert allow_module_registration
    module = getmodule(obj)
    module_id = id(module)
    if module_id not in registered_ids:
        nac3.register_module(module)
        registered_ids.add(module_id)


def extern(function):
    register_module_of(function)
    return function


def kernel(class_or_function):
    register_module_of(class_or_function)
    if isclass(class_or_function):
        return class_or_function
    else:
        @wraps(class_or_function)
        def device_only(*args, **kwargs):
            raise RuntimeError("Kernels must not be called directly, use core.run(kernel_function) instead")
        return device_only

    
def portable(function):
    register_module_of(function)
    return function


def get_defined_class(method):
    return vars(sys.modules[method.__module__])[method.__qualname__.split('.')[0]]


@extern
def rtio_init():
    raise NotImplementedError("syscall not simulated")


@extern
def rtio_get_counter() -> int64:
    raise NotImplementedError("syscall not simulated")


@extern
def rtio_output(target: int32, data: int32):
    raise NotImplementedError("syscall not simulated")


@extern
def rtio_input_timestamp(timeout_mu: int64, channel: int32) -> int64:
    raise NotImplementedError("syscall not simulated")


@extern
def rtio_input_data(channel: int32) -> int32:
    raise NotImplementedError("syscall not simulated")


@kernel
class Core:
    @portable
    def __init__(self):
        pass

    def run(self, method, *args, **kwargs):
        global allow_module_registration
        if allow_module_registration:
            nac3.analyze()
            allow_module_registration = False
        nac3.compile_method(id(get_defined_class(method)), method.__name__)

    @kernel
    def reset(self):
        rtio_init()
        at_mu(rtio_get_counter() + int64(125000))

    @kernel
    def break_realtime(self):
        min_now = rtio_get_counter() + int64(125000)
        if now_mu() < min_now:
            at_mu(min_now)


@kernel
class TTLOut:
    channel: int32
    target_o: int32

    @portable
    def __init__(self, channel: int32):
        self.channel = channel
        self.target_o = channel << 8

    @kernel
    def output(self):
        pass

    @kernel
    def set_o(self, o: bool):
        rtio_output(self.target_o, 1 if o else 0)

    @kernel
    def on(self):
        self.set_o(True)

    @kernel
    def off(self):
        self.set_o(False)

    @kernel
    def pulse_mu(self, duration: int64):
        self.on()
        delay_mu(duration)
        self.off()