Frank He
@Atticbeeالمؤسس / معماري الأنظمة المتزامنة
Frank معماري أنظمة متزامنة. قبل ALUX، أمضى نحو 20 عامًا في Lehman Brothers وBarclays Capital وBloomberg بصفته محللًا كميًا أول ومهندس مشتقات، يبني أنظمة مخاطر بمستوى وول ستريت كان لا بد أن تظل صحيحة تحت التزامن — عبر المناطق الزمنية والمؤسسات وأجزاء الألف من الثانية.
تركت له تلك المسيرة قناعة واحدة: بلغ نموذج التنفيذ المتسلسل المتزامن نهايته. وكانت ALUX إجابته؛ وقد قاد تصميم مكدسها الأساسي:
آلة TVM الافتراضية لفضاء الصفوف
تتفاعل العمليات بصورة متزامنة عبر القنوات؛ ومطابقة الأنماط هي الجدولة؛ وبيانات اعتماد الصلاحيات هي التفويض.
لغة Tolang للبرمجة المتزامنة
يشفّر Tolang واصفات القنوات والأنواع السلوكية، بحيث يمكن اكتشاف بعض صور سوء الاستخدام مبكرًا، فيما تفرض بيئة التشغيل قيود دورة الحياة.
نموذج أمان OCAP القائم على الصلاحيات الكائنية
مرجع القناة غير قابل للتزوير وقابل للنقل؛ وتحد قواعد النطاق ودورة الحياة من الصلاحية من دون الاعتماد على الوصول القائم على العناوين وحده.
بروتوكول إجماع BlockGit القائم على DAG
ينتج المدققون كتل DAG بالتوازي. ويستخدم BlockGit اختيارًا دوّارًا للقادة للوصول إلى النهائية، بينما يحل Block Merge تداخل العمل.
طبقة معاملات ACID لامركزية
تحافظ المقاطع والتراجع وقواعد العزل ونقاط التثبيت على دلالات ACID للعمل طويل الأمد والعمل العابر للكتل.
تتشابك الآلة الافتراضية واللغة والإجماع في نظام واحد يجمع أخيرًا بين التنفيذ المتزامن وقابلية التركيب؛ وهي طبقة بروتوكول مصممة لاقتصاد مفتوح وقابل للتركيب لوكلاء الذكاء الاصطناعي.