Sendable — bu nima, ip xavfsizligi protokoli

Swift-da Sendable protokoli nima?

Sendable — bu Swift standart kutubxonasidan (SE-0302) olingan protokol bo‘lib, izolyatsiya domenlari o‘rtasida uzatish uchun xavfsiz turlarni belgilaydi. Izolyatsiya domeni deganda actor, Task vazifasi yoki @MainActor konteksti tushuniladi. Sendable hech qanday talablarni o‘z ichiga olmaydi — u xavfsizlik markeri vazifasini bajaradi.

Sendable nima uchun kerak

Swift 5.5 dan oldin dasturchilar DispatchQueue orqali iplar o‘rtasida istalgan ob’ektni uzata olishgan va kompilyator bu xavfsizmi yoki yo‘qmi tekshirmagan. Sendable bu bo‘shliqni yopadi: endi kompilyator o‘zi iplararo uzatishlarni kuzatadi va xavflilarini bloklaydi. Bu konkurent kodni ishga tushirishdan oldin ham ishonchliroq qiladi.

struct UserProfile: Sendable {
    let name: String
    let age: Int
}

class NonSendableClass {
    var counter: Int = 0
}

Misolda UserProfile iplar o‘rtasida xavfsiz uzatilishi mumkin, chunki bu Sendable turlarining doimiy xususiyatlariga ega struktura. NonSendableClass await yoki Task orqali uzatishga urinishda kompilyatsiya xatosiga sabab bo‘ladi.

Qaysi turlar standart bo‘yicha Sendable-ga mos keladi

Sendable turlari Swift-da uch kategoriyaga bo‘linadi: Sendable xususiyatlariga ega qiymat turlari, o‘zgaruvchan holatga ega final sinflar va @Sendable bilan belgilangan funksiyalar/yopilmalar. Kompilyator qiymat turlari uchun Sendable-ga moslikni avtomatik chiqaradi.

Qiymat turlari va avtomatik moslik

Struct, enum va tuple agar barcha xususiyatlari va bog‘langan qiymatlari ham Sendable bo‘lsa, avtomatik ravishda Sendable bo‘ladi. Bu konservativ yondashuv: agar hech bo‘lmasa bitta xususiyat Sendable-ga mos kelmasa, butun tur xavfsiz deb hisoblanmaydi.

Asosiy turlar

Swift-ning barcha o‘rnatilgan turlari — Int, String, Double, Bool, Optional, Array, Dictionary, Set — Sendable-ga mos keladi. Bu turlar kompozitsiyasini standart bo‘yicha xavfsiz qiladi. Dasturchi faqat maxsus sinflarga e’tibor berishi kerak.

Sendable va sinflar: @unchecked Sendable

@unchecked Sendable — bu sinfga kompilyator tekshiruvlarini chetlab o‘tib, o‘zini Sendable deb e’lon qilishga imkon beruvchi mexanizm. Dasturchi bunday sinfning ip xavfsizligi uchun javobgarlikni o‘z zimmasiga oladi. Bu Objective-C ko‘priklari va optimallashtirilgan tuzilmalar uchun foydali.

@unchecked Sendable qachon ishlatiladi

@unchecked Sendable sinf ichki ravishda qulflar yoki atom operatsiyalar orqali xavfsizlikni ta’minlaganda qo‘llaniladi, lekin kompilyator buni statik tekshira olmaydi. Masalan, os_unfair_lock yoki pthread_mutex_t bo‘lgan sinf — uning ip xavfsizligi kod bilan ta’minlanadi, lekin Swift buni ko‘rmaydi.

final class AtomicCounter: @unchecked Sendable {
    private var value: Int = 0
    private let lock = NSLock()
    
    func increment() {
        lock.lock()
        value += 1
        lock.unlock()
    }
}

@unchecked Sendable ni ehtiyotkorlik bilan ishlating. Bu boshqa dasturchilar uchun aniq signal: “Men tekshirdim, bu xavfsiz”. Amalga oshirishdagi xato qiyin aniqlanadigan poygalarga olib kelishi mumkin. @unchecked ni qo‘llashdan oldin, turning haqiqatan ham qiymat turi sifatida qayta yozilmasligiga ishonch hosil qilish kerak.

Sendable-ning Actor bilan birikmasi

Actor va Sendable bir medalning ikki tomonidir. Actor o‘z holatini izolyatsiya qiladi, lekin tashqi dunyo bilan ma’lumot almashish uchun Sendable turlarini qaytarishi kerak. Agar actor metodi Sendable bo‘lmagan turni qaytarsa, kompilyator ogohlantirish yoki xato beradi.

Ma’lumotlarni Sendable orqali uzatish

Actor tashqi kodga ma’lumot yuborganda, bu ma’lumotlar izolyatsiya chegarasini kesib o‘tadi. Sendable qabul qiluvchining ulardan actor tashqarisida xavfsiz foydalanishini kafolatlaydi. Actorning o‘zi izolyatsiyalangan holda qoladi — uning ichki holati oshkor etilmaydi.

struct AccountSnapshot: Sendable {
    let id: UUID
    let balance: Double
    let lastUpdated: Date
}

actor BankActor {
    private var balance: Double = 0
    
    func snapshot() async -> AccountSnapshot {
        return AccountSnapshot(
            id: UUID(),
            balance: balance,
            lastUpdated: Date()
        )
    }
}

AccountSnapshot — bu faqat Sendable turlarining let xususiyatlariga ega Sendable struktura. Bu yondashuv actordan ma’lumot olish uchun best practice hisoblanadi. Holatning lahzali ko‘rinishi qiymat sifatida uzatiladi va actor o‘z holati ustidan nazoratni yo‘qotmaydi.

Sendable funksiyalari va yopilmalari

@Sendable — bu funksiyalar va yopilmalar uchun atribut bo‘lib, yopilmaning Sendable bo‘lmagan ma’lumotlarni o‘zgaruvchan shaklda tutib olmasligini kafolatlaydi. Yopilma Task yoki actor metodiga uzatilganda, u Sendable bo‘lishi kerak.

@Sendable yopilmalarida tutib olishni tekshirish

Kompilyator @Sendable yopilmasining sinflarga o‘zgaruvchan havolalarni tutib olmasligini tekshiradi. Sendable turlarining let xususiyatlarini tutib olishga ruxsat beriladi. Malumot turining var o‘zgaruvchisini tutib olish xatoga sabab bo‘ladi, chunki yopilma mutatsiya bilan bir vaqtda bajarilishi mumkin.

func performAsync(operation: @Sendable () -> Void) {
    Task {
        await operation()
    }
}

let constant = "Safe"
var counter = 0
// counter — var ni tutib olish hisoblagichni mutatsiya qiladi, kompilyatsiya xatosi
performAsync { // ❌ Tutib olingan var ning mutatsiyasi
    print(constant)
}

Qoida oddiy: @Sendable yopilmasi faqat o‘zi Sendable bo‘lgan va tashqaridan mutatsiya qilinmaydigan ma’lumotlarni tutib olishi mumkin. Sinflar uchun, agar sinf Sendable deb belgilanmagan bo‘lsa, weak self zaif havolasini tutib olishga ruxsat beriladi. Bu klassik retain cycle va race condition ni oldini oladi.