Anda di halaman 1dari 8

Computer and Information Sciences Journal Vol.8 No.

2, September 2014

Studi Kasus Evaluasi Batasan Dasar


Komputasi
Suwarno
Program Studi Sistem Informasi, Fakultas Ilmu Komputer, Universitas Internasional
Batam, Jln Gajah Mada No 1, 29432, Indonesia
E-mail: suwarno.liang@uib.ac.id

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.

Katakunci: komputasi, evaluasi, batasan, dasar

Latar Belakang kecepatan dari aplikasi dan basis data


yang selama ini terus meningkat, seiring
Teknologi baru muncul untuk komputasi dengan perkembangan dari multimedia
menjanjikan untuk mengungguli dan berbagai aplikasi chatting seperti
konvensional, dimana cara-cara yang Skype, WhatsApp, atau Messenger dari
lama belum dapat memenuhi kebutuhan Facebook. Aplikasi-aplikasi macam ini

ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014

membutuhkan sumber daya yang mempertimbangkan universalitas) [3].


banyak dan berat, untuk memenuhi Efisiensi dipelajari dari perspektif teoritis
persyaratan agar user experience atau pada awalnya, namun permintaan yang
pengalaman yang dirasakan oleh user kuat dalam aplikasi militer pada tahun
dapat lebih nyaman dan aman. 1940an membuat Turing dan von
Sirkuit terpadu dalam bandwidth atau Neumann mengembangkan arsitektur
kecepatan komputasi, konsumsi daya, perangkat keras yang terperinci untuk
biaya produksi, atau bentuk faktor [1] [2]. komputer universal-desain Turing
Namun, fokus tajam pada teknologi yang (PilotACE) lebih efisien, tapi program von
ada saat ini dan manfaatnya terkadang Neumann lebih mudah diprogram.
mengabaikan keterbatasan serius atau Arsitektur program tersimpan membuat
diskon perbaikan berkelanjutan dalam komputer universal praktis dalam arti
pendekatan yang sudah mapan. Untuk bahwa satu desain komputer bisa
mendorong konteks yang lebih kaya menjadi efektif dalam beragam aplikasi
untuk mengevaluasi teknologi baru, di jika disertakan dengan perangkat lunak
sini peneliti meninjau faktor pembatas yang sesuai. Universalitas praktis
dan tren penting dalam komputasi yang semacam itu tumbuh subur (1) dalam
menentukan apa yang dapat dicapai skala ekonomi di perangkat keras
secara prinsip dan dalam praktik. komputer dan (2) di antara tumpukan
Beberapa batasan mendasar tetap perangkat lunak yang ekstensif. Tidak
longgar, kemungkinan menunjukkan mengherankan, desain dan komponen
peluang yang layak untuk menghasilkan komputer yang paling canggih dan
teknologi. Untuk memperjelas sukses secara komersial, seperti unit
ketidakpastian ini, peneliti memeriksa pemrosesan IBM Intel dan IBM (CPU),
batas-batas pada batasan mendasar didasarkan pada paradigma von
dalam komputasi agar dapat menjadi Neumann.
suatu bahan yang penting dalam Beragam penggunaan dan pasar besar
penilaian batasan ini. chip tujuan umum, serta kemampuan
reproduksi hasilnya yang tepat,
Universal and general- membenarkan investasi modal yang
sangat besar dalam perancangan,
purpose computers verifikasi dan pembuatan sirkuit
terintegrasi terdepan. Hari ini tujuan
Jika kita melihat jam dan jam tangan umum CPU daya server awan
sebagai komputer awal, mudah untuk peternakan dan menggantikan prosesor
melihat pentingnya perhitungan lama mainframe khusus (tapi masih universal)
yang dapat diulang dengan akurasi tinggi di banyak superkomputer. Komputer
oleh perangkat yang diproduksi secara universal yang berkembang berdasarkan
massal. Pentingnya komputer digital susunan gerbang programmable yang
yang diprogram menjadi jelas setidaknya dapat diprogram dan unit pemrosesan
200 tahun yang lalu, seperti yang grafis tujuan umum mengungguli CPU
diilustrasikan oleh alat tenun Jacquard di dalam beberapa kasus, namun
manufaktur tekstil. Namun, keberadaan efisiensinya tetap saling melengkapi.
komputer universal yang dapat secara Untuk CPU. Keberhasilan komputasi
efisien mensimulasikan (hampir) semua deterministik tujuan umum
perangkat komputasi lainnya - analog Terwujud dalam konvergensi beragam
atau digital - hanya diartikulasikan pada fungsi pada smartphone portabel dan
tahun 1930an oleh Gereja dan Turing murah. Setelah perbaikan mantap,
(Turing mengecualikan kuantum saat komputasi tujuan umum
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

Namun, pengembang perangkat lunak sementara sirkuit khusus akan


memecahkan masalah ini selama ulasan didominasi oleh teknologi yang kurang
kode peer, dan begitu juga guru sains canggih karena alasan keuangan.
komputer saat mengerjakan ujian dalam Memang, chip memori telah
kursus pemrograman. mencontohkan penskalaan Moore
Analisis kasus terburuk adalah batasan karena strukturnya yang sederhana,
batasan nonfisik lainnya untuk interkoneksi sederhana, dan manufaktur
komputasi, namun menunjukkan potensi yang lebih terkendali, namun
keuntungan melalui pendekatan dan miniaturisasi sel memori sekarang
spesialisasi. melambat. Penipisan sirkuit CMOS yang
Untuk beberapa masalah optimasi NP- melambat masih mengungguli
hard, seperti Soal Traveling Salesman penskalaan teknologi baru yang paling
Euclidean, perkiraan waktu polinomial layak.
ada, namun dalam kasus lain, seperti
masalah Maksimum Clique, perkiraan Referensi
yang akurat sama sulitnya dengan
menemukan solusi optimal. Untuk
beberapa masalah penting dan
Algoritma, seperti algoritma Simplex [1 R. Cavin, P. Lugli and V. Zhimov,
untuk pemrograman linier, beberapa ] "Science and Engineering Beyond
masukan mengarah pada eksponensial Moore's Law," 2012.
runtime, dan gangguan menit
mengurangi runtime ke polinom.
[2 A. Chien and V. Karamcheti,
6. Kesimpulan ] "Moore's Law: the First Ending and
New Beginning," IEEE Computer,
Pawai kematian hukum Moore pp. 48-53, 2013.
mengundang diskusi tentang batasan
fundamental dan alternatif
[3 R. Herken, The Universal Turing
semikonduktor silikon. Kendala jangka
pendek (hambatan terhadap kinerja, ] Machine: A Half Century Survey
kekuatan, bahan, sumber laser, 2nd edn, Springer, 2013.
teknologi manufaktur dan sebagainya)
selalu terkait dengan biaya dan modal, [4 M. Andreesen, "Why Software is
namun diabaikan karena adanya pasar
] eating the world," The Wall Street
baru untuk elektronik terbuka, populasi
meningkat, dan ekonomi dunia tumbuh. Journal, 2011.
Tekanan Sucheconomic menekankan
nilai universalitas komputasi dan [5 D. Padua, Encyclopedia of Pararell
penerapan arsitektur sirkuit terpadu yang ] Computing, Springer, 2011.
luas untuk menyelesaikan banyak tugas
di bawah kondisi lingkungan
konvensional. Dalam skenario yang [6 D. A. Shaw, "A Special Purpose
mungkin, hanya CPU, unit pemrosesan ] Machine that Achieves a Hundred-
grafis, susunan gerbang yang dapat Fold Speedup in Biomolecular
diprogram di lapangan dan sirkuit
terpadu padat perhatian akan tetap
bertahan pada akhir hukum Moore,

ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014

Simulations," IEEE, pp. 129-130, [1 H. Esmaeilzadeh, E. Blem, R. St-


2013. 4] Amant, K. Sankaralingam and D.
Burger, "Power Challenges May
[7 R. e. a. Hameed, "Understanding End the Multicore Era," ACM, pp.
] Sources of Inefficiency in General 93-102, 2013.
Purpose Chips," Communication
ACM, pp. 85-93, 2011. [1 Z. Yeraswork, "3D Stacks and
5] Security Key for IBM in Server
[8 J. Cong, G. Reinman, A. Bui and V. Market," 17 December 2013.
] Sarkar, "Customizable Domain- [Online]. Available:
Specific Computing," IEEE, pp. 6- http://www.eetimes.com/document.
15, 2011. asp?doc_id=1320403.

[9 M. Mernik, J. Heering and A. [1 A. Caldwell, A. Kahng and I.


] Sloane, "When and How to Develop 6] Markov, "Hierarchical Whitespace
Domain-Specific Languages," ACM Allocation in Top-Down Placement,"
Computing Surv., pp. 316-344, IEEE, pp. 716-724, 2003.
2005.
[1 S. Adya, I. Markov and P.
[1 K. Olukotun, Beyond Pararell 7] Villarubia, "On Whitespace and
0] Programming With Domain Specific Stability in Physical Synthesis,"
Languages, ACM, 2014, pp. 179- Integration, pp. 340-362, 2006.
180.
[1 P. Saxena, N. Menezes, P.
[1 J. Rabaey, A. Chandrakasan and B. 8] Cocchini and D. Kirkpatrick,
1] Nikolic, Digital Integrated Circuits A "Repeater Scaling and Its Impact on
Design Perspective, Pearson CAD," IEEE, pp. 451-463, 2004.
Education, 2003, pp. 11-13.
[1 J. Oestergaard, J. OKholm, K.
[1 M. Bohr, "A 30 Year retrospectiv on 9] LOmholt and G. Toennesen,
2] Dennard's MOSFET Scaling "Energy Losses of Super-
Paper," IEEE, pp. 11-13, 2007. conducting Power Transmission
Cables in the Grid," IEEE, p. 11,
2001.
[1 M. Taylor, "Is Dark Silicon Useful?
3] Harnessing the Four Horsemen of
the Coming Dark Silicon [2 N. E. a. Pinckney, "Limits of
Apocalypse," ACM, pp. 1131-1136, 0] Pararellism and Boosting in Dim
2012. Silicon," IEEE, pp. 30-37, 2013.

ISSN : 1907-6460
Computer and Information Sciences Journal Vol.8 No.2, September 2014

[2 S. Kim, Z. C.H. and M.


1] Papaefthymiou, "Charge-Recovery
Computing on Silicon," IEEE, pp.
651-659, 2005.

[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.

[2 J. Pendry, "Quantum Limits to The


3] Flow of Information and Entropy,"
Physic and Mathematics Gen., pp.
2161-2171, 1983.

ISSN : 1907-6460

Anda mungkin juga menyukai