, стверджує, що розробляє прототип нової мови програмування.){kind=link}
Komputasi berperforma tinggi diperlukan untuk menyelesaikan lebih banyak tugas – seperti pemrosesan gambar atau berbagai aplikasi pembelajaran mendalam di jaringan saraf – di mana Anda perlu memproses data dalam jumlah besar, dan melakukannya dengan cukup cepat, jika tidak maka akan memakan banyak waktu. waktu. Dipercaya secara luas bahwa ketika melakukan operasi seperti itu, kompromi antara kecepatan dan keandalan tidak dapat dihindari. Menurut pemikiran ini, jika kecepatan adalah prioritas, maka keandalan kemungkinan akan menurun dan sebaliknya.
Namun, sekelompok peneliti yang berbasis di Massachusetts Institute of Technology (MIT) menentang gagasan ini, dengan alasan bahwa Anda sebenarnya dapat memiliki semuanya. Menurut Amanda Liu, mahasiswa pascasarjana tahun kedua di Laboratorium Ilmu Komputer dan Kecerdasan Buatan (CSAIL) MIT, dengan bahasa pemrograman baru yang mereka tulis khusus untuk komputasi kinerja tinggi, “kecepatan dan ketepatan tidak harus bersaing. Sebaliknya, mereka bisa berjalan bersama, berdampingan, dalam program yang kami tulis." Liu dan timnya berbicara tentang potensi A Tensor Language (ATL) mereka yang baru dibuat bulan lalu di konferensi Prinsip Bahasa Pemrograman di Philadelphia.
"Semuanya dalam bahasa kami," kata Liu, "bertujuan untuk mendapatkan angka tunggal atau tensor." Tensor, pada gilirannya, adalah generalisasi dari vektor dan matriks. Sementara vektor adalah objek satu dimensi (sering diwakili oleh panah individu) dan matriks adalah array bilangan dua dimensi yang familiar, tensor adalah array n-dimensi yang dapat berbentuk array 3x3x3, misalnya, atau bahkan dimensi yang lebih tinggi (atau rendah).
Inti dari algoritma atau program komputer adalah untuk memulai perhitungan tertentu. Tetapi ada banyak cara berbeda untuk menulis program ini -- "variasi mengejutkan dari implementasi kode yang berbeda," seperti yang ditulis Liu dan rekan penulisnya di makalah mereka -- beberapa di antaranya jauh lebih cepat daripada yang lain. Alasan utama di balik ATL, dia menjelaskan, adalah ini: “Mengingat komputasi berkinerja tinggi sangat intensif sumber daya, Anda ingin dapat memodifikasi atau menulis ulang program dalam bentuk optimal untuk mempercepatnya. Seringkali Anda memulai dengan program yang paling mudah untuk ditulis, tetapi itu mungkin bukan cara tercepat untuk menjalankannya, jadi Anda masih perlu melakukan penyesuaian lebih lanjut."
Bahasa perintah baru didasarkan pada bahasa Coq yang ada, yang mencakup pembantu bukti. Asisten pembuktian, pada gilirannya, memiliki kemampuan untuk membuktikan pernyataannya secara matematis dengan tepat. Coq memiliki properti lain yang membuatnya menarik bagi grup MIT: program yang ditulis dalam bahasa itu, atau adaptasinya, selalu berhenti dan tidak dapat berjalan tanpa batas dalam loop tak terbatas.
Sekarang ini adalah yang pertama dan sejauh ini satu-satunya bahasa tensor dengan pengoptimalan yang diverifikasi secara formal. Tim MIT memperingatkan, bagaimanapun, bahwa ATL masih hanya prototipe - meskipun menjanjikan - yang telah diuji pada sejumlah program kecil.
Baca juga: