Model memori

Pelacakan Alokasi

Penunjuk yang dilacak mengaitkan alamat dengan ID alokasi, pembuatan, batasan, offset, dan izin akses. Model memori juga melacak masa pakai alokasi dan status inisialisasi. Akses harus memenuhi persyaratan berikut; pelanggaran menyebabkan jebakan.

Meskipun alamat fisik yang sama digunakan kembali, generasi-generasi akan terpisah setiap masa hidupnya. Kehadiran alamat saja tidak menentukan apakah penunjuknya valid atau pemanggil memiliki akses ke ruang penyimpanan tersebut.

Alamat native mempertahankan 64 bit. Pisahkan shadow metadata diteruskan bersama dengan penunjuk melalui salin/simpan/panggilan/pengembalian. Cakupan memori awal native adalah tumpukan yang dapat dilacak dan alokasi global. C Batasan memerlukan adaptor eksplisit dan transfer kepemilikan memori eksternal arbitrer tidak termasuk dalam cakupan ini.

Inisialisasi dan Membaca

Mendeklarasikan ruang penyimpanan tidak menginisialisasi nilai. Memeriksa apakah rentang byte yang sebenarnya sedang dibaca telah diinisialisasi. Bahkan jika sebagian nilai dibaca dalam keadaan tidak diinisialisasi, nilainya adalah trap. Itu tidak menggantikan hasil baca dengan 0 atau nilai yang tidak ditentukan.

Pemeriksaan inisialisasi pada nilai baca tidak termasuk byte padding. Misalnya, jika semua bidang struktur diinisialisasi, pembacaan nilai tidak akan salah hanya karena byte kosong yang dihasilkan dari penyelarasan bidang tidak diinisialisasi.

Salinan memori membawa status inisialisasi bersama dengan byte. Menyalin ruang penyimpanan yang tidak diinisialisasi tidak mengubahnya menjadi ruang penyimpanan yang diinisialisasi. Saat membaca nilai dari tujuan nanti, pemeriksaan yang sama diterapkan seperti saat membaca sumbernya.

Fakta bahwa byte fisik BSS adalah 0 tidak memungkinkan inisialisasi variabel IR.

IR dalam ruang penyimpanan skalar yang diinisialisasi

Modul berikut dikonfigurasi sebagai builder dan lolos verifikasi. store sebelum membaca nilainya, dan ketiga instruksi memori menentukan pengurutan pangkat 2 bukan nol.

module {
  format_version 2
  semantics_version 1
  target "x86_64-whale-linux"
  datalayout { ptr=64, endian=little }

  declare @f0 "initialized_local": whale () -> i32, linkage internal

  fn @initialized_local() -> i32, id @f0 {
  entry:
    %v0: ptr<i32> = alloca i32, align 4
    %v1: i32 = const i32 42
    store i32 %v1, ptr<i32> %v0, align 4
    %v2: i32 = load i32, ptr<i32> %v0, align 4
    ret i32 %v2
  }

}

alloca membuat penyimpanan i32, store menulis 42, dan load menentukan nilai yang akan dikembalikan. Ini adalah keluaran dari printer IR yang diketik, bukan jejak eksekusi asli. Penyelarasan 3 adalah kesalahan validasi. Menghapus penyimpanan akan memerlukan jebakan baca yang tidak diinisialisasi dalam model memori ini, namun pelacakan inisialisasi dan pemeriksaan jebakan runtime terkait belum diterapkan. Melewati pemverifikasi saat ini saja tidak berarti bahwa pembacaan ini aman.

Perbandingan dengan aritmatika pointer

Perhitungan alamat overflow adalah trap. Anda dapat membuat penunjuk one-past yang menunjuk tepat setelah rentang alokasi, tetapi Anda tidak dapat mengakses memori melalui rentang tersebut.

Kesetaraan penunjuk menggunakan identitas alokasi, bukan hanya alamat numerik. Mengurutkan atau mengurangi pointer dari alokasi berbeda menyebabkan jebakan. Merekonstruksi alamat dari bilangan bulat tidak mengembalikan izin akses.

GEP

GEP menghitung alamat berdasarkan elemen dan bidang. Ini bukan perintah untuk membaca suatu nilai.

Indeks pertama adalah unit elemen offset dari tipe yang ditunjukkan oleh penunjuk dasar. Indeks berikutnya memilih elemen array atau bidang struktur/tupel. Indeks bidang suatu struktur/tupel adalah nomor urutan bidang pada saat kompilasi, bukan byte offset. Tipe yang dipilih menentukan tipe penunjuk yang dihasilkan.

Jika tipe dasarnya adalah ptr<array<i32, 4>>, indeks [0, 2] memilih elemen i32 ketiga dari array, sehingga menghasilkan ptr<i32>. Menentukan indeks pertama sebagai 1 gerakan i32 berdasarkan satu elemen, bukan satu elemen dalam array. Contoh ini mengilustrasikan semantik indeks dan bukan sintaks perintah teks.

Target awal native menolak aritmatika penunjuk pada elemen ukuran 0. Menghitung alamat tidak menghilangkan pemeriksaan seumur hidup, cakupan, inisialisasi, dan izin yang diperlukan untuk akses selanjutnya.

tata letak data

Target keluaran menentukan ukuran·penyelarasan·bidang offset·array stride. Urutan bidang dalam struktur dan tupel mempertahankan urutan deklarasinya. Tata letak host yang menjalankan kompiler tidak boleh dianggap sebagai tata letak target keluaran.

nilai	Simpan Aturan
Bool, signed i1, unsigned u1	Setidaknya 1 byte
Struktur/tupel kosong	Ukuran 0, penyelarasan 1
Himpunan	Tata letak target menentukan elemen stride
Struktur/tupel	Pertahankan urutan deklarasi dan persyaratan penyelarasan target

Penyelarasan yang telah selesai dari IR adalah pangkat 2, bukan 0. Penyelarasan otomatis harus ditentukan sebelum menghasilkan IR ini. Tata letak packed·union·bitfield tidak didukung di profil ini dan harus ditolak.

Permintaan Tata Letak Keluaran

Rust API menghitung tata letak penyimpanan yang tidak bergantung pada host build. Pada contoh berikut, terdapat 7 byte padding sebelum kolom u64 dan 6 byte di akhir padding.

use ir::{allocation_align, layout_of, Target, Type};

fn main() {
    let target = Target::X86_64WhaleLinux;
    let record = Type::Struct(vec![Type::U8, Type::U64, Type::U16]);
    let layout = layout_of(&record, target).unwrap();
    assert_eq!((layout.size, layout.align), (24, 8));
    assert_eq!(layout.field_offsets, [0, 8, 16]);

    let array = Type::Array(Box::new(record), 3);
    let layout = layout_of(&array, target).unwrap();
    assert_eq!((layout.size, layout.align), (72, 8));
    assert_eq!(layout.element_stride, Some(24));
    assert_eq!(allocation_align(&array, target).unwrap(), 16);
}

struct{u8, u64, u16}: size 24, natural alignment 8
field 0: byte 0
field 1: byte 8
field 2: byte 16
array of 3: size 72, element stride 24
standalone array placement alignment: 16

Ukuran yang dikembalikan oleh layout_of dan langkah array menyertakan padding tambahan. Struktur dan tupel menggunakan aturan urutan bidang yang sama. Bool, i1, dan u1 masing-masing menempati satu byte. Struct dan tupel kosong memiliki ukuran 0 dan perataan 1; array dengan panjang nol mempertahankan keselarasan alami elemennya. void tidak memiliki tata letak penyimpanan, sedangkan ptr<void> menempati 8 byte.

Gunakan penyortiran alami untuk bidang dan elemen array. allocation_align menerapkan aturan SysV AMD64, yang memerlukan setidaknya penyelarasan 16 byte, ke array lokal/global independen berukuran 16 byte atau lebih. Itu tidak meningkatkan perataan bidang array atau elemen stride. AST lowering menggunakan pencarian pengurutan batch ini untuk penyimpanan lokal.

Perkalian besaran, penambahan bidang offset, overflow dalam perhitungan padding menghasilkan hasil LayoutError::Overflow. layout_of memiliki batas sarang tipe kompleks sebanyak 128 level, dan layout_of_with_limit memungkinkan pemanggil menentukan batasnya. Itu tidak mengalokasikan ruang penyimpanan sama dengan jumlah elemen array. pointer_stride menolak pointee dengan ukuran 0 dalam aritmatika penunjuk native, tetapi tata letak penyimpanan jenis itu sendiri valid. Packed·union·bitfield tidak memiliki ekspresi tipe yang didukung. Pencarian tata letak tersimpan ini tidak mengimplementasikan konvensi pemanggilan tipe kompleks atau pemeriksaan batas waktu proses.

String dan batas C

String adalah string byte yang tidak dapat diubah dengan panjang tertentu. Pengkodean defaultnya adalah UTF-8. Mengizinkan NUL internal dan tidak secara otomatis menambahkan akhiran NUL. O0 tidak secara otomatis menggabungkan objek string dengan konten yang sama.

Oleh karena itu, panjang string byte yang terdiri dari A, NUL, dan B adalah 3. Tidak dapat digunakan untuk konversi string C eksplisit, yang menolak NUL internal. Frontend tidak boleh memotongnya secara diam-diam menjadi A.

Eksternal C·Alamat Mentah·Perakitan Inline adalah batas kontrak terpisah. Pemeriksaan runtime memori jejak tidak dijamin mendeteksi semua perilaku yang salah dalam kode eksternal.