Zrobili Pendulum!
Masz problem? Zapytaj na forum elektroda.pl
From: "Piotr Wyderski" <piotr.wyderskiREMOVE_at_nospam_hoga.pl>
Subject: Zrobili Pendulum!
Date: Thu, 31 Jul 2003 17:22:26 +0200
Odnosnie niedawnego tematu o fizyce:
http://www.cise.ufl.edu/research/revcomp/
a wiec obliczenia odwracalne sa wdrazane
szybciej, niz mi sie wydawalo... A tu jest
doktorat M. Franka opisujacy te technike:
http://www.cise.ufl.edu/~mpf/manuscript/
Skrotowe wprowadzenie jest w FAQ:
http://www.cise.ufl.edu/research/revcomp/faq.html#whatis
Pozdrawiam
Piotr Wyderski
========
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.gazeta.pl!news.e-wro.pl!not-for-mai
From: J.F. <jfox_at_nospam_poczta.onet.pl.nospam>
Subject: Re: Zrobili Pendulum!
Date: Thu, 31 Jul 2003 22:02:52 +0200
On Thu, 31 Jul 2003 17:22:26 +0200, Piotr Wyderski wrote:
Skrotowe wprowadzenie jest w FAQ:
http://www.cise.ufl.edu/research/revcomp/faq.html#whatis
Taaa - to FAQ sie urywa w najciekawszym punkcie - tam gdzie
przechodzimy od ogolnikow do konkretow ..
Moze jakies szczegoly na czym konkretnie ma to polegac ?
J.
========
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.gazeta.pl!news.ipartners.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mai
From: "BartekK" <sibi_at_nospam_terror.org.pl>
Subject: Re: Zrobili Pendulum!
Date: Thu, 31 Jul 2003 22:37:59 +0200
czy mozesz przyblic conieco po polsku? czytam po swiatowemu i cos rozumiem,
ale niewiele konkretow tam znalazlem ;) rownie milo mi sie czyta Analize
matematyczna lub "Teorie pol elektromagnetycznych w zadaniach rozniczkowych"
--
Bartlomiej Kuzniewski tel0-696-455098
sibi_at_nospam_terror.org.pl gg# 23319
========
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed.silweb.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mai
From: "Piotr Wyderski" <piotr.wyderskiREMOVE_at_nospam_hoga.pl>
Subject: Re: Zrobili Pendulum!
Date: Fri, 1 Aug 2003 00:33:39 +0200
BartekK wrote:
czy mozesz przyblic conieco po polsku? czytam po swiatowemu i cos
rozumiem,
ale niewiele konkretow tam znalazlem ;) rownie milo mi sie czyta Analize
matematyczna lub "Teorie pol elektromagnetycznych w zadaniach
rozniczkowych"
-) OK.
Jednym z glownych problemow elektroniki jest odprowadzanie
ciepla generowanego przez uklad polprzewodnikowy. Naiwnie
mozna przypuszczac, ze powinno ono malec wraz ze zmniejszaniem
sie rozmiaru elementow -- jest tak, ale tylko do pewnego momentu.
W latach 60 Landauer pokazal, ze istnieje fizyczna granica minimalnego
wydatku energetycznego koniecznego do wykasowania bitu informacji.
Wynosi on k*T*ln 2 jouli, gdzie k jest stala Boltzmanna, a T temperatura
otoczenia. Oznacza to, ze w pewnej chwili w ukladach klasycznych nie
bedzie mozna zmniejszyc produkcji ciepla przez element, co przy
rosnacym zageszczeniu elementow i wzroscie czestotliwosci taktowania
uklady te beda produkowac coraz wiecej ciepla. Obecnie jestesmy
4--5 rzedow od tej granicy, ale trzeba sie zaczac martwic o przyszlosc. :-)
Przykladem kasowania informacji jest wykonanie operacji
AND(x,y). Przed jej wykonaniem mamy informacje o stanie kazdego
z obu wejsc, a po wykonaniu mamy tylko informacje o iloczynie.
Jeden bit informacji zostal wiec usuniety z naszego zbioru informacji
o ukladzie, co -- zgodnie z teoria Landauera -- musialo doprowadzic
do rozproszenia co najmniej kTln2 jouli energii w postaci ciepla.
Skoro nie mozna problemu pokonac, to nalezy go obejsc. Wymyslono
wiec, by obliczenia wykonywac bez kasowania informacji. Oznacza to,
ze na kazdym etapie operacje musza byc odwracalne, tzn. by
w kazdym przypadku z wyniku udalo sie odtworzyc dane wejsciowe.
Nie ma wowczas jakiejkolwiek utraty inforacji, wiec nie ma rozpraszania
ciepla. Obliczenia wygladaja tak, ze program uruchamia sie dla danych,
przechodzi krok po kroku do wyniku, a nastepnie uruchamia wstecz,
od wyniku do danych. Z tego powodu obliczenia te nazywa sie "odwracalne".
Jednym z ukladow o tej wlasnosci jest bramka Fredkina. Ma ona dwie
linie wejsciowe A i B oraz linie sterujaca C i trzy wyjscia A', B' i C'.
Jezeli C=0, to A` = A, B` = B. Dla C=1 A` = B, B` = A. Poza tym
zawsze C`=C. Nie dosc, ze na podstawie wyjsc mozna okreslic stan
wejsc (warunek konieczny odwracalnosci obliczen), to mozna za
jej pomoca latwo odtworzyc funkcjonalnosc wszystkiech podstawowych
bramek: AND, OR, NOT itd. To tyle w sprawie "o co z grubsza w tym
chodzi". Jesli chodzi o praktyke, to wlasnie z tego powodu zalozylem
watek -- dowiedzialem sie, ze wyprodukowano doswiadczalne uklady
odwracalne (CPU, FPGA itd.), ktore oni nazywaja "adiabatycznymi",
wiec pomyslalem, ze moze to was zainteresowac. :-) Czytalem kiedys
prace opisujaca projekt procesora Pendulum (wahadlo), a tu prosze,
slowo cialem sie stalo. :-)
Pozdrawiam
Piotr Wyderski
========
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mai