Orqaga hisoblash - Reverse computation - Wikipedia

Orqaga hisoblash a dasturiy ta'minot tushunchasini qo'llash qaytariladigan hisoblash.

Bu chip ishlab chiqaruvchilari duch keladigan issiqlik muammosining mumkin bo'lgan echimini taklif qilganligi sababli, qayta tiklanadigan hisoblash kompyuterlari arxitekturasi sohasida keng o'rganilgan. Qayta tiklanadigan hisoblashning va'dasi shundaki, qaytariladigan arxitektura uchun issiqlik yo'qotilishi miqdori juda ko'p miqdordagi tranzistorlar uchun minimal bo'ladi.[1][2] Vayron qiluvchi operatsiyalar orqali entropiya (va shu tariqa issiqlik) yaratishdan ko'ra, qayta tiklanadigan arxitektura tizim holatini saqlaydigan boshqa operatsiyalarni bajarish orqali energiyani tejaydi.[3][4]

Teskari hisoblash tushunchasi teskari hisoblashdan ko'ra soddadir, chunki teskari hisoblash faqat qayta tiklash uchun talab qilinadi teng barcha mumkin bo'lgan ko'rsatmalar to'plamining qaytarilishini qo'llab-quvvatlash o'rniga, dasturiy ta'minotning holati. Qayta tiklanadigan hisoblash tushunchalari sifatida muvaffaqiyatli qo'llanildi teskari hisoblash ma'lumotlar bazasini loyihalash kabi dasturiy ta'minot sohalarida,[5] nazorat nuqtasini tuzatish va disk raskadrovka,[6] va kodni farqlash.[7][8]

Parallel diskret hodisalarni simulyatsiya qilish uchun teskari hisoblash

Orqaga hisoblab chiqiladigan operatsiyalar ro'yxati va ularning xarajatlari.

Teskari hisoblash tushunchalarini boshqa dasturiy ta'minot sohalarida muvaffaqiyatli qo'llash asosida, Kris Karoters, Kalyan Perumalla va Richard Fujimoto[9] qo'shimcha xarajatlarni kamaytirish uchun teskari hisoblashni qo'llashni taklif qiling parallel diskret hodisalarni simulyatsiya qilish (PDES). Ular teskari voqea kodlariga asoslangan yondashuvni aniqlaydilar (ular avtomatik ravishda yaratilishi mumkin) va ushbu yondashuvning nozik taneli dasturlar uchun an'anaviy holatni tejashga nisbatan afzalliklarini namoyish etadi (har bir voqea uchun kam miqdordagi hisoblash imkoniyatiga ega bo'lganlar). ekspluatatsiya - bu holat o'zgaruvchilarini o'zgartiradigan operatsiyalarning aksariyati "konstruktiv" xarakterga ega. Ya'ni bekor qilish Bunday operatsiyalar uchun operatsiya tarixni talab qilmaydi. Amalni bekor qilish uchun faqat o'zgaruvchilarning eng dolzarb qiymatlari talab qilinadi. Masalan, ++, ––, + =, - =, * = va / = kabi operatorlar ushbu toifaga kiradi. Shuni esda tutingki, * = va / = operatorlari nolga ko'payish yoki bo'linish va toshib ketish / tushish sharoitida maxsus ishlov berishni talab qiladi. Kabi yanada murakkab operatsiyalar dumaloq siljish (almashtirish alohida holat) va ba'zi sinflar tasodifiy son hosil qilish bu erga ham tegishli.

A = b shaklidagi operatsiyalar, modul va bittadan ma'lumotlarning yo'qolishiga olib keladigan hisob-kitoblar halokatli deb nomlanadi. Odatda bu operatsiyalarni faqat davlatni tejashning an'anaviy usullari yordamida tiklash mumkin. Shu bilan birga, biz ushbu halokatli operatsiyalarning aksariyati qayta ishlanayotgan voqealar tarkibidagi ma'lumotlarning kelib chiqishi oqibatidir. Masalan, Yaun, Carothers va boshqalarning ishlarida, keng ko'lamli TCP simulyatsiya,[10] oxirgi yuborilgan vaqt yo'riqnoma mantiqiy jarayoniga yuborilgan so'nggi paketning vaqt tamg'asini qayd etadi. Almashtirish operatsiyasi ushbu operatsiyani qaytarib beradi.

Parallel diskret hodisalarni simulyatsiya qilishda qo'llaniladigan teskari hisoblash tarixi

Raqamli simulyatsiya taksonomiyasi.

1985 yilda Jefferson "Time Warp" deb nomlanuvchi parallel diskret hodisalar simulyatsiyalarida ishlatilgan optimistik sinxronizatsiya protokolini taqdim etdi.[11] Bugungi kunga kelib, texnika sifatida tanilgan Teskari hisoblash faqat optimistik sinxronlashtirilgan, parallel diskret hodisalarni simulyatsiya qilish uchun dasturiy ta'minotda qo'llanilgan.

1999 yil dekabrda Maykl Frank Florida universiteti. Uning doktorlik dissertatsiyasi apparat darajasida teskari hisoblashga yo'naltirilgan, ammo teskari hisoblash asosida protsessor uchun ko'rsatmalar to'plamining arxitekturasi va yuqori darajadagi dasturlash tili (R) tavsiflarini o'z ichiga olgan.[12][1-qayd]

1998 yilda Carothers and Perumalla "Advanced and Distributed Simulation Printsies" seminari uchun maqolani nashr etishdi[13] Richard Fujimoto rahbarligidagi magistrlik ishlarining bir qismi sifatida teskari hisoblash texnikasini alternativ qaytarilish mexanizmi sifatida optimistik ravishda sinxronlashtirilgan parallel diskret hodisalar simulyatsiyalarida (Time Warp) joriy etish. 1998 yilda Karothers dotsent bo'ldi Rensselaer politexnika instituti. Aspirantlar Devid Bauer va Shoun Pirs bilan ishlashda Carothers Georgia Tech Time Warp dizaynini Rensselaerning Optimistik simulyatsiya tizimiga (ROSS) kiritdi, bu esa orqaga qaytish mexanizmi sifatida faqat teskari hisoblashni qo'llab-quvvatladi. Carothers shuningdek, RC modellarini qurishdi BitTorrent General Electric-da, shuningdek talabalar bilan ko'plab tarmoq protokollari (BGP4, TCP Tahoe, Multicast ). Karoterlar Parallel va Distributed Simulation kursini yaratdilar, u erda talabalar ROSS-da RC modellarini yaratishlari kerak edi.

Xuddi shu vaqt ichida Perumalla uni tugatdi Georgia Tech va ishga bordi Oak Ridge milliy laboratoriyasi (ORNL). U erda u PDS-ning optimistik / konservativ protokoli bo'lgan uSik simulyatorini yaratdi. Tizim LP-lar uchun eng yaxshi protokolni dinamik ravishda aniqlashga va model dinamikasiga javoban ularni bajarish paytida ularni qayta almashtirishga qodir edi. 2007 yilda Perumalla uSik-ni sinovdan o'tkazdi Moviy gen / L va shuni aniqladiki, miqyosi faqat 8K protsessor bilan cheklangan bo'lsa, sof Time Warp dasturini amalga oshirish uchun, konservativ dastur 16K mavjud protsessorga ega. Shuni esda tutingki, PHOLD yordamida cheklangan masofadagi hodisalar darajasi 10% bo'lgan PHOLD yordamida amalga oshirildi, bu erda hodisalar vaqt tamg'asi o'rtacha 1,0 ga teng bo'lgan eksponent taqsimot bilan aniqlandi va har bir hodisaga qo'shimcha ko'rinish 1,0 qo'shildi. Bu teskari hisoblash yordamida Blue Gene-da PDESni birinchi amalga oshirish edi.

1998 yildan 2005 yilgacha Bauer faqat teskari hisoblashga e'tibor qaratib, Carothers boshchiligidagi RPIda aspirantura ishini bajargan. U birinchi PDES tizimini faqat teskari hisoblash asosida ishlab chiqdi, Rensselaerning Optimistic Simulation System (ROSS) deb nomlangan.[14] birlashtirilgan uchun birgalikda va tarqatilgan xotira tizimlar. 2006 yildan 2009 yilgacha Bauer E.H. Sahifa at Mitre korporatsiyasi va Carothers va Pearce bilan hamkorlikda ROSS simulyatorini 131.072 protsessorga surib qo'ydi Moviy gen / P. (Qo'rqmas). Ushbu dastur 100% masofaviy hodisalar stavkalari uchun barqaror edi (har bir voqea tarmoq orqali yuboriladi). RPI va MITER-da ishlagan davrida Bauer ROSS.Net tarmoq simulyatsiya tizimini ishlab chiqdi[15] ROSS-da bajariladigan tarmoq protokoli modellarini qora qutilarida optimallashtirish uchun yarim avtomatlashtirilgan eksperiment dizayni qo'llab-quvvatlaydi. Tizimning asosiy maqsadi bir nechta tarmoq protokoli modellarini ROSS-da bajarish uchun optimallashtirish edi. Masalan, bir xil simulyatsiya qilingan mashinada tarmoq protokoli LP-lari o'rtasida o'tkaziladigan hodisalarni bartaraf etish uchun LP qatlam tuzilishini yaratish TCP va IP protokollari orasidagi nol-ofset vaqt tamg'alarini yo'q qilish orqali TCP / IP tarmoq tugunlarini simulyatsiyasini optimallashtiradi. Bauer shuningdek, RC agentiga asoslangan modellarni yaratdi ijtimoiy aloqa tarmoqlari ta'sirini o'rganish yuqumli kasalliklar, xususan, yuz millionlab agentlarni qamrab oladigan pandemik gripp; shuningdek, mobillikning (yaqinlikni aniqlash) va juda aniq jismoniy qatlamning funksionalligini amalga oshiradigan mobil vaqtinchalik tarmoqlar uchun RC modellari elektromagnit to'lqin ko'paytirish (Transmission Line Matrix modeli).[16]

Yaqinda PDES jamoatchiligi tomonidan doimiy simulyatsiya sohasiga intilish yuzaga keldi. Masalan, Fujimoto va Perumalla, Tang va boshq.[17] hujayra ichidagi RC modelini tatbiq etdi va zarracha sifatida yorug'lik modellari uchun uzluksiz simulyatsiya bo'yicha ajoyib tezlikni namoyish etdi. Bauer va Peyj nurni mikroto'lqinli chastotalarda to'lqin sifatida modellashtirib RC Transmission Line Matrix modeli uchun juda yaxshi tezlikni namoyish etdilar (P.B. Jons, 1971). Bauer shuningdek, ning RC variantini yaratdi SEIR yuqumli kasalliklar tarqalishida doimiy modellarga nisbatan juda yaxshilanishni keltirib chiqaradi. Bundan tashqari, RC SEIR modeli ko'plab kasalliklarni samarali modellashtirishga qodir, ammo doimiy model butun populyatsiyada mumkin bo'lgan kasalliklar kombinatsiyasi soniga nisbatan eksponent ravishda portlaydi.

Tadbirlar

Izohlar

  1. ^ Doktor Frank o'z nashrlarining ikkita veb-saytini yuritadi 2004 yilga teskari hisoblash va keyinroq.

Adabiyotlar

  1. ^ Landauer, Rolf (1961 yil iyul). "Hisoblash jarayonida qaytarilmaslik va issiqlik hosil qilish". IBM Journal of Research and Development. 5 (3): 183–191. CiteSeerX  10.1.1.68.7646. doi:10.1147 / rd.53.0183.
  2. ^ Von Neyman, Jon (1966). O'z-o'zini ko'paytirish avtomatlari nazariyasi. Illinoys universiteti matbuoti. p. 388. Olingan 2009-04-06.
  3. ^ Bennett, Charlz H. (1982). "Hisoblashning termodinamikasi - sharh" (PDF). Xalqaro nazariy fizika jurnali. 21 (12): 905–940. Bibcode:1982IJTP ... 21..905B. CiteSeerX  10.1.1.655.5610. doi:10.1007 / BF02084158. Olingan 2009-04-06.
  4. ^ Frank, Maykl P. (iyun 1999). Samarali hisoblash uchun qaytaruvchanlik, t.f.n. Tezis (PDF). Massachusets Texnologiya Instituti, Elektrotexnika va informatika bo'limi. Olingan 2009-04-06.
  5. ^ Leeman Jr., Jorj B. (1986). "Dasturlash tillarida operatsiyalarni bekor qilish uchun rasmiy yondashuv". Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari. 8 (1): 50–87. doi:10.1145/5001.5005.
  6. ^ Bisvas, Bitan; Mall, R. (1999). "Dasturlarning teskari bajarilishi". ACM SIGPLAN xabarnomalari. 34 (4): 61–69. doi:10.1145/312009.312079.
  7. ^ Grivank, Andreas; Djudes, Dovud; Utke, Jan (1996). "Algoritm 755: Adolc: c / c ++ da yozilgan algoritmlarni avtomatik farqlash uchun to'plam". Matematik dasturiy ta'minot bo'yicha ACM operatsiyalari. 22 (2): 131–167. doi:10.1145/229473.229474.
  8. ^ Grimm, J; Pottyer, L .; Rosting-Shmidt, N. (1996). "Muayyan sinf dasturlarini orqaga qaytarish uchun vaqt va vaqt uchun minimal vaqt mahsuloti" (PDF). Texnik hisobot.
  9. ^ Karoterlar, Kristofer D.; Perumalla, Kalyan S .; Fujimoto, Richard M. (1999). "Teskari hisoblash yordamida samarali optimistik parallel simulyatsiyalar" (PDF). Modellashtirish va kompyuter simulyatsiyasi bo'yicha ACM operatsiyalari. 9 (3): 224–253. CiteSeerX  10.1.1.113.1702. doi:10.1145/347823.347828. Arxivlandi asl nusxasi (PDF) 2011-07-17. Olingan 2009-04-06.
  10. ^ Yaun, Garret; Karoterlar, Kristofer D.; Kalyanaraman, Shivkumar (2003). Optimal parallel simulyatsiya yordamida katta hajmdagi TCP modellari. Parallel va taqsimlangan simulyatsiya bo'yicha o'n ettinchi seminar materiallari. 153–162 betlar. CiteSeerX  10.1.1.115.1320. doi:10.1109 / PADS.2003.1207431. ISBN  978-0-7695-1970-8.
  11. ^ Jefferson, Devid R. (1985). "Virtual vaqt" (PDF). Dasturlash tillari va tizimlari bo'yicha ACM operatsiyalari. 7 (3): 404–425. doi:10.1145/3916.3988. Olingan 2009-04-06.
  12. ^ Vieri, C .; Ammer, MJ .; Frank, M.; Margolus, N.; Ritsar, T. (1998 yil iyun). "To'liq qaytariladigan asimptotik bo'lmagan nol energiya mikroprotsessori" (PDF). Elektr quvvatiga asoslangan mikromarxitektura ustaxonasi: 138–142.
  13. ^ Ilg'or va tarqatilgan simulyatsiya printsiplari, endi ACM SIGSIM konferentsiyasi Kengaytirilgan diskret simulyatsiya tamoyillari (PADS)
  14. ^ Karoterlar, Kristofer D.; Bauer, D. V.; Pearce, Shawn O. (2002). "ROSS: yuqori samarali, kam xotirali, modulli Time Warp tizimi". Parallel va taqsimlangan hisoblash jurnali. 62 (11): 1648–1669. CiteSeerX  10.1.1.78.3105. doi:10.1016 / S0743-7315 (02) 00004-7.
  15. ^ Bauer, Devid V.; Yaun, Garret; Karoterlar, Kristofer D.; Yuksel, Murat; Kalyanaraman, Shivkumar (2003). ROSS.Net: keng ko'lamli Internet modellari uchun optimistik parallel simulyatsiya doirasi. 2003 yilgi qishki simulyatsiya konferentsiyasi materiallari. 1. 703-711 betlar. doi:10.1109 / WSC.2003.1261486. ISBN  978-0-7803-8131-5.
  16. ^ Kichik Bauer, Devid V.; Sahifa, Ernest H. (2007). "Hodisalarga asoslangan uzatish liniyasi matritsasi usulining optimistik parallel diskret hodisalarini simulyatsiya qilish". Qishni simulyatsiya qilish bo'yicha 39-konferentsiya materiallari: 40 yil! Hali hammasi oldinda: 676–684. CiteSeerX  10.1.1.132.307.
  17. ^ Tang Y .; Perumalla, K. S .; Fujimoto, R. M.; Karimabadi, X.; Driskoll, J .; Omelchenko, Y. (2005). Teskari hisoblash yordamida fizik tizimlarning optimistik parallel diskret hodisalar simulyatsiyasi (PDF). Ilg'or va tarqatilgan simulyatsiya tamoyillari. 26-35 betlar. CiteSeerX  10.1.1.110.5893. doi:10.1109 / PADS.2005.16. ISBN  978-0-7695-2383-5. Olingan 2009-04-06.