CMD MDS Recovery DLD

Similar documents
Version-Based Recovery DLD

ÚÓ Ù ØÖ Ó Ø Ö ÓÙÒØ Øµ ØÖÙØ Ø ÒÓ Ø Ñµ» Ø ÚÓ Ù ØÖ Ó Ø Ö ÓÙÒØ ÔÙص ØÖÙØ Ø ÒÓ Ø Ñµ» Ø ØÖÙØ Ù ØÖ Ó Ý Ö Ò Ñ ½¼ Ô ÒÓ Ø Ó» Ó Ý Ó» ØÖÙØ Ù ØÖ Ù Ø Ø ¾ Ñ Ü Þ» Ò Ø

¾ ÍÆ ÌÁÇÆ Ä ËÈ Á Á ÌÁÇÆ ÒÚ ÖÓÒÑ ÒØ ½ º½ ÓÖÑ Ø Ò º º º º º º º º º º º º º º º º º º º º º º º º ½ º½º½ Ö ØÓÖÝ ÒØÖ º º º º º º º º º º º º º º º º º º

Ä Á»Ä Á Ä ÖÙ ÖÝ ¾¼¼ ½ ÙÒØ ÓÒ Ð Ô Ø ÓÒ Ä Ó ÓÒ Ø Ó ÓÙÖ Ô ÖØ ÐÙÐ Ø ÓÒ ÓÖ Ô Ö ØÝ ÙÔ Ø Ò Ò Ø Ö ÓÒ ØÖÙØ Ò º ËØÖ Ô Ñ Ò Öº ÁØ ÓÒØ Ò Ø ÓÔ Ö Ø ÓÒ Ù» Ö ÑÓÚ» ÐÓÓ

º Ö ÓÚ ÖÝ ÑÓÒ ØÓÖ ÔÖÓ º º º º º º º º º º º º º º º º º º º º º º º ½ º Ø ÓÒ ÔÖÓ º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ º º½ ÓÚ ÖÚ

º½º½ ÒØ Ò Ì ÑÓ Ø Ö Ò ÓÒ ÒØ Ø Ø ÄÅÎ Ý Ö ÒØÖÓ Ù ÓÖ Å ÙÔÔÓÖغ ÁÒ Ù ØÖ ½º ºÜ Ö ÄÄÁÌ Ý Ö Å Ý Ö Ñ Ø Ó Ö Øݺ ÙØ Ò À Ø ÓÑ ÄÄÁÌ ÄÅÎ Å º ËÓ Ø ÕÙÓØ Ö Ø ÒØ Ö ÓÖ Ó

Metadata Stat-ahead DLD

Ë ¼ Ë Ò Ð Ü Ñ Ò Ø ÓÒ ÈÊÁÄ ¾¼¼ ÉÙ Ø ÓÒ ½º Ë ÓÖØ Ò Û Ö Ñ Ö È ÖØ µ Ñ Ö ÖÐ Ì ÓÖ ÐÓÛ Ô Ò Ò ÓÒ Û Ø Ö Ø Ø Ø Ñ ÒØ ÌÖÙ ÓÖ Ð ½º Ì» Ú ÓÒ ÓÐ ÔÔÐ Ø ÓÒ Ò Ò ÓÓ ØÓ Û

XOR KEYS S BOXES KEY ADDITION MODULO 2^{256} DIFFUSION LAYER

Ë ¼ Ë Ò Ü Ñ Ò Ø ÓÒ ÈÊÁÄ ¾¼¼¾ ÉÙ Ø ÓÒ ½º ½¼ Ñ Ö È ÖØ µ Ñ Ö Ä Ò Ö ÓÖÔºÓÑ Ò Ò Ø Ö ½ º º½½ º¼º Ö Ô ÒØÓ ÕÙ Ý Þ Ù Ò Ø ½ ¾ µº ÓÑÔ Ø Ø ÓÓÛ Ò Ø Ö Ò Ø ÓÙÖ Ù Ò Ø


ØÖ Ø Ì Î Ö ÈÖÓ Ö ÑÑ Ò Ä Ò Ù ÁÑÔ Ñ ÒØ Ø ÓÒ ÔÖÓ Ø Ú ÓÔ ÓÖÑ Ý Ú Ö ÑÔ Ñ ÒØ Ø ÓÒ Ó Ø Ë Ñ ÔÖÓ Ö ÑÑ Ò Ò Ù º Ì Ö ÔÓÖØ ÓÙÑ ÒØ Ø Ú Ô ÈÖ Ë Ñ Ò Ù Ù ØÓ ÔÖÓ Ö Ñ Ø Ú

¾ Å Ö ÒÓÚ Ò Ã ÙÖ ÁÒ Â Ú Ø ÕÙ Ñ Ø Ó Û ÓÛ ÓÑÔ Ö Ò Ó Ø Ú Ù ÓÔ¹ ÔÓ ØÓ Ù Ò Ø ³ ÓÔ Ö ØÓÖ Û ÓÑÔ Ö Ó Ø ÒØ Ø ÓÚ ÖÖ Ò Ò Ñ ÓÖ ØÝ Ó º ÓÓ ÔÖÓ Ö ÑÑ Ò Ñ Ø Ó ÓÓ Ý Ù Ø

Ø Ñ Ñ Ò µ Ú Ù ¾ ¾ ½ ÓÒØ Ò Ö Ú Ù Ú Ù µ ÔÓ Ö Ø Ö ØÓÖ Ú ØÓÖ Ø Ö Ø Ø ÓÚ Ö ÓÒØ Ò Ö Ú ØÓÖ Ø Ö ØÓÖ Ø ÓÒØ Ò Öº Ò µ Ø ÓÒØ Ò Öº Ò µ Ø µ Ù Ø Ñ Ø Ö Ø ÓÒ ÓÒØ Ò Öº

Ø Ø ÔÖÓÚ ÒÑ Ø ÓÒ ØÝÔ º ÌÖ Ø ØÝÔ Ò Ø ÓÒ Ò»ÓÖ Ø Ø Ñ Ñ Ö Ø Ò Ø ØÖ Øº Ý ØÖ Ø Ø Ø Ó Ò Ò ÓÔ Ö Ø ÓÒ Ö Ø ØÝÔ º ÈÓ Ý Ø Ø Ñ Ñ Ö ÙÒØ ÓÒ Ò Ø ÔÓ Ýº Ý ÑÔ Ñ Ô Þ Ø ÓÒ

ßÒ Ò Ø ÒØ Ö ÒØ Ý ÒØ Ú Ò µ ß Ú Ö ÒØ ÓÛ Ñ Ü ÓÛ ÖÖ Ý Þ Ú µ ¹ ½ ÒÚ Ö ÒØ ÒØ ÒØ Ò ½ Ò ÓÛ ÒØ µ ÒØ µµ Û ÓÛ µ ß Ñ ÓÛ µ» ¾ Ü Ú Ñ Ý Üµ ß Ö ØÙÖÒ Ñ Ý Üµ ß Ñ ¹ ½ ß

Dagstuhl Seminar Proceedings 05451Dagstuhl Seminar Proceedings Beyond Program Slicing

ÁÒÔÙØ Ò ÇÙØÔÙØ ÏÓÐ Ò Ë Ö Ò Ö ÏÓÐ Ò ºË Ö Ò ÖÖ ºÙÒ ¹Ð ÒÞº º Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ ÓÐ ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã ÔÐ Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ ØØÔ»»ÛÛÛºÖ ºÙÒ ¹Ð

ÓÖØÖ Ò ÓÖØÖ Ò = ÜØ Ò ÓÒ ØÓ Ø ÆËÁ ÇÊÌÊ Æ Ø Ò Ö º Ê ÔÓÒ Ð ØÝ Ñ Ö Ò Æ Ø ÓÒ Ð ËØ Ò Ö ÁÒ Ø ØÙØ ÆËÁ  µ ÁÒØ ÖÒ Ø ÓÒ Ð ÇÖ Ò Þ Ø ÓÒ ÓÖ ËØ Ò Ö Þ Ø ÓÒ ÁËÇ»Á ÂÌ

Ì ËØ Ò Ö Ä Ö ÖÝ ÏÓÐ Ò Ë Ö Ò Ö ÏÓÐ Ò ºË Ö Ò ÖÖ º Ùº Ø Ê Ö ÁÒ Ø ØÙØ ÓÖ ËÝÑ ÓÐ ÓÑÔÙØ Ø ÓÒ ÊÁË µ ÂÓ ÒÒ Ã ÔÐ Ö ÍÒ Ú Ö ØÝ Ä ÒÞ Ù ØÖ ØØÔ»»ÛÛÛºÖ º Ùº Ø ÏÓÐ Ò

NS Ilist Clist F. F y<=w

Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø

ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ ÝÐ Ó ÙØÓÑÓÖÔ Ñ µ ÑÓ ÙÐ ÕÙ ¹ÝÐ µ ØÖÙ¹ ØÙÖ ÖĐÓ Ò Ö ÓÖ ÑÓ ÙÐ Ú ÐÙ Ø ÓÒ Ó ÖÓÑ ÓÖ Ö ÓÑ Ò Ò¹ ÐÙ Ò ÓÔÔ Ó µ Ü Ñ

½º¾ Ò Ø ÓÒ Ì Ò Ó Ø ÓÚ ÕÙ Ø ÓÒ Ò ÓÖÑ Ð Þ Ý Ø ÓÐÐÓÛ Ò Ò Ø ÓÒº Ò Ø ÓÒ ½ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ Ñ Ðݵ Ñ ÐÝ ¾ ¼ ½ ¾Æ ÐÐ Ñ ÐÝ Ó Ð µ Ä µµ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ ¾

ÓÒØ ÒØ ¾

ÇÆÌ ÆÌ ËÙ Ø Ú ÒØÖÓ ÙØÓÖÝ Ö Ñ Ö Å Ø Ô ÓÖ Ò Ø Ú ÔÔÖÓ Ì Ô ÐÓ ÓÔ Ð Ö Ò À ÖÑ Ò ÙØ Ò Ø Ö Ð Ø ÓÒ Ô ØÓ Ò Ì ÒØ ÖÔÖ Ø Ò Ò Ø ÒØ ÖÔÖ Ø Ö Ò

¾ ÓÖÔÙ Ôк ÓÖÔÓÖ µ ÓÖÔÙ ÓÐÐ Ø ÓÒ Ó Ø ÜØ µ ÓÖ ÙØØ Ö Ò ½¼ Ø ÒÝ ½¼ Ö ÓÒ Ð ½¼ ½¾ ÙÖÖ ÒØ Ð Ð Ñ Ø ÓÖ ÙÒ ÒÒÓØ Ø Ø Ì ÑÓ Ø Ú ÐÙ Ð ÓÖÔÓÖ Ö Ø Ó Ø Ø ÓÙÖ Ò ØÙÖ ÐÐÝ

PRINCETON PLASMA PHYSICS LABORATORY

Ã Ô ÐÐ Ø ÙÒ Ð ÕÙ Ô Ò ÙÖ ÓÑ Ú ÒØ Ö Ø ÓÒ Ò ÓÑÔ Ø Ø ÓÒ Ä ÙÖ Å ËËÁÇ ÄÈÌÅ ÍÒ Ú Ö Ø È Ö ÎÁ ¾½ ÒÓÚ Ñ Ö ¾¼½

Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò


Outflow plane U=V=W=0. 2.5m. 1.95m U=V=W= m (0,0,H) 0.1m. 0.1m y. 0.41m 0.15m. 0.45m U=V=W= m Inflow plane

½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð

ÁÒØÖÓ ÙØ ÓÒ ØÓ ÓÑÔÙØ Ö ÈÖÓ Ö ÑÑ Ò Ò Ü Ñ ÂÙÒ ½ ¾¼¼ È ½ Ü Ö ½ ¾ ½ Å Ö µ µ ÓÒ Ö Ø ÓÓÛ Ò Ñ Ø Ó ÔÙ ÚÓ ÒØ ÒØ µ ß ¼ ¼µ ß Ö ØÙÖÒ ÒØ ¼µ ß ËÝ Ø ÑºÓÙغÔÖ ÒØÒ Ò Ø

COMPARATIVE EVALUATION OF WEATHER FORECASTS FROM THE COSMO, ALARO AND ECMWF NUMERICAL MODELS FOR ROMANIAN TERRITORY

½º»¾¼ º»¾¼ ¾º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼» ¼» ¼ ÌÓØ Ð»½ ¼

ELA. Electronic Journal of Linear Algebra ISSN A publication of the International Linear Algebra Society Volume 13, pp , July 2005

dis.08 dis.09 dis.10 dis.11

ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò

È Ö Ø ² ÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÓÖ Ñ È Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö ÒÓÛ ÓÙØ Ø ÔÖ Ú ÓÙ ÑÓÚ Ó ÓÔÔÓÒ ÒØ º º º Ð ¹ËØ Û ÖØ Ñ º ÁÑÔ Ö Ø Ò ÓÖÑ Ø ÓÒ ÈÐ Ý Ö Ó ÒÓØ ÒÓÛ ÓÙØ Û

È Ö Ø ÑÔÑ ÒØ Ø ÓÒ Ó Å ØÖÓÔÓ ¹À Ø Ò ÑÙØ ÓÒ Ó Å Ö ÓÚ ÔÓ ÒØ ÔÖÓ Ý ÏºËº Ã Ò Ò Âº Å Ö Å Ö ½ Ì» ÓÑ»»Û»Ñ»ÅÓ Ö» ÈÖÓ Ö Ñ»ÅÀºÛ ÙÒ Üµ Ú Ö ÓÒ º¾ º Ä Ø Ø ½¾ ¼ ½¼»¼

ÇÙØÐ Ò

ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ


Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ

ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹ Ê Ð Ö ÔÖ ÒØ Ø ÓÒ º Ñ ÒØ ÅÙ Ö Ö Ö ÔÖ ÒØ Ø ÓÒ Ö

ÇÙØÐ Ò È Ý Ð ÓÒ Ø ÓÒ Ò ÓÙ Æ ÙÐ ÄÓÛ¹ Ò ØÝ Ð Ñ Ø À ¹ Ò ØÝ Ð Ñ Ø Ü ÑÔÐ ÜØ ÒØ ÓÒ ØÓÛ Ö ÐÑ Ö Ö Ñ ÒØ Ò

edges added to S contracted edges

ÅÓØ Ú Ø ÓÒ ØÓ Ø ÕÙ Ù Ò ÑÓ Ð Ó ØÖ ÓÛ ÑÓ Ð Ò Ó Ö ¹ Ú Ö ØÖ Ú Ð Ú ÓÖ Ò ÐÝ Ó Ò ØÛÓÖ Ö ÓÛÒ ÓÑÔÙØ Ø ÓÒ Ó ÜÔ Ø Ú ÐÙ ººº Ô Ø ÖÓÙ Ö ÒØ Ð ÕÙ Ø ÓÒ Ð Ò Ö Þ Ø ÓÒ Ó

Ö Ò ÁÅ ÔØ Ö Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÖÙ ÖÝ ½ ¾¼½

Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ ÂÙ Î Ð ÓÒ Ò Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÂÙ Î Ð ÓÒ Ò Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ

Strong normalization of lambda-bar-mu-mu-tilde-calculus with explicit substitutions

Ø ÔÖ ÙÖ ØÝ Ö ÕÙ Ö Ñ ÒØ Ó ÙØ ÒØ Ø Ý Ø Ð Ñ Òغ Ë Ú Ö Ð ÓÒÖ Ø ÙÖ ØÝ Ò Ô Ö ÓÖÑ Ò ØØÖ ÙØ Ú Ò ÒØ Ö Ð º Ì ÙÒ Ñ ÒØ Ð ÙÖ ØÝ Ó Ð Ó Ý Ø Ð Ñ ÒØ ÔÖÓØÓÓÐ Ö ØÓ ÑÔÐ Ø

Ð Ö Ø ÓÒ Á Ì ÖØ Ò Ö È ØÖÙ Ö Ð Ö Ø Ø Ø Ø» ÖØ Ø ÓÒ Û Á Ö Ý Ù ¹ Ñ Ø ÓÖ Ø Ö È ÐÓ ÓÔ ÓØÓÖ Ø Ø ÍÒ Ú Ö ØÝ Ó ÈÖ ØÓÖ ÑÝ ÓÛÒ ÛÓÖ Ò ÒÓØ ÔÖ Ú ÓÙ ÐÝ Ò Ù Ñ ØØ Ý Ñ Ó

ËØÖÙØÙÖ ½ Î Ö ÐÙ Ø Ö ¹ Ò ÒØÖÓ ÙØ ÓÒ ¾ Ì Ø Ì ÈÙÞÞÐ Ì Á ÓÒÐÙ ÓÒ ÈÖÓ Ð Ñ Å Ö ¹ÄÙ ÈÓÔÔ ÍÒ Ä ÔÞ µ È Ö Ø È ÖØ ÔÐ ¾¼º¼ º½ ¾» ¾

ß ¾ ß ËÌÊ Ì ÌÓ Ò Ò Ø ØÓ Ø Ù Ó Ð Ñ ÒØ ÖÙÔØ ÓÒ Ò Ö ÓÒ Ø ÙÒ Û Ó ÖÚ Ð Ñ ÒØ Ø Ø ÖÙÔØ Ò Ø Ú Ö ÓÒ ÆÇ º Ì Ó ÖÚ Ø ÓÒ ÓÒ Ø Ó À«ÐØ Ö Ö Ñ Ø Ø Ö Û Ú Ð Ò Ø Ð Ò ÒØ Ö

TCP SOURCE TCP DESTINATION

M 1 M 2 M 3 M 1 M 1 M 1 M 2 M 3 M 3

ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º

ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ½ ¾ ÅÈÁ ÖÓÙØ Ò ½ ÅÈ ÖÓÙØ Ò ½

Communications Network Design: lecture 21 p.1/47

Abiteboul. publication x author. citation title date 2000 Suciu Data on the Web Buneman

½ Ê Ú Û Ó ÆÒ ÕÙÓØ ÒØ ¾ ÇÖØ Ó ÓÒ Ð ÒÚ Ö ÒØ ÓÙ Ð Ö Ø ÓÒ Ý ÕÙÓØ ÒØ Ñ Ô ÇÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ó ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ø Ò ÓÖ ÔÖÓ ÙØ Ü ÑÔÐ ÓÒØÖ Ø ÓÒ Ñ Ô ÇÔ Ò

Ä ÖÒ Ò ÖÓÑ Ø Ö Ëº Ù¹ÅÓ Ø Ð ÓÖÒ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý Ä ØÙÖ ½ Ì Ä ÖÒ Ò ÈÖÓ Ð Ñ ËÔÓÒ ÓÖ Ý ÐØ ³ ÈÖÓÚÓ Ø Ç ² Ë Ú ÓÒ Ò ÁËÌ ÌÙ Ý ÔÖ Ð ¾¼½¾

Communications Network Design: lecture 07 p.1/44

ÐÓ Û µ ÅÄ Ó Ò ººº Ð Ò Ö Ó Ü = (,..., Ü Ò ) ººº ÒØ Ó ÛÓÖ Ý = (Ý ½,..., Ý Ò ) ººº Ö Ú ÛÓÖ ¹ ÓÒ Ø ÒØ ÐÓ Û µ Å Ü ÑÙÑ Ä Ð ÓÓ Åĵ Ó Ö Ø Ø ÔÓ Ð Ó Ö Ñ Ò Ñ Þ Ø

Ò Ø ÓÒ ÃÒÓØ ÃÒÓØ Ò Ê Ñ Ø Ö ÑÓÚ Ö ÒØ Ð Ñ Ò Ó Ë ½ ÒØÓ Ê Ö ÐÐ ÒÓØ º Ì ØÛÓ ÒÓØ Ã ½ Ò Ã ¾ Ö Ö Ö ØÓ Ø Ñ ÓÒ Ò ÑÓÚ ÒØÓ Ø ÓØ Ö º º Ø Ö Ö ÒØ Ð µ Ñ ÐÝ Ó ÒÓØ Ô Ö

Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ Ö ÕÙ ÒØ Ø ÄÇË Ì Ð ÓÖ Ø Ñ ÓÖ Ò Ò Ö ÕÙ

ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö

Á Ù Ë Ô Ö Ø ÓÒ ÒØÓ ËØÖ Ø Ý Ô Ú ÐÙ Ø ÓÒ ÓÖ Ö Ø ÖÑ Ò Ú ÐÙ Ø ÓÒ Ô Ú ÐÙ Ø ÓÒ ÔÖÓÔ Ö Ó Ø ØØÖ ÙØ Ò Ø Ò Ö Ø Ý Ø Ú ÐÙ Ø ÓÒ ØÖ Ø Ýº ÓÑÔÐ Ü ØÝ Ó Ò Ö Ø ÓÒ ÊÙÒØ Ñ

Ò ÐÝ º Ê Ö ÓÒ ØÖ ÙØ ÓÒ Ó ÇÆ ½µ Ì ÓÙØÓÑ Ù Ð µ Ú Ö Ð Ö ÔÓÒ Ö ÔÓÒ µ Ú Ö Ð Ô Ò ÒØ Ò µ Ú Ö Ð Ú Ö Ð Y Ö Ð Ø ØÓ ÇÆ ÇÊ ÅÇÊ ÜÔÐ Ò ØÓÖÝ ÓÖ Ð Ö Ò µ Ú Ö Ð Ò Ô Ò Ò

SEA = SEA call SEA seq SEA ret,

ÖÖ Ý ÒÑ ÒØ Ø Ø Ñ ÒØ Ö Ö ÓÖ ÒÝ Ð Ø¹ Ò Ð Ñ ÒØ Ö ØÓÖ º ÖÖ Ý ÓÖ Ù Ø ÓÒ Ó ÖÖ Ý Ò Ô Ý Ù Ò ØÖ ÔÐ Ø Ù Ö ÔØ º ØÖ ÔÐ Ø Ô Ö Ò Ò Ø ÓÖÑ ÐÓÛ Ö ÓÙÒ ÙÔÔ Ö ÓÙÒ ØÖ º Á

ÇÙØÐ Ò Ó Ø Ø Ð ÅÓØ Ú Ø ÓÒ = ¾ ÙÔ Ö ÝÑÑ ØÖ Ò ¹Å ÐÐ ÕÙ ÒØÙÑ Ñ Ò ÆÙÑ Ö Ð Ð ÓÖ Ø Ñ Ò ÒÙÑ Ö Ð Ö ÙÐØ Ü Ø ÓÐÙØ ÓÒ ÙÖØ Ö Ô Ö Ô Ø Ú

ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú

deactivate keys for withdrawal

The Enigma machine. 1 Expert teams 25 mins. 2 Mixing the teams 30 mins. 3 Coding and decoding messages 1 period

ÄÇÊÁÇÍË Ä Ê Ê ÀÇÄ Æ ÏÁÄÄ ÇÍÊ ÒØ Ì Ö Ö Ñ ÒÝ «Ö ÒØ Ò Ø ÓÒ ÓÖ Ø Ø ÖÑ ÒØ Û Ø Ò Áº ÐÐÓÛ Ñ ØÓ ÒØÖÓ Ù ÎÁÄ ÊÇ Ç̺ ÅÍËÌ ÆËÄ Î ÊÌÀ Ë Ò ÆÎÁÊÇÆÅ ÆÌ Ø Û ÐÐ Ù Ø ÓÐÐ

Workshop on Statistics of Networks, June 2010 p.1/38

ÓÙÖ ÓÒØ ÒØ Ï Ý Ó Û Ù Ø ÙÒØ ÓÒ Ð ØÝ ÔÖÓÚ Ý Ø Å Ò Ñ ÒØ ËÝ Ø Ñ Ø ÅÓ Ð Ê Ð Ø ÓÒ Ð Æ ØÛÓÖ ÇÇ ÀÓÛ Ó Û Ù ÅË Ê Ð Ø ÓÒ Ð ÑÓ Ð ÓÙÒ Ø ÓÒ Ð ÕÙ ÖÝ Ð Ò Ù ËÉÄ ÔÔÐ Ø

ÇÙØÐ Ò ½ ¾ ØÖ ÙØ ÓÒ ² Ì Ò ÐÝ Ó Ö ÕÙ Ò ÔÔÐ Ø ÓÒ Ó Ø χ ¾ ËØ Ø Ø ÐÙÐ Ø Ò Ô Ú ÐÙ Ò ³ Ü Ø Ø Ø Ì ÓÒÚ ÒØ ÓÒ Ð Ú º Ø Ñ Ô ÓÔغµ È Ö ÓÒ Ò ËÔ ÖÑ Ò ÓÖÖ Ð Ø ÓÒ Ù Ò

Ì ÐÓÛ Ò Ö Ý Ð Ö Ø ÓÒ Ó Ø Ä Ì Ë Û Ú Ý Ó ÖÚ Ò Ò Ö Ý ÓØ Û Ø Û Ö Ø Ð Ò È Ø Ðº ¾¼¼¼ µº Ï Ø Û Ö Û Ø «Ø Ú Ø ÑÔ Ö ØÙÖ Ö Ø Ö Ø Ò ¾¼¼¼¼ Ã Ò Ô ÓØÓ Ô Ö ÓÑÔÓ Ó ÔÙÖ

ËÔ Ó ÓÙÒ Ó ÓÜÝ Ò Ò ÙÔ ÖÖ Ø Ð Ø Ø ÙÔ ØÓ ¼¼ Ã Ò ½¼¼ ÅÈ Ö Ø Ó Àº Ù Ö Å Ö Ù Ê ÔÓÐ ÐÑ Ö ÙÑ Ö Ò Â Ö Ò ÎÖ Ì ÖÑÓ ÝÒ Ñ Ò Ò Ö Ý Ì ÒÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó È Ö ÓÖÒ ÖÑ

½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û

ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾

ß ¾ ß ½º ÁÒØÖÓ ÙØ ÓÒ Ö Ñ ÒØ Ø ÓÒ ÙÖ Ò ÔÖÓØÓ Ø ÐÐ Ö ÓÐÐ Ô Û ÐÝ ÔØ ØÓ Ø ÔÖ Ñ ÖÝ Ñ ¹ Ò Ñ ÓÖ Ø ÓÖÑ Ø ÓÒ Ó Ò ÖÝ Ò ÑÙÐØ ÔÐ Ø Ö Ý Ø Ñ º º Ä Ö Ò Ö Ø Ðº ¾¼¼ Ò

ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ Ó Ô Ø ÓÛ Ø ÛÓÖ Ø Ñ Ø ÓÒ Ó Ñ ÖÓ¹ ÑÙÐ Ø Ú ÓÖ ¾» ¾¾

ÇÒ Ó Ø ØÓÓÐ Ù Ò ÖÝÔØÓ Ö Ô ÔÖÓØÓÓÐ ÒÖÝÔØ ÓÒ Ø Ø Ø Ù Ó Ý ØÓ ÓÒ Ð Ò ÓÖÑ Ø ÓÒ Ò Ù Û Ý Ø Ø Ø Ø Ò ÓÒÐÝ ÙÒ Ö ØÓÓ Ý Û Ó ÒÓÛ Ø ÖÝÔØ ÓÒ Ýº ÓÖ Ø ÒÖÝÔØ ÓÒ ØÓ «Ø Ú

Ø Ð ÙÒØÓÖ Ý Ð ÑÓÒ Á ÓÒ Ä Ö Ù Ø Ø Ø ÓÖ Ò Ð ÔÔÖÓÜ Ñ Ð Ñ Ô Ó Ò Û Ø Ø ÃÐ Ð ÑÓÖÔ Ñ º Ì Ù Ø Ø ÓÖÝ Ó Ò ÓÖÑ Ø ÓÒ Ý Ø Ñ ÓÑ Ø ÃÐ Ð Ø ÓÖÝ Ä Ö Á Ò Ø Ð ÙÒØÓÖ Ý Ð Ö

ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ Ö ÙÐØ Ó Ø Ñ ÒÙ ØÙÖ Ò ØÓÖݺ Ç Ø Ò ÐÐ ÐÓ Ò ØÖ Ø Ö Ñ Ò Û Ò Ø Ö ÒÓ ÔÔÐ ÐÓ Ò Ù Ò Ø ÔÔÐ ÐÓ Ò Ò Ø ØÖÙØÙÖ ³ ÜÔ Ø

Æ ÛØÓÒ³ Å Ø Ó ÐÓ Ì ÓÖÝ Ò ËÓÑ Ø Ò ÓÙ ÈÖÓ ÐÝ Ò³Ø ÃÒÓÛ ÓÙØ Ú º ÓÜ Ñ Ö Ø ÓÐÐ

cachan.fr/publis/ Mémoire de DEA, DEA Programmation, Paris, septembre 2002.

Ì Ö Ö Ü ÑÔÐ Ó ÒØ Ô Ø ÓÒ Ð Ò Ù Ø Ø ÔÖÓÚ ÓÓ ÙÔ¹ ÔÓÖØ ÓÖ Ô Ý Ò ÒØ Ý Ø Ñ ÒÐÙ Ò Ø ÒØ Ö Ø ÓÒ ØÛ Ò ÒØ º ÒØ ¾ Ò ÒعÓÖ ÒØ ÜØ Ò ÓÒ ØÓ Ç Ø¹ Û ÒÐÙ ÓÒ ÔØ Ù ÖÓÐ ÒØ

Employee Name Salary Page Page Smith Stowe. Employee(x,y)? (Smith, 3000), (Stowe, 7000) yemployee(x,y)? Page,Smith,Stowe

Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö Ð ÒÙÑ Ö Ö Ó Ò Þ Ý Ò Ø ÙØÓÑ Ø Ò ÑÙÐØ ÔÐ Ó ÐÓع ÖÙ Ø Ò¹ ÖÙÝ Ö ¾¼½¼ Ö Ø¹ÓÖ Ö ÐÓ Ò ÆÙÑ

ÓÒÒ Ø ÓÒ ØÓ Ñ ÞÓÒ Ú Ø Æ Ø Ô ÓÖ ÖÓÑ Û ÖÓÛ Öº ÌÓ Ú Û ËÌÄ Ð ÓÒ ÑÝ Ä ÒÙÜ Ñ Ò Á Ù Æ Ø Ò Å Ò Ö¹ ØÓÖº ÌÓ ÔÖÓ Ù Ø ÇÔ ÒË Ö ÔØ Á Ù ÇÔ ÒË Û Ø Ø³ ÒØ Ö Ø Ø ÜØ ØÓÖ

Communications Network Design: lecture 16 p.1/41


ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ Ú Ö Ò Ú Ù Ð Ò Ñ Ð Ø ÓÛÒ Ø ÒØ Ñ Ö Ò º Ì Ô ØØ ÖÒ Ö ÒÓØ Ø ÖÑ Ò Ò Ø ÐÐݺ Ì Ý

R p [%] [%], R p Photon energy [ev]

Transcription:

CMD MDS Recovery DLD Mike Pershin February 6, 2008 1 Introduction This document describes recovery changes in CMD. 2 Requirements The CMD environment requires the reviewed recovery due to major changes in functionality. The new recovery design covers the following issues: recovery cases occurred due to cross-ref situations (MDS-MDS recovery); land all recovery fixes from CMD2 project; changes in recovery logic due to FID introducing; changes due to moving network things to the MDT level; changes in recovery API due to layered nature of the new MDS. 3 Functional specification 3.1 Recovery process in the new MDS The recovery starts as usual - while setup process, the MDT reads last_rcvd file. If it s size is not zero then recovery starts by setting Ñ Ø¹ Ñ Ø Ö ÓÚ Ö Ò ½. After that connecting clients will send the replay request. The new MDS consist of several layers and almost all of them have own part in recovery process. There are several stages in recovery process: 1. Network recovery. MDT receives the replay requests and handles them as usual 1

3.2 Transaction handling in new MDS 3 FUNCTIONAL SPECIFICATION (a) the ØÖ Ò ÒÓ value is taken from request. This value is used for operation and is returned back; (b) Ñ Ø Ò µ receives the request and processes them in order of ØÖ Ò ÒÓ. 2. Clients finish recovery and target_finish_recovery() calls Ñ ÔÓ ØÖ ÓÚ µ on MDS OBD. The same method is defined for Ù Ú so it invoke postrecovery process in all MDS layers; 3. MDD does LOV synchronize and orphan handling in Ñ ÔÓ ØÖ ÓÚ µ 3.2 Transaction handling in new MDS The layering nature of the new MDS implies that transactions can be done in MDD layer only. But other layers like MDT and CMM need to write persistent data in several cases. The transaction callbacks were designed to provide such capability. There are three callbacks that every layer can register and use - start, stop and commit one. During start callback it is possible to increase the number of blocks involved in transaction. The stop callback is need to write any additional persistent data in the current transaction. The commit callback is used in cases where some data should be updated when transaction is committed. The recovery in CMD uses all of these callbacks. Each transaction in new MDS has a context - the set of values which are pre-allocated by every layers if needed. This context is initialized when transaction starts and finished when it is committed. The transaction context is used to store any values which exists while transaction exists. 3.2.1 ÌÖ Ò ÒÓ handling The ØÖ Ò ÒÓ variable is used to track transactions, every new transaction has own ØÖ Ò ÒÓ number which is returned to the client. In new MDT layer the ØÖ Ò ÒÓ handling is encapsulated in transaction callbacks. 1. In the stop callback: (a) if Ñ Ø Ø Ö Ò Ó contain the ØÖ Ò ÒÓ ÆÍÄÄ already then this is replay case and that ØÖ Ò ÒÓ will be used; (b) otherwise the Ñ Ø¹ Ø ØÖ Ò ÒÓ value is taken as ØÖ Ò ÒÓ and increased; 2. the taken ØÖ Ò ÒÓ is stored in ØÖÙØ Ñ Ø Ø Ö Ò Ó for further usage and is stored also in ØÖÙØ Ñ Ø ØÜÒ Ò Ó for commit callback; 3. when the request handling is finished in MDT, the reply is prepared and ØÖ Ò ÒÓ is taken from Ñ Ø Ø Ö Ò Ó µ back and written to the reply; 4. when transaction is committed the MDT commit callback takes ØÖ Ò ÒÓ value from Ñ Ø ØÜÒ Ò Ó µ and uses it to update Ñ Ø¹ Ø ÓÑÑ ØØ value if needed. 2

3.3 Reconstruction 3 FUNCTIONAL SPECIFICATION 3.2.2 LAST_RCVD update The LAST_RCVD file should be updated for recovery. This should be done at the end of any new transaction and the stop callback is natural place for this. The MDT stop callback reads and updates the LAST_RCVD file in the same manner as before. Also, the start callback is used to reserve enough space in transaction handle to do Ä ËÌ Ê Î update. The layered MDS introduces one problem with LAST_RCVD update. The result code should be written into record but there is no last result code at the time of calling the stop_callback and also that result code should be passed from thread to the callback somehow. The result code will be passed through ØÜÒ Ý in the Ñ ØÖ Ò ØÓÔ µ method. The stop callback will use this value while updating the LAST_RCVD. This implies that the rc code from MDD operation shouldn t be changed after writing to the LAST_RCVD. Note: In some cases, e.g. open() the result code after transaction is stopped could be modified by consequent operations like mdt_mfd_open(), etc. This is ok, while reconstruct we will repeat these steps again and result code will be updated in the same manner. The important thing with storing rc is that it is result of operation which change persistent data and cannot be repeated once done, that rc is needed to know persistent state. All other operations can be just repeated. 3.2.3 Last committed transaction update In normal operation the last_committed value is managed in the MDT commit callback. If committed transno is higher than mdt->last_committed value then last_committed = transno. The last committed value is returned to the client after that, so client can purge the committed requests from replay queue. 3.3 Reconstruction The MDT contains the methods for reconstruction of the requests. During reconstruction in the all cases the Ä ËÌ Ê Î is read and result code is got from it. This is enough for most reconstruction cases, but some needs more work to be done: create, setattr - get attributes. If object is remote one - return ¹ Ê ÅÇÌ to the client, so it will request the attributes from remote server. open - most complex case for reconstruction. Intent disposition value is saved also in Ä ËÌ Ê Î and is used with result code while reconstruction. If file was created while open, the its attributes and lov data are returned. The open() recovery is a matter of separated DLD. unlink, link, rename, close - return only result of operation from Ä ËÌ Ê Î 3

3.4 Replay changes 4 USE CASES 3.4 Replay changes While replaying the stop callback will use ØÖ Ò ÒÓ from the request. This is the only difference with normal case. 3.4.1 FID and replay Replay functionality on the MDS looks similar to the usual operations in the most cases and reuse the usual methods greatly because of FID design. The open/create replay becomes simpler due to the fact that client always knows FID for open/create operation so there is no separate code-path for replay operations. 4 Use cases All use cases are intended to 11/17 tests. The cluster is started up and clients runs multiple applications. One of the nodes is failed and other nodes/clients shouldn t be affected. Due to requirements of test 17 the recovery time should be not more than 5 minutes in each case. 4.1 Client failure Client is failed and normal operations should continue. Other clients and servers should receive no errors. The major areas in MDS recovery in that case are closing all opened files from that client and reading LAST_RCVD records upon reconnection. 4.2 Singe MDS failure in CMD One MDS is failed, recovered and normal operations continue. All aspects of recovery can happens here - resent/reconstruct, replay. This is the major use case for MDS recovery. 4.3 OST failure OST is failed and recovery is started, clients should get no errors. 4

5 LOGIC SPECIFICATION 5 Logic specification 5.1 Recovery process 5.1.1 Starting the recovery Ø Ø ÒØ Ñ Ø Ò Ø ÒØ Ø ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜØ ØÖÙØ Ñ Ø Ú Ñ Ø ÙÒ Ò ÓÒ Ø ÖÚ Þ µ ØÖÙØ Ñ Ø ÖÚ Ö Ø Ñ ²Ñ ع Ñ Ø Ñ ØÖÙØ Ñ Ø ÒØ Ø Ñ ØÖÙØ Ó Ú Ó Ñ Ø¹ Ñ Ø Ñ ÚºÑ Ù Úº Ó Ó Ø Ó ¼ ÒØ Ü ÒØ Ö ¼ ÆÌÊ» Ï Ò Û Ó Ò Å Ë ÙØ ÓÛÒ Û Ú Ø Ø ØÖ Ò ÒÓ ÒØÓ Ø Öº Á Û Ò ÒØ Û Ø Ö Ø ØÖ Ò ÒÓ Ú Ù Ø Ò Ø Ó ÒØ Ñ Ý Ò Ö ÓÚ ÖÝ ÓÒ º» Ç ÄÄÇ ÈÌÊ Ñ µ Ñ µ Ê ÌÍÊÆ Ö ¹ ÆÇŠŵ ÓÖ Ü ¼ Ó ¾ ØÓ ÔÙ Ñ ¹ Ñ ÒØ Ø Öص Ó Ø ÖÚ Þ Ü µ Ù Ø ØÖ Ò ÒÓ ØÖÙØ Ó ÜÔÓÖØ ÜÔ ØÖÙØ Ñ Ø ÜÔÓÖØ Ø Ñ Ó ¾ ØÓ ÔÙ Ñ ¹ Ñ ÒØ Ø Öص Ü ½ ØÓ ÔÙ Ñ ¹ Ñ ÒØ Þ µ Ö Ñ Ø¹ Ñ Ø Ø ÖÚ ¹ Ó Ó Ý ÓÔ ¹ Ó Ö ØÜØ Ñ Ø¹ Ñ Ø Ø ÖÚ Ñ Þ Ó Ñ µ ²Ó µ Ö Þ Ó Ñ µµ Ö ¼ Ö ¼µ Ö ¹ ÍÄÌ Öµ ÊÊÇÊ ÖÖÓÖ Ö Ò Å Ë ± Ü ± Ó ±Ù Ö ± Ò Ä ËÌ Ê Î Ü Ó Öµ Ö» Ö ÖÖÓÖ ÓÙ Ò³Ø Ù Ø ÖØÙÔ ØÓ» Ñ ¹ Ñ ÙÙ ¼ ³ ¼³µ Í ÁÆ Ç ÔÔ Ò Þ ÖÓ ÒØ Ø Ó Ø ± Ò 5

5.1 Recovery process 5 LOGIC SPECIFICATION ܵ ÓÒØ ÒÙ Ø ØÖ Ò ÒÓ ØÓ ÔÙ Ñ ¹ Ñ Ø ØÖ Ò ÒÓµ» Ì ÜÔÓÖØ Ö Ò ÙÔ Ý Ñ Ø Ó ÓÒÒ Ø µ Ó Ø Ý Ò ØÓ Ø ÙÔ Ö ÜÔÓÖØ Ñ Ø Ó ÓÒÒ Ø µ Ó º» Í À Ê ÎÊÆ ÄÁ ÆÌ ÙÙ ± Ü ± Ö ÄÈÍ ÖÚ Ö ÄÈÍ Ü ÄÈÍ Ò Ñ ¹ Ñ ÙÙ Ü Ø ØÖ Ò ÒÓ ØÓ ÔÙ Ñ ¹ Ñ Ø ØÖ Ò ÒÓµ ØÓ ÔÙ Ñ ¹ Ñ Ø Ü µµ ÜÔ Ò Û ÜÔÓÖØ Ó ØÖÙØ Ó ÙÙ µñ ¹ Ñ ÙÙ µ ÁË ÊÊ ÜÔµµ ÇÌÇ ÖÖ ÒØ Ö ÈÌÊ ÊÊ ÜÔµµ Ñ ² ÜÔ¹ ÜÔ Ñ Ø Ø Ñ ¹ Ñ Ñ Ñ Ö Ñ Ø ÒØ ØÜØ Ñ Ø Ñ Üµ Ä ËË ÊÌ Ö ¼ Ö ± Ò Öµ» Ò³Ø Ü Ø Ò» ÜÔ¹ ÜÔ Ö Ô Ý Ò ½ ÜÔ¹ ÜÔ ÓÒÒ Ø Ò ¼ Ó ¹ Ó Ö ÓÚ Ö ÒØ Ó ¹ Ó Ñ Ü Ö ÓÚ Ö ÒØ ÜÔÓÖØ ÔÙØ ÜÔµ Í ÇÌÀ Ê ÒØ Ø Ü ± Ø ØÖ Ò ÒÓ ÄÈÍ Ò Ü Ø ØÖ Ò ÒÓµ Ô Ò Ó ²Ñ ع Ñ Ø ØÖ Ò ÒÓ Ó µ Ø ØÖ Ò ÒÓ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓµ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓ Ø ØÖ Ò ÒÓ Ô Ò ÙÒÓ ²Ñ ع Ñ Ø ØÖ Ò ÒÓ Ó µ ÖÖ ÒØ Ç Ê ÈÌÊ Ñ µ Ê ÌÍÊÆ Öµ Ø Ø ÒØ Ñ Ø Ò Ø ÖÚ Ö Ø ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜØ ØÖÙØ Ñ Ø Ú Ñ Øµ ØÖÙØ Ñ Ø ÖÚ Ö Ø Ñ ²Ñ ع Ñ Ø Ñ ØÖÙØ Ñ Ø ÒØ Ø Ñ ÆÍÄÄ ØÖÙØ Ó Ú Ó Ñ Ø¹ Ñ Ø Ñ ÚºÑ Ù Úº Ó Ó Ø Ó ¼ ÙÒ Ò ÓÒ Ø ÖÚ Þ ¼ Ù ÑÓÙÒØ ÓÙÒØ ÒØ Ü ÒØ Ö 6

5.1 Recovery process 5 LOGIC SPECIFICATION ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Ó ØÖÙØ Ø Ó Ø Ø Ñ Ø¹ Ñ Ø Ø ÖÚ ØÖÙØ Ù ØØÖ ÆÌÊ ººº Ø ÖÚ Þ ¹ Þ Ø ÖÚ Þ ¼µ Ä ÇÆËÇÄ Ï ÊÆ ± Ò Û Ò Ø Þ Ò Ò Ó ¹ Ó Ò Ñ µ Ñ ÑÔÝ Ñ ¹ Ñ ÙÙ Ó ¹ Ó ÙÙ ºÙÙ Þ Ó Ñ ¹ Ñ ÙÙ µµ Ñ ¹ Ñ Ø ØÖ Ò ÒÓ ¼ ÑÓÙÒØ ÓÙÒØ Ñ ¹ Ñ ÑÓÙÒØ ÓÙÒØ ¼ Ñ ¹ Ñ ÖÚ Ö Þ ÔÙ ØÓ ¾ ÄÊ Ë ÊÎ Ê ËÁ µ Ñ ¹ Ñ ÒØ Ø ÖØ ÔÙ ØÓ ¾ ÄÊ ÄÁ ÆÌ ËÌ Ê̵ Ñ ¹ Ñ ÒØ Þ ÔÙ ØÓ ½ ÄÊ ÄÁ ÆÌ ËÁ µ Ñ ¹ Ñ ØÙÖ ÖÓÓÑÔ Ø ÔÙ ØÓ ¾ Ç ÊÇ ÇÅÈ Ì ÄÇÎÇ ÂÁ µ Ñ ¹ Ñ ØÙÖ ÒÓÑÔ Ø ÔÙ ØÓ ¾ Ç ÁÆ ÇÅÈ Ì Å Ì Ç ÁÆ ÇÅÈ Ì ÇÅÅÇÆ Äʵ Ö Ø¹ Ó Ó Ý ÓÔ ¹ Ó Ö ØÜØ Ø Ñ Þ Ó Ñ µ ²Ó µ Ö Þ Ó Ñ µµ Ö ¼ Ö ¼µ Ö ¹ ÍÄÌ Öµ ÊÊÇÊ ÖÖÓÖ Ö Ò Å Ë ± Ö ± Ò Ä ËÌ Ê Î Öµ ÇÌÇ ÓÙØ Öµ ØÖÑÔ Ñ ¹ Ñ ÙÙ Ó ¹ Ó ÙÙ ºÙÙ µ ¼µ Ä ÇÆËÇÄ ÊÊÇÊ ÌÖÝ Ò ØÓ Ø ÖØ Ç ± Ù Ò Ø ÛÖÓÒ ± º Ï Ö Ø» Ú» ÒÑ ÒØ Ö ÖÖ Ò Ò Ó ¹ Ó ÙÙ ºÙÙ Ñ ¹ Ñ ÙÙ µ ÇÌÇ ÓÙØ Ö ¹ ÁÆΠĵ ÑÓÙÒØ ÓÙÒØ ØÓ ÔÙ Ñ ¹ Ñ ÑÓÙÒØ ÓÙÒص ººº Ñ Ø Ò Ø ÒØ Ø ØÜØ Ñ Ø Ø ÖÚ Þ µ Ó ¹ Ó Ø ÓÑÑ ØØ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓ Ó ¹ Ó Ö ÓÚ Ö ÒØ µ Ï ÊÆ Ê ÇÎ Ê ÖÚ ± ± Ö ÓÚ Ö ÒØ Ø ØÖ Ò ÒÓ ÄÈÍ Ò Ó ¹ Ó Ò Ñ 7

5.1 Recovery process 5 LOGIC SPECIFICATION Ó ¹ Ó Ö ÓÚ Ö ÒØ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓµ Ó ¹ Ó Ò ÜØ Ö ÓÚ ÖÝ ØÖ Ò ÒÓ Ó ¹ Ó Ø ÓÑÑ ØØ ½ Ó ¹ Ó Ö ÓÚ Ö Ò ½ Ó ¹ Ó Ö ÓÚ ÖÝ Ø ÖØ ÍÊÊ ÆÌ Ë ÇÆ Ë» ÇÒÝ Ù ÓÖ ÔÖÓ Ø ØÙ» Ó ¹ Ó Ö ÓÚ ÖÝ Ò Ó ¹ Ó Ö ÓÚ ÖÝ Ø ÖØ Ç Ê ÇÎ Ê ÌÁÅ ÇÍÌ Recovery starts if the Ó ¹ Ó Ö ÓÚ Ö ÒØ is set in 1 until recovery will finish and Ó ÔÓ ØÖ ÓÚ µ will be invoked. ¼º The Ó ¹ Ó Ö ÓÚ Ö Ò 5.1.2 Post-recovery New method for Ù Ú is defined - Ù ÔÓ Ø Ö ÓÚ ÖÝ µ. ØÖÙØ Ù Ú ÓÔ Ö Ø ÓÒ ØÖÙØ Ù Ó Ø Ó Ó Ø Óµ ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ÓÒ Ø ØÖÙØ Ù Ó Ø Ö ØÖÙØ Ù Ú µ ÒØ Ó ÔÖÓ ÓÒ µ ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ù Ú ØÖÙØ Ù ØÖ µ ÒØ Ó Ö ÓÚ ÖÝ ÓÑÔ Ø µ ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ù Ú µ The MDD will use this to finish recovery process by doing lov synchronize and destroying the unlinked objects on OST. ÒØ Ñ Ö ÓÚ ÖÝ ÓÑÔ Ø ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ù Ú µ ØÖÙØ Ñ Ú Ñ Ù¾Ñ Ú µ ØÖÙØ Ó Ú Ó Ñ ¾ Ó Ñ µ Ö Ñ ÓÚ Ø Ò ÜØ ØÜ Ñ µ Öµ ÊÊÇÊ ± Ñ ÓÚ Ø Ò ÜØ ± Ò Ó ¹ Ó Ò Ñ Öµ ÇÌÇ ÓÙØ Öµ Ö Ñ ÒÙÔ ÙÒ Ò Ó ØÜ Ñ µ Ó ÒÓØ Ý Ó ¹ ÙºÑ ºÑ Ó Ó ÆÍÄÄ Ó ¹ Ó ÝÒ Ö ÓÚ Ç ÆÇÌÁ Ë Æ ÆÇÆ ÄÇ Ã 8

5.2 Handling the ØÖ Ò ÒÓ value 5 LOGIC SPECIFICATION Ç ÆÇÌÁ Ë Æ ÆÍÄĵ Ê ÌÍÊÆ Öµ OSD will use that method to invoke orphans cleanup on bottom filesystem. ÒØ Ó Ö ÓÚ ÖÝ ÓÑÔ Ø ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ù Ú µ ØÖÙØ Ó Ú Ó Ù¾Ó Ú µ ÒØ Ö» Ö ÓÚ ÖÝ ÓÒ Ó Ö ¹ÓÔ Ò Ö ÓÒ ÓÔ Ò ÓÖÔ Ò Ö Ô ÒÒ Ò ÓÒÝ ÒÓÒ¹ÓÔ Ò ÓÖÔ Ò Û Ø» Ö ÓÖÔ Ò ÒÙÔ ºººµ Ö ØÙÖÒ Ö 5.2 Handling the ØÖ Ò ÒÓ value Ø Ø ÒØ Ñ Ø ØÜÒ ØÓÔ ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ø Ú Ú ØÖÙØ Ø Ò ØÜÒ ÚÓ ÓÓ µ ØÖÙØ Ñ Ø Ú Ñ Ø ÓÓ ØÖÙØ Ñ Ø ØÜÒ Ò Ó ØÜÒ ØÖÙØ Ñ Ø Ø Ö Ò Ó ÑØ ÒØ Ö» ØÖ Ò ÒÓ Ò ØÛÓ ÓÒØ ÜØ ¹ ÓÖ ÓÑÑ Ø Ò ÓÖ Ø Ö» ØÜÒ Ù ÓÒØ ÜØ Ý Ø ²ØÜÒ¹ Ø ØÜ ²Ñ Ø ØÜÒ Ýµ ÑØ Ù ÓÒØ ÜØ Ý Ø ØÜ ²Ñ Ø Ø Ö Ýµ Ô Ò Ó ²Ñ ع Ñ Ø ØÖ Ò ÒÓ Ó µ ÑØ ¹ ÑØ ØÖ Ò ÒÓ ¼µ ÑØ ¹ ÑØ ØÖ Ò ÒÓ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓ» Ö Ô Ý» ÑØ ¹ ÑØ ØÖ Ò ÒÓ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓµ Ñ Ø¹ Ñ Ø Ø ØÖ Ò ÒÓ ÑØ ¹ ÑØ ØÖ Ò ÒÓ Ô Ò ÙÒÓ ²Ñ ع Ñ Ø ØÖ Ò ÒÓ Ó µ» Ú ØÖ Ò ÒÓ ÓÖ Ø ÓÑÑ Ø» ØÜÒ ¹ ØÜ ØÖ Ò ÒÓ ÑØ ¹ ÑØ ØÖ Ò ÒÓ» ÍÔ Ø Ø ÖÚ Ö ÓÖ Û Ø Ø Ø ØÖ Ò Ø ÓÒ Ø» Ö Ñ Ø ÙÔ Ø Ø ÖÚ ÑØ Ú Ø Ò µ 9

5.3 Updating the Ä ËÌ Ê Î 5 LOGIC SPECIFICATION Ö ØÙÖÒ Ö» ÓÑÑ Ø Ù ØÓ ÙÔ Ø Ø ÓÑÑ Ø Ú Ù» Ø Ø ÒØ Ñ Ø ØÜÒ ÓÑÑ Ø ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ø Ú Ú ØÖÙØ Ø Ò ØÜÒ ÚÓ ÓÓ µ ØÖÙØ Ñ Ø Ú Ñ Ø ÓÓ ØÖÙØ Ó Ú Ó Ñ ¾Ù Ú ²Ñ ع Ñ Ø Ñ Úµ¹ Ó ØÖÙØ Ñ Ø ØÜÒ Ò Ó ØÜ ØÜ Ù ÓÒØ ÜØ Ý Ø ²ØÜÒ¹ Ø ØÜ ²Ñ Ø ØÜÒ Ýµ Ô Ò Ó ²Ñ ع Ñ Ø Ø ÓÑÑ ØØ Ó µ ØÜ ¹ ØÜ ØÖ Ò ÒÓ Ñ Ø¹ Ñ Ø Ø ÓÑÑ ØØ µ Ñ Ø¹ Ñ Ø Ø ÓÑÑ ØØ ØÜ ¹ ØÜ ØÖ Ò ÒÓ Ô Ò ÙÒÓ ²Ñ ع Ñ Ø Ø ÓÑÑ ØØ Ó µ ÔØÖÔ ÓÑÑ Ø Ö Ô Ó µ Ô Ò ÙÒÓ ²Ñ ع Ñ Ø Ø ÓÑÑ ØØ Ó µ Í À ± ØÖ Ò ÒÓ ÄÈ ÓÑÑ ØØ Ò Ó ¹ Ó Ò Ñ ØÜ ¹ ØÜ ØÖ Ò ÒÓµ Ö ØÙÖÒ ¼ 5.3 Updating the Ä ËÌ Ê Î ÒÙÑ Å Ì Ì Æ Ä ËÌ Ê Î Ê ÁÌË» Ö Ø ÓÖ Ø ÖÚ ÙÔ Ø» Ø Ø ÒØ Ñ Ø ØÜÒ Ø ÖØ ÓÒ Ø ØÖÙØ Ù ÓÒØ ÜØ ØÜ ØÖÙØ Ø Ú Ú ØÖÙØ ØÜÒ Ô Ö Ñ Ô Ö Ñ ÚÓ ÓÓ µ Ô Ö Ñ¹ ØÔ Ö Ø Å Ì Ì Æ Ä ËÌ Ê Î Ê ÁÌË Ö ØÙÖÒ ¼ Ø Ø ÒØ Ñ Ø Ö Ø ÖÚ ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Ó ØÖÙØ Ñ Ø ÒØ Ø Ñ Ó Ø Ó µ ØÖÙØ Ñ Ø Ú Ñ Ø Ò Ó¹ ÑØ Ñ Ø ÒØ Ö Ö Ñ Ø¹ Ñ Ø Ø ÖÚ ¹ Ó Ó Ý ÓÔ ¹ Ó Ö Ò Ó¹ ÑØ ØÜØ Ñ Ø¹ Ñ Ø Ø ÖÚ Ñ Þ Ó Ñ µ 10

5.3 Updating the Ä ËÌ Ê Î 5 LOGIC SPECIFICATION Ó µ Ö Þ Ó Ñ µµ Ö ¼ Ö ¼µ Ö ¹ ÍÄÌ Ö ØÙÖÒ Ö Ø Ø ÒØ Ñ Ø ÛÖ Ø Ø ÖÚ ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Ó ØÖÙØ Ñ Ø ÒØ Ø Ñ Ó Ø Ó ØÖÙØ Ø Ò Ø µ ØÖÙØ Ñ Ø Ú Ñ Ø Ò Ó¹ ÑØ Ñ Ø ÒØ Ö Ö Ñ Ø¹ Ñ Ø Ø ÖÚ ¹ Ó Ó Ý ÓÔ ¹ Ó ÛÖ Ø Ò Ó¹ ÑØ ØÜØ Ñ Ø¹ Ñ Ø Ø ÖÚ Ñ Þ Ó Ñ µ Ó Ø µ Ö Þ Ó Ñ µµ Ö ¼ Ö ¼µ Ö ¹ ÍÄÌ Ö ØÙÖÒ Ö ÒØ Ñ Ø ÙÔ Ø Ø ÖÚ ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Ó ØÖÙØ Ø Ú Ø ØÖÙØ Ø Ò Ø µ ØÖÙØ Ñ Ø Ú Ñ Ø Ò Ó¹ ÑØ Ñ Ø ØÖÙØ ÔØÖÔ Ö ÕÙ Ø Ö Õ Ñ Ø Ò Ó Ö Õ Ò Óµ ØÖÙØ Ñ Ø ÜÔÓÖØ Ø Ñ ²Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ Ñ Ø Ø ØÖÙØ Ñ Ø ÒØ Ø Ñ Ñ ¹ Ñ Ñ Ó Ø Ó ÒØ ÖÖ ¾ Ö Ø ¹ Ø Ö ÙØ ÆÌÊ» Ø ÜÔÓÖØ Ö Ý Ò Û Ú ÒÓ Ø ÖÚ ÓØ» Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ µ Ï ÊÆ ÓÑÑ Ø ØÖ Ò Ø ÓÒ ÓÖ ÓÒÒ Ø ÒØ ± Ö ± Ò Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ ÒØ ÙÙ ºÙÙ Öµ Ö ¼µ Ö ¹ ÆÇÌ ÇÆÆ Ê ÌÍÊÆ Öµ Ó Ñ ¹ Ñ Ö Ó ÓÛÒ ²Ñ ع Ñ Ø Ñ Ó µ Ñ ¹ Ñ Ø ØÖ Ò ÒÓ ÔÙ ØÓ Ò Ó¹ ÑØ ØÖ Ò ÒÓµ 11

5.4 Resent and reconstruction 5 LOGIC SPECIFICATION Ñ ¹ Ñ Ø Ü ÔÙ ØÓ Ö Õ¹ ÖÕ Ü µ Ñ ¹ Ñ Ø Ö ÙØ ÔÙ ØÓ ¾ Öµ Ñ ¹ Ñ Ø Ø ÔÙ ØÓ ¾ ÓÔ Ø µ Ó ¼µ ÊÊÇÊ ÒØ Ü ± Ó Ø ± Ò Ñ ¹ Ñ Ö Ü Ó µ ÖÖ ¹ ÁÆÎ Ä ÖÖ Ñ Ø ÛÖ Ø Ø ÖÚ Ò Ó Ñ ²Ñ ¹ Ñ Ö Ó Ø µ ÙÔ ²Ñ ع Ñ Ø Ñ Ó µ Ê ÌÍÊÆ ÖÖµ 5.4 Resent and reconstruction Reconstruction methods are the same as in old MDS but they are using new API. 5.4.1 Generic reconstruct Most of the operations, e.g. link(), unlink(), rename() need only generic reconstruct: ÚÓ Ñ Ø Ö ÓÒ ØÖÙØ Ò Ö ØÖÙØ Ù ÓÒØ ÜØ ØÜØ ØÖÙØ ÔØÖÔ Ö ÕÙ Ø Ö Õµ ØÖÙØ Ñ Ø ÜÔÓÖØ Ø Ñ ²Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ Ñ Ø Ø Ñ Ø Ö Õ ÖÓÑ Ñ Ö Õ Ñ ¹ Ñ Ñ µ ÚÓ Ñ Ö Õ ÖÓÑ Ñ ØÖÙØ ÔØÖÔ Ö ÕÙ Ø Ö Õ ØÖÙØ Ñ Ø ÒØ Ø Ñ µ Í Ê É À Ö Õ Ö ØÓÖ Ò ØÖ Ò ÒÓ ÄÈ» Ø ØÙ ± Ñ ¹ Ñ Ø ØÖ Ò ÒÓ Ñ ¹ Ñ Ø Ö Ùص Ö Õ¹ ÖÕ Ö ÔÑ ¹ ØÖ Ò ÒÓ Ö Õ¹ ÖÕ ØÖ Ò ÒÓ Ñ ¹ Ñ Ø ØÖ Ò ÒÓ Ö Õ¹ ÖÕ Ö ÔÑ ¹ Ø ØÙ Ö Õ¹ ÖÕ Ø ØÙ Ñ ¹ Ñ Ø Ö ÙØ Ñ Ø Ó Ö Õµ 5.4.2 reconstruct_create(), reconstruct_setattr() Ø Ø ÚÓ Ö ÓÒ ØÖÙØ Ö ÒØ Ö Ø ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Óµ ØÖÙØ ÔØÖÔ Ö ÕÙ Ø Ö Õ Ñ Ø Ò Ó Ö Õ Ò Óµ ØÖÙØ Ñ Ø ÜÔÓÖØ Ø Ñ ²Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ Ñ Ø Ø 12

5.4 Resent and reconstruction 5 LOGIC SPECIFICATION ØÖÙØ Ñ Ø Ú Ñ Ø Ò Ó¹ ÑØ Ñ Ø ØÖÙØ Ñ Ø Ó Ø ØÖÙØ Ñ Ø Ó Ý Ó Ý Ñ Ø Ö Õ ÖÓÑ Ñ Ö Õ Ñ ¹ Ñ Ñ µ Ö Õ¹ ÖÕ Ø ØÙ µ Ö ØÙÖÒ» ÒÓ ÖÖÓÖ Ó Û Ö Ø Û Ø Ö ÕÙ Ø» Ñ Ø Ó Ø Ò Ò Ó¹ ÑØ ØÜØ Ñ Ø Ò Ó¹ ÑØ ÖÖºÖÖ ¾µ Ä ËË ÊÌ ÁË ÊÊ µµ Ó Ý Ö Õ Ô Ù ÖÚ Ö Ø ² Ò Ó¹ ÑØ Ô ²ÊÅ Å Ì Ç µ Ö ÑÓ ØØÖ Ø ØÜØ Ñ Ø Ó Ø µ ² Ò Ó¹ ÑØ ØØÖµ Ö ¹ Ê ÅÇÌ µ» Ó Ø Û Ö Ø ÓÒ Ö ÑÓØ ÖÚ Ö» Ó Ý¹ Ú Ç Å Å Ë Ñ Ø Ô ØØÖ¾ Ó Ý Ó Ý ² Ò Ó¹ ÑØ ØØÖºÑ ØØÖ Ò Ó¹ ÑØ ÖÖºÖÖ ¾µ Ñ Ø Ó Ø ÔÙØ Ò Ó¹ ÑØ ØÜØ µ Ø Ø ÚÓ Ö ÓÒ ØÖÙØ Ö ÒØ Ø ØØÖ ØÖÙØ Ñ Ø Ø Ö Ò Ó Ò Óµ ØÖÙØ ÔØÖÔ Ö ÕÙ Ø Ö Õ Ñ Ø Ò Ó Ö Õ Ò Óµ ØÖÙØ Ñ Ø ÜÔÓÖØ Ø Ñ ²Ö Õ¹ ÖÕ ÜÔÓÖع ÜÔ Ñ Ø Ø ØÖÙØ Ñ Ø Ú Ñ Ø Ò Ó¹ ÑØ Ñ Ø ØÖÙØ Ñ Ø Ó Ø Ó ØÖÙØ Ñ Ø Ó Ý Ó Ý Ñ Ö Õ ÖÓÑ Ñ Ö Õ Ñ ¹ Ñ Ñ µ Ö Õ¹ ÖÕ Ø ØÙ µ Ö ØÙÖÒ Ó Ý Ö Õ Ô Ù ÖÚ Ö Ø ² Ò Ó¹ ÑØ Ô ²ÊÅ Å Ì Ç µ Ó Ñ Ø Ó Ø Ò Ò Ó¹ ÑØ ØÜØ Ñ Ø Ò Ó¹ ÑØ ÖÖºÖÖ ½µ Ä ËË ÊÌ ÁË ÊÊ Ó µµ ÑÓ ØØÖ Ø ØÜØ Ñ Ø Ó Ø Ó µ ² Ò Ó¹ ÑØ ØØÖµ Ñ Ø Ô ØØÖ¾ Ó Ý Ó Ý ² Ò Ó¹ ÑØ ØØÖºÑ ØØÖ Ò Ó¹ ÑØ ÖÖºÖÖ ½µ» ÓÒ³Ø Ö ØÙÖÒ ÇË̹ Ô ØØÖ ÙØ Û Ò³Ø Ù Ø Ø Ø Ñ» Ö ¹ ÙÖ ØØÖº Ú ² ÌÌÊ ËÁ µ Ó Ý¹ Ú Ç Å ÄËÁ Ç Å Ä ÄÇ ÃË Ö ¹ ÙÖ ØØÖº Ú ² ÌÌÊ ÅÌÁÅ ÌÌÊ ÅÌÁÅ Ë Ìµµ Ó Ý¹ Ú Ç Å ÄÅÌÁÅ Ö ¹ ÙÖ ØØÖº Ú ² ÌÌÊ ÌÁÅ ÌÌÊ ÌÁÅ Ë Ìµµ Ó Ý¹ Ú Ç Å Ä ÌÁÅ Ñ Ø Ó Ø ÔÙØ Ò Ó¹ ÑØ ØÜØ Ó µ 13

6 STATE MANAGEMENT 6 State management 6.1 State invariants FID is invariant so recovery become simpler because uses the same FID as ordinary operations did. 14