From d6f0607ff00cd5d38f69cb349e2c2e2e7ac108c4 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Fri, 5 Nov 2021 18:07:43 +0800 Subject: [PATCH] nac3artiq: rename class decorator to nac3 --- nac3artiq/demo.py | 2 +- nac3artiq/min_artiq.py | 41 +++++++++++++++++++++++++---------------- nac3artiq/src/lib.rs | 2 +- 3 files changed, 27 insertions(+), 18 deletions(-) diff --git a/nac3artiq/demo.py b/nac3artiq/demo.py index 27b9d1e..2a4b849 100644 --- a/nac3artiq/demo.py +++ b/nac3artiq/demo.py @@ -1,6 +1,6 @@ from min_artiq import * -@kernel +@nac3 class Demo: core: Core led0: TTLOut diff --git a/nac3artiq/min_artiq.py b/nac3artiq/min_artiq.py index a41a4f1..6bc4f11 100644 --- a/nac3artiq/min_artiq.py +++ b/nac3artiq/min_artiq.py @@ -5,14 +5,15 @@ from numpy import int32, int64 import nac3artiq -__all__ = ["KernelInvariant", "extern", "kernel", "portable", "ms", "us", "ns", +__all__ = ["KernelInvariant", "extern", "kernel", "portable", "nac3", + "ms", "us", "ns", "Core", "TTLOut", "parallel", "sequential"] import device_db core_arguments = device_db.device_db["core"]["arguments"] -nac3 = nac3artiq.NAC3(core_arguments["target"]) +compiler = nac3artiq.NAC3(core_arguments["target"]) allow_module_registration = True registered_ids = set() @@ -26,31 +27,40 @@ def register_module_of(obj): module = getmodule(obj) module_id = id(module) if module_id not in registered_ids: - nac3.register_module(module) + compiler.register_module(module) registered_ids.add(module_id) def extern(function): + """Decorates a function declaration defined by the core device runtime.""" register_module_of(function) return function def kernel(class_or_function): + """Decorates a function or method to be executed on the core device.""" 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 + @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): + """Decorates a function or method to be executed on the same device (host/core device) as the caller.""" register_module_of(function) return function +def nac3(cls): + """ + Decorates a class to be analyzed by NAC3. + All classes containing kernels or portable methods must use this decorator. + """ + register_module_of(cls) + return cls + + ms = 1e-3 us = 1e-6 ns = 1e-9 @@ -80,7 +90,7 @@ def rtio_input_data(channel: int32) -> int32: raise NotImplementedError("syscall not simulated") -@kernel +@nac3 class Core: ref_period: float @@ -90,7 +100,7 @@ class Core: def run(self, method, *args, **kwargs): global allow_module_registration if allow_module_registration: - nac3.analyze() + compiler.analyze() allow_module_registration = False if hasattr(method, "__self__"): @@ -100,7 +110,7 @@ class Core: obj = method name = "" - nac3.compile_method(obj, name, args) + compiler.compile_method(obj, name, args) @kernel def reset(self): @@ -126,7 +136,7 @@ class Core: delay_mu(self.seconds_to_mu(dt)) -@kernel +@nac3 class TTLOut: core: Core channel: int32 @@ -166,7 +176,7 @@ class TTLOut: self.core.delay(duration) self.off() -@portable +@nac3 class KernelContextManager: @kernel def __enter__(self): @@ -178,4 +188,3 @@ class KernelContextManager: parallel = KernelContextManager() sequential = KernelContextManager() - diff --git a/nac3artiq/src/lib.rs b/nac3artiq/src/lib.rs index 45a0164..d683e84 100644 --- a/nac3artiq/src/lib.rs +++ b/nac3artiq/src/lib.rs @@ -120,7 +120,7 @@ impl Nac3 { } => { let kernels = decorator_list.iter().any(|decorator| { if let ast::ExprKind::Name { id, .. } = decorator.node { - id.to_string() == "kernel" || id.to_string() == "portable" + id.to_string() == "nac3" } else { false }