Telegram Group & Telegram Channel
Media is too big
VIEW IN TELEGRAM
πŸ”₯ Ошибка Therac-25: ΠΊΠΎΠ³Π΄Π° ΠΊΠΎΠ΄ ΡƒΠ±ΠΈΠ²Π°Π΅Ρ‚

β–ͺ Π’ 1980-Ρ… Therac-25 считался Ρ‡ΡƒΠ΄ΠΎΠΌ ΠΌΠ΅Π΄ΠΈΡ†ΠΈΠ½Ρ‹: Π½ΠΎΠ²Ρ‹ΠΉ Π»ΠΈΠ½Π΅ΠΉΠ½Ρ‹ΠΉ ΡƒΡΠΊΠΎΡ€ΠΈΡ‚Π΅Π»ΡŒ для лСчСния Ρ€Π°ΠΊΠ° с Ρ‚ΠΎΡ‡Π½ΠΎΠΉ Π΄ΠΎΠ·ΠΈΡ€ΠΎΠ²ΠΊΠΎΠΉ Ρ€Π°Π΄ΠΈΠ°Ρ†ΠΈΠΈ. Π Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ Π³ΠΎΡ€Π΄ΠΈΠ»ΠΈΡΡŒ: Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ всё управляСт ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎΠ΅ обСспСчСниС β€” ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Ρ€ΡƒΡ‡Π½ΠΎΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΠΈ максимум бСзопасности… казалось Π±Ρ‹.

Но вскорС ΠΏΠ°Ρ†ΠΈΠ΅Π½Ρ‚Ρ‹ Π½Π°Ρ‡Π°Π»ΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒ ΡΠΌΠ΅Ρ€Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ Π΄ΠΎΠ·Ρ‹ Ρ€Π°Π΄ΠΈΠ°Ρ†ΠΈΠΈ. Π›ΡŽΠ΄ΠΈ ΠΏΡ€ΠΈΡ…ΠΎΠ΄ΠΈΠ»ΠΈ Π½Π° Π»Π΅Ρ‡Π΅Π½ΠΈΠ΅ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π°Π»ΠΈ 100-ΠΊΡ€Π°Ρ‚Π½ΠΎΠ΅ ΠΏΡ€Π΅Π²Ρ‹ΡˆΠ΅Π½ΠΈΠ΅ Π½ΠΎΡ€ΠΌΡ‹ Π±ΡƒΠΊΠ²Π°Π»ΡŒΠ½ΠΎ Π·Π° сСкунды. НСкоторыС ΡƒΠΌΠΈΡ€Π°Π»ΠΈ ΠΌΠ³Π½ΠΎΠ²Π΅Π½Π½ΠΎ, Π΄Ρ€ΡƒΠ³ΠΈΠ΅ β€” спустя нСсколько нСдСль.

Π§Ρ‚ΠΎ ΠΆΠ΅ ΡΠ»ΡƒΡ‡ΠΈΠ»ΠΎΡΡŒ? πŸ‘‡

β–ͺ Π“ΠΎΠ½ΠΊΠ° ΠΏΠΎΡ‚ΠΎΠΊΠΎΠ² (race condition) β€” Π½Π΅Π·Π°ΠΌΠ΅Ρ‚Π½Ρ‹ΠΉ Π±Π°Π³ Π² ΠΊΠΎΠ΄Π΅. Если Ρ‚Π΅Ρ…Π½ΠΈΠΊ слишком быстро ΠΏΠ΅Ρ€Π΅ΠΊΠ»ΡŽΡ‡Π°Π» Ρ€Π΅ΠΆΠΈΠΌΡ‹ лСчСния, ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ° Π½Π΅ успСвала ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎ Π°ΠΊΡ‚ΠΈΠ²ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ Π·Π°Ρ‰ΠΈΡ‚Ρƒ. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: машина Π²ΠΊΠ»ΡŽΡ‡Π°Π»Π° ΠΌΠΎΡ‰Π½Π΅ΠΉΡˆΠΈΠΉ Π»ΡƒΡ‡ Π±Π΅Π· Π±Π»ΠΎΠΊΠΈΡ€ΠΎΠ²ΠΊΠΈ ΠΈ Π±ΡƒΠΊΠ²Π°Π»ΡŒΠ½ΠΎ сТигала ΠΏΠ°Ρ†ΠΈΠ΅Π½Ρ‚ΠΎΠ².

Π Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ увСряли, Ρ‡Ρ‚ΠΎ ΠΊΠΎΠ΄ Β«ΠΈΠ΄Π΅Π°Π»Π΅Π½Β» ΠΈ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° Π½Π΅ Π² Π½ΠΈΡ…. Волько послС Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… Ρ‚Ρ€Π°Π³Π΅Π΄ΠΈΠΉ нСзависимыС экспСрты нашли источник: Π±Π°Π³ проявлялся лишь ΠΏΡ€ΠΈ ΡΠΊΡΡ‚Ρ€Π΅ΠΌΠ°Π»ΡŒΠ½ΠΎ быстром Π²Π²ΠΎΠ΄Π΅ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ клавиш β€” ситуация, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Π½ΠΈΠΊΡ‚ΠΎ Π΄Π°ΠΆΠ΅ Π½Π΅ тСстировал.

πŸ’₯ Π˜Ρ‚ΠΎΠ³: Therac-25 стал ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ Π΄Π°ΠΆΠ΅ ΠΎΠ΄Π½Π° строка ΠΊΠΎΠ΄Π° ΠΌΠΎΠΆΠ΅Ρ‚ ΡƒΠ±ΠΈΡ‚ΡŒ, Ссли ΠΈΠ³Π½ΠΎΡ€ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ тСстированиС edge-case сцСнариСв. Π­Ρ‚ΠΎΡ‚ случай навсСгда ΠΈΠ·ΠΌΠ΅Π½ΠΈΠ» стандарты Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ критичСски Π²Π°ΠΆΠ½Ρ‹Ρ… систСм, ввСдя Π½ΠΎΠ²Ρ‹Π΅ ΠΌΠ΅ΠΆΠ΄ΡƒΠ½Π°Ρ€ΠΎΠ΄Π½Ρ‹Π΅ Π½ΠΎΡ€ΠΌΡ‹ бСзопасности.

πŸ‘‰ Π£Ρ€ΠΎΠΊ:
Никогда Π½Π΅ Π²Π΅Ρ€ΡŒ, Ρ‡Ρ‚ΠΎ Ρ‚Π²ΠΎΠΉ ΠΊΠΎΠ΄ Β«Π±Π΅Π· ошибок». ОсобСнно ΠΊΠΎΠ³Π΄Π° ΠΎΡ‚ Π½Π΅Π³ΠΎ зависят ΠΆΠΈΠ·Π½ΠΈ.

#ΠΊΠΎΠ΄ #Π±Π°Π³ΠΈ #ΠΈΡΡ‚ΠΎΡ€ΠΈΠΈΠ˜Π’ #therac25 #Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° #тСстированиС #fail



tg-me.com/DevOPSitsec/1482
Create:
Last Update:

πŸ”₯ Ошибка Therac-25: ΠΊΠΎΠ³Π΄Π° ΠΊΠΎΠ΄ ΡƒΠ±ΠΈΠ²Π°Π΅Ρ‚

β–ͺ Π’ 1980-Ρ… Therac-25 считался Ρ‡ΡƒΠ΄ΠΎΠΌ ΠΌΠ΅Π΄ΠΈΡ†ΠΈΠ½Ρ‹: Π½ΠΎΠ²Ρ‹ΠΉ Π»ΠΈΠ½Π΅ΠΉΠ½Ρ‹ΠΉ ΡƒΡΠΊΠΎΡ€ΠΈΡ‚Π΅Π»ΡŒ для лСчСния Ρ€Π°ΠΊΠ° с Ρ‚ΠΎΡ‡Π½ΠΎΠΉ Π΄ΠΎΠ·ΠΈΡ€ΠΎΠ²ΠΊΠΎΠΉ Ρ€Π°Π΄ΠΈΠ°Ρ†ΠΈΠΈ. Π Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ Π³ΠΎΡ€Π΄ΠΈΠ»ΠΈΡΡŒ: Ρ‚Π΅ΠΏΠ΅Ρ€ΡŒ всё управляСт ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎΠ΅ обСспСчСниС β€” ΠΌΠΈΠ½ΠΈΠΌΡƒΠΌ Ρ€ΡƒΡ‡Π½ΠΎΠΉ Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΠΈ максимум бСзопасности… казалось Π±Ρ‹.

Но вскорС ΠΏΠ°Ρ†ΠΈΠ΅Π½Ρ‚Ρ‹ Π½Π°Ρ‡Π°Π»ΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π°Ρ‚ΡŒ ΡΠΌΠ΅Ρ€Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ Π΄ΠΎΠ·Ρ‹ Ρ€Π°Π΄ΠΈΠ°Ρ†ΠΈΠΈ. Π›ΡŽΠ΄ΠΈ ΠΏΡ€ΠΈΡ…ΠΎΠ΄ΠΈΠ»ΠΈ Π½Π° Π»Π΅Ρ‡Π΅Π½ΠΈΠ΅ ΠΈ ΠΏΠΎΠ»ΡƒΡ‡Π°Π»ΠΈ 100-ΠΊΡ€Π°Ρ‚Π½ΠΎΠ΅ ΠΏΡ€Π΅Π²Ρ‹ΡˆΠ΅Π½ΠΈΠ΅ Π½ΠΎΡ€ΠΌΡ‹ Π±ΡƒΠΊΠ²Π°Π»ΡŒΠ½ΠΎ Π·Π° сСкунды. НСкоторыС ΡƒΠΌΠΈΡ€Π°Π»ΠΈ ΠΌΠ³Π½ΠΎΠ²Π΅Π½Π½ΠΎ, Π΄Ρ€ΡƒΠ³ΠΈΠ΅ β€” спустя нСсколько нСдСль.

Π§Ρ‚ΠΎ ΠΆΠ΅ ΡΠ»ΡƒΡ‡ΠΈΠ»ΠΎΡΡŒ? πŸ‘‡

β–ͺ Π“ΠΎΠ½ΠΊΠ° ΠΏΠΎΡ‚ΠΎΠΊΠΎΠ² (race condition) β€” Π½Π΅Π·Π°ΠΌΠ΅Ρ‚Π½Ρ‹ΠΉ Π±Π°Π³ Π² ΠΊΠΎΠ΄Π΅. Если Ρ‚Π΅Ρ…Π½ΠΈΠΊ слишком быстро ΠΏΠ΅Ρ€Π΅ΠΊΠ»ΡŽΡ‡Π°Π» Ρ€Π΅ΠΆΠΈΠΌΡ‹ лСчСния, ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ° Π½Π΅ успСвала ΠΏΡ€Π°Π²ΠΈΠ»ΡŒΠ½ΠΎ Π°ΠΊΡ‚ΠΈΠ²ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ Π·Π°Ρ‰ΠΈΡ‚Ρƒ. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: машина Π²ΠΊΠ»ΡŽΡ‡Π°Π»Π° ΠΌΠΎΡ‰Π½Π΅ΠΉΡˆΠΈΠΉ Π»ΡƒΡ‡ Π±Π΅Π· Π±Π»ΠΎΠΊΠΈΡ€ΠΎΠ²ΠΊΠΈ ΠΈ Π±ΡƒΠΊΠ²Π°Π»ΡŒΠ½ΠΎ сТигала ΠΏΠ°Ρ†ΠΈΠ΅Π½Ρ‚ΠΎΠ².

Π Π°Π·Ρ€Π°Π±ΠΎΡ‚Ρ‡ΠΈΠΊΠΈ увСряли, Ρ‡Ρ‚ΠΎ ΠΊΠΎΠ΄ Β«ΠΈΠ΄Π΅Π°Π»Π΅Π½Β» ΠΈ ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ° Π½Π΅ Π² Π½ΠΈΡ…. Волько послС Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… Ρ‚Ρ€Π°Π³Π΅Π΄ΠΈΠΉ нСзависимыС экспСрты нашли источник: Π±Π°Π³ проявлялся лишь ΠΏΡ€ΠΈ ΡΠΊΡΡ‚Ρ€Π΅ΠΌΠ°Π»ΡŒΠ½ΠΎ быстром Π²Π²ΠΎΠ΄Π΅ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ клавиш β€” ситуация, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ Π½ΠΈΠΊΡ‚ΠΎ Π΄Π°ΠΆΠ΅ Π½Π΅ тСстировал.

πŸ’₯ Π˜Ρ‚ΠΎΠ³: Therac-25 стал ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ Π΄Π°ΠΆΠ΅ ΠΎΠ΄Π½Π° строка ΠΊΠΎΠ΄Π° ΠΌΠΎΠΆΠ΅Ρ‚ ΡƒΠ±ΠΈΡ‚ΡŒ, Ссли ΠΈΠ³Π½ΠΎΡ€ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ тСстированиС edge-case сцСнариСв. Π­Ρ‚ΠΎΡ‚ случай навсСгда ΠΈΠ·ΠΌΠ΅Π½ΠΈΠ» стандарты Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ критичСски Π²Π°ΠΆΠ½Ρ‹Ρ… систСм, ввСдя Π½ΠΎΠ²Ρ‹Π΅ ΠΌΠ΅ΠΆΠ΄ΡƒΠ½Π°Ρ€ΠΎΠ΄Π½Ρ‹Π΅ Π½ΠΎΡ€ΠΌΡ‹ бСзопасности.

πŸ‘‰ Π£Ρ€ΠΎΠΊ:
Никогда Π½Π΅ Π²Π΅Ρ€ΡŒ, Ρ‡Ρ‚ΠΎ Ρ‚Π²ΠΎΠΉ ΠΊΠΎΠ΄ Β«Π±Π΅Π· ошибок». ОсобСнно ΠΊΠΎΠ³Π΄Π° ΠΎΡ‚ Π½Π΅Π³ΠΎ зависят ΠΆΠΈΠ·Π½ΠΈ.

#ΠΊΠΎΠ΄ #Π±Π°Π³ΠΈ #ΠΈΡΡ‚ΠΎΡ€ΠΈΠΈΠ˜Π’ #therac25 #Ρ€Π°Π·Ρ€Π°Π±ΠΎΡ‚ΠΊΠ° #тСстированиС #fail

BY DevOps


Warning: Undefined variable $i in /var/www/tg-me/post.php on line 283

Share with your friend now:
tg-me.com/DevOPSitsec/1482

View MORE
Open in Telegram


DevOps Telegram | DID YOU KNOW?

Date: |

Look for Channels Online

You guessed it – the internet is your friend. A good place to start looking for Telegram channels is Reddit. This is one of the biggest sites on the internet, with millions of communities, including those from Telegram.Then, you can search one of the many dedicated websites for Telegram channel searching. One of them is telegram-group.com. This website has many categories and a really simple user interface. Another great site is telegram channels.me. It has even more channels than the previous one, and an even better user experience.These are just some of the many available websites. You can look them up online if you’re not satisfied with these two. All of these sites list only public channels. If you want to join a private channel, you’ll have to ask one of its members to invite you.

China’s stock markets are some of the largest in the world, with total market capitalization reaching RMB 79 trillion (US$12.2 trillion) in 2020. China’s stock markets are seen as a crucial tool for driving economic growth, in particular for financing the country’s rapidly growing high-tech sectors.Although traditionally closed off to overseas investors, China’s financial markets have gradually been loosening restrictions over the past couple of decades. At the same time, reforms have sought to make it easier for Chinese companies to list on onshore stock exchanges, and new programs have been launched in attempts to lure some of China’s most coveted overseas-listed companies back to the country.

DevOps from it


Telegram DevOps
FROM USA