Vx ভাষা: একটি ভাষা, প্রতিটি চিপের জন্য

Vx একটি সিস্টেম প্রোগ্রামিং ভাষা असामান্য কম্পিউটিংয়ের জন্য যেখানে CPU, GPU, NPU এবং ত্বরণকারী মেমোরি টাইপ সিস্টেমের অংশ। একটি হোস্ট থ্রেড যা ডিভাইস পয়েন্টারকে ডিরেফারেন্স করে, একটি কম্পাইল ত্রুটি, সেগমেন্টেশন ফল্ট নয়। এটি অ্যাপল সিলিকনে macOS এবং লিনাক্স x86_64-এ উপলব্ধ। অসামান্যতা টাইপ সিস্টেমে থাকা উচিত, রানটাইমে নয়। ডেটা কোথায় আছে, তার টাইপের অংশ। অধিকাংশ ভাষা ত্বরণকারীকে ইনফ্রাস্ট্রাকচার মনে করে: আপনি গণিত লিখেন, এবং একটি বড় অপারেক রানটাইম সিদ্ধান্ত নেয় কিভাবে এটি পাঠাতে হবে। Vx এটি অর্থবোধ হিসেবে মনে করে। NPU উচ্চ-ব্যান্ডউইথ মেমোরিতে পিন করা টেনসরের টাইপ হোস্ট DRAM-এ থাকা টেনসরের থেকে ভিন্ন, এবং তাদের মধ্যে পারgaan একটি স্পষ্ট transfer() প্রয়োজন — এমনকি যখন হার্ডওয়্যার সীমা মুক্ত হয়। অ্যাপলের ইউনিফাইড মেমোरीএ, এই ট্রান্সফার কম্পাইল হয় تقریباً কিছু না। এটাইও লেখা হয়, কারণ ডেটা লোকালিটি কোড পড়कर सिद्ध করা উচিত, বাইনারি প্রোফাইল করে নয়।

কম্পাইলার ঠিকানা-স্পেস টাইপিং, ক্যাপাসিটি ভেশজ, সীম কন্ট্রাক্ট, রৈখিক টাইপ, টপোলজি পৌঁছার যোগ্যতা, এবং অটোডিফ সমস্যাগুলি বাদ দেয়। মেশিন ঘোষণা করা হয়, মনে করা নয়। অধিকাংশ কম্পাইলার একটি হার্ড-কোডেড কস্ট মডেল ব্যবহার করে। Vx একটি পড়ে। একটি মেশিন ফাইল একটি বাস্তব অংশের মেমোরি হিয়ারার্কি এবং ইন্টারকানেকশন বর্ণনা করে, এবং কম্পাইলার তার বিরুদ্ধে রাখা স্থাপন গ্রহণ করে বা প্রত্যাখ্যান করে। একক exactamente পূর্ণান্তর রূপান্তর, কখনো ফ্লোট নয়: SI উপসর্গ দশমিক (GB = 10^9), IEC বাইনারি (GiB = 2^30)। একটি বিক্রেতা শীট থেকে কপি করা সংখ্যা শীটের অর্থের মতো অর্থ রাখে। রেপোজিটরিতে H100, H200, B200, A100, MI300X, Apple M4 এবং মাল্টি-GPU নোডের জন্য মেশিন ফাইল আছে — প্রতিটি তার উৎসों का उल्लेख करता है, এবং未验证的数字标记为未验证।

এটি কীভাবে কম্পাইল হয়: ডেটা-অরিয়েন্টেড প্যারালেল ফ্রন্টএন্ড। প্রতিটি সিম্বল, নামিনাল টাইপ এবং মনোমরফাইজড ভেরিয়েন্ট একটি সমতল 256-বিট শনাক্তকারী। নামিনাল টাইপ সিস্টেম plus পুনরাবৃত্তি টাইপের জন্য বাধ্যতামূলক বক্সিং মডিউলকে ডিকপল করে, যাতে পাইপলাইন কোরে কোয়েরি ইঞ্জিন এবং লক প্রতিযোগিতার बिनाparallel চলে। কম্পাইলেশন সমতল অ্যারে দিয়ে চলে, পয়েন্টার-চেসড ট্রি নয়। একই উৎস, चाहे এটি সিরিয়াল বা প্যারালেলে তৈরি হয়, বাইট-আইডেন্টিকাল MLIR-এ কম্পাইল হয়। এটি টেস্ট সুইটে দাবি করা হয়, আশা নয় — বেঞ্চমার্ক স্কেলে, একটি থ্রেডে, চার থ্রেডে, এবং থ্রেড পুলকে পথ থেকে সম্পূর্ণরূপে সরিয়ে দিলে, এবং প্রতিটি চালানোর জন্য নিজের নিজের হ্যাশ সিড পেতে নতুন প্রসেসে কোরপাস পুনःকম্পাইল করা হয়।

সাধারণ প্রশ্ন: Vx কি এবং এটি কীভাবে অনন্য করে তোলে?

Vx একটি সিস্টেম প্রোগ্রামিং ভাষা असामান্য কম্পিউটিংয়ের জন্য যেখানে CPU, GPU, NPU এবং ত্বরণকারী মেমোরি টাইপ টাইপ সিস্টেমের অংশ। এটি কম্পাইল টাইমে ডিভাইস পয়েন্টার ডিরেফারেন্স पकड़कर সেগমেন্টেশন ফল্টের মতো রানটাইম ত্রুটি প্রতিরোধ করে। এটি ত্বরণকারীকে ইনফ্রাস্ট্রাকচারের পরিবর্তে অর্থবোধ উপাদান হিসেবে মনে করে, हार्डवेयर सीमा मुक्त होने पर भी, মেমোরি স্পেসের মধ্যে স্পষ্ট ডেটা ট্রান্সফার প্রয়োজন।

উৎস: Hacker News · সারাংশ: HeadlinesBriefing