Solod – Go keele alamhulk, mis kompileeritakse C keelde

Esitletud programmeerimiskeel Solod (So), mis pakub Go keele alamsubset, mis transpileeritakse C keele (C11) vormingusse, sobides GCC, Clang ja zig cc kompilatorite koostamiseks. Solodi peamine erinevus Go-st on käsitsi mälu haldamise kasutamine, ilma prügikoristajat, automaatse mälu eraldamise ja viidete arvestamiseta. Solodi transpiler on kirjutatud Go keeles ja levitatakse on BSD litsentsi all. Toetab töötlust Linuxis, macOS-is ja Windowsis.

Keel toetab struktuure, meetodeid, liideseid, viipasid, funktsioonide mitme väärtuse tagastamist (näiteks tulemus + veakood), eranditele ja viivitusi (defer). Keel ei toeta kanaleid, kooperatiivprogrammeerimist ja sulgureid, et lihtsustada. Solodi programmid võivad kasutada olemasolevaid LSP-servereid, lintereid, integreeritud arenduskeskkondi ja koodi tulemüüre, mis toetavad Go keelt, samuti tööriistu „go test”.

Solodis kirjutatud kood võib integreeruda C keeles rakenduste ja vastupidi (C keel saab kutsuda Solodi funktsioone ja vastupidi) ning ei vaja runtime'i. Olulised rakendusalad hõlmavad süsteemiprogrammeerimist, mis sarnaneb C võimalustega, kuid Go stiilis süntaksiga ja tüüpide kontrollimise tagamisega. Solodi saab kasutada ka Go raamatukogude portimiseks C projektidesse. Go paketid, mis on portitud C keelele:

• strings
• io (antonz.org)
• bytes
• mem
• slices

ja jne. Lisaks Solodis saab kasutada portitud Go raamatukogude kogumit üldise C raamatukogu libc peal. ümbermoodustust Vaikimisi eraldatakse kogu mälu virna, kuid standardraamatuka läbi funktsioonide

Alloc / Free saab eraldada mälu ka kuhja. Prügikoristus ja viidete arvestamine ei ole kasutusel, kuid Solodis on olemas tüüpide kontrollimise ja massiivi piiriületusel vigade tuvastamise võimalused. Küll aga ei tehta kontrolli rippuvate näidikutega (dangling pointer) ja mälu vabastamise puudumise osas. Peamine viis mäluprobleemide tuvastamiseks on AddressSanitizer -fsanitize=address modernsetes kompilaatorites. Kompileeritud programmid, mis on kirjutatud Solodis, on enamasti

kiiruselt sarnased Go programmidele: kiirem rakendusi Go-l:

• Byte paketi funktsioonide töö efektiivsus on 1,5 korda kiirem sama mälu kasutuse juures;
• Töötlemine baitide puu-dega on 1,3 korda kiirem lugemisel ja 2-4 korda kiirem kirjutamisel;
• Map paketis on täisarvuliste võtmete valiku kiirus 3,4 korda kiire, kuid võtmete muutmine on 1,6 korda aeglasem;
• Stringi võtmete valiku kiirus on samal tasemel Go keelega, kuid võtmete muutmine on 1,5 korda aeglasem;
• Täisarvude parsimine ja vormindamine on 2 korda kiirem, ujukomade puhul 1,5/1,2 korda kiirem;
• Stringide funktsioonid on 1,3 korda kiirem, ja stringide loomine on 2-4 korda kiirem, samas mälu tarbimine väheneb 10-20%;

Allikas: linux.org.ru