1. Senario dan kekangan
Anda menyelenggara aplikasi penyuntingan imej. UI mengakses cache manakala pengambilan rangkaian, penyahkodan dan penjanaan lakaran kecil menggunakan sumber yang tinggi. Kod lama bergantung pada lompatan benang (thread hops) tersirat, sesetengah API adalah nonisolated async, dan ujian hanya menyemak imej akhir. Anda mesti menggunakan Swift 6.2, mengekalkan penatalan yang lancar dan hasil deterministik, serta mendayakan semakan perlumbaan data Swift 6 secara berperingkat.
Mulakan dengan merekodkan garis dasar: masa bingkai benang utama, daya pemprosesan penyahkodan, bilangan tugasan aktif, kadar capaian cache, kependaman pembatalan, dan diagnostik pengkompil sebelum dan selepas penghijrahan. Tanpa data ini, regresi prestasi dan pembetulan ketepatan mudah dikelirukan.
2. Terangkan perubahan Swift 6.2 terlebih dahulu
Swift 6.2 menawarkan tetapan pilihan -default-isolation MainActor, yang mengasingkan kod dalam sasaran kepada actor utama secara lalai. Ia juga menambah @concurrent untuk menandakan fungsi yang dimaksudkan untuk berjalan serentak. Dengan NonisolatedNonsendingByDefault, fungsi nonisolated async mengekalkan actor pemanggil secara lalai dan bukannya beralih secara automatik ke pelaksana serentak global; gunakan @concurrent apabila semantik selari dimaksudkan.
Pilihan ini mengurangkan hingar anotasi tetapi tidak menjadikan setiap operasi selari. Pemencilan lalai menerangkan siapa yang boleh mengakses keadaan dengan selamat. @concurrent secara eksplisit menyatakan bahawa kerja boleh meninggalkan actor semasa dan berjalan secara selari.
3. Tetapkan sempadan pemencilan
Kekalkan cache boleh ubah dan keadaan UI dalam jenis @MainActor. Jadikan transformasi nilai tulen dan penyahkod dengan input dan output yang tidak boleh diubah sebagai Sendable. Lapisan muat turun harus mengembalikan nilai dan bukannya objek dengan pertalian benang tersembunyi. Bagi setiap API, dokumentasikan actor pemanggil, keadaan yang dilindungi, dan sama ada pelaksanaan selari dibenarkan.
Sebagai contoh, kekalkan perlindungan cache pada actor utama:
@MainActor
final class ImageCache {
private var values: [URL: Image] = [:]
func value(for url: URL) -> Image? { values[url] }
func insert(_ image: Image, for url: URL) { values[url] = image }
}Jangan taburkan MainActor.run di serata kod lama hanya untuk mendiamkan amaran. Panduan penghijrahan menganggapnya sebagai alat peralihan; API jangka panjang harus menyatakan pemencilan dalam jenis dan tandatangan mereka.
4. Tentukan masa untuk menggunakan @concurrent
Tambah @concurrent hanya apabila kerja selamat dijalankan secara selari, input dan outputnya memenuhi keperluan penghantaran (sending requirements), dan garis dasar menunjukkan manfaat. Penyahkodan imej selalunya layak: ia tidak menyentuh cache actor utama secara langsung dan mengembalikan nilai yang baru dicipta.
@MainActor
struct ImagePipeline {
static func image(from url: URL) async throws -> Image {
let cached = cache.value(for: url)
if let cached { return cached }
let image = try await decode(url: url)
cache.insert(image, for: url)
return image
}
@concurrent
private static func decode(url: URL) async throws -> Image {
let (data, _) = try await URLSession.shared.data(from: url)
return try ImageDecoder.decode(data)
}
}Nyatakan bahawa @concurrent bukan suis kelajuan. Penggunaan berlebihan menambah kos penjadualan, memori dan penyelarasan; jika penyahkod bersifat bersiri secara dalaman atau imej adalah kecil, daya pemprosesan boleh menurun.
5. Kendalikan konteks pemanggil dan Sendable
Dengan semantik konteks pemanggil didayakan, fungsi async boleh diteruskan pada actor pemanggil. Ini membantu apabila ia memerlukan keadaan yang diasingkan pada pemanggil, tetapi kerja CPU yang panjang boleh menyekat actor tersebut, jadi asingkan peringkat tulen @concurrent. Nilai yang merentasi actor mestilah Sendable atau dilindungi oleh actor, kunci (lock), atau sempadan penyelarasan yang setara.
Jangan diamkan setiap diagnostik dengan @unchecked Sendable. Gunakannya hanya sebagai jalan terakhir yang terhad selepas membuktikan batas invarians, primitif penyelarasan, dan jangka hayat, serta gandingkan dengan ujian tegasan konkurensi.
6. Berhijrah secara berperingkat dengan alatan
Dayakan ciri akan datang dan diagnostik ketat dalam satu modul terlebih dahulu, menggunakan alatan penghijrahan untuk amaran dan pembetulan (fix-its). Stabilkan pemencilan dan kekangan Sendable dalam API awam, kemudian tukar modul tersebut kepada mod bahasa Swift 6. Pastikan setiap fasa boleh dikembalikan dan arkibkan diagnostik mengikut modul.
Urutan yang praktikal ialah jenis nilai dan kekangan protokol, perkhidmatan peringkat rendah, actor cache, dan akhirnya tapak panggilan UI. Ralat kemudiannya muncul pada sempadan dan bukannya pada beratus-ratus ungkapan await yang diubah. Semasa kerja keserasian, kekalkan antara muka mod Swift 5 untuk klien sedia ada sambil meningkatkan tahap semakan di dalam modul pelaksanaan.
7. Buktikan ketiadaan perlumbaan data dan pensirilan tidak sengaja
Di luar ujian fungsi, tambah tegasan konkurensi: permintaan serentak untuk satu URL, pembatalan rawak, penulisan berulang, dan pembacaan merentas actor. Gunakan Thread Sanitizer dan diagnostik konkurensi ketat untuk mengesan perlumbaan. Lakukan penandaarasan pada cache sejuk dan panas, saiz imej, dan had konkurensi, membandingkan masa bingkai, daya pemprosesan, puncak memori, dan kependaman pembatalan.
Periksa konteks tugas dan timbunan tak segerak untuk mengesahkan penyahkodan benar-benar berjalan serentak sementara akses cache kekal pada actor utama. Jika @concurrent tidak meningkatkan masa bingkai, semak jika terdapat penyahkod yang menyekat, satu kunci yang mensirikan kerja, atau terlalu banyak tugas kecil.
8. Rubrik dan susulan
Mesti dijelaskan
- Bezakan pemencilan lalai, konteks pemanggil, dan keselarasan eksplisit;
asynctidak bermaksud benang latar belakang. - Buktikan keselamatan dengan
Sendable, sempadan actor, dan pembatalan daripada menyembunyikan ralat dengan@unchecked Sendable. - Sediakan penghijrahan berperingkat, ujian tegasan, dan garis dasar prestasi dengan penjelasan mengenai isyarat regresi.
Soalan susulan
- Jika penyahkod tidak selamat untuk benang (thread-safe), adakah anda akan meletakkannya di belakang actor, pelaksana bersiri, atau perkhidmatan luar proses, dan mengapa?
- Bagaimanakah anda menggabungkan (coalesce) muat turun pendua untuk satu URL tanpa mensirikan keseluruhan cache?
- Bagaimanakah modul Swift 5 dan Swift 6 boleh berkongsi API semasa penghijrahan, dan kekangan manakah yang mesti dihantar terlebih dahulu?
Panduan pemarkahan
Jawapan yang cemerlang menghubungkan pemodelan pemencilan, alatan penghijrahan, dan bukti masa jalan (runtime evidence): tentukan keadaan dan konteks pelaksanaan, gunakan permukaan @concurrent terkecil yang diperlukan untuk keselarasan, kemudian sahkan hasilnya dengan diagnostik pengkompil, Sanitizer, dan data penandaarasan.