BASE: Using Abstraction to Improve Fault Tolerance

Transcription

1 BASE: Using Abstraction to Improve Fault Tolerance Rodrigo Rodrigues Ý, Miguel Castro Ü, and Barbara Liskov Ý Ý MIT Laboratory for Computer Science 2 Technology Sq., Cambridge MA 239, USA Ü Microsoft Research Ltd. Guildhall St., Cambridge CB2 3NH, UK [email protected], [email protected], [email protected] ABSTRACT ËÓ ØÛ Ö ÖÖÓÖ Ö Ñ ÓÖ Ù Ó ÓÙØ Ò Ø Ý Ö ÒÖ Ò ÐÝ ÜÔÐÓ Ø Ò Ñ Ð ÓÙ ØØ º ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò ÐÐÓÛ Ö ÔÐ Ø Ý Ø Ñ ØÓ Ñ ÓÑ Ó ØÛ Ö ÖÖÓÖ ÙØ Ø ÜÔ Ò Ú ØÓ ÔÐÓݺ Ì Ô Ô Ö Ö Ö ÔÐ Ø ÓÒ Ø Ò ÕÙ Ë Û Ù ØÖ Ø ÓÒ ØÓ Ö ¹ Ù Ø Ó Ø Ó ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò Ò ØÓ ÑÔÖÓÚ Ø Ð ØÝ ØÓ Ñ Ó ØÛ Ö ÖÖÓÖ º Ë Ö Ù Ó Ø Ù Ø Ò Ð Ö Ù Ó Ó«¹Ø ¹ Ð ÖÚ ÑÔÐ Ñ ÒØ Ø ÓÒ º ÁØ ÑÔÖÓÚ Ú Ð Ð ØÝ Ù Ö ÔÐ Ò Ö Ô Ö Ô Ö Ó ÐÐÝ Ù Ò Ò ØÖ Ø Ú Û Ó Ø Ø Ø ØÓÖ Ý ÓÖÖ Ø Ö ÔÐ Ò Ù Ö ÔÐ Ò ÖÙÒ Ø ÒØ ÓÖ ÒÓÒ¹ Ø ÖÑ Ò Ø ÖÚ ÑÔÐ Ñ ÒØ Ø ÓÒ Û Ö Ù Ø ÔÖÓ Ð ØÝ Ó ÓÑÑÓÒ ÑÓ ÐÙÖ º Ï Ù ÐØ Ò Æ Ë ÖÚ Û Ö Ö ÔÐ Ò ÖÙÒ «Ö ÒØ Ó«¹Ø ¹ Ð Ð Ý Ø Ñ ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ò Ó Ø¹ÓÖ ÒØ Ø Û Ö Ø Ö ÔÐ Ö Ò Ø Ñ ÒÓÒ¹ Ø ÖÑ Ò Ø ÑÔÐ ¹ Ñ ÒØ Ø ÓÒº Ì Ü ÑÔÐ Ù Ø Ø Ø ÓÙÖ Ø Ò ÕÙ Ò Ù Ò ÔÖ Ø Ò ÓØ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ö ¹ ÕÙ Ö ÓÒÐÝ ÑÓ Ø ÑÓÙÒØ Ó Ò Û Ó Ò ÓÙÖ Ô Ö ÓÖ¹ Ñ Ò Ö ÙÐØ Ò Ø Ø Ø Ø Ö ÔÐ Ø ÖÚ Ô Ö ÓÖÑ ÓÑÔ Ö ÐÝ ØÓ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ø Ø Ý Ö Ù º. INTRODUCTION Ì Ö ÖÓÛ Ò Ñ Ò ÓÖ Ðݹ Ú Ð Ð Ý Ø Ñ Ø Ø ÔÖÓÚ ÓÖÖ Ø ÖÚ Û Ø ÓÙØ ÒØ ÖÖÙÔØ ÓÒ º Ì Ý Ø Ñ ÑÙ Ø ØÓÐ Ö Ø Ó ØÛ Ö ÖÖÓÖ Ù Ø Ö Ñ ÓÖ Ù Ó ÓÙØ ½ º ÙÖØ ÖÑÓÖ Ø Ö Ò Ò¹ Ö Ò ÒÙÑ Ö Ó Ñ Ð ÓÙ ØØ Ø Ø ÜÔÐÓ Ø Ó ØÛ Ö ÖÖÓÖ ØÓ Ò ÓÒØÖÓÐ ÓÖ ÒÝ ØÓ Ý Ø Ñ Ø Ø ÔÖÓÚ ÑÔÓÖØ ÒØ ÖÚ º Ì Ô Ô Ö ÔÖÓÔÓ Ö ÔÐ Ø ÓÒ Ø Ò ÕÙ Ë Ø Ø ÓÑ Ò ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò ½ Û Ø ÛÓÖ ÓÒ Ø Ì Ö Ö Û Ô ÖØ ÐÐÝ ÙÔÔÓÖØ Ý ÊÈ ÙÒ Ö ÓÒ¹ ØÖ Ø ¼ ¼¾¹ ¹½¹¼¾ ÑÓÒ ØÓÖ ÝØ Ö ÓÖ Ê Ö Ä ÓÖ ØÓÖݺ ÊÓ Ö Ó ÊÓ Ö Ù Û Ô ÖØ ÐÐÝ ÙÔÔÓÖØ Ý ÈÖ Ü Á ÐÐÓÛ Ôº ØÖ Ø ÓÒ ¾¼ º ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò ÐÐÓÛ Ö ÔÐ ¹ Ø ÖÚ ØÓ ØÓÐ Ö Ø Ö ØÖ ÖÝ Ú ÓÖ ÖÓÑ ÙÐØÝ Ö ÔÐ ¹ º º Ú ÓÖ Ù Ý Ó ØÛ Ö Ù ÓÖ Ò ØØ º ØÖ Ø ÓÒ ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ð ØÓ Ò Ð Ø Ö Ù Ó Ó«¹Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ÑÔÓÖØ ÒØ ÖÚ º º Ð Ý Ø Ñ Ø ÓÖ ÀÌÌÈ ÑÓÒ µ Ò ØÓ ÑÔÖÓÚ Ø Ð ØÝ ØÓÑ Ó ØÛ Ö ÖÖÓÖ º Ï ÜØ Ò Ø Ì Ð Ö ÖÝ ØÓ ÑÔÐ Ñ ÒØ Ë º Ë Ò ÖÓÒÝÑ ÓÖ Ì Û Ø ØÖ Ø ËÔ Ø ÓÒ Ò Ô ÙÐ Ø ÓÒºµ Ì ÓÖ Ò Ð Ì Ð Ö ÖÝ ÔÖÓÚ ÝÞ Ò¹ Ø Ò ÙÐØ ØÓÐ Ö Ò Û Ø ÓÓ Ô Ö ÓÖÑ Ò Ò ØÖÓÒ ÓÖ¹ Ö ØÒ Ù Ö ÒØ ÒÓ ÑÓÖ Ø Ò ½ Ó Ø Ö ÔÐ Ð Û Ø Ò Ñ ÐÐ Û Ò ÓÛ Ó ÚÙÐÒ Ö Ð Øݺ ÀÓÛ Ú Ö Ø Ö ÕÙ Ö ÐÐ Ö ÔÐ ØÓ ÖÙÒ Ø Ñ ÖÚ ÑÔÐ Ñ ÒØ Ø ÓÒ Ò ØÓ ÙÔ Ø Ø Ö Ø Ø Ò Ø ÖÑ Ò Ø Û Ýº Ì Ö ÓÖ Ø ÒÒÓØ ØÓÐ Ö Ø Ø ÖÑ Ò Ø Ó ØÛ Ö ÖÖÓÖ Ø Ø Ù ÐÐ Ö ÔÐ ØÓ Ð ÓÒÙÖÖ ÒØÐÝ Ò Ø ÓÑÔÐ Ø Ö Ù Ó Ü¹ Ø Ò ÖÚ ÑÔÐ Ñ ÒØ Ø ÓÒ Ù Ø Ö ÕÙ Ö ÜØ Ò Ú ÑÓ Ø ÓÒ ØÓ Ò ÙÖ ÒØ Ð Ú ÐÙ ÓÖ Ø Ø Ø Ó Ö ÔÐ º Ì Ë Ð Ö ÖÝ Ò Ñ Ø Ó ÓÐÓ Ý Ö Ò Ø Ô ¹ Ô Ö ÓÖÖ Ø Ø ÔÖÓ Ð Ñ Ø Ý Ò Ð Ö ÔÐ ØÓ ÖÙÒ ¹ Ö ÒØ ÓÖ ÒÓÒ¹ Ø ÖÑ Ò Ø ÑÔÐ Ñ ÒØ Ø ÓÒ º Ì Ñ Ø Ó ¹ ÓÐÓ Ý ÓÒ Ø ÓÒ ÔØ Ó ØÖ Ø Ô Ø ÓÒ Ò ØÖ Ø ÓÒ ÙÒØ ÓÒ ÖÓÑ ÛÓÖ ÓÒ Ø ØÖ Ø ÓÒ ¾¼ º Ï Ø ÖØ Ý Ò Ò ÓÑÑÓÒ ØÖ Ø Ô Ø ÓÒ ÓÖ Ø Ö¹ Ú Û Ô Ò ØÖ Ø Ø Ø Ò Ö ÓÛ ÓÔ Ö Ø ÓÒ Ñ Ò ÔÙÐ Ø Ø Ø Ø º Ì Ò Û ÑÔÐ Ñ ÒØ ÓÒ¹ ÓÖÑ Ò ÛÖ ÔÔ Ö ÓÖ Ø ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ ØÓ Ñ Ø Ú ÓÖ Ò ØÓ Ø ÓÑÑÓÒ Ô Ø ÓÒº Ì Ð Ø Ø Ô ØÓ ÑÔÐ Ñ ÒØ Ò ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò ÓÒ Ó Ø ÒÚ Ö µ ØÓ Ñ Ô ÖÓÑ Ø ÓÒÖ Ø Ø Ø Ó ÑÔÐ Ñ Ò¹ Ø Ø ÓÒ ØÓ Ø ÓÑÑÓÒ ØÖ Ø Ø Ø Ò Ú Ú Ö µº Ì Ñ Ø Ó ÓÐÓ Ý Ó«Ö Ú Ö Ð ÑÔÓÖØ ÒØ Ú ÒØ º Ê Ù Ó Ü Ø Ò Ó º Ë ÑÔÐ Ñ ÒØ ÓÖÑ Ó Ø Ø Ñ Ò Ö ÔÐ Ø ÓÒ ½ Û ÐÐÓÛ Ö ÔÐ Ø ÓÒ Ó Ö¹ Ú Ø Ø Ô Ö ÓÖÑ Ö ØÖ ÖÝ ÓÑÔÙØ Ø ÓÒ ÙØ Ö ÕÙ Ö ¹ Ø ÖÑ Ò Ñ ÐÐ Ö ÔÐ ÑÙ Ø ÔÖÓ Ù Ø Ñ ÕÙ Ò Ó Ö ÙÐØ Û Ò Ø Ý ÔÖÓ Ø Ñ ÕÙ Ò Ó ÓÔ Ö Ø ÓÒ º ÅÓ Ø Ó«¹Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ÖÚ Ð ØÓ Ø Ý Ø ÓÒ Ø ÓÒº ÓÖ Ü ÑÔÐ Ñ ÒÝ ÑÔÐ Ñ ÒØ Ø ÓÒ ÔÖÓ¹ Ù Ø Ñ Ø ÑÔ Ý Ö Ò ÐÓ Ð ÐÓ Û Ò Ù Ø Ø Ø Ó Ö ÔÐ ØÓ Ú Ö º Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø ØÖ Ø Ø Ø ÓÒÚ Ö ÓÒ Ò Ð Ø Ö Ù Ó Ü Ø¹ Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Û Ø ÓÙØ ÑÓ Ø ÓÒ º ÙÖØ ÖÑÓÖ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ò ÒÓÒ¹ Ø ÖÑ Ò Ø Û Ö ¹ Ù Ø ÔÖÓ Ð ØÝ Ó ÓÑÑÓÒ ÑÓ ÐÙÖ º ËÓ ØÛ Ö Ê ÙÚ Ò Ø ÓÒ Ø ÖÓÙ ÔÖÓ Ø Ú Ö ÓÚ Öݺ

2 ÁØ Ò Ó ÖÚ ½ Ø Ø Ø Ö ÓÖÖ Ð Ø ÓÒ ØÛ Ò Ø Ð Ò Ø Ó Ø Ñ Ó ØÛ Ö ÖÙÒ Ò Ø ÔÖÓ Ð ØÝ Ø Ø Ø Ð º Ë ÓÑ Ò ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Û Ø ¹ ØÖ Ø ÓÒ ØÓ ÓÙÒØ Ö Ø ÔÖÓ Ð Ñº Ê ÔÐ Ö Ö ÓÚ Ö Ô Ö Ó ÐÐÝ Ú Ò Ø Ö ÒÓ Ö ÓÒ ØÓ Ù Ô Ø Ø Ý Ö ÙÐØݺ Ê ÓÚ Ö Ö Ø Ö Ó Ø Ø Ø ÖÚ Ö Ñ Ò Ú Ð Ð ÙÖ Ò Ö ÙÚ Ò Ø ÓÒ ØÓ Ò Ð Ö ÕÙ ÒØ Ö ÓÚ Ö º Ï Ò Ö ÔÐ Ö ÓÚ Ö Ø Ö ÓÓØ Ò Ö Ø ÖØ ÖÓÑ Ð Ò Ø Ø º Ì Ò Ø ÖÓÙ Ø ÙÔØÓ Ø Ù Ò ÓÖÖ Ø ÓÔÝ Ó Ø ØÖ Ø Ø Ø Ø Ø Ó Ø Ò ÖÓÑ Ø ÖÓÙÔ Ó Ö ÔÐ º ØÖ Ø ÓÒ Ñ Ý ÑÔÖÓÚ Ú Ð Ð ØÝ Ý Ò ÓÖÖÙÔØ ÓÒÖ Ø Ø Ø Ò Ø Ò Ð ÔÖÓ Ø Ú Ö ¹ ÓÚ ÖÝ Û Ò Ö ÔÐ Ó ÒÓØ ÖÙÒ Ø Ñ Ó ÓÖ ÖÙÒ Ó Ø Ø ÒÓÒ¹ Ø ÖÑ Ò Ø º ÇÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò º Ê ÔÐ Ø ÓÒ ÒÓØ Ù ÙÐ Û Ò Ø Ö ØÖÓÒ ÔÓ Ø Ú ÓÖÖ Ð Ø ÓÒ ¹ ØÛ Ò Ø ÐÙÖ ÔÖÓ Ð Ø Ó Ø «Ö ÒØ Ö ÔÐ º º Ø ÖÑ Ò Ø Ó ØÛ Ö Ù Ù ÐÐ Ö ÔÐ ØÓ Ð Ø Ø Ñ Ø Ñ Û Ò Ø Ý ÖÙÒ Ø Ñ Ó º Æ¹Ú Ö ÓÒ ÔÖÓ¹ Ö ÑÑ Ò ÜÔÐÓ Ø Ò Ú Ö ØÝ ØÓ Ö Ù Ø ÔÖÓ ¹ Ð ØÝ Ó ÓÖÖ Ð Ø ÐÙÖ ÙØ Ø Ú Ö Ð ÔÖÓ Ð Ñ ½ Ø ÒÖ Ú ÐÓÔÑ ÒØ Ò Ñ ÒØ Ò Ò Ó Ø Ý ØÓÖ Ó Æ ÓÖ ÑÓÖ ÙÒ ÔØ Ð Ø Ñ Ð Ý ØÓ Ø Ñ¹ ÔÐ Ñ ÒØ Ø ÓÒ Ò Ó ÒÓØ ÔÖÓÚ Ñ Ò Ñ ØÓ Ö Ô Ö ÙÐØÝ Ö ÔÐ º Ë Ò Ð Ò ÓÔÔÓÖØÙÒ Ø ÓÖÑ Ó Æ¹Ú Ö ÓÒ ÔÖÓ¹ Ö ÑÑ Ò Ý ÐÐÓÛ Ò Ù ØÓ Ø Ú ÒØ Ó Ø ÒØ Ó«¹ Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ÓÑÑÓÒ ÖÚ º Ì Ô¹ ÔÖÓ ÓÚ ÖÓÑ Ø Ø Ñ ÒØ ÓÒ ÓÚ Ø Ð Ñ Ò Ø Ø Ú ÐÓÔÑ ÒØ Ò Ñ ÒØ Ò Ò Ó Ø Ó Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ò Ð Ó Ø ÐÓÒ Ø Ñ ¹ØÓ¹Ñ Ö Øº Ø ÓÒ¹ ÐÐÝ Û Ò Ö Ô Ö ÙÐØÝ Ö ÔÐ Ý ØÖ Ò ÖÖ Ò Ò ÒÓ Ò Ó Ø ÓÑÑÓÒ ØÖ Ø Ø Ø ÖÓÑ ÓÖÖ Ø Ö ÔÐ º ÇÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ú Ð ÓÔØ ÓÒ ÓÖ Ñ ÒÝ ÓÑÑÓÒ ÖÚ º º Ö Ð Ø ÓÒ Ð Ø ÀÌÌÈ ÑÓÒ Ð Ý Ø Ñ Ò ÓÔ Ö Ø Ò Ý Ø Ñ º ÁÒ ÐÐ Ø ÓÑÔ Ø Ø ÓÒ Ð ØÓ ÓÙÖ ÓÖ ÑÓÖ Ø ÒØ ÑÔÐ Ñ Ò¹ Ø Ø ÓÒ Ø Ø Û Ö Ú ÐÓÔ Ò Ö Ñ ÒØ Ò Ô Ö Ø ÐÝ ÙØ Ú Ñ Ð Ö ÐØ ÓÙ ÒÓØ ÒØ Ðµ ÙÒØ ÓÒ Ð Øݺ Ë Ò Ó«¹Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ ÓÐ ØÓ Ð Ö ÒÙÑ Ö Ó Ù ØÓÑ Ö Ø Ú Ò ÓÖ Ò ÑÓÖØ Þ Ø Ó Ø Ó ÔÖÓ Ù Ò ÕÙ Ð ØÝ ÑÔÐ Ñ ÒØ Ø ÓÒº ÙÖØ ÖÑÓÖ Ø Ü Ø Ò Ó Ø Ò Ö ÔÖÓØÓÓÐ Ø Ø ÔÖÓ¹ Ú ÒØ Ð ÒØ Ö ØÓ «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ º º Ç ½½ Ò Æ Ë ¾ ÑÔÐ ÓÙÖ Ø Ò ÕÙ Ò Ô Ø Ó Ø Ó ÛÖ Ø Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒ¹ Ú Ö ÓÒ ÙÒØ ÓÒ ÐÓÛº Ï Ò Ð Ó Ð Ú Ö Ø «ÓÖØ ØÓ¹ Û Ö Ø Ò Ö Þ Ò Ø Ö ÔÖ ÒØ Ø ÓÒ Ù Ò Åĺ Ì Ô Ô Ö ÜÔÐ Ò Ø Ñ Ø Ó ÓÐÓ Ý Ý Ú Ò ØÛÓ Ü¹ ÑÔÐ Ö ÔÐ Ø Ð ÖÚ Û Ö Ö ÔÐ ÖÙÒ «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñ Ò Ð Ý Ø Ñ Ò Ö ÔÐ Ø Ó Ø¹ ÓÖ ÒØ Ø Û Ö Ø Ö ÔÐ ÖÙÒ Ø Ñ ÑÔÐ ¹ Ñ ÒØ Ø ÓÒ ÙØ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ ÒÓÒ¹ Ø ÖÑ Ò Ø º Ì Ô Ô Ö Ð Ó ÔÖÓÚ Ò Ú ÐÙ Ø ÓÒ Ó Ø Ñ Ø Ó ÓÐÓ Ý ÓÒ Ø Ü ÑÔÐ Û Ú ÐÙ Ø Ø ÓÑÔÐ Ü ØÝ Ó Ø ÓÒ¹ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ò Ø ÓÚ Ö Ø Ý ÒØÖÓ Ù º Ì Ö Ñ Ò Ö Ó Ø Ô Ô Ö ÓÖ Ò Þ ÓÐÐÓÛ º Ë ¹ Ø ÓÒ ¾ Ö ÓÙÖ Ñ Ø Ó ÓÐÓ Ý Ò Ø Ë Ð Ö Öݺ Ë Ø ÓÒ ÜÔÐ Ò ÓÛ Û ÔÔÐ Ø Ñ Ø Ó ÓÐÓ Ý ØÓ Ù Ð Ø Ö ÔÐ Ø Ð Ý Ø Ñ Ò Ó Ø¹ÓÖ ÒØ Ø º Ï Ú ÐÙ Ø ÓÙÖ Ø Ò ÕÙ Ò Ë Ø ÓÒ º Ë Ø ÓÒ Ù Ö ¹ Ð Ø ÛÓÖ Ò Ë Ø ÓÒ ÔÖ ÒØ ÓÙÖ ÓÒÐÙ ÓÒ º 2. THE BASE TECHNIQUE Ì Ø ÓÒ ÔÖÓÚ Ò ÓÚ ÖÚ Û Ó ÓÙÖ Ö ÔÐ Ø ÓÒ Ø ¹ Ò ÕÙ º ÁØ Ø ÖØ Ý Ö Ò Ø Ñ Ø Ó ÓÐÓ Ý Ø Ø Û Ù ØÓ Ù Ð Ö ÔÐ Ø Ý Ø Ñ ÖÓÑ Ü Ø Ò ÖÚ ÑÔÐ Ñ Ò¹ Ø Ø ÓÒ º ÁØ Ò Û Ø Ö ÔØ ÓÒ Ó Ø Ë Ð Ö Öݺ 2. Methodology Ì Ó Ð ØÓ Ù Ð Ö ÔÐ Ø Ý Ø Ñ Ý Ö Ù Ò Ø Ó Ó«¹Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Á ½ ÁÒ Ó ÓÑ ÖÚ º Á ¹ ÐÐÝ Û ÛÓÙÐ Ð Ò ØÓ ÕÙ Ð Ø ÒÙÑ Ö Ó Ö ÔÐ Ó Ø Ø Ö ÔÐ Ò ÖÙÒ «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ ØÓ Ö Ù Ø ÔÖÓ Ð ØÝ Ó ÑÙÐØ Ò ÓÙ ÐÙÖ º ÙØ Ø Ø Ò ÕÙ Ù ÙÐ Ú Ò Û Ø Ò Ð ÑÔÐ Ñ ÒØ Ø ÓÒº ÐØ ÓÙ Ó«¹Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø Ñ Ö¹ Ú Ó«Ö ÖÓÙ ÐÝ Ø Ñ ÙÒØ ÓÒ Ð ØÝ Ø Ý Ú ¹ Ö ÒØÐÝ Ø Ý ÑÔÐ Ñ ÒØ «Ö ÒØ Ô Ø ÓÒ Ë ½ ËÒ Ù Ò «Ö ÒØ Ö ÔÖ ÒØ Ø ÓÒ Ó Ø ÖÚ Ø Ø º Ú Ò Ø Ú ÓÖ Ó «Ö ÒØ Ö ÔÐ Ø Ø ÖÙÒ Ø Ñ ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ Ñ Ý «Ö ÒØ Û Ò Ø Ô Ø ÓÒ Ø Ý ÑÔÐ Ñ ÒØ ÒÓØ ØÖÓÒ ÒÓÙ ØÓ Ò ÙÖ Ø ÖÑ Ò Ø Ú ÓÖº ÓÖ Ü ÑÔÐ Ø Æ Ë Ô Ø ÓÒ ¾ ÐÐÓÛ ÑÔÐ Ñ ÒØ Ø ÓÒ ØÓ ÓÓ Ø Ú ÐÙ Ó Ð Ò Ð Ö ØÖ Ö Ðݺ Ë Ð ÒÝ ÓÖÑ Ó Ø Ø Ñ Ò Ö ÔÐ Ø ÓÒ Ö ÕÙ Ö Ø ÖÑ Ò Ñ Ö ÔÐ ÑÙ Ø ÔÖÓ Ù Ø Ñ ÕÙ Ò Ó Ö ÙÐØ Û Ò Ø Ý Ü ÙØ Ø Ñ ÕÙ Ò Ó ÓÔ Ö Ø ÓÒ º Ï Ú Ø ÖÑ Ò Ñ Ý Ò Ò ÓÑÑÓÒ ØÖ Ø Ô ¹ Ø ÓÒ Ë ÓÖ Ø ÖÚ Ø Ø ØÖÓÒ ÒÓÙ ØÓ Ò ÙÖ Ø ÖÑ Ò Ø Ú ÓÖº Ì Ô Ø ÓÒ Ò Ø ¹ ØÖ Ø Ø Ø Ò Ò Ø Ð Ø Ø Ú ÐÙ Ò Ø Ú ÓÖ Ó ÖÚ ÓÔ Ö Ø ÓÒº Ì Ô Ø ÓÒ Ò Û Ø ÓÙØ ÒÓÛÐ Ó Ø Ò¹ Ø ÖÒ Ð Ó ÑÔÐ Ñ ÒØ Ø ÓÒº ÁØ ÙÆ ÒØ ØÓ ØÖ Ø Ø Ñ Ð ÓÜ Û ÑÔÓÖØ ÒØ ØÓ Ò Ð Ø Ù Ó Ü Ø¹ Ò ÑÔÐ Ñ ÒØ Ø ÓÒ º Ø ÓÒ ÐÐÝ Ø ØÖ Ø Ø Ø Ô¹ ØÙÖ ÓÒÐÝ Û Ø Ú Ð ØÓ Ø Ð ÒØ Ö Ø Ö Ø Ò Ñ Ñ Ò Û Ø ÓÑÑÓÒ Ò Ø ÓÒÖ Ø Ø Ø Ó Ø «Ö ÒØ ÑÔÐ ¹ Ñ ÒØ Ø ÓÒ º Ì ÑÔÐ Ø ØÖ Ø Ø Ø Ò ÑÔÖÓÚ Ø «Ø Ú Ò Ó ÓÙÖ Ó ØÛ Ö Ö ÙÚ Ò Ø ÓÒ Ø Ò ÕÙ º Ì Ò ÜØ Ø Ô ØÓ ÑÔÐ Ñ ÒØ ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö ½ Ò ÓÖ Ó Á ½ ÁÒº Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö ÑÔÐ Ñ ÒØ Ø ÓÑÑÓÒ Ô Ø ÓÒ Ëº Ì ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ Ó ÛÖ ÔÔ Ö Ú Ò Ö Ø Ø ÒÚÓ Ø ÓÔ Ö¹ Ø ÓÒ Ó«Ö Ý Á ØÓ ÑÔÐ Ñ ÒØ Ø ÓÔ Ö Ø ÓÒ Ò Ë Ò ÑÔÐ Ñ ÒØ Ò Ø ÓÔ Ö Ø ÓÒ Ø Ú Ò Ö Ñ Ù Ó ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ø Ø ØÓÖ Û Ø Ú Ö Ø ÓÒ Ð Ò ÓÖÑ Ø ÓÒ Ò ØÓ ÐÐÓÛ Ø ØÖ Ò Ð Ø ÓÒ ÖÓÑ Ø ÓÒ¹ Ö Ø Ú ÓÖ Ó Ø ÑÔÐ Ñ ÒØ Ø ÓÒ ØÓ Ø ØÖ Ø Ú¹ ÓÖº Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ð Ó ÑÔÐ Ñ ÒØ ÓÑ ¹ Ø ÓÒ Ð Ñ Ø Ó Ø Ø ÐÐÓÛ Ö ÔÐ ØÓ ÙØ ÓÛÒ Ò Ø Ò Ö Ø ÖØ Û Ø ÓÙØ ÐÓ Ó Ò ÓÖÑ Ø ÓÒº Ì Ò Ð Ø Ô ØÓ ÑÔÐ Ñ ÒØ Ø ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò ÓÒ Ó Ø ÒÚ Ö º Ì ÙÒØ ÓÒ ÐÐÓÛ Ø Ø ØÖ Ò Ö ÑÓÒ Ø Ö ÔÐ º ËØ Ø ØÖ Ò Ö Ù ØÓ Ö Ô Ö ÙÐØÝ Ö ÔÐ Ò Ð Ó ØÓ Ö Ò ÐÓÛ Ö ÔÐ ÙÔ¹ØÓ¹ Ø Û Ò Ñ Ø Ý Ö Ñ Ò Ú Ò Ö ÓÐÐ Ø º ÓÖ Ø Ø ØÖ Ò Ö ØÓ ÛÓÖ Ö ÔÐ ÑÙ Ø Ö ÓÒ Ø Ú ÐÙ Ó Ø Ø Ø Ó Ø ÖÚ Ø Ö Ü ÙØ Ò ÕÙ Ò Ó ÓÔ Ö Ø ÓÒ Ø Ý Û ÐÐ ÒÓØ Ö ÓÒ Ø Ú ÐÙ Ó Ø ÓÒÖ Ø Ø Ø ÙØ ÓÙÖ Ñ Ø Ó ÓÐÓ Ý Ò ÙÖ Ø Ø Ø Ý Û ÐÐ Ö ÓÒ Ø Ú ÐÙ Ó Ø ØÖ Ø Ø Ø º Ì ØÖ Ø ÓÒ ÙÒØ ÓÒ Ù ØÓ ÓÒÚ ÖØ Ø ÓÒÖ Ø Ø Ø ØÓÖ Ý Ö ÔÐ ÒØÓ Ø ØÖ Ø Ø Ø Û ØÖ Ò ÖÖ ØÓ ÒÓØ Ö Ö ÔÐ º Ì Ö Ú Ò Ö ÔÐ Ù Ø ÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ ØÓ ÓÒÚ ÖØ Ø ØÖ Ø

3 Ø Ø ÒØÓ Ø ÓÛÒ ÓÒÖ Ø Ø Ø Ö ÔÖ ÒØ Ø ÓÒº ÌÓ Ò Ð Æ ÒØ Ø Ø ØÖ Ò Ö ØÛ Ò Ö ÔÐ Ø ¹ ØÖ Ø Ø Ø ÑÙ Ø Ò Ò ÖÖ Ý Ó Ó Ø º Ì ÖÖ Ý Ü Ñ Ü ÑÙÑ Þ ÙØ Ø Ó Ø Ø ÓÒØ Ò Ò Ú ÖÝ Ò Þ º Ï ÜÔÐ Ò ÓÛ Ø Ö ÔÖ ÒØ Ø ÓÒ Ò Ð Æ ÒØ Ø Ø ØÖ Ò Ö Ò Ë Ø ÓÒ ¾º¾º 2.. Applicability ÁÒ Ø ÓÖÝ Ø Ñ Ø Ó ÓÐÓ Ý Ò Ù ØÓ Ù Ð Ö ÔÐ ¹ Ø ÖÚ ÖÓÑ ÒÝ Ø Ó Ü Ø Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ÒÝ ÖÚ º ÙØ ÓÑ Ø Ñ Ø Ñ Ý ÒÓØ ÔÖ Ø Ð Ù Ó Ø ÓÐÐÓÛ Ò Ø Ö ÔÖÓ Ð Ñ º ÍÒ ÓÙÑ ÒØ Ú ÓÖº ÌÓ ÔÔÐÝ Ø Ñ Ø Ó ÓÐÓ Ý Û Ò ØÓ ÙÒ Ö Ø Ò Ò ÑÓ Ð Ø Ú ÓÖ Ó Ö¹ Ú ÑÔÐ Ñ ÒØ Ø ÓÒº Ï Ó ÒÓØ Ò ØÓ ÑÓ Ð ÐÓÛ Ð Ú Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ð ÙØ ÓÒÐÝ Ø Ú ÓÖ Ø Ø Ò Ó ÖÚ Ý Ø Ð ÒØ Ó Ø Ø ÑÔÐ Ñ ÒØ Ø ÓÒº Ï Ð Ú Ø Ø Ø Ú ÓÖ Ó ÑÓ Ø Ó ØÛ Ö Û ÐÐ ÓÙÑ ÒØ Ø Ø Ð Ú Ð Ò Û Ò Ù Ð ÓÜ Ø Ø Ò ØÓ ÙÒ Ö Ø Ò Ñ ÐÐ ÓÑ ÓÒ Ò Ø ÓÙÑ ÒØ Ø ÓÒ Ò Ñ ÐÐ Ú Ø ÓÒ ÖÓÑ ÓÙÑ ÒØ Ú ÓÖº ÁÑÔÐ Ñ ÒØ Ø ÓÒ Û Ó Ú ÓÖ Û ÒÒÓØ ÑÓ Ð Ö ÙÒÐ ÐÝ ØÓ Ó ÑÙ Ù º ÙØ Ø Ñ Ý ÔÓ Ð ØÓ Ö ÑÓÚ ÓÔ Ö Ø ÓÒ Û Ó Ú ÓÖ ÒÓØ Û ÐÐ ÓÙÑ ÒØ ÖÓÑ Ø ØÖ Ø Ô Ø ÓÒ ÓÖ ØÓ ÑÔÐ Ñ ÒØ Ø ÓÔ Ö Ø ÓÒ ÒØ Ö ÐÝ Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Öº Î ÖÝ «Ö ÒØ Ú ÓÖº Á Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ù ØÓ Ù Ð Ø ÖÚ Ú Ú ÖÝ «Ö ÒØÐÝ ÒÝ ÓÑÑÓÒ ¹ ØÖ Ø Ô Ø ÓÒ Û ÐÐ Ú Ø Ò ÒØÐÝ ÖÓÑ Ø Ú¹ ÓÖ Ó ÓÑ ÑÔÐ Ñ ÒØ Ø ÓÒ º Ì ÓÖ Ø ÐÐÝ Ø ÔÓ Ð ØÓ ÛÖ Ø Ö ØÖ Ö ÐÝ ÓÑÔÐ Ü ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ØÓ Ö Ø Ô ØÛ Ò Ø Ú ÓÖ Ó Ø «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ø ÓÑÑÓÒ ØÖ Ø Ô Ø ÓÒº ÁÒ Ø ÛÓÖ Ø Û ÓÙÐ ÑÔÐ Ñ ÒØ Ø ÒØ Ö ØÖ Ø Ô Ø ÓÒ Ò Ø ÛÖ ÔÔ Ö Ó º ÙØ Ò ÔÖ Ø Ø ÙÒ Ö Ð Ù Ø ÜÔ Ò Ú ØÓ ÛÖ Ø ÓÑÔÐ Ü ÛÖ ÔÔ Ö Ò ÓÑÔÐ Ü ÛÖ ÔÔ Ö Ö ÑÓÖ Ð ÐÝ ØÓ ÒØÖÓ Ù Ò Û Ù º Ì Ö ÓÖ Ø ÑÔÓÖØ ÒØ ØÓÙ Ø Ó ÑÔÐ Ñ ÒØ Ø ÓÒ Û Ø Ñ Ð Ö Ú ÓÖº ÇÚ ÖÐÝ Ò ÖÖÓÛ ÒØ Ö º Ì ÜØ ÖÒ Ð ÒØ Ö Ó ÓÑ ÑÔÐ Ñ ÒØ Ø ÓÒ Ñ Ý ÒÓØ ÐÐÓÛ Ø ÛÖ ÔÔ Ò Ó ØÓ Ö ÓÖ ÛÖ Ø Ø Ø Ø Ò ÑÔ Ø ÓÒ Ø Ú ÓÖ Ó ÖÚ Ý Ø Ð Òغ Ì Ö Ö Ø Ö ÓÔØ ÓÒ Ò Ø º Ö Ø Ø Ø Ò ÓÛ Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Öº Ì ÔÖ Ø Ð Ø Ñ ÐÐ ÑÓÙÒØ Ó Ø Ø Ø ÑÔÐ ØÓ Ñ ÒØ Òº Ë ÓÒ Ø Ñ Ý ÔÓ Ð ØÓ Ò Ø ØÖ Ø Ô Ø ÓÒ Ù Ø Ø Ø Ø ÒÓ ÑÔ Ø ÓÒ Ø ¹ Ú ÓÖ Ó ÖÚ Ý Ø Ð Òغ Ì Ö Ø Ñ Ý ÔÓ Ð ØÓ Ò ØÓ ÒØ ÖÒ Ð ÈÁ Ø Ø ÚÓ Ø ÔÖÓ Ð Ñº Ì Ö Ò ÑÔÓÖØ ÒØ ØÖ Ò Ø Ø ÚÓ Ø ÔÖÓ Ð Ñ Ò Ø Ö ÓÖ Ñ Ø Ö ØÓ ÔÔÐÝ Ø Ñ Ø Ó ÓÐÓ Ýº Å Ö Ø ÓÖ ÔÖ ÙÖ Ú Ò ÓÖ ØÓ Ó«Ö ÒØ Ö Ø Ø Ö ÓÑÔÐ ÒØ Û Ø Ø Ò Ö Ô Ø ÓÒ ÓÖ ÒØ ÖÓÔ Ö Ð ØÝ º º Ç ½½ º Í Ù ÐÐÝ Ø Ò Ö Ô Ø ÓÒ Ë ¼ Ò¹ ÒÓØ Ù Ø ÓÑÑÓÒ Ô Ø ÓÒ Ë Ù Ø ØÓÓ Û ØÓ Ò ÙÖ Ø ÖÑ Ò Ø Ú ÓÖº ÙØ Ø Ò Ù ÓÖË Ò Ù Ë Ò Ë ¼ Ö Ñ Ð Ö Ø Ö Ð Ø Ú ÐÝ Ý ØÓ ÑÔÐ Ñ ÒØ ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ò Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ö Ù ÖÓ ÑÔÐ Ñ ÒØ Ø ÓÒ º Ì ÐÐÙ ØÖ Ø Ý Ø Ö ÔÐ Ø Ð Ý Ø Ñ Ü ÑÔÐ Ò Ë Ø ÓÒ º ÁÒ Ø Ü Ñ¹ ÔÐ Û Ø Ú ÒØ Ó Ø Æ Ë Ø Ò Ö Ý Ù Ò Ø Ñ ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ØÓ ÛÖ Ô «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ º 2.2 The BASE Library Ì Ë Ð Ö ÖÝ ÜØ Ò Ì Û Ø Ø ØÙÖ Ò ¹ ÖÝ ØÓ ÙÔÔÓÖØ Ø Ñ Ø Ó ÓÐÓ Ýº ÙÖ ½ÔÖ ÒØ Ø Ð Ö Öݳ ÒØ Ö º Ð ÒØ ÐÐ ÒØ ÒÚÓ ÝÞ Ö Õ Ö Õ ÝÞ Ö Ô Ö Ô ÓÓÐ Ö ÓÒÐݵ Ü ÙØ ÓÒ ÙÔ ÐÐ ÒØ Ü ÙØ ÝÞ Ö Õ Ö Õ ÝÞ Ö Ô Ö Ô ÒØ Ð ÒØ ÝÞ Ù Ö ÒÓÒ¹ ص ËØ Ø ÓÒÚ Ö ÓÒ ÙÔ ÐÐ ÒØ Ø Ó ÒØ Ö Ó µ ÚÓ ÔÙØ Ó ÒØ ÒÓ Ö Ó ÒØ Ò ÒØ Þ µ ÔÓ ÒØ Ò ÚÓ ÑÓ Ý ÒØ ÒÓ ÒØ Ó µ ÆÓÒ¹ Ø ÖÑ Ò Ñ ÙÔ ÐÐ ÒØ ÔÖÓÔÓ Ú ÐÙ Ë ÕÒÓ ÕÒÓ ÝÞ Ù Ö Ö Õ ÝÞ Ù Ö ÒÓÒ¹ ص ÒØ Ú ÐÙ Ë ÕÒÓ ÕÒÓ ÝÞ Ù Ö Ö Õ ÝÞ Ù Ö ÒÓÒ¹ ص Ê ÓÚ ÖÝ ÙÔ ÐÐ ÚÓ ÙØ ÓÛÒ ÔÖÓ ÁÄ ÓÙص ÚÓ Ö Ø ÖØ ÔÖÓ ÁÄ Òµ ÙÖ ½ Ë ÁÒØ Ö Ò ÍÔ ÐÐ Ì ÒÚÓ ÔÖÓ ÙÖ ÐÐ Ý Ø Ð ÒØ ØÓ ÒÚÓ Ò ÓÔ Ö Ø ÓÒ ÓÒ Ø Ö ÔÐ Ø ÖÚ º Ì ÔÖÓ ÙÖ ÖÖ ÓÙØ Ø Ð ÒØ Ó Ø Ö ÔÐ Ø ÓÒ ÔÖÓØÓÓÐ Ò Ö ØÙÖÒ Ø Ö ÙÐØ Û Ò ÒÓÙ Ö ÔÐ Ú Ö ÔÓÒ º Ï Ò Ø Ð Ö ÖÝ Ò ØÓ Ü ÙØ Ò ÓÔ Ö Ø ÓÒ Ø Ö ÔÐ ¹ Ø Ñ Ò ÙÔ ÐÐ ØÓ Ò Ü ÙØ ÔÖÓ ÙÖ Ø Ø Ñ¹ ÔÐ Ñ ÒØ Ý Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö ÓÖ Ø ÖÚ Ñ¹ ÔÐ Ñ ÒØ Ø ÓÒ ÖÙÒ Ý Ø Ö ÔÐ º ÌÓ Ô Ö ÓÖÑ Ø Ø ØÖ Ò Ö Ò Ø ÔÖ Ò Ó ÝÞ ÒØ Ò ÙÐØ Ø Ò ÖÝ ØÓ Ð ØÓ ÔÖÓÚ Ø Ø Ø Ø Ø Ò ØÖ Ò ÖÖ ÓÖÖ Øº ÇØ ÖÛ ÙÐØÝ Ö ÔÐ ÓÙÐ ÓÖ¹ ÖÙÔØ Ø Ø Ø Ó ÓÙØ¹Ó ¹ Ø ÙØ ÓÖÖ Ø Ö ÔÐ º Ø Ð Ù ÓÒ Ó Ø ÔÓ ÒØ Ò ÓÙÒ Ò ºµ ÓÒ ÕÙ ÒØÐÝ Ö ÔÐ ÒÒÓØ Ö ÓÔÝ Ó Ø Ø Ø ÔÖÓ Ù Ø Ö Ü ÙØ Ò Ö ÕÙ Ø ÙÒØ Ð Ø Ý ÒÓÛ Ø Ø Ø Ø Ø ÔÖÓ Ù Ý Ü ÙØ Ò Ð Ø Ö Ö ÕÙ Ø Ò ÔÖÓÚ Ò ÓÖÖ Øº Ê ÔÐ ÓÙÐ Ô ÓÔÝ Ó Ø Ø Ø Ø Ö Ü ÙØ Ò Ö ÕÙ Ø ÙØ Ø ÛÓÙÐ ØÓÓ ÜÔ Ò Ú º ÁÒ Ø Ö ÔÐ Ô Ù Ø Ø ÙÖÖ ÒØ Ú Ö ÓÒ Ó Ø ÓÒÖ Ø Ø Ø ÔÐÙ ÓÔ Ó Ø ØÖ Ø Ø Ø ÔÖÓ Ù Ú ÖÝ ¹Ø Ö ÕÙ Ø º º ½¾ µº Ì ÓÔ Ö ÐÐ ÔÓ ÒØ º Ê ÔÐ Ò ÓÖÑ ÓØ Ö Û Ò Ø Ý ÔÖÓ Ù ÔÓ ÒØ Ò Ø Ð Ö ÖÝ ÓÒÐÝ ØÖ Ò Ö ÔÓ ÒØ ØÛ Ò Ö ÔÐ º Ö Ø Ò ÔÓ ÒØ Ý Ñ Ò ÙÐÐ ÓÔ Ó Ø ØÖ Ø Ø Ø ÛÓÙÐ ØÓÓ ÜÔ Ò Ú º ÁÒ Ø Ø Ð Ö ÖÝ Ù ÓÔݹ ÓÒ¹ÛÖ Ø Ù Ø Ø ÔÓ ÒØ ÓÒÐÝ ÓÒØ Ò Ø «Ö Ò Ö Ð Ø Ú ØÓ Ø ÙÖÖ ÒØ ØÖ Ø Ø Ø º Ë Ñ Ð ÖÐÝ ØÖ Ò ÖÖ Ò ÓÑÔÐ Ø ÔÓ ÒØ ØÓ Ö Ò Ö ÓÚ Ö Ò ÓÖ ÓÙØ¹Ó ¹ Ø Ö ÔÐ ÙÔ ØÓ Ø ÛÓÙÐ ØÓÓ ÜÔ Ò Ú º Ì Ð Ö ÖÝ Ñ¹ ÔÐÓÝ Ö Ö Ð Ø Ø Ô ÖØ Ø ÓÒ Ñ ØÓ ØÖ Ò Ö Ø Ø Æ ÒØÐݺ Ï Ò Ö ÔÐ Ø Ò Ø Ø Ø Ö ÙÖ ÓÛÒ Ö Ö Ý Ó Ñ Ø ¹ Ø ØÓ Ø ÖÑ Ò Û Ô ÖØ Ø ÓÒ Ö

4 ÓÙØ¹Ó ¹ Ø º Ï Ò Ø Ö Ø Ð Ú Ó Ø Ö Ö Ý Û Ö Ø ØÖ Ø Ó Ø µ Ø Ø ÓÒÐÝ Ø Ó Ø Ø Ø Ö ÓÖÖÙÔØ ÓÖ ÓÙØ¹Ó ¹ Ø º Ñ ÒØ ÓÒ ÖÐ Ö ØÓ ÑÔÐ Ñ ÒØ ÔÓ ÒØ Ò Ò Ø Ø ØÖ Ò Ö Æ ÒØÐÝ Û Ö ÕÙ Ö Ø Ø Ø ØÖ Ø Ø Ø ÒÓ Ò ÖÖ Ý Ó Ó Ø Û Ö Ø Ó Ø Ò Ú Ú Ö Ð Þ º Ì Ö ÔÖ ÒØ Ø ÓÒ ÐÐÓÛ Ø Ø ØÖ Ò ¹ Ö ØÓ ÓÒ ÓÒ Ù Ø Ø Ó Ó Ø Ø Ø Ö ÓÙØ¹Ó ¹ Ø ÓÖ ÓÖÖÙÔغ Ì ÙÖÖ ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø Ë Ð Ö ÖÝ Ö ÕÙ Ö Ø ÖÖ Ý ØÓ Ú Ü Þ º Ì Ð Ñ Ø Ü Ð ØÝ ÒØ Ò Ø ÓÒ Ó ÒÓ Ò ÓÖ Ø ØÖ Ø Ø Ø ÙØ Ø ÒÓØ Ò ÒØÖ Ò ÔÖÓ Ð Ñº Ì Ñ Ü ÑÙÑ ÒÙÑ Ö Ó ÒØÖ Ò Ø ÖÖ Ý Ò Ø ØÓ Ò ÜØÖ Ñ ÐÝ Ð Ö Ú ÐÙ Û Ø ÓÙØ ÐÐÓ Ø Ò ÜØÖ Ô ÓÖ Ø ÔÓÖØ ÓÒ Ó Ø ÖÖ Ý Ø Ø ÒÓØ Ù Ò Û Ø ÓÙØ Ö Ò Ø Ô Ö ÓÖÑ Ò Ó Ø Ø ØÖ Ò Ö Ò Ò º ÌÓ ÑÔÐ Ñ ÒØ Ø Ø ØÖ Ò Ö Ö ÔÐ ÑÙ Ø ÔÖÓÚ Ø Ð Ö ÖÝ Û Ø ØÛÓ ÙÔ ÐÐ Û ÑÔÐ Ñ ÒØ Ø ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò ÓÒ Ó Ø ÒÚ Ö º Ì ÙÔ ÐÐ Ó ÒÓØ ÓÒÚ ÖØ Ø ÒØ Ö Ø Ø Ø Ñ Ø Ý Ö ÐÐ Ù Ø ÛÓÙÐ ØÓÓ ÜÔ Ò Ú º ÁÒ Ø Ø Ý Ô Ö ÓÖÑ ÓÒÚ Ö ÓÒ Ø Ø Ö ÒÙÐ Ö ØÝ Ó Ò Ó Ø Ò Ø ØÖ Ø Ø Ø ÖÖ Ýº Ì ØÖ Ø ÓÒ ÙÒØ ÓÒ ÑÔÐ Ñ ÒØ Ý Ø Ó º ÁØ Ö Ú Ò Ó Ø Ò Ü ÐÐÓ Ø Ù«Ö Ó Ø Ò Ø Ú ÐÙ Ó Ø ØÖ Ø Ó Ø Û Ø Ò Ü Ò ÔÐ Ø Ø Ú ÐÙ Ò Ø Ù«Öº ÁØ Ö ØÙÖÒ Ø Þ ÓÖ Ø Ø Ó Ø Ò ÔÓ ÒØ Ö ØÓ Ø Ù«Öº Ì ÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ Ö Ú Ò Û ØÖ Ø Ø Ø Ú ÐÙ Ò ÙÔ Ø Ø ÓÒÖ Ø Ø Ø ØÓ Ñ Ø Ø Ö ÙÑ Òغ Ì ÙÒØ ÓÒ ÓÙÐ Ð Ó ÛÓÖ ÒÖ Ñ ÒØ ÐÐÝ ØÓ Ú ÓÓ Ô Ö ÓÖÑ Ò º ÙØ Ø ÒÒÓØ ÔÖÓ Ù Ø ÓÒ ØÖ Ø Ó Ø Ô Ö ÒÚÓ Ø ÓÒ Ù Ø Ö Ñ Ý ÒÚ Ö ¹ ÒØ ÓÒ Ø ØÖ Ø Ø Ø Ø Ø Ö Ø Ô Ò Ò ØÛ Ò Ó Ø º ÓÖ Ü ÑÔÐ ÙÔÔÓ Ø Ø Ò Ó Ø Ò Ø ØÖ Ø Ø Ø Ó Ð Ý Ø Ñ Ò Ø Ö Ð ÓÖ Ö ØÓÖݺ Á ÐÓÛ Ö ÔÐ Ñ Ø ÓÔ Ö Ø ÓÒ Ø Ø Ö Ø Ö ØÓÖÝ Ò Ð Ò Ø ØÓ Ø Ø ØÖ Ø Ó Ø ÓÖÖ ÔÓÒ Ò ØÓ Ò ÖÓÑ Ø ÓØ Ö º Ì Ò Ø ÒÚÓ Ø ÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ ØÓ Ö Ò Ø ÓÒÖ Ø Ø Ø ÙÔ¹ØÓ¹ Ø º Á Ø Ö ÙÑ ÒØ ØÓ Ø Ö Ø ÒÚÓ Ø ÓÒ Ò Ø Ö ÙÑ ÒØ ØÓ Ø ÓÒ Ø ÑÔÓ Ð ÓÖ Ø Ö Ø ÒÚÓ Ø ÓÒ ØÓ ÙÔ Ø Ø ÓÒÖ Ø Ø Ø Ù Ø ÒÓ Ò ÓÖÑ Ø ÓÒ ÓÒ Û Ö ØÓ Ö Ø Ø Ð º Ì Ö Ú Ö ÓÖ Ö Ó ÒÓØ ÛÓÖ Ø Ö Ù Ø Ö Ø ÒÚÓ Ø ÓÒ Ö Ø Ò Ð Ò Ö Ö Ò Ò º ÌÓ ÓÐÚ Ø ÔÖÓ Ð Ñ ÔÙØ Ó Ö Ú Ú ØÓÖ Ó Ó ¹ Ø Û Ø Ø ÓÖÖ ÔÓÒ Ò Þ Ò Ò Ò Ø ØÖ Ø Ø Ø ÖÖ Ýº Ì Ð Ö ÖÝ Ù Ö ÒØ Ø Ø Ø ÙÔ ÐÐ Ò¹ ÚÓ Û Ø Ò Ö ÙÑ ÒØ Ø Ø Ö Ò Ø ØÖ Ø Ø Ø Ó Ø Ö ÔÐ ØÓ ÓÒ Ø ÒØ Ú ÐÙ º º Ø Ú ÐÙ Ó Ú Ð ÔÓ Òصº Ø Ñ Ø Ü ÙØ ÙÔ ÐÐ ÓÙØ ØÓ ÑÓ Ý Ò Ó ¹ Ø Ò Ø ØÖ Ø Ø Ø Ø Ö ÕÙ Ö ØÓ ÒÚÓ ÑÓ Ý ÔÖÓ ÙÖ Û ÙÔÔÐ Ý Ø Ð Ö ÖÝ Ô Ò Ø Ó ¹ Ø Ò Ü Ö ÙÑ Òغ Ì Ù ØÓ ÑÔÐ Ñ ÒØ ÓÔݹ ÓÒ¹ÛÖ Ø ØÓ Ö Ø ÔÓ ÒØ ÒÖ Ñ ÒØ ÐÐÝ Ø Ð Ö ÖÝ ÒÚÓ Ø Ó Û Ø Ø ÔÔÖÓÔÖ Ø Ò Ü Ò Ô Ø ÓÔÝ Ó Ø Ó Ø ÙÒØ Ð Ø ÓÖÖ ÔÓÒ Ò ÔÓ ÒØ Ò Ö º Ë ÑÔÐ Ñ ÒØ ÓÖÑ Ó Ø Ø Ñ Ò Ö ÔÐ Ø ÓÒ Ø Ø Ö ÕÙ Ö Ö ÔÐ ØÓ Ú Ø ÖÑ Ò Ø ÐÐݺ ÇÙÖ Ñ Ø Ó ¹ ÓÐÓ Ý Ù ØÖ Ø ÓÒ ØÓ ÑÓ Ø Ó Ø ÒÓÒ¹ Ø ÖÑ Ò Ñ Ò Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ö Ù º ÀÓÛ Ú Ö Ñ ÒÝ ÖÚ ÒÚÓÐÚ ÓÖÑ Ó ÒÓÒ¹ Ø ÖÑ Ò Ñ Ø Ø ÒÒÓØ Ò Ý ØÖ Ø ÓÒº ÓÖ Ò Ø Ò Ò Ø Ó Ø Æ Ë ÖÚ Ø Ø Ñ ¹Ð عÑÓ ÓÖ Ð Ø Ý Ö Ò Ø ÖÚ Ö³ ÐÓ Ð ÐÓ º Á Ø Û Ö ÓÒ Ò Ô Ò ÒØÐÝ Ø Ö ÔÐ Ø Ø Ø Ó Ø Ö ÔÐ ÛÓÙÐ Ú Ö º ÁÒ Ø Û ÐÐÓÛ Ø ÔÖ Ñ ÖÝ Ö ÔÐ ØÓ ÔÖÓÔÓ Ú ÐÙ ÓÖ ÒÓÒ¹ Ø ÖÑ Ò Ø Ó Ý ÔÖÓÚ Ò Ø ÔÖÓÔÓ Ú ÐÙ ÙÔ ÐÐ Û ÓÒÐÝ ÒÚÓ Ø Ø ÔÖ Ñ Öݺ Ä Ì Ë Ù ÔÖ Ñ ÖÝ Ø Ø ÔÖÓÔÓ ÕÙ Ò ÒÙÑ Ö ÓÖ Ö ÕÙ Ø Ò ÙÔ Ø Ø ÓÒ Ø ÔÖ Ñ ÖÝ Ò ØÖ Ö Ú Û Ò Ø Ñ Ú ºµ Ì ÐÐ Ö Ú Ø Ð ÒØ Ö ÕÙ Ø Ò Ø ÕÙ Ò ÒÙÑ Ö ÓÖ Ø Ø Ö ÕÙ Ø Ø Ð Ø ÒÓÒ¹ Ø ÖÑ Ò Ø Ú ÐÙ Ò ÔÙØ Ø Ò ÒÓÒ¹ غ Ì Ú ÐÙ Ó Ò ØÓ ÙÔÔÐ Ò Ö ÙÑ ÒØ Ó Ø Ü ÙØ ÙÔ ÐÐ ØÓ ÐÐ Ö ÔÐ º Ì ÔÖÓØÓÓÐ ÑÔÐ Ñ ÒØ Ý Ø Ë Ð Ö ÖÝ ÔÖ Ú ÒØ ÙÐØÝ ÔÖ Ñ ÖÝ ÖÓÑ Ù Ò Ö ÔÐ Ø Ø ØÓ Ú Ö Ý Ò Ò «Ö ÒØ Ú ÐÙ ØÓ «Ö ÒØ ÙÔ º ÀÓÛ Ú Ö ÙÐØÝ ÔÖ Ñ ÖÝ Ñ Ø Ò Ø Ñ ÒÓÖÖ Ø Ú ÐÙ ØÓ ÐÐ ÙÔ Ù Ú ÖØ Ò Ø Ý Ø Ñ³ Ö Ú ÓÖº Ì Ó¹ ÐÙØ ÓÒ ØÓ Ø ÔÖÓ Ð Ñ ØÓ Ú Ö ÔÐ ÑÔÐ Ñ ÒØ Ú ÐÙ ÙÒØ ÓÒ Ø Ø Ú Ð Ø Ø Ó Ó ÒÓÒ¹ Ø ÖÑ Ò Ø Ú ÐÙ Ø Ø Û Ñ Ý Ø ÔÖ Ñ Öݺ Á ½ ÓÖ ÑÓÖ ÒÓÒ¹ ÙÐØÝ Ö ÔÐ Ö Ø Ú ÐÙ ÔÖÓÔÓ Ý ÙÐØÝ ÔÖ Ñ ÖÝ Ø Ö ÕÙ Ø Û ÐÐ ÒÓØ Ü ÙØ Ò Ø Ú Û Ò Ñ Ò Ñ Û ÐÐ Ù Ø ÔÖ Ñ ÖÝ ØÓ Ö ¹ ÔÐ ÓÓÒ Ø Öº ÈÖÓ Ø Ú Ö ÓÚ ÖÝ Ô Ö Ó ÐÐÝ Ö Ø ÖØ Ö ÔÐ ÖÓÑ ÓÖÖ Ø ÙÔ¹ØÓ¹ Ø ÔÓ ÒØ Ó Ø ØÖ Ø Ø Ø Ø Ø Ó Ø Ò ÖÓÑ Ø ÓØ Ö Ö ÔÐ º Ê ÓÚ Ö Ö ØÖ Ö Ý Û Ø Ó Ø Ñ Öº Ï Ò Ö ÔÐ Ö ÓÚ Ö Ø Ö ÓÓØ Ø Ö Ú Ò ØÓ Ø ØÖ Ø ÖÚ Ø Ø Ò Ø Ö ÔÐ ¹ Ø ÓÒ ÔÖÓØÓÓÐ Ø Ø Û ÒÐÙ ØÖ Ø Ó Ø Ø Ø Û Ö ÓÔ Ý Ø ÒÖ Ñ ÒØ Ð ÔÓ ÒØ Ò Ñ Ò Ñº Ì Ð Ö ÖÝ ÓÙÐ ÒÚÓ Ø Ó Ö Ô Ø ÐÝ ØÓ Ú ÓÑÔÐ Ø ÓÔÝ Ó Ø ØÖ Ø Ø Ø ØÓ ÙØ Ø ÛÓÙÐ ÜÔ Ò Ú º ÁØ ÙÆ ÒØ ØÓ Ò ÙÖ Ø Ø Ø ÙÖÖ ÒØ ÓÒÖ Ø Ø Ø ÓÒ Ò ØÓ Ú Ñ ÐÐ ÑÓÙÒØ Ó Ø ÓÒ Ð Ò¹ ÓÖÑ Ø ÓÒ ØÓ Ò Ð Ö ÓÒ ØÖÙØ ÓÒ Ó Ø ÓÒ ÓÖÑ Ò Ö Ô¹ Ö ÒØ Ø ÓÒ Û Ò Ø Ö ÔÐ Ö Ø ÖØ º Ë Ò Ø Ð Ö ÖÝ Ó ÒÓØ Ú ØÓ Ø Ö ÔÖ ÒØ Ø ÓÒ Ø ÖÚ Ø Ø Ú ØÓ Ð Ý Ò Ø ÓÒ Ð ÙÔ ÐÐ ÙØ ÓÛÒ Ø Ø Ñ¹ ÔÐ Ñ ÒØ Ý Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Öº Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ð Ó ÑÔÐ Ñ ÒØ Ö Ø ÖØ ÙÔ ÐÐ Ø Ø ÒÚÓ ØÓ Ö ÓÒ ØÖÙØ Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÖÓÑ Ø Ð Ú Ý ÙØ ÓÛÒ Ò ÖÓÑ Ø ÓÒÖ Ø Ø Ø Ó Ø Ö¹ Ú º Ì Ò Ð Ø Ö ÔÐ ØÓ ÓÑÔÙØ Ø ØÖ Ø Ø Ø Ý ÐÐ Ò Ø Ó º ÁÒ ÓÑ Ø Ò ÓÖÑ Ø ÓÒ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ¹ ÒØ Ø ÓÒ ÚÓÐ Ø Ð Ø ÒÓ ÐÓÒ Ö Ú Ð Û Ò Ø Ö ÔÐ Ö Ø ÖØ º ÁÒ Ø Ø Ò ÖÝ ØÓ Ù Ñ ÒØ Ø Û Ø Ò ÓÖ¹ Ñ Ø ÓÒ Ø Ø Ô Ö Ø ÒØ Ò ÐÐÓÛ Ö Ø ÖØ ØÓ Ö ÓÒ ØÖÙØ Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ø Ö Ö ÓÓغ Ø Ö ÐÐ Ò Ö Ø ÖØ Ø Ð Ö ÖÝ Ù Ø Ö Ö Ð Ø Ø ØÖ Ò Ö Ñ Ò Ñ ØÓ ÓÑÔ Ö Ø Ú ÐÙ Ó Ø ¹ ØÖ Ø Ø Ø Ó Ø Ö ÔÐ Û Ø Ø ØÖ Ø Ø Ø Ú ÐÙ ØÓÖ Ý Ø ÓØ Ö Ö ÔÐ º ÁØ ÓÑÔÙØ ÖÝÔØÓ Ö Ô Ó Ø ØÖ Ø Ó Ø Ò ÓÑÔ Ö Ø Ñ Û Ø Ø Ò Ø Ø Ø Ô ÖØ Ø ÓÒ ØÖ ØÓ Ø Ó Ø Ö ÓÖÖÙÔغ Ì Ø Ø Ô ÖØ Ø ÓÒ ØÖ Ð Ó ÓÒØ Ò Ø ÕÙ Ò ÒÙÑ Ö Ó Ø Ð Ø ÔÓ ÒØ Û Ò Ó Ø Û ÑÓ ¹ º Ì Ö ÔÐ Ù Ø Ò ÓÖÑ Ø ÓÒ ØÓ Û Ó ¹

5 Ø Ö ÓÙØ¹Ó ¹ Ø Û Ø ÓÙØ Ú Ò ØÓ ÓÑÔÙØ Ø Ö º Ì Ö Ô Ö ÓÖÑ Ò Ô Ö ÐÐ Ð Û Ø Ø Ó Ó ¹ Ø Ø Ø Ú ÐÖ Ý Ò Ø ÖÑ Ò ØÓ ÓÙØ¹Ó ¹ Ø ÓÖ ÓÖÖÙÔغ Ì Æ ÒØ Ø Ö ÔÐ Ø ÓÒÐÝ Ø Ú ÐÙ Ó Ó Ø Ø Ø Ö ÓÙØ¹Ó ¹ Ø ÓÖ ÓÖÖÙÔغ Ï Ù Ò Ð Ø Ö ÑÔÐ Ñ ÒØ Ø ÓÒ Û Ø Ú ÒØ ÕÙ Ù Ö ÔÖ ÒØ Ò Ó ¹ Ø ØÓ Ø Ò Ó Ø ØÓ º Ö Ô Ö ÓÖÑ Û Ð Û Ø Ò ÓÖ Ö ÔÐ ØÓ Ø Ö ÕÙ Ø º Ì Ö ÔÐ Ó ÒÓØ Ü ÙØ ÓÔ Ö Ø ÓÒ ÙÒØ Ð Ø ÓÑÔÐ Ø Ø Ö ÓÚ Öݺ Ì Ó ØÚ ÐÙ Ø Ý Ø Ö ÔÐ ÓÙÐ ÙÔÔÐ ØÓ ÔÙØ Ó ØÓ ÙÔ Ø Ø ÓÒÖ Ø Ø Ø ÙØ Ø ÓÒÖ Ø Ø Ø Ñ Ø Ø ÐÐ ÓÖÖÙÔغ ÓÖ Ü ÑÔÐ Ò ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ Ñ Ý Ú Ñ ÑÓÖÝ Ð Ò ÑÔÐÝ ÐÐ Ò ÔÙØ Ó Û ÐÐ ÒÓØ Ö ÙÒÖ Ö Ò Ñ ÑÓÖݺ ÁÒ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Û ÐÐ ÒÓØ ØÝÔ ÐÐÝ Ó«Ö Ò ÒØ Ö Ø Ø Ò Ù ØÓ Ü ÐÐ ÓÖÖÙÔØ Ø ØÖÙØÙÖ Ò Ø Ö ÓÒÖ Ø Ø Ø º Ì Ö ¹ ÓÖ Ø ØØ Ö ØÓ Ö Ø ÖØ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ ÖÓÑ Ð Ò Ò Ø Ð ÓÒÖ Ø Ø Ø Ò Ù Ø ØÖ Ø Ø Ø ØÓ Ö Ò Ø ÙÔ¹ØÓ¹ Ø º Client BASE Client invoke BASE Protocol BASE Replica execute propose_value/check_value get_obj/put_obj shutdown/restart modify Conf. Wrapper Original Implementation ÙÖ ¾ Ë ÙÒØ ÓÒ ÐÐ Ò ÙÔ ÐÐ ÐÓ Ð Ú Û Ó ÐÐ Ë ÙÒØ ÓÒ Ò ÙÔ ÐÐ Ø Ø Ö ÒÚÓ ÓÛÒ Ò ÙÖ ¾º 3. EXAMPLES Ì Ø ÓÒ Ù ØÛÓ Ü ÑÔÐ ØÓ ÐÐÙ ØÖ Ø Ø Ñ Ø Ó Óй Ó Ý Ö ÔÐ Ø Ð Ý Ø Ñ Ò Ò Ó Ø ÓÖ ÒØ Ø º 3. File System Ì Ð Ý Ø Ñ ÓÒ Ø Æ Ë ÔÖÓØÓÓÐ ¾ º ÁØ Ö ÔÐ Ò ÖÙÒ «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñ Ò Ð Ý Ø Ñ ÑÔÐ Ñ ÒØ Ø ÓÒ º 3.. Abstract Specification Ì ÓÑÑÓÒ ØÖ Ø Ô Ø ÓÒ ÓÒ Ø Ô ¹ Ø ÓÒ Ó Ø Æ Ë ÔÖÓØÓÓÐ ¾ º Ì ØÖ Ø Ð ÖÚ Ø Ø ÓÒ Ø Ó Ü ¹ Þ ÖÖ Ý Ó Ô Ö ÓÒØ Ò Ò Ò Ó ¹ Ø Ò Ò Ö Ø ÓÒ ÒÙÑ Öº Ó Ø ÙÒ ÕÙ ÒØ Ö Ó Û Ó Ø Ò Ý ÓÒ Ø Ò Ø Ò Ø Ò¹ Ü Ò Ø ÖÖ Ý Ò Ø Ò Ö Ø ÓÒ ÒÙÑ Öº Ì Ò Ö Ø ÓÒ ÒÙÑ Ö ÒÖ Ñ ÒØ Ú ÖÝ Ø Ñ Ø ÒØÖÝ Ò ØÓ Ò Û Ó Øº Ì Ö Ö ÓÙÖ ØÝÔ Ó Ó Ø Ð Û Ó Ø ÝØ ÖÖ Ý Ö ØÓÖ Û Ó Ø ÕÙ Ò Ó Ò Ñ Ó Ô Ö ÓÖ Ö Ð Ü Ó Ö Ô ÐÐÝ Ý Ò Ñ ÝÑ ÓÐ Ð Ò Û Ó Ø Ñ ÐÐ Ö Ø Ö ØÖ Ò Ò Ô Ð ÒÙÐÐ Ó Ø Û Ò Ø Ø Ø Ò ÒØÖÝ Ö º ÐÐ ÒÓÒ¹ÒÙÐÐ Ó Ø Ú Ñ Ø ¹ Ø Û ÒÐÙ Ø Ø¹ ØÖ ÙØ Ò Ø Æ Ë ØØÖ ØÖÙØÙÖ Ò Ø Ò Ü Ò Ø ÖÖ Ýµ Ó Ø Ô Ö ÒØ Ö ØÓÖݺ ÒØÖÝ Ò Ø ÖÖ Ý ÒÓ Ù Ò Ê ¾ º Ì Ó ØÛ Ø Ò Ü¼ Ö ¹ client Andrew benchmark replication library relay kernel NFS client replica conformance wrapper replication library state conversion unmodified NFS daemon conformance wrapper replication library state conversion unmodified NFS daemon n replica n ÙÖ ËÓ ØÛ Ö Ö Ø ØÙÖ º ØÓÖÝ Ó Ø Ø Ø ÓÖÖ ÔÓÒ ØÓ Ø ÖÓÓØ Ó Ø Ð Ý Ø Ñ ØÖ Ø Ø Û ÑÓÙÒØ º Ã Ô Ò ÔÓ ÒØ Ö ØÓ Ø Ô Ö ÒØ Ö ØÓÖÝ Ö ÙÒ ÒØ Ò Û Ò Ö Ú Ø Ò ÓÖÑ Ø ÓÒ Ý ÒÒ Ò Ø Ö Ø Ó Ø ØÖ Ø Ø Ø º ÙØ Ø ÑÔÐ Ø ÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò Ø Ö ÓÚ ÖÝ Ð ÓÖ Ø Ñ Û Û ÐÐ ÜÔÐ Ò Ð Ø Öº Ì ÓÔ Ö Ø ÓÒ Ò Ø ÓÑÑÓÒ Ô Ø ÓÒ Ö Ø Ó ¹ Ò Ý Ø Æ Ë ÔÖÓØÓÓк Ì Ö Ö ÓÔ Ö Ø ÓÒ ØÓ Ö Ò ÛÖ Ø ØÝÔ Ó ÒÓÒ¹ÒÙÐÐ Ó Øº Ì Ð Ò Ð Ù Ý Ø Ð ÒØ Ö Ø Ó Ó Ø ÓÖÖ ÔÓÒ Ò Ó Ø º ÌÓ Ò ÙÖ Ø ÖÑ Ò Ø Ú ÓÖ Û Ö ÕÙ Ö Ø Ø Ó ¹ Ò Ø ÖÑ Ò Ø ÐÐÝ Ò Ø Ø Ö ØÓÖÝ ÒØÖ Ö ØÙÖÒ ØÓ Ð ÒØ ÓÖ Ö Ð Ü Ó Ö Ô ÐÐݺ Ì ØÖ Ø ÓÒ Ñ ÒÝ Ø Ð Ø ÐÐÓ Ø ÓÒ Ó Ð ÐÓ Ø Ö ÔÖ ÒØ Ø ÓÒ Ó Ð Ö Ð Ò Ö ØÓÖ Ò Ø Ô Ö Ø ÒØ ØÓÖ Ñ ÙÑ Ò ÓÛ Ø º Ì Ö Ð ÓÖ ÑÔÐ ØÝ Ò Ô Ö ÓÖÑ Ò º Ø ÓÒ ÐÐÝ ØÖ Ø Ò ÖÓÑ ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ð Ð Ö ÓÙÖ ÐÐÓ¹ Ø ÓÒ ÑÔÖÓÚ Ö Ð Ò ØÓ Ó Û Ö ÙÐØ Ù ØÓ Ò ¹ Ù ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ò Ü Ö ÓÙÖ Ð º 3..2 Conformance Wrapper Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö ÓÖ Ø Ð ÖÚ ÔÖÓ Æ Ë ÔÖÓØÓÓÐ ÓÔ Ö Ø ÓÒ Ò ÒØ Ö Ø Û Ø Ò Ó«¹Ø ¹ Ð Ð Ý Ø Ñ ÑÔÐ Ñ ÒØ Ø ÓÒ Ù Ò Ø Æ Ë ÔÖÓØÓÓÐ ÐÐÙ ¹ ØÖ Ø Ò ÙÖ º Ð Ý Ø Ñ ÜÔÓÖØ Ý Ø Ö ÔÐ Ø Ð ÖÚ ÑÓÙÒØ ÓÒ Ø Ð ÒØ Ñ Ò Ð ÒÝÖ ÙÐ Ö Æ Ë Ð Ý Ø Ñº ÔÔÐ Ø ÓÒ ÔÖÓ ÖÙÒ ÙÒÑÓ Ò ÒØ Ö Ø Û Ø Ø ÑÓÙÒØ Ð Ý Ø Ñ Ø ÖÓÙ Ø Æ Ë Ð ÒØ Ò Ø ÖÒ Ðº Ï Ö ÐÝ ÓÒ Ù Ö Ð Ú Ð Ö Ð Ý ÔÖÓ ØÓ Ñ ¹ Ø ÓÑÑÙÒ Ø ÓÒ ØÛ Ò Ø Ø Ò Ö Æ Ë Ð ÒØ Ò Ø Ö ÔÐ º Ö Ð Ý Ö Ú Æ Ë ÔÖÓØÓÓÐ Ö ÕÙ Ø ÐÐ Ø ÒÚÓ ÔÖÓ ÙÖ Ó ÓÙÖ Ö ÔÐ Ø ÓÒ Ð Ö ÖÝ Ò Ò Ø Ö ÙÐØ ØÓ Ø Æ Ë Ð Òغ Ì Ö ÔÐ Ø ÓÒ Ð Ö ÖÝ ÒÚÓ Ø Ü ÙØ ÔÖÓ ÙÖ ÑÔÐ Ñ ÒØ Ý Ø ÓÒ ÓÖ¹ Ñ Ò ÛÖ ÔÔ Ö ØÓ ÖÙÒ Æ Ë Ö Õ٠غ Ì Ö Ø ØÙÖ Ñ Ð Ö ØÓ Ë º Ì ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÓÒ Ø Ó Ò ÖÖ Ý Ø Ø ÓÖÖ ÔÓÒ ØÓ Ø ÓÒ Ò Ø ØÖ Ø Ø Ø ÙØ Ø Ó ÒÓØ ØÓÖ ÓÔ Ó Ø Ó Ø Ò Ø ÖÖ Ý ÒØÖÝ ÓÒ¹ Ø Ò Ø ØÝÔ Ó Ó Ø Ø Ò Ö Ø ÓÒ ÒÙÑ Ö Ò ÓÖ ÒÓÒ¹ ÑÔØÝ ÒØÖ Ø Ð Ó ÓÒØ Ò Ø Ð Ò Ð Ò ØÓ Ø Ó Ø Ý Ø ÙÒ ÖÐÝ Ò Æ Ë ÖÚ Ö Ø Ú ÐÙ Ó Ø Ø Ñ Ø ÑÔ Ò Ø Ó Ø³ ØÖ Ø Ñ Ø ¹ Ø Ò Ø Ò Ü Ó Ø Ô Ö ÒØ Ö ØÓÖݺ Ì Ö ÔÖ ÒØ Ø ÓÒ Ð Ó ÓÒ¹ Ø Ò Ñ Ô ÖÓÑ Ð Ò Ð ØÓ Ó ØÓ Ò ÔÖÓ Ò

6 Ö ÔÐ Æ ÒØÐݺ Ì ÛÖ ÔÔ Ö ÔÖÓ Æ Ë Ö ÕÙ Ø Ö Ú ÖÓÑ Ð ÒØ ÓÐÐÓÛ º ÁØ ØÖ Ò Ð Ø Ø Ð Ò Ð Ò Ø Ö ¹ ÕÙ Ø Û ÒÓ Ó ÒØÓ Ø ÓÖÖ ÔÓÒ Ò Æ Ë ÖÚ Ö Ð Ò Ð º Ì Ò Ø Ò Ø ÑÓ Ö ÕÙ Ø ØÓ Ø ÙÒ¹ ÖÐÝ Ò Æ Ë ÖÚ Öº Ì ÖÚ Ö ÔÖÓ Ø Ö ÕÙ Ø Ò Ö ØÙÖÒ Ö ÔÐݺ Ì ÛÖ ÔÔ Ö Ô Ö Ø Ö ÔÐÝ Ò ÙÔ Ø Ø ÓÒ ÓÖ¹ Ñ Ò Ö ÔÖ ÒØ Ø ÓÒº Á Ø ÓÔ Ö Ø ÓÒ Ö Ø Ò Û Ó Ø Ø ÛÖ ÔÔ Ö ÐÐÓ Ø Ò Û ÒØÖÝ Ò Ø ÖÖ Ý Ò Ø ÓÒ¹ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÒÖ Ñ ÒØ Ø Ò Ö Ø ÓÒ ÒÙÑ Ö Ò ÙÔ Ø Ø ÒØÖÝ ØÓ ÓÒØ Ò Ø Ð Ò Ð Ò ØÓ Ø Ó Ø Ý Ø Æ Ë ÖÚ Ö Ò Ø Ò Ü Ó Ø Ô Ö ÒØ Ö ØÓÖݺ Á ÒÝ Ó Ø Ð Ø Ø ÛÖ ÔÔ Ö Ñ Ö Ø ÒØÖÝ Ò Ø ÖÖ Ý Ö º ÁÒ ÓØ Ø Ö Ú Ö Ñ Ô ÖÓÑ Ð Ò Ð ØÓ Ó ÙÔ Ø º Ì ÛÖ ÔÔ Ö ÑÙ Ø Ð Ó ÙÔ Ø Ø ØÖ Ø Ø Ñ Ø ÑÔ Ò Ø ÖÖ Ý ÒØÖ ÓÖÖ ÔÓÒ Ò ØÓ Ó Ø Ø Ø Û Ö ¹ º ÓÖ Ø Ø Ù Ø Ú ÐÙ ÓÖ Ø ÙÖÖ ÒØÐÓ Ó Ò Ý Ø ÔÖ Ñ ÖÝ Ù Ò Ø ÔÖÓÔÓ Ú ÐÙ ÙÔ ÐÐ Ò ÓÖ Ö ØÓ ÔÖ Ú ÒØ Ø Ø Ø Ó Ø Ö ÔÐ ÖÓÑ Ú Ö Ò º ÀÓÛ Ú Ö ÙÐØÝ ÔÖ Ñ ÖÝ ÓÓ Ò ÒÓÖÖ Ø Ú ÐÙ Ø Ý Ø Ñ ÓÙÐ Ú Ò ÒÓÖÖ Ø Ú ÓÖº ÓÖ Ü ÑÔÐ Ø ÔÖ Ñ ÖÝ Ñ Ø ÐÛ Ý ÔÖÓÔÓ Ø Ñ Ú ÐÙ ÓÖ Ø ÙÖÖ ÒØ Ø Ñ Ø ÛÓÙÐ Ù ÐÐ Ö ÔÐ ØÓ ÙÔ Ø Ø ÑÓ Ø ÓÒ Ø Ñ ØÓ Ø Ñ Ú ÐÙ Ø Ø Ø ÔÖ Ú ÓÙ ÐÝ Ð Ò Ø Ö ÓÖ ¹ ÓÖ Ò ØÓ Ø ÓÒ Ø ÒÝ ÔÖÓØÓÓÐ ÑÔÐ Ñ ÒØ Ý ÑÓ Ø Æ Ë Ð ÒØ Ù Ø Ð ÒØ ØÓ ÖÖÓÒ ÓÙ ÐÝ ÒÓØ ÒÚ Ð Ø Ø Ö Ø Ø Ù Ð Ò ØÓ ÒÓÒ Ø ÒØ Ú ÐÙ Ø Ø Ó «Ö ÒØ Ð ÒØ º Ì ÓÐÙØ ÓÒ ØÓ Ø ÔÖÓ Ð Ñ ØÓ Ú Ö ÔÐ Ú Ð Ø Ø Ó ÓÖ Ø ÙÖÖ ÒØ Ø Ñ Ø ÑÔ Ù Ò Ø Ú ÐÙ ÙÒØ ÓÒº ÁÒ Ø Ø ÙÒØ ÓÒ ÑÙ Ø Ù Ö ÒØ Ø Ø Ø ÔÖÓÔÓ Ø Ñ ¹ Ø ÑÔ ÒÓØ ØÓÓ Ö ÖÓÑ Ø Ö ÔÐ ³ ÓÛÒ ÐÓ Ú ÐÙ Ò Ø Ø Ø Ø Ñ Ø ÑÔ ÔÖÓ Ù Ý Ø ÔÖ Ñ ÖÝ Ö ÑÓÒÓØÓÒ¹ ÐÐÝ ÒÖ Ò º Ò ÐÐÝ Ø ÛÖ ÔÔ Ö Ö ØÙÖÒ ÑÓ Ö ÔÐÝ ØÓ Ø Ð ÒØ Ù Ò Ø Ñ Ô ØÓ ØÖ Ò Ð Ø Ð Ò Ð ØÓ Ó Ò Ö ÔÐ Ò Ø ÓÒÖ Ø Ø Ñ Ø ÑÔ Ú ÐÙ Ý Ø ØÖ Ø ÓÒ º Ï Ò Ò Ð Ò Ö Ö ÐÐ Ø ÛÖ ÔÔ Ö Ö Ø ÒØ Ö Ö ØÓÖÝ Ò ÓÖØ Ø Ð Ü Ó Ö Ô ÐÐÝ ØÓ Ò ÙÖ Ø Ð ÒØ Ö Ú ÒØ Ð Ö ÔÐ ÖÓÑ ÐÐ Ö ÔÐ º 3..3 State Conversions Ì ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò Ø Ð ÖÚ ÑÔÐ Ñ ÒØ ÓÐÐÓÛ º ÓÖ Ð Ý Ø Ñ Ó Ø Ø Ù Ø Ð Ò Ð ØÓÖ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ØÓ ÒÚÓ Ø Æ Ë ÖÚ Ö ØÓ Ó Ø Ò Ø Ø Ò Ñ Ø ¹ Ø ÓÖ Ø Ó Øº Ì Ò Ø Ö ÔÐ Ø ÓÒÖ Ø Ø Ñ Ø ÑÔ Ú ÐÙ Ý Ø ØÖ Ø ÓÒ ÓÒÚ ÖØ Ø Ð Ò Ð Ò Ö ØÓÖÝ ÒØÖ ØÓ Ó Ò ÓÖØ Ø Ö ØÓÖ Ð Ü Ó Ö Ô ÐÐݺ ÙÖ ÓÛ ÓÛ Ø ÓÒÖ Ø Ø Ø Ò Ø ÓÒ ÓÖ¹ Ñ Ò Ö ÔÖ ÒØ Ø ÓÒ Ö ÓÑ Ò ØÓ ÓÖÑ Ø ØÖ Ø Ø Ø ÓÖ Ô ÖØ ÙÐ Ö Ü ÑÔÐ º ÆÓØ Ø Ø Ø ØØÖ ÙØ Ò Ø ÓÒÖ Ø Ø Ø Ö ÓÑ Ò Û Ø Ø Ø Ñ Ø ÑÔ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ØÓ ÓÖÑ Ø ØØÖ ÙØ Ò Ø ØÖ Ø Ø Ø º Ð Ó ÒÓØ Ø Ø Ø ÓÒØ ÒØ Ó Ø Ð Ò Ö ØÓÖ Ö ÒÓØ ØÓÖ Ý Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÙØ ÓÒÐÝ Ò Ø ÓÒÖ Ø Ø Ø º Ì Ô Ù ÓÓ ÓÖ Ø ÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ Ò Ø Ð ÖÚ ÓÛÒ Ò ÙÖ º Ì ÙÒØ ÓÒ Ö Ú Ò ÖÖ Ý Û Ø Ø Ò Ó Ø Ó Ø Ø Ø Ò ØÓ ÙÔ Ø Ò Ø Ò Û Ú ÐÙ ÓÖ Ø Ó Ó Ø º ÁØ Ò ÒØÖÝ Ò Abstract State: Type Gen. # Parent Attrs Data DIR - t other attrs <f,> <d,2> FILE Conformance Representation: Type Gen. # Parent fhandle tstamps 2 3 DIR - h t FILE h2 t2 DIR h3 t3 DIR FILE 2 FILE 2 h4 t4 <f2,3> 4 FREE FREE f root Concrete State: ÙÖ Ü ÑÔÐ Ó Ø ØÖ Ø ÓÒ ÙÒØ ÓÒ Ø ÖÖ Ý ØÓ Ø ÖÑ Ò Ø ØÝÔ Ó Ø Ò Û Ó Ø Ò Ø ÓÖ Ò Ðݺ Á Ø Ò Û Ó Ø Ð ÓÖ ÝÑ ÓÐ Ð Ò Ø Ø ÖØ Ý ÐÐ Ò Ø ÙÔ Ø Ö ØÓÖÝ ÙÒØ ÓÒ Ô Ò Ø Ò Û Ó Ø³ Ô Ö ÒØ Ö ØÓÖÝ Ò Ü Ò Ö ÙÑ Òغ Ì Û ÐÐ Ù Ø Ó Ø³ Ô Ö ÒØ Ö ØÓÖÝ ØÓ Ö ÓÒ ØÖÙØ Ò Ò Ø ÓÖÖ ÔÓÒ Ò Ó Ø Ò Ø ÙÒ ÖÐÝ Ò Ð Ý Ø Ñ Û ÐÐ Ö Ø Ø ÒÓØ Ü Ø ÐÖ Ýº Ì Ò Ø Ò ÙÔ Ø Ø Ó Ø³ ÒØÖÝ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ò Ù Ø ØØÖ Ò ÛÖ Ø ØÓ ÙÔ Ø Ø Ð ³ Ñ Ø ¹ Ø Ò Ø Ò Ø ÓÒÖ Ø Ø Ø º ÓÖ ÝÑ ÓÐ Ð Ò Ø ÙÆ ÒØ ØÓ ÙÔ Ø Ø Ö Ñ Ø ¹ Ø º ÙÒØ ÓÒ ÔÙØ Ó Ò ÑÓ Ó Ø ÖÖ Ýµ ÓÖ ÒØÖÝ ¾ ÑÓ Ó Ø ÖÖ Ý Ó Ò Û Ó Ø³ ØÝÔ Ð ÓÖ ÝÑ ÓÐ Ð Ò Ø Ò ÙÔ Ø Ö ØÓÖÝ Ò Û Ó Ø³ Ô Ö ÒØ Ö ØÓÖÝ Ò Üµ ÙÔ Ø Ó Ø³ Ñ Ø ¹ Ø Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ø Ð ØØÖ ÙØ ÛÖ Ø Ð ³ Ò Û ÓÒØ ÒØ ÓÖ ÙÔ Ø Ð Ò ³ Ø Ö Ø Ð Ò Û Ó Ø³ ØÝÔ Ö ØÓÖÝ Ø Ò ÙÔ Ø Ö ØÓÖÝ Ø Ó Ø³ Ò Üµ ÙÔ Ø Ó Ø³ Ñ Ø ¹ Ø Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ð Ò Û Ó Ø³ ØÝÔ Ö ÒØÖÝ Ø Ò ÙÔ Ø Ó Ø³ ØÝÔ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÙÒØ ÓÒ ÙÔ Ø Ö ØÓÖÝ Ò Ö ØÓÖݳ Ò Üµ Ö ØÓÖÝ ÐÖ Ý Ò ÙÔ Ø ÓÖ Ö ØÓÖÝ ÒÓØ Ò µ Ø Ò Ó ÒÓØ Ò Ð ÙÔ Ø Ö ØÓÖÝ Ò Û Ö ØÓÖݳ Ô Ö ÒØ Ö ØÓÖÝ Ò Üµ Ö Ö ØÓÖݳ ÓÐ ÓÒØ ÒØ Ù Ò Æ Ë ÐÐ ÓÖ ÒØÖÝ Ò ÓÐ Ö ØÓÖÝ Ó ÒØÖÝ ÒÓØ Ò Ò Û Ö ØÓÖÝ Ø Ò Ö ÑÓÚ ÒØÖÝ Ù Ò Æ Ë ÐÐ Ð ÒØÖÝ Ò Ò Û Ö ØÓÖÝ ÙØ ØÝÔ ÛÖÓÒ Ø Ò Ö ÑÓÚ ÒØÖÝ ÓÖ ÒØÖÝ Ò Ò Û Ö ØÓÖÝ Ó ÒØÖÝ ÒÓØ Ò ÓÐ Ö ØÓÖÝ Ø Ò Ö Ø ÒØÖÝ Ù Ò Æ Ë ÐÐ ÙÖ ÁÒÚ Ö ØÖ Ø ÓÒ ÙÒØ ÓÒ Ï Ò Ø Ò Û Ó Ø Ö ØÓÖÝ Ø ÙÆ ÒØ ØÓ Ò¹ d f2

7 ÚÓ ÙÔ Ø Ö ØÓÖÝ Ô Ò Ø ÓÛÒ Ò Ü Ò Ö Ù¹ Ñ ÒØ Ò Ø Ò ÙÔ Ø Ò Ø ÔÔÖÓÔÖ Ø ÒØÖÝ Ò Ø ÓÒ¹ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒº Ò ÐÐÝ Ø Ò Û Ó Ø Ö ÒØÖÝ Ø ÙÔ Ø Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ØÓ Ö Ø Ø Ò Û Ó Ø³ ØÝÔ Ò Ò Ö Ø ÓÒ ÒÙÑ Öº Á Ø ÒØÖÝ Û ÒÓØ ÔÖ Ú ÓÙ ÐÝ Ö Ø ÑÙ Ø Ð Ó Ö ÑÓÚ Ø Ñ ÔÔ Ò ÖÓÑ Ø Ð Ò Ð Ø Ø Û ØÓÖ Ò Ø Ø ÒØÖÝ ØÓ Ø Ó º Ï Ó ÒÓØ Ú ØÓ ÙÔ Ø Ø Ô Ö ÒØ Ö ØÓÖÝ Ó Ø ÓÐ Ó Ø Ò Ø ÑÙ Ø Ú Ò Ò Û ÐÐ ÔÖÓ Ú ÒØÙ ÐÐݺ Ì ÙÔ Ø Ö ØÓÖÝ ÙÒØ ÓÒ Ò ÙÑÑ Ö Þ ÓÐÐÓÛ º Á Ø Ö ØÓÖÝ Ø Ø Ò ÙÔ Ø ÐÖ Ý Ò ÙÔ Ø ÓÖ ÒÓØ Ò Ø ÖÖ Ý Ó Ó Ø Ø Ø Ò ØÓ ÙÔ Ø Ø Ò Ø ÙÒØ ÓÒ Ô Ö ÓÖÑ ÒÓ Ø ÓÒº ÇØ ÖÛ Ø ÐÐ Ø Ð Ö ÙÖ Ú ÐÝ Ô Ò Ø Ò Ü Ó Ø Ô Ö ÒØ Ö ¹ ØÓÖÝ Ø Ò ÖÓÑ Ø Ò Û Ó Øµ Ò Ö ÙÑ Òغ Ì Ò Ø ÐÓÓ ÙÔ Ø ÓÒØ ÒØ Ó Ø Ö ØÓÖÝ Ý Ù Ò Ö Ö Ðк ÁØ Ò Ø ÒØÖ Ò Ø ÓÐ Ø Ø ØÓ Ö ÑÓÚ Ø ÓÒ Ø Ø Ö ÒÓ ÐÓÒ Ö ÔÖ ÒØ Ò Ø ØÖ Ø Ø Ø ÓÖ Ú «Ö ÒØ ØÝÔ µ Ò Ò ÐÐÝ Ò Ø ÒØÖ Ò Ø Ò Û ¹ ØÖ Ø Ø Ø Ò Ö Ø Ø ÓÒ Ø Ø Ö ÒÓØ ÔÖ ÒØ Ò Ø ÓÐ Ø Ø º Ï Ò Ò ÒØÖÝ Ö Ø ÓÖ Ð Ø Ø ÓÒ ÓÖ¹ Ñ Ò Ö ÔÖ ÒØ Ø ÓÒ ÙÔ Ø ØÓ Ö Ø Ø º 3..4 Proactive Recovery Ø Ö Ö ÓÚ ÖÝ Ö ÔÐ ÑÙ Ø Ð ØÓ Ö ØÓÖ Ø ¹ ØÖ Ø Ø Ø º Ì ÓÙÐ ÓÒ Ý Ú Ò Ø ÒØ Ö ØÖ Ø Ø Ø ØÓ ÓÖ Ø Ö ÓÚ ÖÝ ÙØ Ø Ø ÛÓÙÐ Ú ÖÝ Ü¹ Ô Ò Ú º ÁÒ Ø Û Û ÒØ ØÓ Ú ÓÒÐÝ Ø Ñ Ø Ø º º Ø Ó Ò Ø Ø Ñ Ø ÑÔ µº ÙØ ØÓ Ó Ø Û Ò Û Ý Ó Ö Ð Ø Ò Ø Ó ØÓ Ø Ð Ò Ø ÓÒÖ Ø Ð Ý Ø Ñ Ø Ø º Ì ÒÒÓØ ÓÒ Ù Ò Ð Ò Ð Ò Ø Ý Ò Ò Û Ò Ø Æ Ë ÖÚ Ö Ö Ø ÖØ º ÀÓÛ Ú Ö Ø Æ Ë Ô Ø ÓÒ Ø Ø Ø Ø Ó Ø ÙÒ ÕÙ ÐÝ ÒØ Ý Ô Ö Ó Ñ Ø ¹ Ø ØØÖ ÙØ Ð º Ï ÓÐÚ Ø ÔÖÓ Ð Ñ Ý Ò ÒÓØ Ö ÓÑÔÓÒ ÒØ ØÓ Ø ÓÒ ÓÖ¹ Ñ Ò Ö ÔÖ ÒØ Ø ÓÒ Ñ Ô ÖÓÑ Ð Ô Ö ØÓ Ø ÓÖÖ ÔÓÒ Ò Ó º Ì ÙØ ÓÛÒ Ñ Ø Ó Ú Ø Ñ Ô Û ÐÐ Ø Ñ Ø Ø Ñ ÒØ Ò Ý Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÓÖ Ð µ ØÓ º Ø Ö Ö ÓÓØ Ò Ø Ö Ø ÖØ Ñ Ø Ó Ô Ö ÓÖÑ Ø ÓÐÐÓÛ¹ Ò Ø Ô º ÁØ Ö Ø Ñ Ô ÖÓÑ Ô Ö ÓÖÑ Ò Û ÑÓÙÒØ ÊÈ ÐÐ Ø Ù Ó Ø Ò Ò Ø Ð Ò Ð ÓÖ Ø Ð Ý Ø Ñ ÖÓÓØ Ò ÔÐ ÒÙÐÐ Ð Ò Ð Ò ÐÐ Ø ÓØ Ö ÒØÖ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ Ø Ø ÓÖÖ ÔÓÒ ØÓ ÐÐ Ø ÓØ Ö Ó Ø Ò Ø Ò Ø Ø Û Ó ÒÓØ ÒÓÛ Ø Ò Û Ð Ò Ð ÓÖ Ø Ó Ó Ø Ý Øº ÁØ Ø Ò Ò Ø Ð Þ Ø ÓØ Ö ÒØÖ Ù Ò Ø Ñ Ø Ø Ø Ø Û ØÓÖ Ý ÙØ ÓÛÒº Ì Ò Ø Ö ÔÐ Ø ÓÒ Ð Ö ÖÝ ÖÙÒ Ø ÔÖÓØÓÓÐ ØÓ Ö Ò Ø ØÖ Ø Ø Ø Ó Ø Ö ÔÐ ÙÔ ØÓ Ø º Ô ÖØ Ó Ø ÔÖÓ Ø ÙÔ Ø Ø Ø Ò Ø Ô ÖØ Ø ÓÒ ØÖ Ù Ò Ò¹ ÓÖÑ Ø ÓÒ ÓÐÐ Ø ÖÓÑ Ø ÓØ Ö Ö ÔÐ Ò ÐÐ Ø Ó ÓÒ Ó Ø ØÓ Ø Ø ÓÖÖ Ø Øº ÓÖÖÙÔØ ÓÖ ÓÙØ¹Ó ¹ Ø Ó Ø Ö Ø ÖÓÑ Ø ÓØ Ö Ö ÔÐ º Ì ÐÐ ØÓ Ø Ó Ø ÖÑ Ò Ø Ò Û Æ Ë Ð Ò Ð Ò Öݺ ÁÒ Ø Ø Ó ÙÔ Ø Ö ØÓÖÝ ØÖ Ù Ò Ø Ô Ö ÒØ Ò Ü Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒµ ÙÒØ Ð Ø Ò Ö ØÓÖÝ Û Ó Ò Û Ð Ò Ð ÐÖ Ý ÒÓÛÒº Ì Ò Ø Ù Ö Ö ØÓ Ð ÖÒ Ø Ò Ñ Ò Ð Ó Ø ÒØÖ Ò Ø Ö ØÓÖÝ ÓÐÐÓÛ Ý ÐÓÓ ÙÔ ÐÐ ÓÖ ÓÒ Ó Ø Ó ÒØÖ ØÓ Ó Ø Ò Ø Ö Æ Ë Ð Ò Ð Ø Ò Ð Ö Ø Ò ØÓÖ Ò Ø ÔÓ Ø ÓÒ Ø Ø Ø ÖÑ Ò Ý Ø Ð ØÓ Ó Ñ Ôº Ì Ò Ø ÔÖÓ ÓÛÒ Ø Ô Ø Ó Ø Ó Ø Û Ó Ð Ò Ð Ò Ö ÓÒ ØÖÙØ ÓÑÔÙØ Ò ÒÓØ ÓÒÐÝ Ø Ð Ò Ð Ó Ø Ö ØÓÖ Ò Ø Ø Ô Ø ÙØ Ð Ó Ø Ó Ó ÐÐ Ø Ö Ð Ò Ò Ø Ð Ý Ø Ñ ØÖ º Ï Ò Û Ð Ò ÙÔ Ø Ö ØÓÖÝ ØÖ Ù Ò Ø Ô Ö ÒØ Ò¹ Û Ò ØÓ Ø Ø ÐÓÓÔ Ó Ø Ø Ø Ö ÓÚ ÖÝ ÙÒØ ÓÒ Û ÐÐ ÒÓØ ÒØ Ö Ò Ò Ò Ø ÐÓÓÔ Ù ØÓ ÖÖÓÒ ÓÙ Ò ÓÖÑ Ø ÓÒ ØÓÖ Ý Ø Ö ÔÐ ÙÖ Ò ÙØ ÓÛÒº ÙÖÖ ÒØÐÝ Û Ö Ø ÖØ Ø Æ Ë ÖÚ Ö Ò Ø Ñ Ð Ý ¹ Ø Ñ Ò ÙÔ Ø Ø Ø Ø Û Ø Ø Ó Ø Ø ÖÓÑ ÓØ Ö Ö ÔÐ º Ï ÔÐ Ò ØÓ Ò Ø ÑÔÐ Ñ ÒØ Ø ÓÒ ØÓ Ø ÖØ Ò Æ Ë ÖÚ Ö ÓÒ ÓÒ ÑÔØÝ Ò Ö Ò Ø ÙÔ¹ØÓ¹ Ø ÒÖ Ñ ÒØ ÐÐÝ Û Ó Ø Ò Ø Ú ÐÙ Ó Ø ØÖ Ø Ó ¹ Ø º Ì Ø Ú ÒØ Ó ÑÔÖÓÚ Ò ÙÐØ ØÓÐ Ö Ò Ù Ò Ë Ø ÓÒ ¾º Ø ÓÒ ÐÐÝ Ø Ò ÑÔÖÓÚ ÐÓ Ð ØÝ Ý ÐÙ Ø Ö Ò ÐÓ ÖÓÑ Ø Ñ Ð Ò Ð Ø Ø Ö Ò Ø Ñ Ö ØÓÖݺ 3.2 Object-Oriented Database Ï Ú Ð Ó ÔÔÐ ÓÙÖ Ñ Ø Ó ÓÐÓ Ý ØÓ Ö ÔÐ Ø Ø ÖÚ Ö Ò Ø Ì ÓÖ Ó Ø¹ÓÖ ÒØ Ø ½ º ÁÒ Ø Ü ÑÔÐ ÐÐ Ø Ö ÔÐ ÖÙÒ Ø Ñ ÖÚ Ö ÑÔÐ Ñ Ò¹ Ø Ø ÓÒº Ì Ü ÑÔÐ ÒØ Ö Ø Ò Ù Ø ÖÚ ÑÓÖ ÓÑÔÐ Ü Ø Ò Æ Ë Ò Ø ÖÚ Ö ÑÔÐ Ñ ÒØ Ø ÓÒ ÑÙÐØ Ø Ö Ò Ü Ø Ò ÒØ Ö Ó ÒÓÒ¹ Ø ÖÑ Ò Ñº Ì Ñ Ø Ó ÓÐÓ Ý Ò Ð Ö Ù Ó Ø Ü Ø Ò ÖÚ Ö Ó Ò ÓÙÐ Ò Ð Ó ØÛ Ö Ö ÙÚ Ò Ø ÓÒ Ø ÖÓÙ ÔÖÓ Ø Ú Ö ÓÚ Öݺ Ï Ò Ý Ú Ò Ö ÓÚ ÖÚ Û Ó Ì ÓÖ Ò Ø Ò Ö ÓÛ Ø Ñ Ø Ó ÓÐÓ Ý Û ÔÔÐ Ò Ø Ü ÑÔÐ º ÑÓÖ Ø Ð Ö ÔØ ÓÒ Ò ÓÙÒ Ò ¾ º 3.2. System Overview Ì ÓÖ ½ ÔÖÓÚ Ô Ö Ø ÒØ Ó Ø ØÓÖ Ø Ø Ò Ö Ý ÔÔÐ Ø ÓÒ ÖÙÒÒ Ò ÓÒÙÖÖ ÒØÐÝ Ø «Ö ÒØ ÐÓ¹ Ø ÓÒ º ÁØ Ù Ö ÒØ ØÝÔ ¹ Ö Ò Ý Ò ÙÖ Ò Ø Ø ÐÐ Ó Ø Ö Ù Ò ÓÖ Ò Û Ø Ø Ö ØÝÔ º ¹ Ø ÓÒ ÐÐÝ ØÔÖÓÚ ØÓÑ ØÖ Ò Ø ÓÒ ½ ØÓ Ù Ö ÒØ ØÖÓÒ ÓÒ Ø ÒÝ Ò Ø ÔÖ Ò Ó ÓÒÙÖÖ ÒØ Ò Ö º Ì ÓÖ ÑÔÐ Ñ ÒØ Ð ÒØ» ÖÚ Ö Ý Ø Ñ Ò Û ÖÚ Ö ÔÖÓÚ Ô Ö Ø ÒØ ØÓÖ ÓÖ Ó Ø Ò ÔÔÐ ¹ Ø ÓÒ ÖÙÒ Ø Ð ÒØ ÓÒ ÓÔ Ó Ô Ö Ø ÒØ Ó Ø º Ë ÖÚ Ö ØÓÖ Ó Ø Ò Ô ÓÒ Ò Ð Ó Ø Ô Ò Ñ Ò Ñ ÑÓÖݺ Ó Ø ØÓÖ Ý ÖÚ Ö ÒØ Ý ¾¹ Ø ÓÖ Û ÓÒØ Ò Ô ÒÙÑ Ø Ø ÒØ Ø Ô Û Ö Ø Ó Ø ØÓÖ Ò Ò ÓÒÙÑ Ø Ø ÒØ Ø Ó Ø Û Ø Ò Ø Ô º Ç Ø Ö ÙÒ ÕÙ ÐÝ ÒØ Ý Ô Ö ÓÒØ Ò Ò Ø Ó Ø ÓÖ Ò Ø ÒØ Ö Ó Ø ÖÚ Ö Ø Ø ØÓÖ Ø Ó Øº Ð ÒØ Ñ ÒØ Ò Ó Ó Ø Ö ØÖ Ú ÖÓÑ ÖÚ Ö Ò Ñ Ò Ñ ÑÓÖÝ º ÔÔÐ Ø ÓÒ ÖÙÒÒ Ò Ø Ø Ð ÒØ ÒÚÓ Ñ Ø Ó ÓÒ Ø Ó Ø º Ï Ò Ò ÔÔÐ Ø ÓÒ Ö ÕÙ Ø Ò Ó Ø Ø Ø ÒÓØ Ø Ð ÒØ Ø Ø Ô Ø Ø ÓÒØ Ò Ø Ó Ø ÖÓÑ Ø ÓÖÖ ¹ ÔÓÒ Ò ÖÚ Öº Ì ÓÖ Ù Ò ÓÔØ Ñ Ø ÓÒÙÖÖ ÒÝ ÓÒØÖÓÐ Ð ÓÖ Ø Ñ ½ ØÓ Ö Ð Þ ½ ØÖ Ò Ø ÓÒ º Ð ÒØ ÖÙÒ ØÖ Ò Ø ÓÒ ÓÒ ÓÔ Ó Ó Ø ÙÑ Ò Ø Ø Ø ÓÔ Ö ÙÔ¹ ØÓ¹ Ø ÙØ Ö ÓÖ ÓÖ Ó Ó Ø Ö ÓÖ ÑÓ Ý Ø ØÖ Ò Ø ÓÒº ÌÓ ÓÑÑ Ø ØÖ Ò Ø ÓÒ Ø Ð ÒØ Ò ÓÑÑ Ø Ö ÕÙ Ø ØÓ Ø ÖÚ Ö Ø Ø ØÓÖ Ø Ó Ø º Ì ÓÖ Ù ØÛÓ¹Ô ÓÑÑ Ø ÔÖÓØÓÓÐ ½ Û Ò ØÖ Ò Ø ÓÒ ¹

8 Ó Ø Ø ÑÙÐØ ÔÐ ÖÚ Ö ÙØ Û Û ÐÐ ÒÓØ Ö Ø ØÓ ÑÔÐ Ý Ø ÔÖ ÒØ Ø ÓÒºµ Ì ÓÑÑ Ø Ö ÕÙ Ø Ò¹ ÐÙ ØÖ Ò Ø ÓÒ Ø Ñ Ø ÑÔ Ò Ý Ø Ð ÒØ Ø ÓÖ Ø Ö ÓÖ Ò Ø Ò Û Ú ÐÙ Ó ÑÓ Ó Ø º Ì ÖÚ Ö ØØ ÑÔØ ØÓ Ö Ð Þ ØÖ Ò Ø ÓÒ Ò ÓÖ Ö Ó ÒÖ Ò Ø Ñ Ø ÑÔ º ÌÓ Ø ÖÑ Ò ØÖ Ò Ø ÓÒ Ò ÓÑÑ Ø Ø ÖÚ Ö Ù Ú Ð Ø ÓÒ ÕÙ Ù Îɵ Ò ÒÚ Ð Ø ÁË µº Ì ÎÉ ÓÒØ Ò Ò ÒØÖÝ ÓÖ Ú ÖÝ ØÖ Ò ¹ Ø ÓÒ Ø Ø ÓÑÑ ØØ Ö ÒØÐݺ ÒØÖÝ ÓÒØ Ò Ø ÓÖ Ó Ó Ø Ø Ø Û Ö Ö ÓÖ ÑÓ Ý Ø ØÖ Ò Ø ÓÒ Ò Ø ØÖ Ò Ø ÓÒ³ Ø Ñ Ø ÑÔº Ì Ö Ò ÁË ÓÖ Ø Ú Ð ÒØ Ø Ø Ð Ø ÓÖ Ó Ó Ø Û Ø Ø Ð ÓÔ Ò Ø Ø Ð Òس º ØÖ Ò Ø ÓÒ Ò ÓÑÑ Ø ÒÓÒ Ó Ø Ó Ø Ø Ò Ø ÓÖÖ ÔÓÒ Ò ÁË Ø ÒÓØ ÑÓ Ý Ò Ó Ø Ø Ø Û Ö Ý ÓÑÑ ØØ ØÖ Ò Ø ÓÒ Ò Ø ÎÉ Û Ø Ð Ø Ö Ø Ñ Ø ÑÔ Ò Ø ÒÓØ Ö Ò Ó Ø Ø Ø Û ÑÓ Ý ØÖ Ò Ø ÓÒ Ò Ø ÎÉ Û Ø Ð Ø Ö Ø Ñ Ø ÑÔº Á Ø ØÖ Ò Ø ÓÒ ÓÑÑ Ø Ø «Ø Ö Ö ÓÖ Ô Ö Ø ÒØÐÝ ÓØ ÖÛ Ø ÒÓ «Øº ÁÒ Ø Ö Ø ÖÚ Ö Ò ÓÖÑ Ø Ð ÒØ Ó Ø ÓÒº Ì ÖÚ Ö ÙÔ Ø Ø ÁË Ó Ð ÒØ Û Ò ØÖ Ò Ø ÓÒ ÓÑÑ Ø º ÁØ ÓÖ Ó Ó Ø ÑÓ Ý Ø ØÖ Ò ¹ Ø ÓÒ ØÓ Ø ÁË Ó Ð ÒØ Ø Ø Ö Ò Ø Ó Ó Ø º ÁØ ÓÑÔÙØ Ø Ø Ó Ð ÒØ Ù Ò ¹Ô Ö ØÓÖÝ Ø Ø Ñ Ô Ô Ò Ø ÖÚ Ö ØÓ Ø Ø Ó Ð ÒØ Ø Ø Ñ Ý Ú ÓÔ Ó Ø Ø Ô º Ì ÖÚ Ö Ð ÒØ ØÓ Ø Ö ØÓÖÝ Û Ò Ø Ý Ø Ô Ò Ð ÒØ Ô Ý Ò ÓÖÑ Ø ÓÒ ÓÙØ Ô Ø Ø Ø Ý Ú Ö Ò Ø Ò ÓÑÑ Ø Ö ÕÙ Ø Ø Ø Ø Ý Ò ØÓ Ø ÖÚ Öº Ë Ñ ¹ Ð ÖÐÝ Ø ÖÚ Ö Ô Ý ÒÚ Ð Ø ÓÒ Ñ ÓÒ Ø Ò ÓÑÑ Ø Ö ÔÐ ØÓ Ò ÓÖÑ Ð ÒØ Ó Ó Ø Ò Ø Ö Á˺ Ò Ó Ø Ö ÑÓÚ ÖÓÑ Ð Òس ÁË Û Ò Ø ÖÚ Ö Ö Ú Ò ÒÓÛÐ Ñ ÒØ ÓÖ Ø ÒÚ Ð Ø ÓÒº Ì ¹ ÒÓÛÐ Ñ ÒØ Ö Ð Ó Ô Ý ÓÒ ÓØ Ö Ñ º Ï Ò ØÖ Ò Ø ÓÒ ÓÑÑ Ø Ð ÒØ Ò Ò Û Ú Ö ÓÒ Ó ÑÓ Ó Ø ÙØ ÒÓØ Ø Ö ÓÒØ Ò Ò Ô º Ì Ó Ø Ö ØÓÖ Ý Ø ÖÚ Ö Ò ÑÓ Ó Ø Ù«Ö ÅÇ µ ½¾ Ø Ø ÐÐÓÛ Ø ÖÚ Ö ØÓ Ö Ò Ø ÐÐ Ò Ø Ó Ø ØÓ Ø Ö Ô ÓÒ º Ì ÑÓ Ø ÓÒ Ö Ò¹ Ø ÐÐ ØÓ Ð Þ ÐÝ Ý ÖÓÙÒ Ù Ö Ø Ö Û Ò Ø ÅÇ ÐÑÓ Ø ÙÐÐ ØÓ Ñ ÖÓÓÑ ÓÖ Ò Û ÑÓ Ø ÓÒ º Abstract Specification Ï ÔÔÐ ÓÙÖ Ñ Ø Ó ÓÐÓ Ý ØÓ Ö ÔÐ Ø Ì ÓÖ ÖÚ Ö º Ì ØÖ Ø Ô Ø ÓÒ ÑÓ Ð Ø Ú ÓÖ Ó Ø ÖÚ¹ Ö Ò Ý Ð ÒØ º Ì ÒØ Ö ÜÔÓÖØ Ý ÖÚ Ö ÓÙÖ Ñ Ò ÓÔ Ö Ø ÓÒ Ø ÖØ ÓÒ Ò Ò ÓÒ Û Ö Ù Ý Ð ÒØ ØÓ Ø ÖØ Ò Ò ÓÒ Û Ø ÖÚ Ö Ò Ø Ò ÓÑÑ Ø Û Û Ö Ö ÓÖ º ÁÒ¹ Ú Ð Ø ÓÒ Ö Ô Ý ÓÒ Ø Ò ÓÑÑ Ø Ö ÔÐ Ò ÒÚ Ð Ø ÓÒ ÒÓÛÐ Ñ ÒØ Ò ÒÓØ Ø ÓÒ Ó Ô Ú Ø ÓÒ ÖÓÑ Ð ÒØ Ö Ô Ý ÓÒ Ø Ò ÓÑÑ Ø Ö ÕÙ Ø º Ì ØÖ Ø Ø Ø Ó Ø ÖÚ Ò ÓÐÐÓÛ º Ì ÖÖ Ý Ó ØÖ Ø Ó Ø Ô ÖØ Ø ÓÒ ÒØÓ ÓÙÖ Ü ¹ Þ Ö º Ø Ô º ÒØÖÝ Ò Ø Ö ÓÖÖ ÔÓÒ ØÓ Ô Ò Ø Ø º Ì Ú ÐÙ Ó Ø ÒØÖÝ Û Ø Ò Ü ÕÙ ÐØÓØ Ú ÐÙ Ó Ø Ô Û Ø Ô ÒÙÑ º Î Ð Ø ÓÒ ÉÙ Ù º ÒØÖ Ò Ø Ö ÓÖÖ ÔÓÒ ØÓ Ò¹ ØÖ Ò Ø Îɺ Ì Ú ÐÙ Ó ÒØÖÝ ÓÒØ Ò Ø Ø Ñ ¹ Ø ÑÔ Ø Ø Û Ò ØÓ Ø ÓÖÖ ÔÓÒ Ò ØÖ Ò Ø ÓÒ ÓÖ ÒÙÐÐ Ø Ñ Ø ÑÔ ÓÖ Ö ÒØÖ µ Ø Ø ØÙ Ó Ø ØÖ Ò ¹ Ø ÓÒ Ò ÖÖ Ý Û Ø Ø ÓÖ Ó Ó Ø Ö Ý Ø ØÖ Ò ¹ Ø ÓÒ Ò Ò ÖÖ Ý Û Ø Ø ÓÖ Ó Ó Ø ÛÖ ØØ Ò Ý Ø ØÖ Ò Ø ÓÒº Ï Ò ØÖ Ò Ø ÓÒ ÓÑÑ Ø Ø Ò Ø Ö ÒØÖÝ Û Ø Ø ÐÓÛ Ø Ò Üº Ï Ò Ø Ö Ö ÒÓ Ö Ò¹ ØÖ Ø ÒØÖÝ Ó Ø ØÖ Ò Ø ÓÒ Û Ø Ø ÐÓÛ Ø Ø Ñ Ø ÑÔ Ø Ö ØÓ Ö Ò ÒØÖÝ ÓÖ Ò Û ØÖ Ò Ø ÓÒ Ò ÒÝ ØÖ Ò Ø ÓÒ Ø Ø ØØ ÑÔØ ØÓ ÓÑÑ Ø Û Ø Ø Ñ Ø ÑÔ ÐÓÛ Ö Ø Ò Ø ÓÖØ ½ º ÆÓØ Ø Ø ÒØÖ Ö ÒÓØ ÓÖ Ö Ý Ø Ñ Ø ÑÔ Ù Ø ÓÙÐ Ð ØÓ Ò Æ ÒØ ÔÓ ÒØ ÓÑÔÙØ Ø ÓÒ Ò Ø Ø ØÖ Ò Öº ÁÒ ÖØ Ò ÒØÖ Ò Ø Ñ Ð Ó Ò ÓÖ Ö ÕÙ Ò ÓÙÐ Ö ÕÙ Ö Ø Ò Ð Ö ÒÙÑ Ö Ó ÒØÖ º Ì ÛÓÙÐ ÒÖ Ø Ó Ø Ó ÓÙÖ ÒÖ Ñ ÒØ Ð ÔÓ Òع Ò Ø Ò ÕÙ Ò ÓÙÐ ÒÖ Ø ÑÓÙÒØ Ó Ø ÒØ ÙÖ Ò Ø Ø ØÖ Ò Ö º ÁÒÚ Ð Ø º ÒØÖÝ ÒØ Ö ÓÖÖ ÔÓÒ ØÓ Ø ÒÚ Ð Ø Ó Ò Ø Ú Ð Òغ Ì Ú ÐÙ Ó Ò ÒØÖÝ ÓÒØ Ò Ø Ð ÒØ ÒØ Ö ÓÖ ÒÙÐÐ ÒØ Ö ÓÖ Ö ÒØÖ µ Ò Ò ÖÖ Ý Û Ø Ø ÓÖ Ó ÒÚ Ð Ó Ø º Ï Ò Ò Û Ð ÒØ ÒÚÓ Ø ÖØ ÓÒ Ø Ò Ò ØÖ Ø Ð ÒØ ÒÙÑ Ö Ø Ø ÓÖÖ ÔÓÒ ØÓ Ø Ò Ü Ó Ø ÒØÖÝ Ò Ø Ö º Ì ÒØÖÝ Ö Û Ò Ø Ð ÒØ ÒÚÓ Ò ÓÒº ¹Ô Ö ØÓÖݺ Ì Ö ÓÒ ÒØÖÝ Ò Ø Ö Ô Ö Ø Ô º Ì Ò Ü Ó Ò ÒØÖÝ ÕÙ Ð ØÓ Ø Ô ÒÙÑ Ó Ø ÓÖÖ ÔÓÒ Ò Ô Ñ ÒÙ Ø Ø ÖØ Ò Ò Ü ÓÖ Ø Ö º Ì Ú ÐÙ Ó Ò ÒØÖÝ Ò ÖÖ Ý Û Ø Ø ØÖ Ø ÒÙÑ Ö Ó Ð ÒØ Ø Ø Ø Ô º Ì ØÖ Ø ÓÒ Ø Ø Ð Ó ÓÛ Ø Ô Ò Ø ÅÇ Ö Ñ Ò Ø Ø ÖÚ Ö º Ì ÐÐÓÛ ¹ Ö ÒØ Ö ÔÐ ØÓ «Ö ÒØ Ô ÓÖ Ò Ø ÐÐ Ó Ø ØÓ Ô Ø «Ö ÒØ Ø Ñ Û Ø ÓÙØ Ú Ò Ø Ö ØÖ Ø Ø Ø Ú Ö º Conformance Wrapper Ì ÓÖ ÖÚ Ö ÐÐÙ ØÖ Ø ÓÒ Ó Ø ÔÖÓ Ð Ñ Ø Ø Ñ Ô¹ ÔÐÝ Ò ÓÙÖ Ñ Ø Ó ÓÐÓ Ý Ö Öº Ì ÜØ ÖÒ Ð ÒØ Ö Ø Ý Ó«Ö ØÓÓ Ò ÖÖÓÛ ØÓ ÑÔÐ Ñ ÒØ Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ø Ø Ö ÓØ ÑÔÐ Ò Æ Òغ ÓÖ Ü ÑÔÐ Ø ÒØ Ö¹ ØÛ Ò Ð ÒØ Ò ÖÚ Ö Ó ÒÓØ ÐÐÓÛ Ö Ò ÓÖ ÛÖ Ø Ò Ø Ú Ð Ø ÓÒ ÕÙ Ù Ø ÒÚ Ð Ø ÓÖ Ø ¹ Ô Ö ØÓÖݺ Ï ÓÙÐ ÓÐÚ Ø ÔÖÓ Ð Ñ Ý ÓÛ Ò Ø Ø Ò Ø ÛÖ ÔÔ Ö ÙØ Ø ÒÓØ ÔÖ Ø Ð Ù ØÛÓÙÐ Ö ÕÙ Ö Ö ÑÔÐ Ñ ÒØ Ò Ø ÓÒÙÖÖ ÒÝ ÓÒØÖÓÐ Ð ÓÖ Ø Ñº ÁÒ Ø Û ÑÔÐ Ñ ÒØ Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ù Ò ÒØ Ö¹ Ò Ð ÈÁ º Ì Û ÔÓ Ð Ù Û ØÓ Ø ÖÚ Ö ÓÙÖ Ó º Ï Ù Ø ÒØ ÖÒ Ð ÈÁ Ð ÓÜ Û ÒÓØ Ò Û ÓÔ Ö Ø ÓÒ ÓÖ Ò Ü Ø Ò ÓÔ Ö Ø ÓÒ º Ì ÒØ ÖÒ Ð ÈÁ Û Ö Ù ÓÒÐÝ ØÓ ÑÔÐ ¹ Ñ ÒØ Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ º Ì Ý Û Ö ÒÓØ Ù ØÓ Ò Ø ØÖ Ø Ô Ø ÓÒº Ì ÑÔÓÖØ ÒØ Ù Û Û ÒØ Ø Ô Ø ÓÒ ØÓ ØÖ Ø Ñ ÒÝ ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ Ø Ð ÔÓ Ð º Ï Ð Ó Ö ÔÐ Ø ÓÑÑÙÒ Ø ÓÒ Ð Ö ÖÝ Ù ØÛ Ò ÖÚ Ö Ò Ð ÒØ Ý ÓÒ Û Ø Ø Ñ ÒØ Ö Ø Ø ÐÐ Ø Ë Ð Ö Öݺ Ì ÚÓ Ø Ò ÓÖ ÒØ ÖÔÓ Ò Ð ÒØ Ò ÖÚ Ö ÔÖÓÜ Û Û Ø Ø Ò ÕÙ Û Ù Ò Ø Ð Ý Ø Ñ Ü ÑÔÐ º Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ñ ÒØ Ò ÓÒÐÝ ØÛÓ Ø ØÖÙ¹ ØÙÖ Ø ÎÉ ÖÖ Ý Ò Ø Ð ÒØ ÖÖ Ý Û Ö Ù Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Û Û ÐÐ Ö Ò Üغ ÒØÖÝ Ò Ø ÎÉ ÖÖ Ý ÓÖÖ ÔÓÒ ØÓ Ø ÒØÖÝ Û Ø Ø Ñ Ò Ü Ò Ø ÎÉ Ö Ó Ø ØÖ Ø Ø Ø Ò

9 Ø ÓÒØ Ò Ø ØÖ Ò Ø ÓÒ Ø Ñ Ø ÑÔ Ò Ø Ø ØÖ Ø Ò¹ ØÖݺ Ï Ò ØÖ Ò Ø ÓÒ ÓÑÑ Ø Ø ÛÖ ÔÔ Ö Ò Ø Ò ÒØÖÝ Ò Ø ÎÉ ÖÖ Ý Ö Ò Ø ØÖ Ø Ô ¹ Ø ÓÒµ Ò ØÓÖ Ø Ø Ñ Ø ÑÔ Ø Ö º Ì ÒØÖ Ò Ø Ð ÒØ ÖÖ Ý Ö Ù ØÓ Ñ Ô ØÖ Ø Ð ÒØ ÒÙÑ Ö ØÓ Ø Ô Ö¹Ð ÒØ Ø ØÖÙØÙÖ Ñ ÒØ Ò Ý Ì ÓÖº Ì Ý Ö ÙÔ Ø Ý Ø ÛÖ ÔÔ Ö Û Ò Ð ÒØ Ø ÖØ Ò Ò ÓÒ Û Ø Ø ÖÚ Öº ÁÒ Ì ÓÖ ØÖ Ò Ø ÓÒ Ø Ñ Ø ÑÔ Ö Ò Ý Ð ÒØ º Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ö Ø Ø Ñ Ø ÑÔ Ø Ø Ú Ø ÑÓÖ Ø Ò Ø Ö ÓÐ ÖÓÑ Ø Ø Ñ Û Ò Ø ÓÑÑ Ø Ö ¹ ÕÙ Ø Ö Ú º Ì ÑÔÓÖØ ÒØ ØÓ ÔÖ Ú ÒØ ÙÐØÝ Ð ÒØ ÖÓÑ ÓÑÑ ØØ Ò ØÖ Ò Ø ÓÒ Û Ø Ú ÖÝ Ð Ö Ø Ñ Ø ÑÔ Û ÓÙÐ Ù ÔÙÖ ÓÙ ÓÖØ º Ì ÓÒ ÓÖÑ Ò ÛÖ Ô¹ Ô Ö Ù Ø ÔÖÓÔÓ Ú ÐÙ Ò Ú ÐÙ ÙÔ ÐÐ Ó«Ö Ý Ø Ë Ð Ö ÖÝ ÓÖ Ö ÔÐ ØÓ Ö ÓÒ Ø Ø Ñ Û Ò Ø ÓÑÑ Ø Ö ÕÙ Ø Ö Ú º Ê ÔÐ Ù Ø Ö ÙÔÓÒ Ú ÐÙ ØÓ Û Ø Ö ØÓ Ö Ø ÓÖ ÔØ Ø ÔÖÓÔÓ Ø Ñ Ø ÑÔº Ì Ò ÙÖ Ø Ø ÐÐ ÓÖÖ Ø Ö ÔÐ Ö Ø Ñ ÓÒº Ñ ÒØ Ò Ò Ø ØÛÓ Ø ØÖÙØÙÖ Ò ¹ Ò Ø Ñ Ø ÑÔ Ø ÛÖ ÔÔ Ö ÑÔÐÝ ÒÚÓ Ø ÓÔ Ö Ø ÓÒ ÜÔÓÖØ Ý Ø Ì ÓÖ ÖÚ Ö Ø Ö ÐÐ Ò ÑÓ Ý ØÓ Ò ÓÖÑ Ø Ë Ð Ö ÖÝ Ó Û ØÖ Ø Ó Ø Ö ÓÙØ ØÓ ÑÓ º State Conversions Ì Ø Ó ÙÔ ÐÐ Ö Ú Ø Ò Ü Ó Ò ØÖ Ø Ó ¹ Ø Ò Ö ØÙÖÒ ÔÓ ÒØ Ö ØÓ Ù«Ö ÓÒØ Ò Ò Ø ÙÖ¹ Ö ÒØ Ú ÐÙ Ó Ø Ø ØÖ Ø Ó Øº Ì ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø Ó Ò Ø Ü ÑÔÐ Ù Ø Ò Ü ØÓ Ø ÖÑ Ò Û Ö Ø ØÖ Ø Ó Ø ÐÓÒ ØÓº Ì Ò Ø ÓÑÔÙØ Ø Ú ÐÙ Ó Ø ØÖ Ø Ó Ø Ù Ò Ø ÔÖÓ ÙÖ Ø Ø ÓÖÖ ¹ ÔÓÒ ØÓ Ø Ó Ø³ Ö Ø Ô º Á Ø ØÖ Ø Ó Ø Ø Ô Ø Ó Ö ØÖ Ú ÓÔÝ Ó Ø Ô ÖÓÑ ÓÖ ÖÓÑ Ø Ô µ Ò ÔÔÐ ÒÝ Ô Ò Ò ÑÓ Ø ÓÒ ØÓ Ø Ô Ø Ø Ö Ò Ø ÅÇ º Ì Ø ÙÖÖ ÒØ Ú ÐÙ Ó Ø Ô Ø Ø Ö ØÙÖÒ º Î Ð Ø ÓÒ ÕÙ Ù º Á Ø Ó Ø Ö ÔÖ ÒØ Ú Ð Ø ÓÒ ÕÙ Ù ÒØÖÝ Ø Ó Ö ØÖ Ú Ø Ø Ñ Ø ÑÔ Ø Ø ÓÖÖ ¹ ÔÓÒ ØÓ Ø ÒØÖÝ ÖÓÑ Ø ÎÉ ÖÖ Ý Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒº Ì Ò Ø Ù Ø Ø Ñ Ø ÑÔ ØÓ Ø Ø ÒØÖÝ ÖÓÑ Ø ÎÉ Ñ ÒØ Ò Ý Ø ÖÚ Ö Ò ÓÔ Ø Ø Û Ø ÓÖ Ó Ó Ø Ö ÓÖ ÑÓ Ý Ø ØÖ Ò Ø ÓÒ ØÓ ÓÑÔÓ Ø Ú ÐÙ Ó Ø ØÖ Ø Ó Øº ÁÒÚ Ð Ø º Á Ø Ó Ø Ö ÔÖ ÒØ Ò ÒÚ Ð Ø ÓÖ Ð ÒØ Û Ø ÒÙÑ Ö Ø Ó Ù Ø Ð ÒØ ÖÖ Ý Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ØÓ Ñ Ô ØÓ Ø Ð ÒØ Ø ØÖÙØÙÖ Ñ ÒØ Ò Ý Ø ÖÚ Ö ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ð Òغ Ì Ò Ø Ö ØÖ Ú Ø Ð ÒØ ÒÚ Ð Ø ÖÓÑ Ø Ø ØÖÙØÙÖ Ò Ù Ø ØÓ ÓÑÔÓ Ø ØÖ Ø Ó Ø Ú ÐÙ º ¹Ô Ö ØÓÖݺ ÁÒ Ø Ø Ó Ø Ö¹ Ñ Ò Ø Ô ÒÙÑ Ó Ø Ö ÕÙ Ø ØÖ Ø Ó Ø Ý Óѹ ÔÙØ Ò Ø Ó«Ø ØÓ Ø ÒÒ Ò Ó Ø Ö º Ì Ò Ø Ù Ø Ô ÒÙÑ ØÓ ÐÓÓ ÙÔ Ø Ò ÓÖÑ Ø ÓÒ ØÓ ÓÑÔÓ Ø ¹ ØÖ Ø Ó Ø Ú ÐÙ Ò Ø ¹Ô Ö ØÓÖÝ Ñ ÒØ Ò Ý Ø ÖÚ Öº Ì ÔÙØ Ó ÙÔ ÐÐ Ö Ú Ò ÖÖ Ý Û Ø Ò Û Ú ÐÙ ÓÖ ØÖ Ø Ó Ø Ò ÙÔ Ø Ø ÓÒÖ Ø Ø Ø ØÓ Ñ Ø Ø Ú ÐÙ º ÁØ Ø Ö Ø ÓÚ Ö Ø ØÖ Ø Ó Ø Ú ÐÙ Ò Ù Ø Ó Ø Ò ØÓ Ø ÖÑ Ò Û Ó Ø ÔÖÓ ÙÖ ÐÓÛ ØÓ Ü ÙØ º Ø Ô º ÌÓ ÙÔ Ø ÓÒÖ Ø Ø Ô ÔÙØ Ó Ö ÑÓÚ ÒÝ ÑÓ Ø ÓÒ Ò Ø ÅÇ ÓÖ Ø Ø Ô ØÓ Ò ÙÖ Ø Ø Ø Ò Û Ô Ú ÐÙ Û ÐÐ ÒÓØ ÓÚ ÖÛÖ Ø¹ Ø Ò Û Ø ÓÐ ÑÓ Ø ÓÒ º Ì Ò Ø ÔÐ Ô Ñ Ø Ò Ø Ò Û ØÖ Ø Ú ÐÙ Ò Ø ÖÚ Ö³ Ò Ñ Ö Ø ÖØݺ Î Ð Ø ÓÒ ÕÙ Ù ÒÚ Ð Ø Ò ¹Ô ¹ Ö ØÓÖݺ Á Ø Ö Ð Ú ÒØ ÖÚ Ö Ø ØÖÙØÙÖ ÐÖ Ý ÓÒ¹ Ø Ò Ò ÒØÖÝ ÓÖÖ ÔÓÒ Ò ØÓ Ò Û ØÖ Ø Ó Ø Ú ÐÙ Ø ÙÒØ ÓÒ Ù Ø ÙÔ Ø Ø ÒØÖÝ ÓÖ Ò ØÓ Ø Ò Û Ú ÐÙ º ÇØ ÖÛ Ø ÑÙ Ø Ð Ø Ø ÒØÖÝ ÖÓÑ Ø ÖÚ Ö Ø ØÖÙØÙÖ Ø Ò Û ØÖ Ø Ó Ø Ú ÐÙ Ö ÒÓÒ¹ Ü Ø ÒØ ÒØÖÝ ÓÖ Ö Ø Ø ÒØÖÝ Ø ÒÓØ ÔÖ Ú ¹ ÓÙ ÐÝ Ü Ø Ò ÐÐ Ò Ø Ú ÐÙ ÓÖ Ò ØÓ Ø Ò Û ¹ ØÖ Ø Ú ÐÙ º Ì ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ÙÔ Ø ÓÖ Ò Ðݺ 4. EVALUATION ÇÙÖ Ö ÔÐ Ø ÓÒ Ø Ò ÕÙ ÑÙ Ø Ú ØÛÓ Ó Ð ØÓ Ù ÙÐ Ø ÑÙ Ø Ú ÐÓÛÓÚ Ö Ò Ø Ó Ó Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ÑÙ Ø ÑÔÐ º ÁØ ÑÔÓÖØ ÒØ ÓÖ Ø Ó ØÓ Ñ¹ ÔÐ ØÓ Ö Ù Ø Ð Ð ÓÓ Ó ÒØÖÓ Ù Ò ÑÓÖ ÖÖÓÖ Ò ØÓ Ô Ø ÑÓÒ Ø ÖÝ Ó Ø Ó Ù Ò ÓÙÖ Ø Ò ÕÙ ÐÓÛº Ì Ø ÓÒ Ú ÐÙ Ø Ø ÜØ ÒØ ØÓ Û ÓØ Ü ÑÔÐ ÔÔÐ ¹ Ø ÓÒ Ñ Ø Ó Ø Ó Ð º 4. File System Overhead Ì Ø ÓÒ ÔÖ ÒØ Ö ÙÐØ Ó ÜÔ Ö Ñ ÒØ Ø Ø ÓÑÔ Ö Ø Ô Ö ÓÖÑ Ò Ó ÓÙÖ Ö ÔÐ Ø Ð Ý Ø Ñ Û Ø Ø Ó«¹ Ø ¹ Ð ÙÒÖ ÔÐ Ø Æ Ë ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ø Ø ÛÖ Ô º 4.. Experimental Setup ÇÙÖ Ø Ò ÕÙ Ø Ö Ú ÒØ Ö Ù Ó Ü Ø Ò Ó Ó ØÛ Ö Ö ÙÚ Ò Ø ÓÒ Ù Ò ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ò ÓÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò º Ï ÔÖ ÒØ Ö ÙÐØ Ó ÜÔ Ö Ñ ÒØ ØÓ Ñ ÙÖ Ø ÓÚ Ö Ò Ý Ø Ñ Ø Ø Ò ¹ Ø ÖÓÑ «Ö ÒØ ÓÑ Ò Ø ÓÒ Ó Ø Ú ÒØ º Ï Ö Ò ÜÔ Ö Ñ ÒØ Û Ø Ò Û Ø ÓÙØ ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ò Ó¹ ÑÓ Ò ÓÙ ØÙÔ Û Ö ÐÐ Ö ÔÐ Ö Ò Ø Ñ ÓÔ Ö Ø Ò Ý Ø Ñ Ò Ò Ø ÖÓ ÒÓÙ ØÙÔ Û Ö Ö ÔÐ Ö Ò «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñº ÐÐ ÜÔ Ö Ñ ÒØ Ö Ò Û Ø ÓÙÖ Ö ÔÐ Ò ÓÒ Ð Òغ ÓÙÖ Ö ÔÐ Ò ØÓÐ Ö Ø ÓÒ ÝÞ ÒØ Ò ÙÐØ Û ÜÔ Ø Ø Ö Ð ¹ Ð ØÝ Ð Ú Ð ØÓ ÙÆ ÓÖ ÑÓ Ø ÔÔÐ Ø ÓÒ º ÜÔ Ö Ñ ÒØ ØÓ Ú ÐÙ Ø Ø Ô Ö ÓÖÑ Ò Ó Ø Ö ÔÐ Ø ÓÒ Ð ÓÖ Ø Ñ Û Ø ÑÓÖ Ð ÒØ Ò Ö ÔÐ ÔÔ Ö Ò º ÁÒ Ø ÓÑÓ Ò ÓÙ ØÙÔ Ð ÒØ Ò Ö ÔÐ Ö Ò ÓÒ ÐÐ ÈÖ ÓÒ ½¼ ÛÓÖ Ø Ø ÓÒ Û Ø Ä ÒÙÜ ¾º¾º½ ¹ ÙÒ ÔÖÓ¹ ÓÖµº Ì ÛÓÖ Ø Ø ÓÒ Ú ¼¼ ÅÀÞ È ÒØ ÙÑ ÁÁÁ ÔÖÓ ÓÖ ½¾ Å Ó Ñ ÑÓÖÝ Ò ÉÙ ÒØÙÑ ØÐ ½¼Ã ½ ÏÄË º ÐÐ Ñ Ò Û Ö ÓÒÒ Ø Ý ½¼¼ Å» Û Ø Ø ÖÒ Ø Ò ÓÑ ¼ ÒØ Ö Ö º Ì Û Ø Û Ò ÜØÖ Ñ Æ ØÛÓÖ ËÙÑÑ Ø Î º½º Ì ÜÔ Ö Ñ ÒØ Ö Ò ÓÒ Ò ÓÐ Ø Ò ØÛÓÖ º Ì Ø ÖÓ Ò ÓÙ ØÙÔ Ù Ø Ñ Ö Û Ö ØÙÔ ÙØ ÓÑ Ö ÔÐ Ö Ò «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñ º Ì Ð ÒØ Ò ÓÒ Ó Ø Ö ÔÐ Ö Ò Ä ÒÙÜ Ò Ø ÓÑÓ Ò ÓÙ ØÙÔº Ì ÓØ Ö Ö ÔÐ Ö Ò «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñ ÓÒ Ö Ò ËÓÐ Ö ½»¼½ ÒÓØ Ö Ö Ò ÇÔ Ò Ë ¾º Ò Ø Ð Ø ÓÒ Ö Ò Ö Ë º¼º ÐÐ ÜÔ Ö Ñ ÒØ Ö Ò Ø ÑÓ Ò Ö Û Ò Ñ Ö ½ ¼ Û ÑÙÐ Ø Ó ØÛ Ö Ú ÐÓÔÑ ÒØÛÓÖ ÐÓ º ÁØ

10 Ú Ô ½µ Ö Ø Ù Ö ØÓÖ Ö ÙÖ Ú ÐÝ ¾µ ÓÔ ÓÙÖ ØÖ µ Ü Ñ Ò Ø Ø ØÙ Ó ÐÐ Ø Ð Ò Ø ØÖ Û Ø ÓÙØ Ü Ñ Ò Ò Ø Ö Ø µ Ü Ñ Ò Ú ÖÝ ÝØ Ó Ø Ò ÐÐ Ø Ð Ò µ ÓÑÔ Ð Ò Ð Ò Ø Ð º Ì Ý Ö Ò Ø Ð ÙÔ Ú Ö ÓÒ Ó Ø Ò Ñ Ö Ö Ò Û Ö Ô ½ Ò ¾ Ö Ø Ò ÓÔ Ó Ø ÓÙÖ ØÖ Ò Ø ÓØ Ö Ô ÓÔ Ö Ø Ò ÐÐ Ø ÓÔ º Ï Ö Ò Ú Ö ÓÒ Ó Ò Ö Û Û Ø Ò ÕÙ Ð ØÓ ½¼¼ Ò Ö Û½¼¼ Ø Ø Ö Ø ÔÔÖÓÜ Ñ Ø ÐÝ ¾¼¼ Å Ó Ø Ò ÒÓØ Ö Û Ø Ò ÕÙ Ð ØÓ ¼¼ Ò Ö Û ¼¼ Ø Ø Ö Ø ÔÔÖÓÜ Ñ Ø ÐÝ ½ Ó Ø º Ò Ö Û½¼¼ Ø Ò Ñ ÑÓÖÝ Ø ÓØ Ø Ð ÒØ Ò Ø Ö ÔÐ ÙØ Ò Ö Û ¼¼ Ó ÒÓغ Ì Ò Ñ Ö Ö Ò Ø Ø Ð ÒØ Ñ Ò Ù Ò Ø Ø Ò¹ Ö Æ Ë Ð ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ø Ä ÒÙÜ ÖÒ Ð Û Ø Ø ÓÐÐÓÛ Ò ÑÓÙÒØ ÓÔØ ÓÒ Í È ØÖ Ò ÔÓÖØ ¼ ¹ ÝØ Ö Ò ÛÖ Ø Ù«Ö ÐÐÓÛ Ò ÛÖ Ø ¹ Ð ÒØ Ò Ò ÐÐÓÛ Ò ØØÖ ÙØ Ò º ÐÐ Ø ÜÔ Ö Ñ ÒØ Ö ÔÓÖØ Ø Ú Ö Ó Ø Ö ÖÙÒ Ó Ø Ò Ñ Ö Ò Ø Ø Ò Ö Ú Ø ÓÒ Û ÐÛ Ý ÐÓÛ ± Ó Ø Ö ÔÓÖØ Ú ÐÙ º 4..2 Homogeneous Results Ì Ð ½ Ò ¾ ÔÖ ÒØ Ø Ö ÙÐØ ÓÖ Ò Ö Û½¼¼ Ò Ò Ö Û ¼¼ Ò Ø ÓÑÓ Ò ÓÙ ØÙÔ Û Ø ÒÓ ÔÖÓ Ø Ú Ö ¹ ÓÚ Öݺ Ì Ý ÓÑÔ Ö Ø Ô Ö ÓÖÑ Ò Ó ÓÙÖ Ö ÔÐ Ø Ð Ý Ø Ñ Ë Ë Û Ø Ø Ø Ò Ö ÙÒÖ ÔÐ Ø Æ Ë Ñ¹ ÔÐ Ñ ÒØ Ø ÓÒ Ò Ä ÒÙÜ Û Ø Üؾ Ø Ø ÖÚ Ö Æ Ë¹ Ø º ÁÒ Ø ÜÔ Ö Ñ ÒØ Ë Ë Ð Ó ÑÔÐ Ñ ÒØ ÓÒ ØÓÔ Ó Ä ÒÙÜ Æ Ë ÖÚ Ö Û Ø Üؾ Ø Ö ÔÐ º Ô Ë Ë Æ Ë¹ Ø ½ ¼º ¼º ¾ º¾ ¾ º º º¾ º º ¾ º ¾ º ØÓØ Ð ¾ º º Ì Ð ½ Ò Ö Û½¼¼ Ð Ô Ø Ñ Ò ÓÒ Ì Ö ÙÐØ ÓÛ Ø Ø Ø ÓÚ Ö ÒØÖÓ Ù Ý ÓÙÖ Ö ÔÐ Ø ÓÒ Ø Ò ÕÙ ÐÓÛ Ë Ë Ø ÓÒÐÝ ¾ ± ÐÓÒ Ö Ø Ò Æ Ë¹ Ø ØÓ ÖÙÒ Ò Ö Û½¼¼ Ò ¾ ± ÐÓÒ Ö ØÓ ÖÙÒ Ò¹ Ö Û ¼¼º Ì ÓÚ Ö «Ö ÒØ ÓÖ Ø «Ö ÒØ Ô ÑÓ ØÐÝ Ù ØÓ Ú Ö Ø ÓÒ Ò Ø ÑÓÙÒØ Ó Ø Ñ Ø Ð ÒØ Ô Ò ÓÑÔÙØ Ò ØÛ Ò Ù Ò Æ Ë Ö ÕÙ Ø º Ì Ö Ö ØÛÓ Ñ Ò ÓÙÖ Ó ÓÚ Ö Ø Ó Ø Ó ÖÙÒ¹ Ò Ò Ø ÝÞ ÒØ Ò ¹ ÙÐعØÓÐ Ö ÒØ Ö ÔÐ Ø ÓÒ ÔÖÓØÓÓÐ Ò Ø Ó Ø Ó ØÖ Ø ÓÒº Ì Ð ØØ Ö ÒÐÙ Ø Ø Ñ Ô ÒØ ÖÙÒÒ Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø Ñ Ô ÒØ ÖÙÒ¹ Ò Ò Ø ØÖ Ø ÓÒ ÙÒØ ÓÒ ØÓ ÓÑÔÙØ ÔÓ ÒØ Ó Ø ØÖ Ø Ð Ý Ø Ñ Ø Ø º Ï Ø Ñ Ø Ø Ø Ø ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò ÔÖÓØÓÓÐ ÔÔÖÓÜ Ñ Ø ÐÝ ½ ± Ó ÓÚ Ö Ö Ð Ø Ú ØÓ Æ Ë¹ Ø Ò Ò Ö Û½¼¼ Ò ¾¼± Ò Ò Ö Û ¼¼º Ì Ø Ñ Ø ÓÒ Ø ÓÚ Ö Ó Ë Ö Ð Ø Ú ØÓ ÆÇ¹Ê È ÓÖ Ò Ö Û½¼¼ Ò Ò Ö Û ¼¼ Ø Ø Û Ö ÔÓÖØ Ò º Ï ÜÔ Ø Ø Ø Ñ Ø ØÓ ÖÐÝ ÙÖ Ø Ë Ú ÖÝ Ñ Ð Ö ØÓ Ë Ë Ü ÔØ Ø Ø Ø Ó ÒÓØ Ù ØÖ ¹ Ø ÓÒ Ò ÆÇ¹Ê È ÒØ Ð ØÓ Ë Ü ÔØ Ø Ø Ø ÒÓØ Ö ÔÐ Ø º Ì Ö Ñ Ò Ò ÓÚ Ö Ó ½½± Ö Ð Ø Ú ØÓ Æ Ë¹ Ø Ò Ò Ö Û½¼¼ Ò ± Ò Ò Ö Û ¼¼ Ò ØØÖ ÙØ ØÓ ØÖ Ø ÓÒº Ï Ð Ó Ö Ò Ò Ö Û½¼¼ Ò Ò Ö Û ¼¼ Û Ø ÔÖÓ Ø Ú Ö ÓÚ Öݺ Ì Ö ÙÐØ Û Ö Ð Ð Ë Ë¹ÈÊ Ö Ô Ë Ë Æ Ë¹ Ø ½ º¼ ¾º ¾ ¾ º¾ ½ º ¾ ½º ½ º¾ ¾ º ¾ º½ ½ º ½¾ º½ ØÓØ Ð ¾ ¾ º ½ ¾ º Ì Ð ¾ Ò Ö Û ¼¼ Ð Ô Ø Ñ Ò ÓÒ ÓÛÒ Ò Ì Ð º Ì Ö ÙÐØ ÓÖ Ò Ö Û½¼¼ Û Ö Ó Ø Ò ÝÖ ÓÚ Ö Ò Ö ÔÐ ÖÓÙÒ ÖÓ Ò Û Ø Ò Û Ö ÓÚ ÖÝ Ø Öع Ò Ú ÖÝ ¼ ÓÒ Ò Ö ÓÓØ Û Ö ÑÙÐ Ø Ý Ð Ô Ò ¼ ÓÒ ½ º Ï Ó Ø Ò Ø Ö ÙÐØ ÓÖ Ò Ö Û ¼¼ Ò Ø Ñ Û Ý ÙØ Ò Ø Ò Û Ö ÓÚ ÖÝ Û Ø ÖØ Ú¹ ÖÝ ¾ ¼ ÓÒ º Ì Ð ØÓ Û Ò ÓÛ Ó ÚÙÐÒ Ö Ð ØÝ Ó ÔÔÖÓÜ Ñ Ø ÐÝ Ñ ÒÙØ ÓÖ Ò Ö Û½¼¼ Ò ½ Ñ ÒÙØ ÓÖ Ò Ö Û ¼¼ Ø Ø Ø Ý Ø Ñ Û ÐÐ ÛÓÖ ÓÖÖ ØÐÝ ÐÓÒ Û Ö Ø Ò ½» Ó Ø Ö ÔÐ Ð Ò ÓÖÖ Ð Ø Û Ý Û Ø Ò ÒÝ Ø Ñ Û Ò ÓÛ Ó Þ ÓÖ ½ µ Ñ ÒÙØ º Ì Ö ÙÐØ ÓÛ Ø Ø Ú Ò Û Ø Ø Ú ÖÝ ØÖÓÒ Ù Ö ÒØ Ë Ë ÓÒÐÝ ¾± ÐÓÛ Ö Ø Ò Æ Ë¹ Ø Ò Ò Ö Û½¼¼ Ò ½± ÐÓÛ Ö Ò Ò Ö Û ¼¼º Ý Ø Ñ Ò Ö Û½¼¼ Ò Ö Û ¼¼ Ë Ë¹ÈÊ º¾ ¾ º½ Ë Ë ¾ º ¾ ¾ º Æ Ë¹ Ø º ½ ¾ º Ì Ð Ò Ö Û Û Ø ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ð Ô Ø Ñ ØÓ ÖÙÒ Ø Ò Ñ Ö Ò ÓÒ º Ì Ð ÔÖ ÒØ Ö ÓÛÒ Ó Ø Ø Ñ ØÓ ÓÑÔÐ Ø Ø ÐÓÛ Ø Ö ÓÚ ÖÝ Ò Ò Ö Û½¼¼ Ò Ò Ö Û ¼¼º Ë Ùع ÓÛÒ ÓÙÒØ ÓÖ Ø Ø Ñ ØÓ ÛÖ Ø Ø Ø Ø Ó Ø Ö ÔÐ ¹ Ø ÓÒ Ð Ö ÖÝ Ò Ø ÓÒ ÓÖÑ Ò Ö ÔÖ ÒØ Ø ÓÒ ØÓ Ò Ö Ø ÖØ Ø Ø Ñ ØÓ Ö Ø Ò ÓÖÑ Ø ÓÒ º Ø Ò Ø Ø Ñ ØÓ Ö Ù Ð Ø Ó ØÓ Ð Ò Ð Ñ ÔÔ Ò Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö ØÓ ÓÒÚ ÖØ Ø Ø Ø ØÓÖ Ý Ø Æ Ë ÖÚ Ö ØÓ Ø ØÖ Ø ÓÖÑ Ò Ø Ò ØÓ Ø ÓÙØ¹Ó ¹ Ø Ó Ø ÖÓÑ ÓØ Ö Ö ÔÐ º Ø Ò ÓÙØ¹Ó ¹ Ø Ó Ø ÓÒ Ò Ô Ö ÐÐ Ð Û Ø ÓÒÚ ÖØ Ò Ò Ò Ø Ø Ø º Ò Ö Û½¼¼ Ò Ö Û ¼¼ ÙØ ÓÛÒ ¼º¼ ¼º ¾ Ö ÓÓØ ¼º¼ ¼º¼ Ö Ø ÖØ ¼º½ ¼º Ø Ò ½ º¾ ½ ½º ØÓØ Ð º ½ ¾º ½ Ì Ð Ò Ö Û Ñ Ü ÑÙÑ Ø Ñ ØÓ ÓÑÔÐ Ø Ö ÓÚ ÖÝ Ò ÓÒ º Ì Ö ÓÚ ÖÝ Ø Ñ Ò Ò Ö Û½¼¼ ÓÑ Ò Ø Ý Ø Ø Ñ ØÓ Ö ÓÓØ ÙØ Ø Ø Ø Þ ÒÖ Ö Ò ÓÒÚ Öع Ò Ò Ò Ø Ø Ø ÓÑ Ø ÓÑ Ò ÒØ Ó Ø Ø ÓÙÒØ ÓÖ ½ ½ ÓÒ Ò Ò Ö Û ¼¼ ¾± Ó Ø ØÓØ Ð Ö ÓÚ ÖÝ Ø Ñ µº Ë Ð Ò ØÓ Ð Ö Ö Ø Ø Ò Ù ÙØ Û ½ Ì Ö ÓÓØ Ø Ñ ÓÒ Ø Ö ÙÐØ Ó Ø Ò Ý Ø Ä ÒÙÜ ÁÇË ÔÖÓ Ø ¾ º Ì Ý Ð Ñ ØÓ Ð ØÓ Ö ÓÓØ Ä ÒÙÜ Ò Ý Ö ÔÐ Ò Ø ÁÇË Û Ø Ä ÒÙܺ

11 ÓÙÐ Ù Ø Ø Ò ÕÙ Ù Ø Ò Ø Ø Ñ Ø Ó Ø Ó Ò ÔÖÓÔÓÖØ ÓÒ Ð ØÓ Ø ÒÙÑ Ö Ó Ó Ø ÑÓ Ò Ø Ñ Ô Ö Ó Ö Ø Ö Ø Ò ØÓ Ø ØÓØ Ð ÒÙÑ Ö Ó Ó Ø Ò Ø Ø Ø º Ñ ÒØ ÓÒ Û ÛÓÙÐ Ð ÓÙÖ ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ÔÖÓ ¹ Ø Ú Ö ÓÚ ÖÝ ØÓ Ø ÖØ Ò Æ Ë ÖÚ Ö ÓÒ ÓÒ ÑÔØÝ Û Ø Ð Ò Ð Ý Ø Ñ ØÓ ÑÔÖÓÚ Ø Ö Ò Ó ÙÐØ Ø Ø Ò ØÓÐ Ö Ø º ÜØ Ò Ò ÓÙÖ ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ø Û Ý ÓÙÐ ÒÓØ «Ø Ø Ô Ö ÓÖÑ Ò Ó Ø Ö ÓÚ ÖÝ Ò ¹ ÒØÐݺ Ï ÛÓÙÐ ÛÖ Ø ØÖ Ø Ó Ø ØÓ Ø Ò Û Ð Ý Ø Ñ ÝÒ ÖÓÒÓÙ ÐÝ Ö Ø Ø Ö Ò Øº Ë Ò Ø Ú ÐÙ Ó Ø ØÖ Ø Ó Ø ÐÖ Ý Ò Ñ ÑÓÖÝ Ø Ø ÔÓ ÒØ Ò Ø ÛÖ ØØ Ò ØÓ «Ö ÒØ Ø Ø ÓÒ Ð ÓÚ Ö ÓÙÐ Ñ Ò Ñ Ðº 4..3 Heterogeneous Results Ì Ð ÔÖ ÒØ Ö ÙÐØ ÓÖ Ò Ö Û½¼¼ Û Ø Ò Û Ø ÓÙØ ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ò Ø Ø ÖÓ ÒÓÙ ØÙÔº ÁÒ Ø Ü¹ Ô Ö Ñ ÒØ Ë Ë Ö ÔÐ ÖÙÒ «Ö ÒØ ÓÔ Ö Ø Ò Ý Ø Ñ Û Ø «Ö ÒØ Æ Ë Ò Ð Ý Ø Ñ ÑÔÐ Ñ ÒØ Ø ÓÒº Ì Ø Ð Ð Ó ÔÖ ÒØ Ö ÙÐØ ÓÖ Ø Ø Ò Ö Æ Ë ÑÔÐ ¹ Ñ ÒØ Ø ÓÒ Ò ÓÔ Ö Ø Ò Ý Ø Ñ Û Ø ÓÙØ Ö ÔÐ Ø ÓÒº Ý Ø Ñ Ë Ë¹ÈÊ Ë Ë ÇÔ Ò Ë ËÓÐ Ö Ö Ë Ä ÒÙÜ Ð Ô Ø Ñ ½ ¼º ½ ¾º¾ ½ º½ ½¼¼ º¾ º º Ì Ð Ò Ö Û½¼¼ Ø ÖÓ Ò ÓÙ Ð Ô Ø Ñ Ò ÓÒ Ì ÓÚ Ö Ó Ë Ë Ò Ø ÜÔ Ö Ñ ÒØ Ú Ö ÖÓÑ ± Ö Ð Ø Ú ØÓØ ÐÓÛ Ø Ö ÔÐ ÇÔ Ò Ë µ ØÓ ½± Ö Ð ¹ Ø Ú ØÓ Ø Ø Ø Ö ÔÐ Ä ÒÙܵº Ì Ö ÔÐ ÖÙÒÒ Ò Ä ÒÙÜ ÑÙ Ø Ö Ø Ò ÐÐ Ø ÓØ Ö Ù Ä ÒÙÜ Ó ÒÓØ Ò¹ ÙÖ Ø Ð ØÝ Ó ÑÓ Ø Ò Ñ Ø ¹ Ø ÓÖ Ö ÔÐÝ Ò ØÓ Ø Ð ÒØ Ö ÕÙ Ö Ý Ø Æ Ë ÔÖÓØÓÓк Ì ÓÚ Ö Ö Ð Ø Ú ØÓ ÇÔ Ò Ë ÐÓÛ Ù Ë Ë ÓÒÐÝ Ö ÕÙ Ö ÕÙÓÖÙÑ Û Ø Ö ÔÐ Û ÑÙ Ø ÒÐÙ Ø ÔÖ Ñ ÖÝ ØÓ ÓÑÔÐ Ø ÓÔ Ö Ø ÓÒ º Ì Ö ÙÐØ Û Ö Ó Ø Ò Û Ø Ø ÔÖ Ñ ÖÝ Ö ÔÐ Ò Ø Ñ Ò ÖÙÒÒ Ò Ä ÒÙܺ Ì Ö ¹ ÓÖ Ë Ë Ó ÒÓØ Ò ØÓ Û Ø ÓÖ Ø ÐÓÛ Ø Ö ÔÐ ØÓ ÓÑÔÐ Ø ÓÔ Ö Ø ÓÒ º ÀÓÛ Ú Ö Ø Ö ÔÐ ÐÓÛ ÓÛÒ Ø ÓØ Ö Ù Ø Ø ÓÙØ¹Ó ¹ Ø Ö ÕÙ ÒØÐÝ Ò Ò Ø ¹ Ø Ø Ø ØÖ Ò Ö º Ì ÜÔÐ Ò Û Ý Ø ÓÚ Ö Ö Ð Ø Ú ØÓ Ø Ø Ö Ø Ø Ö ÔÐ ËÓÐ Ö µ Ö Ø Ò Ò Ø Ó¹ ÑÓ Ò ÓÙ º Ï Ð Ó Ö Ò Ë Ë Û Ø ÔÖÓ Ø Ú Ö ÓÚ Ö Ò Ø Ø¹ ÖÓ Ò ÓÙ ØÙÔº Ï Ö ÓÚ Ö Ò Û Ö ÔÐ Ú ÖÝ ¾ ÓÒ Ò Ö ÓÓØ Û Ö ÑÙÐ Ø Ý Ð Ô Ò ¼ ÓÒ º ÁÒ Ø Ø ÓÚ Ö Ú Ö ÖÓÑ ¾¾± Ö Ð Ø Ú ØÓ Ø ÐÓÛ Ø Ö ÔÐ ØÓ ± Ö Ð Ø Ú ØÓ Ø Ø Ø Ö ÔÐ º Ì ÓÚ Ö Ó Ë Ë¹ÈÊ Ö Ð Ø Ú ØÓ Ë Ë Û Ø ¹ ÓÙØ ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ö Ò Ø Ø ÖÓ Ò ÓÙ ØÙÔ Ø Ò Ò Ø ÓÑÓ Ò ÓÙ ØÙÔº Ì ÔÔ Ò Ù ÔÖÓ¹ Ø Ú Ö ÓÚ ÖÝ Ù Ø ÐÓÛ Ø Ö ÔÐ ØÓ ÓÑ Ø ÔÖ ¹ Ñ ÖÝ Ô Ö Ó ÐÐݺ ÙÖ Ò Ø Ô Ö Ó Ø Ý Ø Ñ ÑÙ Ø Û Ø ÓÖ Ø ÐÓÛ Ø Ö ÔÐ ØÓ ÓÑÔÐ Ø ÓÔ Ö Ø ÓÒ º 4.2 Object-Oriented Database Overhead Ì Ø ÓÒ ÔÖ ÒØ Ö ÙÐØ Ó ÜÔ Ö Ñ ÒØ ØÓ Ñ ÙÖ Ø ÓÚ Ö Ó ÓÙÖ Ö ÔÐ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ì ÓÖ Ö Ð ¹ Ø Ú ØÓ Ø ÓÖ Ò Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ì ÓÖ Û Ø ÓÙØ Ö ÔÐ ¹ Ø ÓÒº ÌÓ ÔÖÓÚ ÓÒ ÖÚ Ø Ú Ñ ÙÖ Ñ ÒØ Ø Ú Ö ÓÒ Ó Ì ÓÖ Û Ø ÓÙØ Ö ÔÐ Ø ÓÒ Ó ÒÓØ Ò ÙÖ Ø Ð ØÝ Ó Ò ÓÖ¹ Ñ Ø ÓÒ ÓÑÑ ØØ Ý ØÖ Ò Ø ÓÒº Ö Ð ÑÔÐ Ñ ÒØ Ø ÓÒ ÛÓÙÐ Ú ØÖ Ò Ø ÓÒ ÐÓ ØÓ ÓÖ Ù Ö ÔÐ Ø ÓÒ ØÓ Ò ÙÖ Ø Ð ØÝ Û Óº ÁÒ Ø Ö Ø ÓÚ Ö ÒØÖÓ¹ Ù Ý Ë ÛÓÙÐ ÐÓÛ Öº 4.2. Experimental Setup Ï Ö Ò ÓÙÖ Ö ÔÐ Ò ÓÒ Ð ÒØ Ò Ø ÓÑÓ Ò ÓÙ ØÙÔ Ö Ò Ë Ø ÓÒ º½º Ì ÜÔ Ö Ñ ÒØ Ö Ò Ø ÇÇ Ò Ñ Ö Û ÒØ Ò ØÓ Ñ Ø Ø Ö ¹ Ø Ö Ø Ó Ñ ÒÝ «Ö ÒØ» Å» Ë ÔÔÐ Ø ÓÒ º Ì ÇÇ Ø ÓÒØ Ò ØÖ Ó Ñ ÐÝ Ó Ø Û Ø Ð Ú ÔÓ ÒØ Ò ØÓ Ø Ö ÓÑÔÓ Ø Ô ÖØ Ó Ò Ö Ò ÓÑÐÝ ÖÓÑ ÑÓÒ ¼¼ Ù Ó Ø º ÓÑÔÓ Ø Ô ÖØ ÓÒ¹ Ø Ò Ö Ô Ó ØÓÑ Ô ÖØ Ð Ò Ý ÓÒÒ Ø ÓÒ Ó Ø ØÓÑ Ô ÖØ ÓÙØ Ó Ò ÓÒÒ Ø ÓÒ º ÐÐ ÓÙÖ ÜÔ Ö¹ Ñ ÒØ Ö Ò ÓÒ Ø Ñ ÙÑ Ø Û ¾¼¼ ØÓÑ Ô ÖØ Ô Ö ÓÑÔÓ Ø Ô Öغ Ì ÇÇ Ò Ñ Ö Ò Ú Ö Ð Ø ØÖ Ú Ö Ð Ø Ô Ö ÓÖÑ ÔØ ¹ Ö Ø ØÖ Ú Ö Ð Ó Ø Ñ ÐÝ ØÖ Ò Ü ÙØ Ò ÓÔ Ö Ø ÓÒ ÓÒ Ø ÓÑÔÓ Ø Ô ÖØ Ö Ö Ò Ý Ø Ð Ú Ó Ø ØÖ º ÌÖ Ú Ö Ð Ì½ Ò Ì Ö Ö ¹ ÓÒÐÝ Ì½ Ô Ö ÓÖÑ ÔØ ¹ Ö Ø ØÖ Ú Ö Ð Ó Ø ÒØ Ö Óѹ ÔÓ Ø Ô ÖØ Ö Ô Û Ð Ì Ö ÓÒÐÝ Ø ÖÓÓØ ØÓÑ Ô Öغ ÌÖ Ú Ö Ð Ì¾ Ò Ì¾ Ö ÒØ Ð ØÓ Ì½ Ü ÔØ Ø Ø Ì¾ ÑÓ Ø ÖÓÓØ ØÓÑ Ô ÖØ Ó Ø Ö Ô Û Ð Ì¾ ÑÓ ¹ ÐÐ Ø ØÓÑ Ô ÖØ º Ï Ö Ò ØÖ Ú Ö Ð Ò Ò Ð ØÖ Ò Ø ÓÒº Ì Ó Ø Ö ÐÙ Ø Ö ÒØÓ Ã Ô Ò Ø Ø º Ì Ø Ø ÙÔ Å Ò ÓÙÖ ÑÔÐ Ñ ÒØ Ø ÓÒº ÖÚ Ö Ö ÔÐ ¾¼ Å Ó Û ½ Å Û Ö Ù ÓÖ Ø ÅÇ µ Ø Ð ÒØ ½ Å º ÐÐ Ø Ö ÙÐØ Û Ö ÔÓÖØ Ö ÓÖ ÓÐ ØÖ Ú Ö Ð Ø Ð ÒØ Ò ÖÚ Ö Û Ö ÑÔØÝ Ò Ø ÒÒ Ò Ó Ø ØÖ Ú Ö Ð º OO7 Results Ì Ö ÙÐØ Ò ÙÖ Ö ÓÖ Ö ¹ÓÒÐÝ ØÖ Ú Ö Ð º Ï Ñ ÙÖ Ð Ô Ø Ñ ÓÖ Ì½ Ò Ì ØÖ Ú Ö Ð Ó Ø Ø ÓØ Ò Ø ÓÖ Ò Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ì ÓÖ Ò Ø Ú Ö ÓÒ Ø Ø Ö ÔÐ Ø Û Ø Ë Ë ¹Ì ÓÖº Ì ÙÖ ÓÛ Ø ØÓØ Ð Ø Ñ ØÓ ÖÙÒ Ø ØÖ Ò Ø ÓÒ ÖÓ Ò ÒØÓ Ø Ø Ñ ØÓ ÖÙÒ Ø ØÖ Ú Ö Ð Ò Ø Ø Ñ ØÓ ÓÑÑ Ø Ø ØÖ Ò Ø ÓÒº Ë ¹Ì ÓÖ Ø ± ÑÓÖ Ø Ñ ØÓ ÓÑÔÐ Ø Ì½ Ò ¾ ± ÑÓÖ Ø Ñ ØÓ ÓÑÔÐ Ø Ì º Ì ÓÑÑ Ø Ó Ø Ñ ÐÐ Ö Ø ÓÒ Ó Ø ØÓØ Ð Ø Ñ Ò Ø ÜÔ Ö Ñ ÒØ º Ì Ö ÓÖ ÑÓ Ø Ó Ø ÓÚ Ö Ù ØÓ Ò ÒÖ Ò Ø Ó Ø ØÓ Ø Ô º Ì Ñ ÖÓ¹ Ò Ñ Ö Ò ÔÖ Ø Ò ÓÚ Ö Ó ¼± Û Ò Ø Ò Ã Ô Û Ø ÒÓ ÓÑÔÙØ Ø ÓÒ Ø Ø Ð ÒØ ÓÖØ Ö ÔÐ º Ì ÓÚ Ö Ö ÐÓÛ Ö Ù Ø Ô Ú ØÓ Ö ÖÓÑ Ø Ö ÔÐ ³ º Ë Ñ Ð ÖÐÝ Ø Ö Ð Ø Ú ÓÚ Ö ÐÓÛ Ö ÓÖ ØÖ Ú Ö Ð Ì Ù Ø Ò Ö Ø Û Ø Ð ÐÓ Ð Øݺ Ì Ù Ø Ú Ö Ø Ñ ØÓ Ö Ô ÖÓÑ Ø ÖÚ Ö Ö Ò Ì Ø Ò Ò Ì½º Ï ÜÔ Ø Ñ Ð Ö «Ø Ò ÑÓÖ Ö Ð Ø ØØ Ò Û Ö Ø Ø Ó ÒÓØ Ø Ò Ñ Ò Ñ ÑÓÖÝ Ø Ø Ö Ø ÖÚ Ö ÓÖ Ø Ð ÒØ º ÁÒ Ø ØØ Ò Ë Û ÐÐ Ú ÐÓÛ Ö ÓÚ Ö Ù Ø Ó Ø Ó Û ÐÐ

12 Elapsed time (s) T T6 T T6 Thor BASE-Thor Commit Traversal ÙÖ ÇÇ Ð Ô Ø Ñ ÓÐ Ö ¹ÓÒÐÝ ØÖ Ú Ö¹ Ð ÓÑ Ò Ø Ô Ö ÓÖÑ Ò º ÙÖ ÓÛ Ð Ô Ø Ñ ÓÖ Ö ¹ÛÖ Ø ØÖ Ú Ö Ð º ÁÒ Ø Ë Ò ÓÚ Ö Ö Ð Ø Ú ØÓ Ø ÓÖ Ò Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ó ± Ò Ì¾ Ò ± Ò Ì¾ º Ì ØÖ Ú Ö¹ Ð Ø Ñ ÓÖ Ì½ ̾ Ò Ì¾ Ö ÐÑÓ Ø ÒØ Ð Ù Ø ØÖ Ú Ö Ð Ö Ú ÖÝ Ñ Ð Öº Ï Ø «Ö ÒØ Ø Ø Ñ ØÓ ÓÑÑ Ø Ø ØÖ Ò Ø ÓÒ º ÌÖ Ú Ö Ð Ì¾ ÑÓ ¼¼ ØÓÑ Ô ÖØ Û Ö Ì¾ ÑÓ ½¼¼¼¼¼º Ì Ö ÓÖ Ø ÓÑÑ Ø Ø Ñ Ò ÒØ Ö Ø ÓÒ Ó Ø ØÓØ Ð Ø Ñ Ò ØÖ Ú Ö Ð Ì¾ ÙØ ÒÓØ Ò ØÖ Ú Ö Ð Ì¾ º Ë ÒÖ Ø ÓÑÑ Ø ÓÚ Ö Ò ÒØÐÝ Ù ØÓ Ø Ó Ø Ó Ñ Ò¹ Ø Ò Ò ÔÓ ÒØ º Ì ÓÚ Ö ÓÖ Ö ¹ÛÖ Ø ØÖ Ú Ö Ð ÛÓÙÐ Ò ÒØÐÝ ÐÓÛ Ö Ö Ð Ø Ú ØÓ Ú Ö ÓÒ Ó Ì ÓÖ Ø Ø Ò ÙÖ Ø Ð ØÝ Ó ØÖ Ò Ø ÓÒ ÐÓ º Elapsed time (s) T2a T2b T2a T2b Thor BASE-Thor Commit Traversal ÙÖ Ð Ô Ø Ñ ÓÐ Ö ¹ÛÖ Ø ØÖ Ú Ö Ð 4.3 Code Complexity ÌÓ ÑÔÐ Ñ ÒØ Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø Ø ÓÒ¹ Ú Ö ÓÒ ÙÒØ ÓÒ Ø Ò ÖÝ ØÓ ÛÖ Ø Ò Û Ó º ÁØ ÑÔÓÖØ ÒØ ÓÖ Ø Ó ØÓ ÑÔÐ Ó Ø Ø Ø Ý ØÓ ÛÖ Ø Ò ÒÓØ Ð ÐÝØÓ ÒØÖÓ Ù Ò Û Ù º Ï Ñ ÙÖ Ø ÒÙÑ Ö Ó Ñ ÓÐÓÒ Ò Ø Ó Û ÛÖÓØ ÓÖ Ø Ö ÔÐ ¹ Ø Ð Ý Ø Ñ Ò ÓÖ Ø Ö ÔÐ Ø Ø ØÓ Ú ÐÙ Ø Ø ÓÑÔÐ Ü Øݺ ÓÙÒØ Ò Ñ ÓÐÓÒ ØØ Ö Ø Ò ÓÙÒØ Ò Ð Ò Ù Ø Ó ÒÓØ ÓÙÒØ ÓÑÑ ÒØ Ò Ð Ò Ð Ò º Ì Ó Û ÛÖÓØ ÓÖ Ø Ö ÔÐ Ø Ð Ý Ø Ñ ØÓØ Ð Ó ½½¼ Ñ ÓÐÓÒ Û Ø ¾ Ò Ø ÓÒ ÓÖÑ Ò ÛÖ Ô¹ Ô Ö Ò ½ Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ º Ç Ø Ñ ¹ ÓÐÓÒ Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ÓÒÐÝ Ö Ô ØÓ ÔÖÓ Ø Ú Ö ÓÚ Öݺ Ì Ó Ó Ø ÓÒ ÓÖÑ Ò ÛÖ Ô¹ Ô Ö ØÖ Ú Ðº ÁØ ¾ Ñ ¹ÓÐÓÒ ÓÒÐÝ Ù Ø Ö Ö Ñ ÒÝ Æ Ë ÓÔ Ö Ø ÓÒ º Ì Ó Ó Ø Ø Ø ÓÒÚ Ö¹ ÓÒ ÙÒØ ÓÒ Ð ØÐÝ ÑÓÖ ÓÑÔÐ Ü Ù Ø ÒÚÓÐÚ Ö ØÓÖÝ ØÖ ØÖ Ú Ö Ð Û Ø Ú Ö Ð Ô Ð ÙØ Ø Ø ÐÐ Ö Ø Ö ÑÔÐ º ÌÓ ÔÙØ Ø ÒÙÑ Ö Ò Ô Ö Ô Ø Ú Ø ÒÙÑ Ö Ó Ñ ÓÐÓÒ Ò Ø Ó Ò Ø Ä ÒÙÜ ¾º¾º½ ÖÒ Ð Ø Ø Ö ØÐÝ Ö Ð Ø Û Ø Ø Ð Ý Ø Ñ Æ Ë Ò Ø Ö Ú Ö Ó ÓÙÖ Ë ËÁ ÔØ Ö ½ º ÙÖØ ÖÑÓÖ Ø Ö Ô¹ Ö ÒØ ÓÒÐÝ Ñ ÐÐ Ö Ø ÓÒ Ó Ø ØÓØ Ð Þ Ó Ø ÓÔ Ö Ø Ò Ý Ø Ñ Ä ÒÙÜ ¾º¾º ¾ Ñ ÓÐÓÒ ÒÐÙ Ò Ö Ú Ö Ò ¾¾ ¼ Ñ ÓÐÓÒ Û Ø ÓÙØ Ö Ú Ö º Ì Ó Û ÛÖÓØ ÓÖ Ø Ö ÔÐ Ø Ø ØÓØ Ð Ó Ñ ÓÐÓÒ Û Ø Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò ½ Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ º ÌÓ ÔÙØ Ø ÒÙÑ Ö Ò Ô Ö Ô Ø Ú Ø ÒÙÑ Ö Ó Ñ ÓÐÓÒ Ò Ø ÓÖ Ò Ð Ì ÓÖ Ó ¼ º 5. RELATED WORK ÇÙÖ Ø Ò ÕÙ ÓÖ Ó ØÛ Ö Ö ÙÚ Ò Ø ÓÒ ½ ÓÒ Ø ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Ø Ò ÕÙ ÑÔÐ Ñ ÒØ Ò Ì º ÙØ Ø Ù Ó ØÖ Ø ÓÒ ÐÐÓÛ Ù ØÓ ØÓÐ Ö Ø Ó ØÛ Ö ÖÖÓÖ Ù ØÓ Ò Ø Ø ÓÙÐ ÒÓØ ØÓÐ Ö Ø Ò Ì º º Ö ÓÙÖ Ð Ò Ø ÖÚ Ó º Ø ÓÒ ÐÐÝ Ø ÐÐÓÛ Ù ØÓ ÓÑ Ò ÔÖÓ Ø Ú Ö ÓÚ ÖÝ Û Ø Æ¹Ú Ö ÓÒ ÈÖÓ Ö ÑÑ Ò º Æ¹Î Ö ÓÒ ÈÖÓ Ö ÑÑ Ò ÜÔÐÓ Ø Ò Ú Ö ØÝ ØÓ Ö ¹ Ù ÓÑÑÓÒ ÑÓ ÐÙÖ º ÁØ ÛÓÖ ÓÐÐÓÛ Æ Ó ØÛ Ö Ú ÐÓÔÑ ÒØ Ø Ñ ÔÖÓ Ù «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø Ñ ÖÚ Ô Ø ÓÒ ÓÖ Ø Ñ Ù ØÓÑ Ö Ø «Ö¹ ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ö Ø Ò ÖÙÒ Ò Ô Ö ÐÐ Ð Ò ÚÓØ Ò Ù ØÓ ÔÖÓ Ù ÓÑÑÓÒ Ö ÙÐغ Ì Ø Ò ÕÙ Ò Ö Ø Þ ÓÖ Ú Ö Ð Ö ÓÒ ½ Ø ÒÖ Ú ÐÓÔÑ ÒØ Ò Ñ ÒØ Ò Ò Ó Ø Ý ØÓÖ Ó Æ ÓÖ ÑÓÖ Ò Ø ÙÒ ÔØ Ð Ø Ñ Ð Ý ØÓ Ø ÑÔÐ Ñ ÒØ Ø ÓÒº ÁÒ Ò Ö Ð Ø ÓÒ Ö ØÓ ÔÓÛ Ö ÙÐ Ø Ò ÕÙ ÙØ Û Ø Ð Ñ¹ Ø Ù Ð ØÝ Ò ÓÒÐÝ Ñ ÐÐ Ù Ø Ó ÔÔÐ Ø ÓÒ Ò «ÓÖ Ø Ó Øº Ë Ò Ð ÐÓÛ Ó ØÆ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ý Ö Ù Ò Ü Ø Ò ÑÔÐ Ñ ÒØ Ø ÓÒ ÖÓÑ «Ö ÒØ Ú Ò ÓÖ º Ë Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ú ÐÓÔ ÓÖ Ð Ö ÒÙÑ Ö Ó Ù ØÓѹ Ö Ø Ö Ö Ò ÒØ ÓÒÓÑ Ó Ð Ø Ø Ô Ø ¹ Ú ÐÓÔÑ ÒØ Ø Ø Ò Ò Ñ ÒØ Ò Ò Ó Ø Ô Ö Ù ØÓÑ Ö ÐÓÛº Ø ÓÒ ÐÐÝ Ø Ó Ø Ó ÛÖ Ø Ò Ø ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ÔØ ÐÓÛ Ý Ø Ò Ú Ò¹ Ø Ó Ü Ø Ò ÒØ ÖÓÔ Ö Ð ØÝ Ø Ò Ö º Ì Ò Ö ÙÐØ Ø Ø ÓÙÖ Ø Ò ÕÙ Û ÐÐ Ó Ø Ð Ò Ñ Ý ØÙ ÐÐÝ ÑÓÖ «Ø Ú Ø Ö Ù Ò ÓÑÑÓÒ ÑÓ ÐÙÖ Ù Óѹ Ô Ø Ø Ú ÔÖ ÙÖ Û ÐÐ Ô ÑÔÐ Ñ ÒØ Ø ÓÒ ÖÓÑ «Ö ÒØ Ú Ò ÓÖ Ò Ô Ò Òغ Ê ÓÚ ÖÝ Ó ÙÐØÝ Ú Ö ÓÒ Ò Ö Ò Ø ÓÒØ ÜØ Ó Æ¹Î Ö ÓÒ ÈÖÓ Ö ÑÑ Ò ÙØ Ø Ô¹ ÔÖÓ Ú Ù«Ö ÖÓÑ ØÛÓ ÔÖÓ Ð Ñ º Ö Ø Ø Ý Ö Ò Æ ÒØ Ò ÒÒÓØ Ð ØÓ ÖÚ Û Ø Ð Ö Ø Ø º Ë ¹ ÓÒ Ø Ý Ö ÕÙ Ö Ø Ð ÒÓÛÐ Ó Ú Ö ÓÒ Û ÔÖ ÐÙ ÓÙÖ ÓÔÔÓÖØÙÒ Ø Æ¹Î Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ø ¹ Ò ÕÙ º ÓÖ Ü ÑÔÐ ÊÓÑ ÒÓÚ Ý ÔÖÓÔÓ Ø Ò ÕÙ Û Ö Ú Ö ÓÒ Ò ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ ÖÓÑ Ø ÓÒÖ Ø Ø Ø ØÓ Ò ØÖ Ø Ø Ø º ÙØ Ø ØÖ Ø Ø Ø ÓÒ Û Ø ÓÑÑÓÒ ÖÓ Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ó Ø «Ö ÒØ Ú Ö ÓÒ Ò Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ú Ð ¹ ÓÜ ØÓ ÑÔÐ Ñ ÒØ Ø ÓÒº ÇÙÖ Ø Ò ÕÙ ÑÔÖÓÚ ÓÒ Ø Ý ÔÖÓÚ Ò Ú ÖÝ Æ¹ ÒØ Ö ÓÚ ÖÝ Ñ Ò Ñ Ò Ý ØÖ Ø Ò ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ Ð ÓÜ Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ù ÓÒÐÝ

13 Ü Ø Ò ÒØ Ö Û ÑÔÓÖØ ÒØ ØÓ ÐÐÓÛ Ø Ö Ù Ó Ü Ø Ò ÑÔÐ Ñ ÒØ Ø ÓÒ º ÙÖØ ÖÑÓÖ Û Ö Ú Ø ¹ ØÖ Ø Ø Ø ÖÓÑ Ò ØÖ Ø Ú ÓÖ Ð Ô Ø ÓÒ Ø Ø ÔØÙÖ Û Ø Ú Ð ØÓ Ø Ð ÒØ Ù ÒØÐÝ Ø Ð ØÓ ØØ Ö ÙÐØ ØÓÐ Ö Ò Ò Æ Òݺ Ë Ú Ö Ð ÓØ Ö Ý Ø Ñ Ú Ù ÛÖ ÔÔ Ò Ø Ò ÕÙ ØÓ Ö ÔÐ Ø Ü Ø Ò ÓÑÔÓÒ ÒØ º º ½¼ ¾¾ ½ ¾ ¾½ ¾ ¾ º Å ÒÝ Ó Ø Ý Ø Ñ Ú Ö Ð ÓÒ Ø Ò Ö Ð Æ Ë ÓÖ ÇÊ ¾ ØÓ ÑÔÐ Ý ÛÖ ÔÔ Ò Ó Ü Ø Ò ÑÔÐ Ñ ÒØ ¹ Ø ÓÒ º ÓÖ Ü ÑÔÐ Ø ÖÒ Ð ¾ ÓÑÑ Ö Ð ÑÔÐ Ñ Ò¹ Ø Ø ÓÒ Ó Ø Ò Û ÙÐØ ÌÓÐ Ö ÒØ ÇÊ Ø Ò Ö ¾ º ÐÐ Ø Ý Ø Ñ ÙÑ Ò Ò ÙÐØ Ü ÔØ ÁÑÑÙÒ ¾ º Ì Ö Ö Ò ÒØ «Ö Ò ØÛ Ò Ø Ý Ø Ñ Ò Ë º Ö Ø Ø Ý ÙÑ Ø Ø Ö ÔÐ ÖÙÒ ÒØ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ º Ì Ý Ð Ó ÙÑ Ø Ø Ö ÔÐ Ö Ø Ö¹ Ñ Ò Ø ÓÖ Ø Ý Ö ÓÐÚ Ø ÒÓÒ¹ Ø ÖÑ Ò Ñ Ø ÐÓÛ Ð Ú Ð Ó ØÖ Ø ÓÒº ÓÖ Ü ÑÔÐ Ñ ÒÝ Ö ÓÐÚ ÒÓÒ¹ Ø ÖÑ Ò Ñ Ý Ú Ò ÔÖ Ñ ÖÝ ÖÙÒ Ø ÓÔ Ö Ø ÓÒ Ò Ô Ø Ö ¹ ÙÐØ Ò Ø Ø ÓÖ ÐÓ Û Ø ÐÐ ÒÓÒ¹ Ø ÖÑ Ò Ø Ú ÒØ ØÓ Ø ÙÔ º º ¾ µº Ì Ó ÒÓØ ÛÓÖ Û Ø ÝÞ ÒØ Ò ÙÐØ Ò Ö ÔÐ Ö ÑÓÖ Ð ÐÝ ØÓ Ð Ø Ø Ñ Ø Ñ Ù Ø Ý Ö ÓÖ ØÓ Ú ÒØ ÐÐÝ Ø ÐÓÛ Ð Ú Ð Ó ØÖ Ø ÓÒº Ò ÐÐÝ Ø Ý Ø Ñ Ð Ú Ø Ø ØÖ Ò Ö ØÓ Ø ÔÔÐ Ø ÓÒº Ë Ù ØÖ Ø ÓÒ ØÓ ÑÓ Ø ÒÓÒ¹ Ø ÖÑ Ò Ñ Ò ØÓ Ò Ð Ö ÔÐ ØÓ ÖÙÒ «Ö ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ º ÁØ Ð Ó Ó«Ö Ò Æ ÒØ Ñ Ò Ñ ÓÖ Ö ÔÐ ØÓ Ö ÓÒ ÒÓÒ¹ Ø ÖÑ Ò Ø Ó Ø Ø ÛÓÖ Û Ø ÝÞ ÒØ Ò ÙÐØ º Ì ÑÔÓÖØ ÒØ Û Ò Ø Ó Ö Ö ØÐÝ Ú Ð ÝÐ ÒØ º º Ø Ñ Ø ÑÔ º Ø ÓÒ ÐÐÝ Û ÔÖÓÚ ÙÔÔÓÖØ ÓÖ Æ¹ ÒØ Ø Ø ØÖ Ò Ö Ò ÓÖ ÒÖ Ñ ÒØ Ð ÓÒÚ Ö ÓÒ ØÛ Ò ØÖ Ø Ò ÓÒÖ Ø Ø Ø Û ÑÔÓÖØ ÒØ Ù Ø Ö Ö Ö Û Ø ÝÞ ÒØ Ò ÙÐØ º Ì ÛÓÖ Ö Ò Ù ÛÖ ÔÔ Ö ØÓ Ò ÙÖ Ø Ø Ò ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ò ØÖ Ø Ô Ø ÓÒº Ì ÛÖ ÔÔ Ö Ù Ø Ô Ø ÓÒ ØÓ Ø ÓÖÖ ØÒ Ó ÓÙØÔÙØ Ò Ö Ø Ý Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ò ÓÒØ Ò ÙÐØ º Ì Ý Ö ÒÓØ Ù ØÓ Ò Ð Ö ÔÐ Ø ÓÒ Û Ø «Ö ÒØ ÓÖ ÒÓÒ¹ Ø ÖÑ Ò Ø ÑÔÐ Ñ ÒØ Ø ÓÒ Ò Ë º 6. CONCLUSION ËÓ ØÛ Ö ÖÖÓÖ Ö Ñ ÓÖ Ù Ó ÓÙØ Ò Ø Ý Ö ÒÖ Ò ÐÝ ÜÔÐÓ Ø Ò Ñ Ð ÓÙ ØØ ØÓ Ò ÓÒØÖÓÐ ÓÖ ÒÝ ØÓ ÑÔÓÖØ ÒØ ÖÚ º ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö¹ Ò ÐÐÓÛ Ö ÔÐ Ø Ý Ø Ñ ØÓ Ñ ÓÑ Ó ØÛ Ö ÖÖÓÖ ÙØ Ø Ò ÜÔ Ò Ú ØÓ ÔÐÓݺ Ï Ú Ö Ö ÔÐ Ø ÓÒ Ø Ò ÕÙ Ë Û Ù ØÖ Ø ÓÒ ØÓ Ö ¹ Ù Ø Ó Ø Ó ÔÐÓÝ Ò ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò Ò ØÓ ÑÔÖÓÚ Ø Ð ØÝ ØÓ Û Ø Ø Ò ØØ Ò Ñ Ó ØÛ Ö ÖÖÓÖ º Ë Ö Ù Ó Ø Ù Ø Ò Ð Ö Ù Ó Ó«¹Ø ¹ Ð ÖÚ ÑÔÐ Ñ ÒØ Ø ÓÒ Û Ø ÓÙØ ÑÓ Ø ÓÒ Ò Ø Ñ¹ ÔÖÓÚ Ö Ð Ò ØÓ Ó ØÛ Ö ÖÖÓÖ Ý Ò Ð Ò ÓÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ò Ó ØÛ Ö Ö ÙÚ Ò Ø ÓÒ Ø ÖÓÙ ÔÖÓ Ø Ú Ö ÓÚ Öݺ ÇÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò ÖÙÒ Ø ÒØ Ó«¹ Ø ¹ Ð ÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ö ÔÐ ØÓ Ö Ù Ø ÔÖÓ ¹ Ð ØÝ Ó ÓÑÑÓÒ ÑÓ ÐÙÖ º ÌÓ ÔÔÐÝ Ø Ø Ò ÕÙ Ø Ò ÖÝ ØÓ Ò ÓÑÑÓÒ ØÖ Ø Ú ÓÖ Ð Ô ¹ Ø ÓÒ ÓÖ Ø ÖÚ Ò ØÓ ÑÔÐ Ñ ÒØ ÔÔÖÓÔÖ Ø ÓÒ¹ Ú Ö ÓÒ ÙÒØ ÓÒ ÓÖ Ø Ø Ø Ö ÕÙ Ø Ò Ö ÔÐ Ó ÑÔÐ Ñ ÒØ Ø ÓÒ Ò ÓÖ Ö ØÓ Ñ Ø Ú ÓÖ Ò ØÓ Ø ÓÑÑÓÒ Ô Ø ÓÒº Ì Ø Ö Ö ØÐÝ ÑÔÐ Ý Ò Ø ÓÑÑÓÒ Ô Ø ÓÒ ÓÒ Ø Ò Ö ÓÖ Ø Ò¹ Ø ÖÓÔ Ö Ð ØÝ Ó Ó ØÛ Ö ÖÓÑ «Ö ÒØ Ú Ò ÓÖ Ø Ø Ò¹ Ö ÔÔ Ö ØÓ ÓÑÑÓÒ º º Ç ½½ Ò Æ Ë ¾ º ÇÔÔÓÖØÙÒ Ø Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò ÑÔÖÓÚ ÓÒ ÔÖ Ú ÓÙ Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò Ø Ò ÕÙ Ý ÚÓ Ò Ø ¹ Ú ÐÓÔÑ ÒØ Ø Ø Ò Ò Ñ ÒØ Ò Ò Ó Ø Û Ø ÓÙØ ÓÑÔÖÓ¹ Ñ Ò Ø ÕÙ Ð ØÝ Ó Ò Ú Ù Ð Ú Ö ÓÒ º Ø ÓÒ ÐÐÝ Û ÔÖÓÚ Ñ Ò Ñ ØÓ Ö Ô Ö ÙÐØÝ Ö ÔÐ º ÈÖÓ Ø Ú Ö ÓÚ ÖÝ ÐÐÓÛ Ø Ý Ø Ñ ØÓ Ö Ñ Ò Ú Ð Ð ÔÖÓÚ ÒÓ ÑÓÖ Ø Ò ½ Ó Ø Ö ÔÐ ÓÑ ÙÐØÝ Ò ÓÖÖÙÔØ Ø ØÖ Ø Ø Ø Ò ÓÖÖ Ð Ø Û Ýµ Û Ø Ò Û Ò ÓÛ Ó ÚÙÐÒ Ö Ð Øݺ ØÖ Ø ÓÒ Ñ Ý Ò Ð ÖÚ Ú Ð Ð ØÝ Ú Ò Û Ò ÑÓÖ Ø Ò ½ Ó Ø Ö ÔÐ ¹ Ö ÙÐØÝ Ù Ø Ò ÓÖÖÙÔØ Ø Ñ Ò ÓÒÖ Ø Ø Ø Ó ÙÐØÝ Ö ÔÐ º Ì Ô Ô Ö Ö Ë Ë Ö ÔÐ Ø Æ Ë Ð Ý Ø Ñ ÑÔÐ Ñ ÒØ Ù Ò ÓÙÖ Ø Ò ÕÙ º Ì ÓÒ ÓÖÑ Ò ÛÖ ÔÔ Ö Ò Ø Ø Ø ÓÒÚ Ö ÓÒ ÙÒØ ÓÒ Ò ÓÙÖ ÔÖÓØÓ¹ ØÝÔ Ö ÑÔÐ Û Ù Ø Ø Ø Ø Ý Ö ÙÒÐ ÐÝ ØÓ ÒØÖÓ Ù Ò Û Ù Ò Ø Ø Ø ÑÓÒ Ø ÖÝ Ó Ø Ó Ù Ò ÓÙÖ Ø Ò ÕÙ ÛÓÙÐ ÐÓÛº Ï Ö Ò Ø Ò Ö Û Ò Ñ Ö ØÓ ÓÑÔ Ö Ø Ô Ö ÓÖ¹ Ñ Ò Ó ÓÙÖ Ö ÔÐ Ø Ð Ý Ø Ñ Ò Ø Ó«¹Ø ¹ Рѹ ÔÐ Ñ ÒØ Ø ÓÒ Ø Ø Ø Ö Ù º ÇÙÖ Ô Ö ÓÖÑ Ò Ö ÙÐØ Ò ¹ Ø Ø Ø Ø ÓÚ Ö ÒØÖÓ Ù Ý ÓÙÖ Ø Ò ÕÙ ÐÓÛ Ë Ë Ô Ö ÓÖÑ Û Ø Ò ¾± Ó Ø Ø Ò Ö Æ Ë ÑÔÐ ¹ Ñ ÒØ Ø ÓÒ Ø Ø Ø Ö Ù º Ï Ð Ó Ù Ø Ñ Ø Ó ÓÐÓ Ý ØÓ Ù Ð ÝÞ ÒØ Ò ÙÐع ØÓÐ Ö ÒØ Ú Ö ÓÒ Ó Ø Ì ÓÖ Ó Ø¹ÓÖ ÒØ Ø ½ Ò Ñ Ñ Ð Ö Ó ÖÚ Ø ÓÒ º ÁÒ Ø Ø Ñ Ø Ó ¹ ÓÐÓ Ý Ò Ð Ö Ù Ó Ø Ü Ø Ò Ø Ó Û ÒÓÒ¹ Ø ÖÑ Ò Ø º ÙØÙÖ ÛÓÖ Ø ÛÓÙÐ ÒØ Ö Ø Ò ØÓ ÔÔÐÝ Ø Ë Ø Ò ÕÙ ØÓ Ö Ð Ø ÓÒ Ð Ø ÖÚ Ý Ø Ò Ú Ò¹ Ø Ó Ø Ç Ø Ò Ö º Ø ÓÒ ÐÐÝ Ð Ö ÖÝ Ó Ñ Ô¹ Ô Ò ØÛ Ò ØÖ Ø Ò ÓÒÖ Ø Ø Ø ÓÖ ÓÑÑÓÒ Ø ØÖÙØÙÖ ÛÓÙÐ ÙÖØ Ö ÑÔÐ Ý ÓÙÖ Ø Ò ÕÙ º 7. ACKNOWLEDGMENTS Ï ÛÓÙÐ Ð ØÓ Ø Ò Ò Ö Ö ÓÝ Ô Ø ÂÓ Ó Ö ÒØ ÊÓÛ ØÖÓÒ Ä ÖÖÝ È Ø Ö ÓÒ ÓÙÖ Ô Ö µ Ò Ø ÒÓÒÝÑÓÙ Ö Ö ÓÖ Ø Ö ÐÔ ÙÐ ÓÑÑ ÒØ ÓÒ Ö Ø Ó Ø Ô Ô Öº Ï Ð ÓØ Ò ÖÐ Ð Ò Ò ÓÖÓØ Ý ÙÖØ Ö Ò Å Ð ÖÒ Ø Ã Ú Ò Ù Ö Ò Ã Ó Ú Å Þ Ö Ò ÊÓ ÖØ ÅÓÖÖ ÓÖ ÐÔ Ò ÔÖÓÚ Ò Ò Ò Ö ØÖÙØÙÖ ØÓ ÖÙÒ ÓÑ Ó Ø ÜÔ Ö ¹ Ñ ÒØ º 8. REFERENCES ½ º Ý Êº ÖÙ Ö º Ä ÓÚ Ò Íº Å Û Ö º Æ ÒØ ÇÔØ Ñ Ø ÓÒÙÖÖ ÒÝ ÓÒØÖÓÐ Ù Ò ÄÓÓ ÐÝ ËÝÒ ÖÓÒ Þ ÐÓ º ÁÒ ÈÖÓ Ò Ó Å ËÁ ÅÇ ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Å Ò Ñ ÒØ Ó Ø Ô ¾ ß Ë Ò ÂÓ Å Ý ½ º ¾ ̺ Ö ÓÙ Ò º Ë Ò Öº ÀÝÔ ÖÚ ÓÖ¹ ÙÐØ ÌÓÐ Ö Ò º ÁÒ ÈÖÓ Ò Ó Ø ½ Ø Å ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ ÈÖ Ò ÔÐ Ô ½ß½½ º ½ º º ÐÐ Òº Æ Ë ÁÐÐÙ ØÖ Ø º ÓÒ¹Ï Ð Ý ½ º ź º Ö Ý º º Ï ØØ Ò Âº º Æ Ù ØÓÒº Ì ÇÇ Ò Ñ Ö º ÁÒ ÈÖÓ Ò Ó Å ËÁ ÅÇ

14 ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Å Ò Ñ ÒØ Ó Ø Ô ½¾ß¾½ Ï Ò ØÓÒ º º Å Ý ½ º ź ØÖÓº ÈÖ Ø Ð ÝÞ ÒØ Ò ÙÐعÌÓÐ Ö Ò º È Ø Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý ¾¼¼¼º ź ØÖÓ º Ý º Ä ÓÚ Ò º ÅÝ Ö º À ÀÝ Ö ÔØ Ú Ò ÓÖ ØÖ ÙØ ËØÓÖ ËÝ Ø Ñ º ÁÒ ÈÖÓ Ò Ó Ø ½ Ø Å ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ ÈÖ Ò ÔÐ Ô ½¼¾ß½½ Ëغ Å ÐÓ Ö Ò Çغ ½ º ź ØÖÓ Ò º Ä ÓÚº ÈÖ Ø Ð ÝÞ ÒØ Ò ÙÐØ ØÓÐ Ö Ò º ÁÒ ÈÖÓ Ò Ó Ø Ì Ö ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ Ò Ò ÁÑÔÐ Ñ ÒØ Ø ÓÒ Æ Û ÇÖÐ Ò Ä º ½ º ź ØÖÓ Ò º Ä ÓÚº ÈÖÓ Ø Ú Ö ÓÚ ÖÝ Ò ÝÞ ÒØ Ò ¹ ÙÐعØÓÐ Ö ÒØ Ý Ø Ñº ÁÒ ÈÖÓ Ò Ó Ø ÓÙÖØ ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ Ò Ò ÁÑÔÐ Ñ ÒØ Ø ÓÒ Ë Ò Ó Çغ ¾¼¼¼º ĺ Ò Ò º Ú Þ Ò º Æ¹Î Ö ÓÒ ÈÖÓ Ö ÑÑ Ò ÙÐعÌÓÐ Ö Ò ÔÔÖÓ ØÓ Ê Ð Ð ØÝ Ó ËÓ ØÛ Ö ÇÔ Ö Ø ÓÒº ÁÒ ÙÐØ ÌÓÐ Ö ÒØ ÓÑÔÙØ Ò Ì Ë¹ Ô ß ½ º ½¼ º ÓÓÔ Öº Ê ÔÐ Ø ØÖ ÙØ ÈÖÓ Ö Ñ º ÁÒ ÈÖÓ Ò Ó Ø ½¼Ø Å ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ ÈÖ Ò ÔÐ Ô ß º ½ º ½½ ú Öº ÁÒ Ç º Å ÖÓ Ó Ø ÈÖ ½ º ½¾ ˺ Ñ Û Øº Ì ÅÓ Ç Ø Ù«Ö ËØÓÖ Å Ò Ñ ÒØ Ì Ò ÕÙ ÓÖ Ç Ø¹ÇÖ ÒØ Ø º È Ø Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý ½ º ½ º Ö Ý Ò º Ë Û ÓÖ º À ¹ Ú Ð Ð ØÝ ÓÑÔÙØ Ö Ý Ø Ñ º Á ÓÑÔÙØ Ö ¾ µ ß Ë Ôغ ½ ½º ½ º ƺ Ö Ý Ò º Ê ÙØ Öº ÌÖ Ò Ø ÓÒ ÈÖÓ Ò ÓÒ ÔØ Ò Ì Ò ÕÙ º ÅÓÖ Ò Ã Ù Ñ ÒÒ ÈÙ Ð Ö ÁÒº ½ º ½ º ÀÓÛ Ö Åº Ã Þ Ö Ëº Å Ò º Æ ÓРź Ë ØÝ Ò Ö Ý Ò Ò Êº Ë ÓØ Ñ Ò Åº Ï Øº Ë Ð Ò Ô Ö ÓÖÑ Ò Ò ØÖ ÙØ Ð Ý Ø Ñº Å ÌÖ Ò Ø ÓÒ ÓÒ ÓÑÔÙØ Ö ËÝ Ø Ñ ½µ ½ß ½ º ½ º ½ º ÀÙ Ò º à ÒØ Ð Æº ÃÓÐ ØØ Ò Æº º ÙÐØÓÒº ËÓ ØÛ Ö Ö ÙÚ Ò Ø ÓÒ Ò ÐÝ ÑÓ ÙÐ Ò ÔÔÐ Ø ÓÒ º ÁÒ ÈÖÓ Ò Ó Ø ¾ Ø ÒÒÙ Ð ÁÒØ ÖÒ Ø ÓÒ Ð ËÝÑÔÓ ÙÑ ÓÒ ÙÐعÌÓÐ Ö ÒØ ÓÑÔÙØ Ò Ô ½ß ¼ È Ò ÂÙÒ ½ º ½ ĺ Ä ÑÔÓÖغ Ì Ñ ÐÓ Ò Ø ÓÖ Ö Ò Ó Ú ÒØ Ò ØÖ ÙØ Ý Ø Ñº ÓÑÑÙÒ Ø ÓÒ Ó Ø Å ¾½ µ ß ÂÙÐÝ ½ º ½ º Ä ÓÚ Åº ØÖÓ Äº Ë Ö Ö Ò º Ý º ÈÖÓÚ Ò Ô Ö Ø ÒØ Ó Ø Ò ØÖ ÙØ Ý Ø Ñ º ÁÒ ÈÖÓ Ò Ó Ø ½ Ø ÙÖÓÔ Ò ÓÒ Ö Ò ÓÒ Ç Ø¹ÇÖ ÒØ ÈÖÓ Ö ÑÑ Ò ÇÇÈ ³ µ Ä ÓÒ ÈÓÖØÙ Ð ÂÙÒ ½ º ½ º Ä ÓÚ Ëº Ñ Û Ø Êº ÖÙ Ö Èº ÂÓ Ò ÓÒ Äº Ë Ö Ö Ò Åº Ï ÐÐ Ñ º Ê ÔÐ Ø ÓÒ Ò Ø À ÖÔ Ð ËÝ Ø Ñº ÁÒ ÈÖÓ Ò Ó Ø ½ Ø Å ËÝÑÔÓ ÙÑ ÓÒ ÇÔ Ö Ø Ò ËÝ Ø Ñ ÈÖ Ò ÔÐ Ô ¾¾ ß¾ º Å ÈÖ ½ ½º ¾¼ º Ä ÓÚ Ò Âº ÙØØ º ÈÖÓ Ö Ñ Ú ÐÓÔÑ ÒØ Ò Â Ú ØÖ Ø ÓÒ ËÔ Ø ÓÒ Ò Ç Ø¹ÇÖ ÒØ Òº ÓÒ¹Ï Ð Ý ¾¼¼¼º ¾½ ˺ Å «º Ò ÖÓÙÔ ÓÑÑÙÒ Ø ÓÒ Ò ÙÐØ ØÓÐ Ö Ò ØÓ ÇÊ º ÁÒ ÈÖÓ Ò Ó Ø ¾Ò ÍË ÆÁ ÓÒ Ö Ò ÓÒÇ Ø¹ÇÖ ÒØ Ì ÒÓÐÓ Ô ½ ß½ ÂÙÒ ½ º ¾¾ ú Å ÖÞÙÐÐÓ Ò º Ë ÑÙ º ËÙÔÔÐÝ Ò Ú Ð Ð ØÝ Û Ø Ø Ò Ö Ò ØÛÓÖ Ð Ý Ø Ñº ÁÒ ÈÖÓ Ò Ó Ø Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ ØÖ ÙØ ÓÑÔÙØ Ò ËÝ Ø Ñ Ô ß º Á ÂÙÒ ½ º ¾ ʺ Å ÒÒ º Ì Ä ÒÙÜ ÁÇË ÀÓÑ È º ØØÔ»»ÛÛÛº кРÒк ÓڻРÒÙÜ Ó ¾¼¼¼º ¾ ĺ ÅÓ Ö Èº Å ÐÐ Ö¹ËÑ Ø Ò Èº Æ Ö Ñ Òº ÓÒ Ø ÒØ Ó Ø Ö ÔÐ Ø ÓÒ Ò Ø Ø ÖÒ Ð Ý Ø Ñº Ì ÓÖÝ Ò ÈÖ Ø Ó Ç Ø ËÝ Ø Ñ ¾µ ½ß ¾  Һ ½ º ¾ Ⱥ Æ Ö Ñ Ò Ãº à РØÖÓÑ Äº ÅÓ Ö Ò Èº Å ÐÐ Ö¹ËÑ Ø º ÈÖÓÚ Ò ËÙÔÔÓÖØ ÓÖ ËÙÖÚ Ú Ð ÇÊ ÔÔÐ Ø ÓÒ Û Ø Ø ÁÑÑÙÒ ËÝ Ø Ñº ÁÒ ÈÖÓ Ò Ó Ø ½ Ø Á ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ ØÖ ÙØ ÓÑÔÙØ Ò ËÝ Ø Ñ Ô ¼ ß ½ Å Ý ½ º ¾ Æ ØÛÓÖ ÛÓÖ Ò ÖÓÙÔ Ö ÕÙ Ø ÓÖ ÓÑÑ ÒØ ½¼½ º Ê ÜØ ÖÒ Ð Ø Ö ÔÖ ÒØ Ø ÓÒ Ø Ò Ö ÂÙÒ ½ º ¾ Æ ØÛÓÖ ÛÓÖ Ò ÖÓÙÔ Ö ÕÙ Ø ÓÖ ÓÑÑ ÒØ ½¼ º Æ Ë Æ ØÛÓÖ Ð Ý Ø Ñ ÔÖÓØÓÓÐ Ô Ø ÓÒ Å Ö ½ º ¾ Ç Ø Å Ò Ñ ÒØ ÖÓÙÔº Ì ÓÑÑÓÒ Ç Ø Ê ÕÙ Ø ÖÓ Ö Ö Ø ØÙÖ Ò ËÔ Ø ÓÒº ÇÅ Ø Ð ÓÑÑ ØØ ÓÙÑ ÒØ ÓÖÑ Ð» ¹½¾¹¼½ ÂÙÒ ½ º ¾ Ç Ø Å Ò Ñ ÒØ ÖÓÙÔº ÙÐØ ÌÓÐ Ö ÒØ ÇÊ º ÇÅ Ø Ð ÓÑÑ ØØ ÓÙÑ ÒØ ÓÖ Ó»¾¼¼¼¹¼ ¹¼ Å Öº ¾¼¼¼º ¼ º ÇÙ Ø Ö ÓÙغ Ï Ý Ö Ò³Ø ÇÔ Ö Ø Ò ËÝ Ø Ñ ØØ Ò Ø Ö Ø À Ö Û Ö ÁÒ ÈÖÓ Ò Ó ÍË ÆÁ ËÙÑÑ Ö ÓÒ Ö Ò Ô ¾ ß¾ Ò Ñ ÂÙÒ ½ ¼º ½ ź È Êº Ë Ó Ø Ò Äº Ä ÑÔÓÖغ Ê Ò Ö Ñ ÒØ Ò Ø ÈÖ Ò Ó ÙÐØ º ÂÓÙÖÒ Ð Ó Ø Å ¾ ¾µ ¾¾ ß¾ ÔÖº ½ ¼º ¾ ʺ ÊÓ Ö Ù º ÓÑ Ò Ò ØÖ Ø ÓÒ Û Ø ÝÞ ÒØ Ò ÙÐعØÓÐ Ö Ò º Å Ø Ö³ Ø Å Ù ØØ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý ¾¼¼½º º ÊÓÑ ÒÓÚ Ýº ÙÐØÝ Ú Ö ÓÒ Ö ÓÚ ÖÝ Ò Ó Ø¹ÓÖ ÒØ Æ¹Ú Ö ÓÒ ÔÖÓ Ö ÑÑ Ò º Á ÈÖÓ Ò ¹ ËÓ ØÛ Ö ½ µ ½ß ¼ ÂÙÒ ¾¼¼¼º º Ë ÐРź ÊÓ Ö Ù Þ Âº Ö Ò Âº ÖРغ Å Ø Ã ÖÒ Ð Ò ÙÐØ ÓÒØ ÒÑ ÒØ ÏÖ ÔÔ Ö º ÁÒ ÈÖÓ Ò Ø ¾ Ø ÒÒÙ Ð ÁÒØ ÖÒ Ø ÓÒ Ð ËÝÑÔÓ ÙÑ ÓÒ ÙÐعÌÓÐ Ö ÒØ ÓÑÔÙØ Ò Ô ¾¾ß¾ ÂÙÒ ½ º º Ë Ò Öº ÁÑÔÐ Ñ ÒØ Ò ÙÐعØÓÐ Ö ÒØ ÖÚ Ù Ò Ø Ø Ø Ñ Ò ÔÔÖÓ ØÙØÓÖ Ðº Å ÓÑÔÙØ Ò ËÙÖÚ Ý ¾¾ µ ¾ ß ½ º ½ ¼º ú Ì Ó Ò º Ú Þ Ò º ÓÑÑÙÒ ØÝ ÖÖÓÖ Ö ÓÚ ÖÝ Ò Æ¹Ú Ö ÓÒ Ó ØÛ Ö Ò ØÙ Ý Û Ø ÜÔ Ö Ñ ÒØ Ø ÓÒº ÁÒ ÈÖÓ Ò Ó Ø ½ Ø ÒÒÙ Ð ÁÒØ ÖÒ Ø ÓÒ Ð ËÝÑÔÓ ÙÑ ÓÒ ÙÐعÌÓÐ Ö ÒØ ÓÑÔÙØ Ò Ô ½¾ ß½ È ØØ ÙÖ È ÂÙÐÝ ½ º