Time-of-Check to Time-of-Use — resource tekshirilgan payt bilan ishlatilgan payt orasida uning holati o‘zgarishidan keladigan race condition. U cryptographic implementation, processor security yoki application vulnerability doirasidagi aniq xavf yoxud himoya kontekstini ifodalaydi. Kafolat va ta’sir threat model, platforma hamda implementation tafsilotlariga bog‘liq.
Mazmuni va vazifasi
Program path yoki permissionni tekshiradi, keyin alohida system call bilan resursni ochadi. Attacker intervalda symlink, file, credential yoki shared state’ni almashtirib, use operationini tekshiruvdan boshqa objectga yo‘naltiradi.
Time-of-Check to Time-of-Use alohida amal yoki zaiflik sifatida ko‘rinsa ham, hardware, operating system, runtime va application qatlamlari bilan o‘zaro ta’sir qiladi. Trust boundary, attacker capability va sensitive asset aniq yozilmasa, risk bahosi ortiqcha yoki yetarli bo‘lmasligi mumkin.
Ishlash mexanizmi
Oddiy race condition natija timingga bog‘liq umumiy concurrency bugdir; TOCTOU aynan check va use orasidagi invariant buzilishidir. Authentication bypassga olib kelishi mumkin, ammo barcha TOCTOU security exploit bo‘lavermaydi.
Time-of-Check to Time-of-Use uchun scope va ownership yozma ravishda belgilanadi. Producer, broker, database yoki consumer qaysi metadata’ni yaratishi, kim uni o‘zgartira olishi va qaysi acknowledgement durable holatni anglatishi aniq bo‘lsa retry paytidagi noaniqlik kamayadi. Time-of-Check to Time-of-Use uchun mas’ul komponent health signalidan tashqari, o‘zi himoya qiladigan invariant buzilmaganini ham davriy ravishda tekshiradi.
Time-of-Check to Time-of-Usega bog‘liq tashqi dependency sekinlashganda timeoutlar bir-biriga mos bo‘lishi kerak. Yuqori qatlamdagi deadline pastki qatlam retrylaridan qisqa bo‘lsa, bekor qilingan request orqa fonda resource sarflashda davom etishi mumkin. Cancellation propagation, bounded queue va circuit breaker nazoratli degradatsiya yaratishga yordam beradi.
Chegaralari
Atomic operation, file descriptor bo‘yicha ishlash va openat turidagi relative API check-use bo‘shlig‘ini yopadi. Lock faqat barcha ishtirokchilar unga rioya qilsa yordam beradi; attacker boshqaradigan path qayta resolve qilinmaydi.
Time-of-Check to Time-of-Use retention va cleanup siyosatiga bog‘liq. Log, tombstone, schema yoki transaction metadata erta o‘chirilsa replay va recovery buziladi; cheksiz saqlansa xarajat hamda maxfiylik xavfi ortadi.
Exploitability, impact, detectability, performance va compatibility birga baholanadi. Bitta mitigation barcha variant yoki platformani avtomatik himoya qilmaydi; defense-in-depth va aniq security boundary zarur. Shu sabab Time-of-Check to Time-of-Use faqat nominal demo bilan baholanmaydi.
Tekshirish
Time-of-Check to Time-of-Use diagnostikasida request yoki event identifier bo‘yicha kirish, qaror va tashqi natija bir vaqt chizig‘iga qo‘yiladi. Physical clocklar mos kelmasa sequence, offset, transaction ID yoki commit index asosiy dalil bo‘ladi.
Time-of-Check to Time-of-Usega oid metadata asosiy payloaddan kichik bo‘lsa ham muhim. Version, timestamp, key, checksum va provenance yo‘qolsa consumer taxminiy default bilan noto‘g‘ri qaror qilishi mumkin; noma’lum variant quarantine qilinadi.
Time-of-Check to Time-of-Useda audit faqat kim o‘zgartirganini emas, oldingi va yangi qiymat, sabab, approval hamda amal qilish muddatini qayd etadi. Emergency override avtomatik expiryga ega bo‘lmasa, vaqtinchalik xavfli rejim yashirin defaultga aylanib qolishi mumkin.
Time-of-Check to Time-of-Use bilan bog‘liq qarorlar data hajmi o‘sganda qayta baholanadi. Kichik datasetda arzon ko‘ringan full scan, broadcast yoki in-memory state production masshtabida disk spill va network saturation keltirishi mumkin. Growth threshold uchun alert va migration rejasi oldindan belgilanib, favqulodda paytda yangi arxitektura o‘ylab topishga ehtiyoj kamaytiriladi.
Time-of-Check to Time-of-Use bo‘yicha o‘zgarishdan so‘ng normal oqim bilan birga malformed input, concurrency, privilege boundary, rollback va partial deployment tekshiriladi. Qabul qilingan cheklovlar hujjatlashtiriladi va boshqa platformaga ko‘r-ko‘rona ko‘chirilmaydi.
Bog‘liq tushunchalar
race condition, atomic operation, symlink attack, file descriptor, concurrency, path resolution