Para Peneliti Mengembangkan Bug-blocking Chip Monitor

Para peneliti di University of Michigan telah mengembangkan teknologi yang dapat mencegah bug mikroprosesor dan mencegah mereka merebut PC.

Selama dua tahun terakhir mereka telah mengerjakan apa yang mereka sebut "wali semantik". Ini adalah monitor kecil yang hidup di mikroprosesor, memeriksa untuk melihat apakah chip tersebut diminta untuk melakukan sesuatu yang tidak diprediksi oleh perancangnya dalam pengujian jaminan kualitas mereka.

Perusahaan seperti Intel dan Advanced Micro Devices menguji produk mereka secara ketat, tetapi dalam chip dunia nyata sering diminta untuk melakukan hal-hal baru yang berpotensi menyebabkan kecelakaan. Wali semantik dapat mengidentifikasi kondisi yang belum teruji ini dan kemudian memperlambat prosesor dengan menendangnya ke mode aman, di mana banyak lonceng dan peluit yang meningkatkan kinerja chip dinonaktifkan.

Ini memperlambat komputer untuk sebagian kecil dari kedua, tetapi itu juga membuat kemungkinannya lebih kecil untuk jatuh, kata Valeria Bertacco, asisten profesor di departemen ilmu komputer universitas.

Timnya telah membangun wali semantik menjadi simulator chip berbasis perangkat lunak dan sekarang mencoba untuk mendapatkan itu dan berjalan pada microchip yang dapat diprogram disebut array gerbang lapangan-diprogram. Dalam desain mereka saat ini, monitor mengambil sekitar 3 persen dari real estat chip, tetapi mereka berharap bahwa itu akan jauh lebih kecil jika pernah dikembangkan secara komersial. "Jika ada perusahaan komersial yang memutuskan untuk melakukan ini, itu akan jauh kurang dari 1 persen," kata Bertacco.

Pembuat chip sering menemukan ratusan bug, yang disebut errata oleh industri, dalam produk mereka setelah mereka dikirim. Bug ini dapat diatasi di pembaruan BIOS, tetapi jika cacat cukup serius, itu dapat menggagalkan rencana produk perusahaan. Tahun lalu, prosesor quad-core AMD Opteron, kode-bernama Barcelona, ​​tertunda hampir setengah tahun ketika cacat serius ditemukan setelah peluncuran resmi chip.

Insight 64 analis Nathan Brookwood tidak yakin bahwa seorang wali semantik akan memiliki membantu AMD dengan masalah Barcelona-nya. Menurut dia, setidaknya ada dua masalah besar dengan pendekatan ini: Pertama, akan sulit untuk melacak semua negara yang diuji pada prosesor komersial. "Ada sejumlah besar negara yang sah, jadi saya benar-benar mempertanyakan apakah ini adalah sesuatu yang bisa dibuat menjadi solusi praktis," katanya.

Masalah kedua adalah bahwa dibutuhkan banyak pekerjaan desain. untuk menciptakan mode keamanan prosesor yang ramping yang benar-benar bekerja.

"Tebakan saya adalah itu tidak akan benar-benar menangkap jenis hal-hal yang sangat halus yang muncul dan yang tertangkap di lapangan," katanya. "Warnai aku yang skeptis."

Tapi masalah keamanan mungkin segera menyebabkan para pembuat chip untuk melihat dari dekat karya Universitas Michigan. Itu karena beberapa ahli keamanan berpikir bahwa bug mikroprosesor dapat memungkinkan gelombang baru serangan peretasan.

Bulan depan, misalnya, peneliti keamanan Kris Kaspersky berencana untuk menunjukkan cara menyerang prosesor Intel menggunakan kode JavaScript berbahaya dan paket jaringan. "Ini hanya masalah waktu sebelum kita mulai melihat ini … serangan yang digunakan dalam cara yang lebih dahsyat melalui Internet," tulisnya dalam deskripsi pembicaraan yang akan dia berikan pada konferensi Hack in the Box di Kuala Lumpur.

Bertacco percaya bahwa masalah keamanan bisa membuat wali semantiknya lebih menarik bagi para pembuat chip. "Masyarakat umum jauh lebih sensitif terhadap keamanan," katanya.