Ana içeriğe geç
Dil v0.2.0 · Ön izleme

Deterministik N/M target schedule

Sınırlı tamsayı-nanosaniye ASAP schedule'ları kurun, kaynak sırasını ve fiziksel kaynak bağımlılıklarını koruyun ve timeline drift'inde fail-closed kalın.

Target scheduling 0.1 sözleşmesi

Başarılı target derlemesi; pozitif safe-integer nanosaniye süreleri, exact aritmetik, kararlı operasyon id'leri ve fiziksel qubit çakışması olmayan deterministik statik schedule yayımlar.

v0.1
100.000
Maksimum operasyon
ns
Tamsayı zaman birimi
ASAP
Kaynak politikası

ASAP kaynak bağımlılıkları

Her operasyon, kullandığı tüm fiziksel qubit'lerin önceki en büyük bitiş zamanında başlar. Ayrı qubit'lerdeki operasyonlar birlikte başlayabilir; aynı qubit'i paylaşanlar çakışamaz.

Dondurulmuş tarama sırası

Operasyonlar depth-first kaynak sırasını korur. Statik control-flow gövdeleri bu sırada muhafazakâr biçimde temsil edilir; schedule hangi runtime branch'inin çalışacağını öngören bir model değil, compile-time carrier'dır.

Exact schedule invariant'ları

Operasyon id'leri sıralıdır; endNs, startNs artı durationNs'e eşittir; mantıksal/fiziksel hedefler yerleşimle eşleşir ve totalDurationNs en büyük operasyon bitişidir.

Fail-closed sınırlar

Eksik veya yinelenen yerleşim, tamsayı olmayan süre, 100.000'den fazla operasyon ya da safe-integer timeline overflow'u NM-SCHEDULE issue'ları ve boş schedule üretir.

CLI ve JSON carrier

nm transpile main.nm --calibration calibration.json --json

Transpile JSON sonucu placement, calibration kimliği, schedule ve schedulingIssues alanlarını içerir. Tüketiciler downstream gönderimden önce success ve boş schedulingIssues dizisi istemelidir.

Kararlı scheduling tanıları

Yerleşim, süre, bağımlılık, limit ve invariant hataları yerelleştirilmiş hata metninden bağımsız machine-readable kodlar kullanır.

NM-SCHEDULE-001NM-SCHEDULE-002NM-SCHEDULE-003NM-SCHEDULE-004NM-SCHEDULE-005

Statik ASAP schedule; pulse shaping, crosstalk, dinamik branch olasılığı, provider kuyruğu, kontrol elektroniği gecikmesi veya gerçek wall-clock yürütmeyi modellemez. Bunlar provider'a özel sözleşme gerektirir.

Conformance bağımlılıkları ve toplamları mutate eder, fail-closed yerleşim/süre/overflow yollarını çalıştırır, 1.000 seeded operasyonu denetler ve packed core'da tam 100.000-operasyon sınırını ratchet eder.