Mettle 0.15.0 и 0.15.1

3

31 юли бяха издадени версии 0.15.0 и 0.15.1 Mettle — език на системното програмиране с статична типизация:

• Нативна поддръжка на x86-64 (+ AVX2), AArch64, NVIDIA PTX, SPIR-V (OpenCL 2.0).

• Собствен линкер за Windows PE.

• Собствен отладчик на ниво изходен код:

  • Без външни формати.
  • Точки на спиране, стъпков отладчик, както и четене и писане на променливи в реално време чрез —debug-hooks.
  • Без gdb, PDB и DWARF.

• Бекенд CUDA.

• Без LLVM, виртуална машина и рантайм.

• Изпълнение на етапа на компилиране: функции с атрибут @test се изпълняват в интерпретатора на компилятора с командата mettle test, без да се създава бинарен файл. Командата mettle trace интерпретира една функция и извежда стъпка по стъпка следене на стойностите. Командата —pgo интерпретира функция main() на етапа на компилиране и предава измерените честоти на извиквания обратно на оптимизатора.

• Проверка на заимстванията (borrow checker):

  Описание	Пример	Аналог на Rust
  Use-after-free (директно)	free(p); p[0]	собственост / Drop
  Двоен free	free(p); free(p)	собственост
  Use-after-free през алиас	q = p; free(q); p[0]	сематика на преместване
  Use-after-free през извикване (извлечено)	consume(p); p[0] където consume освобождава p	сематика на преместване
  Заемане, продължаващо извън стека	{ var x; g = &x[0]; } use(g)	животни (‘a)
  Вътрешен указател след realloc	q = &buf[i]; realloc(buf,..); q[0]	недействителност на итератора
  Вътрешен указател след free	q = &buf[i]; free(buf); q[0]	потъваща референция
  Връщане на адрес на локален стек	return &local	fn() -> &T грешка по времето на живота
  Изтекла памет (няма собственик по какъвто и да е път)	var p = malloc(n); return 0	(Rust освобождава чрез Drop)

Компилаторът е базиран на библиотеката libmtlc:

• Собствен междинен език (IR).
• Класически и GNN оптимизатори на код.
• Нативна генерация на код (x86-64 (+ AVX2), AArch64, NVIDIA PTX, SPIR-V (OpenCL 2.0)).
• Нативно свързване.

Проектите са написани от програмист от Кейптаун suidvandiewereld на език C (стандарт C99) и се разпространяват под лицензия Apache-2.0.

Източник: linux.org.ru