Kenneth P. Birman

Original: http://www.cs.cornell.edu/ken/

Ken BirmanН. Рама Рао, прафесар кампутарных навук

435 Вароты Зала Корнельского універсітэта

Такім чынам, Нью-Ёрк 14853

W: 607-255-9199; М: 607-227-0894; F: 607-255-9143

E-mail: ken@cs.cornell.edu рэзюмэ: снежні 2014

ВЕА Эстана página ан Español

Навучанне:

· Увосень 2015 года, я буду вучыць наш пашыраны камп’ютэрных сістэм курс, CS 6410. Увесну 2016 года, я буду вучыць Мэн ўзроўню хмарных вылічэнняў клас, CS 5412.

SOSP 2015:

Я дапамагаў Пітэр Деннинг з планаваннем для SOSP 25-годдзю Дня Гісторыя падзеі, у нядзелю 4 кастрычніка ў Монтерее. SOSP заўсёды быў маім любімым канферэнцыі, і я прыняў удзел амаль кожны SOSP так як я пачаў аспірантуру яшчэ ў 1979 па гісторыі дзень, я буду даваць лекцыю аб развіцці нашага мыслення аб адмоваўстойлівасці. Я спадзяюся, што вы далучыцца да нас там.

Сучасныя даследаванні (поўны спіс публікацый):

Хмарныя вылічэнні, Isis2. Маё даследаванне тычыцца таго, што людзі называюць “Cloud Computing”. Вядома, Cloud Computing з’яўляецца толькі модным слоўцам у дзень: Яшчэ да гэтых умовах атрымала шырокае прымяненне, мы сказалі б, што я працую на надзейнай размеркаванай вылічальнай, прыкладанняў, звязаных надзейны збор інфармацыі або распаўсюд, а таксама праблемы, звязаныя з бяспекай у складаных размеркаваных сістэм , На працягу многіх гадоў адным з маіх галоўных мерапрыемстваў было стварэнне праграмных бібліятэк для людзей, якія хочуць, каб пабудаваць гэты выгляд сістэмы, я заўсёды быў трохі хакера, і напісанне кода трымае мяне ў разумным розуме. Самае апошняе з такіх бібліятэк называецца Isis2, і я запісаў серыю падрабязных відэа, якое тлумачыць, як менавіта яго выкарыстоўваць. Вы знойдзеце спасылкі на відэа (і нават прапановы па праектах вы маглі б зрабіць) на Isis2.codeplex.com і, спадзяюся, з дапамогай гэтага, сама бібліятэка будзе лёгка для вас, каб усталяваць і пачаць выкарыстоўваць. Я сцвярджаю гэта сам і прывітальны ліст з паведамленнямі пра памылкі, просіць аб дапамозе, прапановы і г.д. Isis2 ўключае простыя спосабы для рэплікацыі дадзеных і пабудовы адказаўстойлівы паслуг, рэалізацыі дзяржаўнай машыны рэплікацыі і віртуальнай сінхроннасці, версія знакамітага пратаколу Paxos, і больш складаныя механізмы, як размеркаванай блакавання і захоўвання ключ-значэнне, агрэгацыі дадзеных у рэжыме рэальнага часу і іншыя асаблівасці. Людзі працуюць з ім у асноўным з C #, C ++ / CLI (версіі C ++ з некаторымі дадатковымі функцыямі .NET для барацьбы з кіраванай памяці) і IronPython (адзін з самых папулярных версій Python).
Я магу перайменаваць яго DMC (Derecho шматадрасных) з-за боязі з нагоды тэрарызму канатацыі, і раблю версію ў чыстым C ++.
RDMA тэхналогіі. Зазіраючы ў будучыню, я increasinging зацікаўлены ў шляхах прыцягнення тэхналогій аддаленага DMA, якія дазваляюць перамяшчаць вялікія аб’екты дадзеных на хуткасцях правадных. Isis2 мае падтрымку так званай дзеясловы бібліятэкі, якая прапануе адзін спосаб, каб пагаварыць з RDMA абсталявання (такіх як Intel, Mellanox iWarp і QLogic Infiniband, Chelsio, і г.д.). Мы таксама працуем з пастаўшчыкамі, каб стварыць новыя RDMA апаратных рашэнняў. Мая група разглядае RDMA як значныя магчымасці даследавання.

Тэхналогія смарт-электрасеткавыя. Пад новы грант ад Дэпартамента энергетычнай праграмы GENI і з далейшай падтрымцы NSF і DARPA, мы ўжываем нашы ідэі, якія тычацца забеспячэння высокай хмарных вылічэнняў і Isis2 на выклік кіравання смарт энергасістэмы. Мы ў цяперашні час працуе, каб перавесці сістэму GridCloud (мы пабудавалі яго з дапамогай Isis2 але таксама ўключэння лепшых у сваім класе тэхналогій электрастанцыі з нашымі калегамі ў Універсітэце штата Вашынгтон у Pullman) для эксперыментальнага выкарыстання ў Новай Англіі і Нью-Ёрк ОМС і NYPA , галоўным К. За смарт-сеткі, мы лічым, што гэты стыль ўбудаванай сістэмы ў рэжыме рэальнага часу хмарных адбылася можа мець мноства іншых прыкладанняў. Некаторыя з найбольш захапляльных кампанентаў GridCloud ўключаюць DMake, новы інструмент кіравання, і RT-HDFS, файлавую сістэму для захопу патокаў дадзеных у рэжыме рэальнага часу. Тэа Gkountovas прыводзіць на DMake і Weijia Песня з’яўляецца вядучым на RT-HDFS. Праца Z Teo на IronStack таксама вельмі перспектыўным: ён мае магчымасць выкарыстоўваць SDN сеткавыя маршрутызатары ў вельмі патрабавальных налады, такія як пагодныя аспрэчваецца асяроддзях. І Эдвард Tremel глядзіць на варыянты з захаваннем прыватнасці здабычы дадзеных у буйных разгортванняў “разумных” лічыльнікаў, якія будуць працаваць у доме, каб аптымізаваць выкарыстанне энергіі.
Bitcoin. Пасля док Ittay Эяль стаў вельмі зацікаўлены ў Bitcoin і мае шэраг цікавых вынікаў, у прыватнасці, адзін з пісталетам Sirer на несправядлівасці ў пратаколе горназдабыўной Bitcoin. Ён вядзе нас ў цяперашні час на разведку шэрагу займальных сувязяў паміж Bitcoin і паслядоўнай працы рэплікацыі мы зрабілі тут у мінулым.

Мой падручнік (абноўлена з вялікай колькасцю хмарных вылічэнняў ўтрымання): Кіраўніцтва па Надзейныя размеркаваных сістэм: Ужыванне Будаўніцтва высокага Assurance і хмарных Hosted Services.

Націсніце тут, каб дабрацца да майго вясной 2014 курс, які мае наборы слайдаў і іншых матэрыялаў, звязаных з кнігай. Вы можаце выкарыстоўваць іх у сваіх уласных курсаў, калі вам падабаецца. Я перагледзець гэтую спасылку, каб паказаць на версіі вясной 2015 у бліжэйшы час. Няма неабходнасці, каб папрасіць дазволу: нічога я адпраўляю з адкрытым зыходным кодам, цалкам справядлівая гульня для капіявання або працы з.

Старая праца. Я сапраўды працаваў у Cloud Computing для большасці маёй кар’еры, хоць ён, відавочна, не быў выкліканы хмарных вылічэнняў у першыя дні. У выніку, нашы працы ў гэтай галіне ставяцца да 1985 году некаторыя прыклады крытычна важных сістэм, на якіх быў выкарыстаны мая праграма ў мінулым ўключаюць Нью-Йоркскай фондавай біржы і Swiss Exchange, французская сістэма кіравання паветраным рухам, ваенны карабель Aegis а таксама шырокі спектр прымянення ў устаноўках, такіх як кіраванне працэсам завод і тэлефаніі. На самай справе, кожны каціроўка або гандаль на NYSE з 1995 да пачатку 2006 года, як паведамляецца, накладных гандлёвых кансоляў з дапамогай праграмнага забеспячэння я асабіста ажыццяўляюцца – класны (але таксама страшна) малюнка, для мяне па крайняй меры! За дзесяць гадоў гэтая сістэма была пад кіраваннем, многія кампутары разбіўся падчас гандлёвага дня, і многія праблемы сеткавых адбылося – але дызайн мы распрацавалі і ўкаранілі атрымалася пераналадзіць сябе аўтаматычна і захаваў агульную сістэму да, без выключэння. Яны не маюць адзінай гандлёвай парушэнне на працягу ўсяго перыяду. Наколькі я ведаю, іншыя арганізацыі, пералічаныя вышэй, маюць падобныя гісторыі, каб справаздачу.

Сёння гэтыя віды ідэй набіраюць “мэйнстрым” статусу. Напрыклад, WebSphere Product IBM, 6.0 ўключае шматадрасных пласт, які выкарыстоўваецца для прыкладанняў вэб-службаў высокай даступнасці і вэб-сайтаў рэплікацыі дадзеных і іншых дзяржаўных выканання. Хоць IBM распрацавала сваю ўласную рэалізацыю гэтай тэхналогіі, мы сказалі распрацоўшчыкі, што архітэктура была заснавана на Гара і ансамбль сістэм Корнелла, больш падрабязна апісаны ніжэй. Архітэктура CORBA ўключае ў сябе механізм адмоваўстойлівасці на аснове адных і тых жа ідэй. І мы таксама працавалі з Microsoft на тэхналогіі ў аснове наступнага пакалення кластарызацыі прадукт, які кампаніі. Такім чынам, вы знойдзеце даследаванні Корнелла не толькі на гэтых вэб-старонках, але і на вэб-сайтах па ўсім свеце, а ў некаторых з самых амбіцыйных цэнтраў апрацоўкі дадзеных у свеце і высокай даступнасці вылічальных сістэм.

На самай справе ў нас яшчэ ёсць вельмі актыўныя дыялогі з многімі з гэтых кампаній: Cisco, IBM, Intel, Microsoft, Amazon і іншых. Прыкладам пастаянны дыялог гэта: мы нядаўна працавалі з Cisco, каб прыдумаць новы варыянт бесперапыннай даступнасці для сваіх асноўных інтэрнэт-маршрутызатараў, серыя CRS-1. Вы можаце прачытаць пра гэта тут працу.

Мая група часта працуе з пастаўшчыкамі і галіновых даследчыкаў. Мы падтрымліваем вельмі актыўны дыялог з урадам ЗША і ваенных на навукова-даследчых задач, якія ўзнікаюць у будучых сістэмах сувязі пакалення ў цяперашні час планавых такімі арганізацыямі, як ВПС і ваенна-марскога флоту. Мы нават працавалі на новых спосабаў кантролю электрычнай сеткі, але не ў часе, каб галаву вялікі зацямненне ў 2003! Зазіраючы ў будучыню, мы засяроджаны на патрэбы, якія ўзнікаюць у фінансавай сістэме, маштабных ваенных сістэм, і нават сетак аховы здароўя. (У гэтай сувязі, я, магчыма, варта адзначыць, што, хоць мы сапраўды атрымліваем даследчую падтрымку ад урада і амерыканскіх ваенных, ніхто з нашага даследавання не з’яўляецца сакрэтнай або нават адчувальнай, і ўсё гэта засяроджваецца на шырока выкарыстоўваюцца камерцыйных стандартаў і платформаў. Большасць нашых праграмнае забеспячэнне выпушчана бясплатна, у адпаведнасці з ліцэнзіямі з адкрытым зыходным кодам).

Я проста адзін з некалькіх членаў групы ў гэтай галіне ў Корнельского. Мае блізкія калегі і са-кіраўнікі групы Робберт ван Ренессе і Хакім Weatherspoon. Мы таксама супрацоўнічаем з пісталетам Sirer, Пол Фрэнсіс, Аль Демерс і Ёханэс Герка, а таксама з іншымі членамі сістэмы прафесарска-выкладчыцкага складу ў Корнельского: Андрэя, Фрэд, Рафаэль, Джо, і г.д. Група сістэм згуртаваная, і многія з нашых студэнтаў сумесна параіў іншымі выкладчыкамі ў галіне сістэм. Вернер Vogels не працаваў з намі да верасня 2004 года, калі ён далучыўся да Amazon.com, як віцэ-прэзідэнт і дырэктар па даследаваннях сістэм.

Чатыры пакалення надзейнага даследаванні размеркаваных сістэм! У цэлым, наша група распрацавала тры пакаленні тэхналогіі і ў цяперашні час працуе ў сістэме чацвёртага пакалення: The Isis Toolkit, распрацаванай у асноўным у 1987-1993 гг, сістэма Гор, распрацаваны пачынаючы ў 1990 годзе прыкладна да 1995 года, ансамбль сістэмы, 1995-1999 , Цяпер мы распрацоўваем шэраг новых сістэм, уключаючы Isis2, градыент, і надзейнае рашэнне TCP, згаданай вышэй, і працуе з іншымі, каб інтэграваць гэтыя рашэнні ва ўмовах, калі надзейнасць, бяспека, ўзгодненасць і маштабаванасць патрабаванні робяць пан або прапаў.

Старая даследаванняў вэб-старонак:

Жывыя аб’екты, Quicksilver, Maelstrom, Ricochet і Tempest праекты
Ансамбль праект
Праект Гор
Ісіда Інструментар (на самай справе старыя рэчы! Гэта ад самай першай версіі Ісіда)

Зборнік прац па Ісіда, рэдагаваць самастойна з Robbert ван Renesse, па-ранейшаму могуць быць даступныя – ён называўся Расклад Размеркаваныя вылічэнні з Toolkit Isis і быў у серыі IEEE Press Computer Science.

Майстар ў галіне кампутарных навук у Корнельского: У гэты час года, мы атрымліваем вялікую колькасць запытаў аб нашай праграме PhD. Я хачу парэкамендаваць, што людзі, зацікаўленыя ў праграме не з намі выкладчыкаў, як мне непасрэдна са звычайнымі пытаннямі, як “можа ваш даследчая група фінансаваць мяне”. Як вы ўбачыце з вэб-старонкі, Корнэл робіць прызнанняў з дапамогай камітэта, так што асобныя выкладчыкі звычайна не гуляюць ролі. Гэта адрозніваецца ад многіх іншых школ – Я разумею, што ў многіх месцах, кожны выкладчык прызнае людзей у яго / яе ўласнай групы. Але ў Корнельского, мы прызнаем, ты першы, то вы прыйшлі сюды, і тады вы афіліраванага з даследчай групай праз некаторы час. Фінансаванне абсалютна гарантавана людзей у праграме MS / PhD на працягу ўсяго часу, калі яны ў Корнельского. З іншага боку, студэнты ў праграме MEng звычайна трэба плаціць свой уласны шлях.

Відавочна, што некаторыя людзі маюць больш прамыя, канкрэтныя пытанні, і няма ніякіх праблем адпраўцы тых, да мяне, ці каму-небудзь яшчэ. Але, як і для агульнага “я магу далучыцца да даследчай групы?” адказ у тым, што ў той час як я вітаю людзей у групе, калі яны дэманструюць добрыя ідэі і талент у сваёй вобласці, пакуль вы не тут, а ўзяць мой аспірантуру і правесці час гаварыць са мной і маімі калегамі, як мы можам ведаць, калі матч добра ? І большасць такіх запытаў ад людзей, якія яшчэ не высветлілі цалкам, як шмат добрых праектаў вядуцца ў Корнельского. Можа быць, па прыбыцці, вы будзеце прымаць курс Эндру Майер ў бяспецы, заснаванай мовы і разумею, што гэта ваша запал. Такім чынам, у Корнэл, мы настойліва раім вам спатрэбіцца час, каб знайсці, якія вобласці мы пакрываем, і хто тут, каб узяць некаторыя курсы, і толькі потым філіял з даследчай групай. Але, калі ласка, стукайцеся ў маю дзверы ў любы час вам падабаецца! Я больш чым шчаслівы пагаварыць з любым студэнтам у аддзеле пра што мы робім тут!

Comments are closed.