Zig – io_uring і Grand Central Dispatch std.Io рэалізацыі прызямліліся

Стандартная бібліятэка Zig дасягнула важнай вехі: родныя бэкэнды io_uring і Grand Central Dispatch (GCD) для std.Io афіцыйна прызямліліся, пераносячы высокапрадукцыйны, родны для платформы асінхронны ўвод-вывад у адну з самых перспектыўных сучасных сістэмных моў праграмавання. Для распрацоўшчыкаў, якія ствараюць інфраструктуру, якая падтрымлівае бізнес-платформы наступнага пакалення — напрыклад, 207-модульную аперацыйную сістэму Mewayz — гэтая распрацоўка азначае новую эру эфектыўнасці і маштабаванасці бэкэнда.

Што такое io_uring і чаму гэта важна для сучасных прыкладанняў?

Прадстаўлены ў ядры Linux 5.1, io_uring з'яўляецца высокапрадукцыйным асінхронным інтэрфейсам уводу/вываду, які істотна змяняе тое, як прыкладанні ўзаемадзейнічаюць з аперацыйнай сістэмай. Традыцыйныя мадэлі ўводу/вываду прымушаюць праграмы рабіць індывідуальныя сістэмныя выклікі для кожнай аперацыі чытання або запісу - дарагія зваротныя паездкі, якія зніжаюць прадукцыйнасць у маштабе. io_uring замяняе гэта агульным кальцавым буферам паміж карыстальніцкай прасторай і ядром, што дазваляе прыкладанням адпраўляць і выконваць тысячы аперацый уводу/вываду з мінімальнымі выдаткамі.

Практычны эфект надзвычайны. Вэб-серверы, базы дадзеных і платформы SaaS, якія апрацоўваюць тысячы адначасовых злучэнняў, адразу атрымліваюць выгаду ад зніжэння нагрузкі на ЦП і меншай затрымкі. Для платформы, якая абслугоўвае 138 000 актыўных карыстальнікаў у 207 асобных модулях — кожны запускае чытанне файла, запыты ў базу дадзеных і сеткавыя запыты — розніца паміж састарэлым уводам-вывадам і io_uring можа непасрэдна ператварыцца ў паляпшэнне часу водгуку і скарачэнне выдаткаў на інфраструктуру.

"io_uring, магчыма, з'яўляецца самым значным дадаткам да ўводу-вываду Linux за апошняе дзесяцігоддзе. Ухіляючы накладныя выдаткі на пераключэнне кантэксту традыцыйных сістэмных выклікаў, ён дазваляе праграмам карыстальніцкай прасторы наблізіцца да неапрацаванай прапускной здольнасці апаратнага забеспячэння — гэта змяняе гульню для любога прыкладання, дзе ўвод-вывад з'яўляецца вузкім месцам."

Як Grand Central Dispatch упісваецца ў гісторыю Zig std.Io?

У той час як io_uring спецыфічны для Linux, Grand Central Dispatch (GCD) ад Apple доўгі час служыў у якасці галоўнай структуры паралелізму і дыспетчарызацыі задач у macOS і iOS. GCD абстрагуе кіраванне патокамі ў мадэль на аснове чаргі, што дазваляе аперацыйнай сістэме аптымальна планаваць працу на даступных ядрах ЦП без таго, каб распрацоўшчыкі ўручную кіравалі пуламі патокаў.

Прымясціўшы абедзве бэкэнды пад уніфікаваную абстракцыю std.Io, каманда Zig дасягнула чагосьці сапраўды складанага: адзінай паверхні API асінхроннага ўводу/вываду, якая кампілюецца ў родныя ідыяматычныя асінхронныя прымітывы на платформах Linux і Apple. Гэта азначае, што праграмы Zig, напісаныя на аснове std.Io, аўтаматычна выкарыстоўваюць io_uring на серверах Linux і GCD на машынах распрацоўкі macOS — без разгалінаванняў у кодзе прыкладанняў, якія залежаць ад платформы.

Які гістарычны кантэкст стаіць за асінхронным уводам-вывадам Zig?

Шлях Зіга да стабільнай асінхроннай гісторыі быў асабліва ітэрацыйным. Раннія версіі мовы ўключалі эксперыментальны сінтаксіс async/await, які пасля быў выдалены, калі каманда пераглядала дызайн. Замест таго, каб прытрымлівацца пэўнай мадэлі паралелізму, закладзенай у граматыку мовы, асноўная каманда Zig абрала ўзровень абстракцыі ўводу/вываду на ўзроўні стандартнай бібліятэкі — такі, які можна камбінаваць з рознымі стратэгіямі выканаўцы.

Гэтая філасофія супадае з больш шырокім дызайнерскім духам Zig: адсутнасць схаванага патоку кіравання, відавочнае размеркаванне і механізмы, якія складаюцца прадказальна. Інтэрфейс std.Io уяўляе сабой кульмінацыю шматгадовых дыскусій у супольнасці, стварэння прататыпаў і зваротнай сувязі з рэальным светам. Размяшчэнне бэкэндаў io_uring і GCD азначае пераход ад эксперыментальнай да гатовай да вытворчасці асінхроннай экасістэмы Zig.

Якія практычныя наступствы для SaaS і інфраструктуры бізнес-платформы?

Для каманд, якія ствараюць або ацэньваюць бэкэнд-інфраструктуру для платформаў SaaS з некалькімі арэндамі, гісторыя Zig io_uring мае некалькі канкрэтных наступстваў:

• Зніжэнне выдаткаў на інфраструктуру: больш высокая прапускная здольнасць уводу-вываду на сервер азначае меншую колькасць машын, неабходных для апрацоўкі эквівалентнай нагрузкі, што непасрэдна ўплывае на выдаткі на воблака.
• Прадказальная затрымка ў маштабе: мадэль пакетнай адпраўкі io_uring згладжвае скокі затрымкі, якія часта ўзнікаюць пры высокім паралеле, паляпшаючы ўзаемадзеянне з карыстальнікам ва ўсіх модулях платформы.
• Міжплатформенныя інструменты распрацоўшчыка: Дзякуючы падтрымцы GCD распрацоўшчыкі ў macOS могуць лакальна запускаць ідэнтычную логіку ўводу/вываду, якая разгортваецца на вытворчых серверах Linux, ліквідуючы даўні прабел у дакладнасці тэсціравання.
• Дызайн сістэмы, арыентаваны на будучыню: Паколькі io_uring расце ў сумежных інструментах (базах даных, проксі-серверах, асяроддзі выканання), унутраная падтрымка Zig робіць яго добрым для кампазіцыі з больш шырокай сучаснай экасістэмай Linux.
• Бяспека памяці без уборкі смецця: мадэль уласнасці Zig спалучаецца з магчымасцямі нулявога капіравання io_uring для кіравання буферам, што ліквідуе цэлыя катэгорыі памылак, распаўсюджаных у сеткавым кодзе сістэмнага ўзроўню.

Якія будучыя тэндэнцыі павінны назіраць распрацоўшчыкі па меры развіцця гэтай экасістэмы?

Пасадка гэтых бэкэндаў з'яўляецца пачаткам, а не канчатковай кропкай. Некалькі падзей варта ўважліва сачыць. Па-першае, экасістэма Zig усё яшчэ спее вакол абстракцый больш высокага ўзроўню — HTTP-серверы, драйверы баз дадзеных і RPC-фреймворкі, пабудаваныя на std.Io, будуць вызначаць, наколькі хутка мова пераходзіць у вытворчыя стэкі SaaS. Па-другое, сам io_uring працягвае развівацца; такія функцыі, як фіксаваныя буферы, мультыздымкавыя аперацыі і апытанне на баку ядра прапануюць дадатковы запас прадукцыйнасці, які бэкэнд Zig можа паступова раскрываць. Па-трэцяе, паколькі асяроддзе выканання WebAssembly усё больш раскрывае інтэрфейсы ўводу-вываду WASI, узровень абстракцыі Zig таксама размяшчае яго так, каб арыентавацца на гэтае асяроддзе, дазваляючы сапраўдна запісваць адзін раз і запускаць дзе заўгодна сістэмны код.

Для платформаў, якія ставяць на першае месца аперацыйную эфектыўнасць, напрыклад Mewayz, якая сціскае ўсю бізнес-аперацыйную сістэму ў падпіску за 19–49 долараў у месяц, гэтыя паляпшэнні на ўзроўні інфраструктуры складаюцца. Кожнае павышэнне эфектыўнасці на сістэмным узроўні азначае запас для большай колькасці функцый, большай колькасці карыстальнікаў і лепшай маржы.

Часта задаюць пытанні

Ці бяспечна сёння выкарыстоўваць io_uring у вытворчых умовах?

Так. io_uring быў даступны з ядра Linux 5.1 (2019) і цяпер лічыцца стабільным для вытворчага выкарыстання. Буйныя праекты, уключаючы Redis, RocksDB і шматлікія высокапрадукцыйныя сеткавыя серверы, прынялі яго. Рэалізацыя Zig прытрымліваецца тых жа інтэрфейсаў ядра і падыходзіць для вытворчых нагрузак на сучасных дыстрыбутывах Linux з ядром 5.6 або больш позняй версіі для поўнай падтрымкі функцый.

Ці трэба мне перапісваць існуючы Zig-код, каб выкарыстоўваць новыя бэкэнды std.Io?

Ніякіх значных перапісванняў не патрабуецца. Інтэрфейс std.Io распрацаваны як стабільны ўзровень абстракцыі — код прыкладання, напісаны на яго аснове, будзе аўтаматычна карыстацца бэкэндам io_uring або GCD на аснове мэты кампіляцыі. Асноўныя намаганні па міграцыі ўключаюць абнаўленне да бягучай версіі ланцужка інструментаў Zig, якая ўключае гэтыя бэкэнды, і карэкціроўку любога кода, які раней непасрэдна выкарыстоўваў сістэмныя выклікі ўводу/вываду для пэўнай платформы.

Як гэта суадносіцца з асінхронным уводам-вывадам у асяроддзі выканання Rust Tokio або Go?

Tokio на Linux таксама выкарыстоўвае io_uring праз скрыню tokio-uring, хоць ён застаецца асобным ад асяроддзя выканання Tokio па змаўчанні, якое выкарыстоўвае epoll. Асяроддзе выканання Go выкарыстоўвае ўласны планавальнік з уводам-вывадам на аснове epoll. Падыход Зіга адрозніваецца тым, што std.Io адчувае сінхроннасць на ўзроўні API — няма сінтаксісу async/await — пры гэтым ён па-ранейшаму перадае ўласныя асінхронныя прымітывы пад капотам. Гэта захоўвае зручнасць чытання і дазваляе пазбегнуць праблемы "каляровай функцыі", якая ўскладняе асінхронныя кодавыя базы Rust.

Незалежна ад таго, ці з'яўляецеся вы распрацоўшчыкам, які ацэньвае мовы сістэмнага праграмавання для свайго наступнага інфраструктурнага праекта, ці ўладальнікам бізнесу, які шукае платформы, пабудаваныя на эфектыўнай, маштабаванай тэхналогіі, траекторыя такіх інструментаў, як Zig, адлюстроўвае больш шырокі зрух да дызайну праграмнага забеспячэння, арыентаванага на прадукцыйнасць. Mewayz пабудаваны на такім жа прынцыпе — прадастаўленне 207 інтэграваных бізнес-модуляў для больш чым 138 000 карыстальнікаў за долю кошту зборкі эквівалентных інструментаў паасобку. Уся бізнес-АС даступная ад 19 долараў у месяц, ад CRM і аналітыкі да спасылкі ў біяграфіі і правядзення курсаў. Пачніце бясплатную пробную версію на app.mewayz.com і адчуйце, як на практыцы выглядае сучасны эфектыўны дызайн платформы.