2, September 2014
Abstrak
Komputasi, sebagai bagian tak terpisahkan dari kehidupan pribadi dan kerja kita, juga
menjadi penting bagi industri dan pemerintah. Perbaikan perangkat keras komputer
yang stabil telah didukung oleh peningkatan dua kali lipat kerapatan transistor di sirkuit
terpadu selama lima puluh tahun terakhir. Skala penutur Moore semacam itu
membutuhkan usaha yang terus meningkat, merangsang penelitian di perangkat keras
alternatif dan menimbulkan kontroversi. Untuk membantu mengevaluasi teknologi yang
muncul dan meningkatkan pemahaman kita, maka dari skala sirkuit terpadu, di sini
peneliti meninjau batasan mendasar untuk perhitungan di bidang manufaktur, energi,
ruang fisik, desain dan upaya verifikasi, dan algoritma. Untuk menjelaskan apa yang
dapat dicapai secara prinsip dan dalam praktiknya, peneliti rekapitulasi bagaimana
beberapa batasan dielakkan, dan bandingkan batasan longgar dan ketat. Kesulitan
teknik yang dihadapi oleh teknologi baru mungkin mengindikasikan batasan yang belum
diketahui.
As an indispensable part of our personal and working lives, computing has also become
essential to industries and governments. Steady improvements in computer hardware
have been supported by periodic doubling of transistor densities in integrated circuits
over the past fifty years. Such Moore scalingnowrequires ever increasing efforts,
stimulating research in alternative hardware and stirring controversy. To help evaluate
emerging technologies and increase our understanding of integrated-circuit scaling,
here I review fundamental limits to computation in the areas of manufacturing, energy,
physical space, design and verification effort, and algorithms. To outline what is
achievable in principle and in practice, I recapitulate how some limits were
circumvented, and compare loose and tight limits. Engineering difficulties encountered
by emerging technologies may indicate yet unknown limits.
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
Seluruh industri yang terlantar (surat kesalahan yang berjalan lama. Komputer
kabar, fotografi, dan sebagainya) tujuan umum memenuhi persyaratan ini
Dan meluncurkan aplikasi baru dengan sirkuit terpadu digital dan
(konferensi video, navigasi GPS, online sekarang menguasai pasar elektronik.
Belanja, hiburan berjejaring, dan Sebagai perbandingan, komputer
sebagainya) [4]. Aplikasi spesifik kuantum-baik janji digital maupun
terintegrasi sirkuit merampingkan input- analog-hold hanya di aplikasi niche dan
output dan networking, atau tidak menawarkan komputasi tujuan
mengoptimalkan fungsionalitas umum yang lebih cepat karena mereka
Sebelumnya dilakukan oleh hardware tidak cepat untuk menyortir dan tugas
general purpose. Kecepatan mereka Up spesifik lainnya. Dalam melebih-lebihkan
simulasi biomolekuler 100 kali lipat [5], dampak rekayasa dari komputer
[6]] dan meningkatkan efisiensi video kuantum, pers yang populer telah
decoding 500 kali lipat [7], namun melewatkan poin penting ini. Namun
membutuhkan usaha perancangan dalam penelitian ilmiah, upaya untuk
dengan pemahaman yang tajam membangun komputer kuantum
Dari perhitungan khusus, memungkinkan dalam mensimulasikan
memberlakukan biaya tinggi dan risiko fenomena kimia kuantum dan
finansial, perlu pasar swhere mengungkapkan batasan fundamental
Komputer tujuan umum ketinggalan, dan baru. Bagian 'Batas waktu-waktu
seringkali tidak dapat beradaptasi asimtotik' dan 'Kesimpulan'
dengan algoritma baru. Teknik terbaru mendiskripsikan batasan teknologi yang
untuk komputasi spesifik domain yang muncul.
dapat disesuaikan [8] menawarkan
pengorbanan yang lebih baik, sementara Ekstrapolasi teknologi versus batas
banyak aplikasi menyukai kombinasi fundamental
perangkat keras tujuan umum dan Penskalaan perangkat keras komputasi
perangkat lunak khusus domain, komersial secara teratur mengalami
termasuk bahasa pemrograman khusus hambatan yang luar biasa [1] [2], namun
[9], [10] seperti Erlang, yang digunakan kemajuan teknologi jangka pendek
Untuk mengimplementasikan instant seringkali menjauhi mereka.
messenger Whatsapp yang populer.
Sebagai contoh, perkiraan konsensus
3. Batasan Sebagai Alat Bantu pada awalnya memperkirakan 10-GHz
Untuk Mengevaluasi CPU untuk simpul 45 nmteknologi 15,
versus rentang 3-4 GHz yang terlihat
Teknologi Baru dalam praktik. Pada tahun 2004, Peta
Jalan Ilmu Pengetahuan dan Teknologi
Tanpa sejarah yang memadai, kita tidak Informasi Quantum yang tidak terkait
bisa melakukan ekstrapolasi hukum memperkirakan 50 qubit fisik 'digital'
penskalaan untuk teknologi baru, namun pada tahun 2012. Optimisme semacam
ekspektasi berjalan tinggi. Sebagai itu muncul dengan mengasumsikan
contoh, proposal baru untuk prosesor solusi teknologi jauh sebelum
analog sering muncul (seperti yang dikembangkan dan divalidasi, dan
diilustrasikan oleh kuantumkomputer dengan mengabaikan batasan penting.
adiabatik), namun gagal mengatasi Penulis mengklasifikasikan batas ke
masalah tentang komputasi analog, perangkat dan interkoneksi sebagai
seperti keterbatasan pada skala, rangkaian, materi, perangkat, sirkuit, dan
keandalan, dan perhitungan bebas- sistem yang mendasar. Batas spesifik
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
pada teknologi komputasi yang layak, pada kiamat [13]. Hemat tenaga dengan
mencari batasan 'ketat', yang memperlambat core CPU turun disebut
menghalangi perbaikan parameter kunci 'silicon redup'. Studi terperinci mengenai
jangka. hasil silicon [14] yang gelap
menunjukkan hasil yang sama. Untuk
4. Batasan Daya dan CPU tujuan ini, eksekutif dari Microsoft dan
IBM baru-baru ini memproklamasikan
Pada tahun 2004, Intel secara tiba-tiba akhir era multicoremicroprocessors [15].
membatalkan proyek CPU 4-GHz karena Dua tren terkait muncul sebelumnya:
kerapatan daya yang tinggi memerlukan (1) daerah sirkuit terpadu yang semakin
teknologi pendinginan yang kikuk. besar tetap bebas dari transistor untuk
Pabrikan CPU lainnya menyimpan membantu rute dan sintesis fisik, untuk
frekuensi clock di 1-6-GHz range. Daya mengakomodasi jaringan pasokan daya,
sirkuit sincedynamic tumbuh dengan dan seterusnya [16], [17] - kita
frekuensi clock dan voltase suplai menyebutnya 'silikon yang lebih gelap',
kuadrat [11], energi dapat diselamatkan (2) semakin banyak gerbang tidak
dengan cara mendistribusikan pekerjaan berfungsi Perhitungan tapi memperkuat
di antara yang lebih lambat, voltase interkoneksi panjang, lemah [18] atau
rendah. memperlambat kabel yang terlalu
Inti CPU paralel jika overhead pendek - yang peneliti sebut 'silikon abu-
paralelisasi kecil. abu'.
Saat ini, 50% -80% dari semua gerbang
Tren pendamping terhadap hukum di sirkuit terpadu berkinerja tinggi adalah
Moore - teori penskalaan Dennard [12] - repeater. Batas untuk catu daya dan
menunjukkan bagaimana menjaga pendinginan. Pusat data di USA menguji
konsumsi daya dari sirkuit terpadu 2,2% dari total listrik di 2011. Karena
semikonduktor tetap konstan sambil pembangkit listrik memerlukan waktu
meningkatkan kerapatannya. Tapi untuk membangun, kita tidak dapat
penskalaan Dennard mogok sepuluh mempertahankan tren konsumsi daya
tahun yang lalu [12]. Ekstrapolasi tren dua kali lipat per tahun. Hal ini
penskalaan semikonduktor untuk dimungkinkan untuk meningkatkan
CMOSs - teknologi semikonduktor yang efisiensi jalur transmisi (menggunakan
dominan selama 20 tahun terakhir - superkonduktor hightempergi [19]) dan
menunjukkan bahwa konsumsi daya konversi daya di pusat data, namun
transistor yang tersedia di sirkuit terpadu efisiensi jaringan daya on-chip dapat
modern berkurang lebih lambat dari segera mencapai 80% -90%, sehingga
ukurannya (yang tunduk pada hukum tidak memberi banyak ruang untuk
China) [13], [14]. Untuk memastikan perbaikan. Manajemen daya sirkuit
karakteristik kinerja transistor yang dapat terpadu yang modern mencakup jaringan
diterima, kerapatan daya chip harus jam dan tenaga gating, tegangan per-
dibatasi, dan pecahan transistor harus core scaling [20], pemulihan biaya [21]
tetap gelap pada suatu waktu. CPU dan, pada prosesor terbaru, inti CPU
modern belum dapat menggunakan yang didedikasikan untuk penjadwalan
semua sirkuit mereka sekaligus, namun daya. Konsumsi daya sirkuit terpadu
efek asimtotik ini disebut " Dinding bergantung secara kuadrat pada voltase
pemanfaatan''49-akan segera suplai, yang telah menurun dengan
mengeluarkan 99% chip, maka istilah mantap selama bertahun-tahun, namun
'silikon gelap' dan referensi beralasan baru-baru ini stabil pada 0,5-2V.
Tegangan suplai biasanya melebihi
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
voltase ambang batas dengan margin terburuk dari algoritma terbaik untuk
keamanan yang menjamin keandalan masalah tertentu, namun hanya
sirkuit, operasi cepat dan kebocoran membedakan pertumbuhan asimtotik
yang rendah. Tegangan ambang batas polinomial dari eksponensial.
bergantung pada ketebalan gerbang Batasan yang diformulasikan dengan
dielektrik, yang mencapai batas praktis persyaratan kasar (unsolvability in
beberapa atom (lihat bagian 'Hambatan polinomial time on any computer) sangat
Rekayasa') . Transistor tidak dapat kuat: kekerasan anjak piutang mendasari
beroperasi dengan voltase suplai di perdagangan Internet, sementara P tidak
bawah sekitar 200mV -lima kali di bawah sama dengan dugaan NP menjelaskan
praktik saat ini-dan rangkaian sederhana kurangnya solusi terukur dan terukur
mencapai batas ini. Dengan operasi untuk masalah algoritmik yang penting. ,
yang lebih lambat, sirkuit di dekat dan Dalam optimasi dan verifikasi desain
sub-ambang batas menghabiskan energi sirkuit terpadu, misalnya. (Disini P
seratus kali lebih sedikit [22]. Teknologi adalah kelas masalah keputusan yang
pendingin juga bisa meningkat, namun dapat dipecahkan dengan menggunakan
batas kuantum mendasar membatasi langkah-langkah perhitungan sederhana
efisiensi penghilangan panas [23] yang jumlahnya tidak lebih cepat dari
pada polinomial dengan ukuran data
5. Teori Limit Kompleksitas masukan, dan NP adalah Kelas
polinomial non-deterministik yang
Sekarang kita tinjau model yang lebih mewakili masalah keputusan yang solusi
abstrak untuk fokus pada dampak skala, yang dapat ditentukan secara
dan untuk menunjukkan bagaimana tren deterministik dapat diperiksa dengan
berulang dengan cepat menyalip efek tepat dengan menggunakan sejumlah
spesifik perangkat satu kali. Peneliti langkah polinomial.) Asimilar yang sama,
mengabaikan efek spasial dan fokus P tidak sama dengan NC, berusaha
pada sifat perhitungan dalam model untuk menjelaskan mengapa banyak
abstrak (digunakan oleh insinyur masalah algoritmik yang dapat
perangkat lunak) yang merupakan dipecahkan Secara efisien tidak paralel
penghitungan dengan langkah-langkah secara efisien. Sebagian besar batasan
elementer dengan runtimes input- ini belum terbukti. Beberapa dapat
independen. Batas tersebut bertahan dielakkan dengan menggunakan fisika
banyak perbaikan dalam teknologi yang sangat berbeda, misalnya,
komputer, dan seringkali lebih kuat untuk komputer kuantum dapat memecahkan
masalah tertentu. Sebagai contoh, anjuran bilangan pada waktu polinomial
algoritma yang paling terkenal untuk (secara teori). Namun perhitungan
mengalikan bilangan besar hanya sedikit kuantum tidak mempengaruhi P tidak
lebih lambat daripada membaca input sama dengan NP. Kurangnya bukti,
(batas kecepatan yang jelas), namun meski bukti empiris berat, membutuhkan
hanya dalam pengertian asimtotik: untuk kepercayaan dan merupakan batasan
angka dengan kurang dari seribu bit, penting dari banyak batasan nonfisik
algoritma tersebut tertinggal dari untuk komputasi. Arare membuktikan
algoritma yang lebih sederhana hasil oleh Turing menyatakan bahwa
dibandingkan kinerja sebenarnya. memeriksa apakah suatu program yang
Untuk memusatkan perhatian pada hal pernah dihentikan tidak dapat
yang paling penting, saya tidak lagi dipecahkan: tidak ada algoritma yang
melacak kompleksitas kasus asymptotic memecahkan masalah ini dalam semua
kasus tanpa mempedulikan runtime.
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014
[2 R. Drelinski, M. Wieckowski, D.
2] Blaauw, D. Sylvester and T. Mudge,
"Near-threshold Computing:
Reclaiming Moore's Law Though
Energy Efficient Integrated
Circuits," IEEE, pp. 253-266, 2010.
ISSN : 1907-6460