هَلْ قَفْلُ مُثَنَّى آمِنٌ؟
Context:في هندسة البرمجيات، تَقْفِيلُ التَّفْحِيصِ المُثَنَّى (يُعْرَفُ أَيْضًا بِتَحْسِينِ تَقْفِيلِ التَّفْحِيصِ المُثَنَّى) هو نمط تصميم برنامج يُسْتَعْمَلُ لِتَقْلِيلِ الرِّوَايَةِ الْعَالِيَةِ لِتَحْصِيلِ قُفْلٍ بِتَجْرِبِ مَعْنَى التَّقْفِيلِ (تَحْصِيلُ قُفْلٍ) قَبْلَ تَحْصِيلِ القُفْلِ. يَحْصُلُ التَّثْبِيتُ إِنْ أَشَارَ تَحْقِيقُ مَعْلُومِ التَّثْبِيتِ إِلَى أَنَّ التَّثْبِيتَ مُوجِبٌ  الْمَثَلُ، حِينَ يُنْفَذُ فِي بَعْضِ أَلْسِنَةِ الْمُجَرَّدِ، يَكُونُ غَيْرَ آمِنٍ. أَحْيَانًا، يُمْكِنُ أَنْ يُعْتَبَرَ خِلَافُ النَّمْطِ.  يُسْتَعْمَلُ عَادَةً لِيُقَلِّلَ عَلَى الْقَفْلِ عَلَى الْعَالِيَةِ عِنْدَ تَنْفِيذِ "الْبَدْءِ الْكَسْلِيِّ" فِي مَحَلٍّ مُتَعَدِّدٍ، وَخَاصَّةً كَجُزْءٍ مِنْ نَمْطِ سِنْجِلْتُونَ. تَتَجَنَّبُ التَّبْدِيلُ الْكَسْلِيُّ تَبْدِيلَ الْقِيمَةِ حَتَّى تُوصَلَ إِلَيْهَا أَوَّلَ مَرَّةٍ.
قَفْلٌ مُثَنَّى يَجُوزُ أَنْ يَكُونَ غَيْرَ آمِنٍ فِي بَعْضِ الْحَالَاتِ وَيُعْتَبَرُ أَحْيَانًا مُضَارِعًا. وَلَكِنَّهُ يُمْكِنُ أَنْ يُنَفَّذَ بِطَرِيقٍ آمِنٍ.