• No results found

Proof that Join Protocol Terminates

3. CRASH-TOLERANT REGISTER IMPLEMENTATION

3.1 Crash-Tolerant Register Implementation in Systems with Churn

3.1.7 Correctness Proof

3.1.7.1 Proof that Join Protocol Terminates

 (OSUHVHQWH'HFUHWRVHUiGHDSOLFDFLyQDODVVLJXLHQWHVDFWLYLGDGHVGHSRUWLYDV D 3UXHEDGHSRUWLYDFRPSHWLWLYDRUJDQL]DGD

E 0DUFKDFLFOLVWDRUJDQL]DGD

F 2WURVHYHQWRVGHSRUWLYRVQRFRPSHWLWLYRVRUJDQL]DGRV

 3UHFLVDUiQDXWRUL]DFLyQGHOyUJDQRFRPSHWHQWHHQPDWHULDGHHVSHFWiFXORVS~EOLFRV\ DFWLYLGDGHV UHFUHDWLYDV GH OD &RPXQLGDG $XWyQRPD GH &DQWDEULD ODV DFWLYLGDGHV GHSRUWLYDV UHJXODGDV HQ HO DUW  GH OD /H\  GHO  GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD FX\R iPELWR WHUULWRULDO GLVFXUUD SRU PiVGHXQWpUPLQRPXQLFLSDO

 &XDQGR ODV DFWLYLGDGHV GHSRUWLYDV D GHVDUUROODU GLVFXUUDQ GHQWUR GH XQ VROR WpUPLQR PXQLFLSDO FRUUHVSRQGHUi DO $\XQWDPLHQWR OD DXWRUL]DFLyQ GH GLFKD DFWLYLGDG TXH VH DMXVWDUiDORGLVSXHVWRHQHVWH'HFUHWR

 1RSRGUiQFHOHEUDUVHDFWLYLGDGHVGHSRUWLYDVVLQFXPSOLUODVFRQGLFLRQHVUHJXODGDVHQ HOSUHVHQWH'HFUHWR\GHPiVQRUPDVYLJHQWHVTXHOHVHDQGHDSOLFDFLyQ

 4XHGDQ H[FOXLGRV GHO iPELWR GH DSOLFDFLyQ GH HVWH GHFUHWR DTXHOODV DFWLYLGDGHV GHSRUWLYDVTXHQRVHHQFXHQWUHQUHFRQRFLGDVSRUORVyUJDQRVRILFLDOHVFRPSHWHQWHV

Artículo 2.Actividades deportivas

$ORVHIHFWRVGHOSUHVHQWH'HFUHWRVHHQWLHQGHSRU

D  3UXHED GHSRUWLYD FRPSHWLWLYD RUJDQL]DGD WRGR HVSHFWiFXOR S~EOLFR \ DFWLYLGDG UHFUHDWLYD GH FDUiFWHU GHSRUWLYR FX\R REMHWR VHD FRPSHWLU HQ HVSDFLR R WLHPSR SRU ODV YtDV \ ]RQDV GH GRPLQLR S~EOLFR RUJDQL]DGDV \R DXWRUL]DGDV SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQGHSRUWLYDRHQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGH OD&RPXQLGDG$XWyQRPDGH&DQWDEULD



E 0DUFKDFLFOLVWDRUJDQL]DGDVHFRQFLEHFRPRHOHMHUFLFLRItVLFRSRUYtDV\]RQDV GH GRPLQLR S~EOLFR FRQ ILQHV GHSRUWLYRV WXUtVWLFRV R FXOWXUDOHV GH PiV GH  SDUWLFLSDQWHV RUJDQL]DGD \R DXWRUL]DGD SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQ GHSRUWLYD R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG $XWyQRPDGH&DQWDEULD

C

V

E

-2017-9619

F  2WURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRV DTXHOORV TXH QR HVWDQGRLQFOXLGRVHQORVDSDUWDGRVDQWHULRUHVVHFRQFLEHQFRPRHOHMHUFLFLRItVLFRSRUODV YtDV\]RQDVGHGRPLQLRS~EOLFRFRQILQHVGHSRUWLYRVWXUtVWLFRVRFXOWXUDOHVGHPiVGH  SDUWLFLSDQWHV RUJDQL]DGRV \R DXWRUL]DGRV SRU OD FRUUHVSRQGLHQWH IHGHUDFLyQ GHSRUWLYD R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG$XWyQRPDGH&DQWDEULD

Artículo 3.2UJDQL]DGRU

 6H HQWLHQGH SRU RUJDQL]DGRU GH ODV DFWLYLGDGHV GHSRUWLYDV OD DGPLQLVWUDFLyQ X RUJDQLVPR S~EOLFR R OD SHUVRQD ItVLFD R MXUtGLFD UHVSRQVDEOH GH OD FRQYRFDWRULD RUJDQL]DFLyQ \ GHVDUUROOR GH OD DFWLYLGDG PHGLDQWH VX LQWHUYHQFLyQ GLUHFWD R PHGLDQWH FXDOTXLHU IRUPD GH GHOHJDFLyQ FRQWUDWR RFHVLyQ GH OD PLVPD D XQ WHUFHUR H[LVWD R QR FRQWUDSUHVWDFLyQHFRQyPLFD

Artículo 4. 6ROLFLWXG \ GRFXPHQWDFLyQ D SUHVHQWDU SDUD RUJDQL]DU XQD DFWLYLGDG

GHSRUWLYD (ORUJDQL]DGRUSUHVHQWDUiFRQDOPHQRVGtDVKiELOHVGHDQWHODFLyQDODIHFKDGH FHOHEUDFLyQGHODDFWLYLGDGGHSRUWLYDODVLJXLHQWHGRFXPHQWDFLyQ D  6ROLFLWXGSDUDODDXWRUL]DFLyQGHODDFWLYLGDGGHSRUWLYDGLULJLGDDOyUJDQRFRPSHWHQWH HQPDWHULDGHMXHJR\HVSHFWiFXORVTXHFRUUHVSRQGDVHJ~QHOPRGHORTXHILJXUDHQ HO$QH[R,GHSUHVHQWH'HFUHWR E  &HUWLILFDGRGHOSDJRGHOD7DVD$GPLQLVWUDWLYD &RQFHSWR DODSUHVHQWDFLyQGH ODVROLFLWXG HQFDVRGHVHUQHFHVDULR GLVSRQLEOHHQODSiJLQDZHEGHO*RELHUQRGH &DQWDEULD ZZZFDQWDEULDHV 

F  $XWRUL]DFLyQ R FHUWLILFDGR GH FDGD PRGDOLGDG GHSRUWLYD H[SHGLGR SRU OD )HGHUDFLyQ FRUUHVSRQGLHQWH\HQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGH OD&RPXQLGDG$XWyQRPDGH&DQWDEULDVHJ~QORGLVSXHVWRHQHODUW G  0HPRULDGHODDFWLYLGDGGHSRUWLYDTXHVHSUHWHQGDFHOHEUDUHQHOTXHVHKDUiFRQVWDU DOPHQRVORVLJXLHQWH  5HJODPHQWRGHODDFWLYLGDGGHSRUWLYDHQHOTXHFRQVWDUiFRPRPtQLPRQRPEUHGH ODDFWLYLGDGGHSRUWLYDQ~PHURFURQROyJLFR GHODHGLFLyQIHFKDGHODFHOHEUDFLyQ KRUDULRGHVDOLGD\Q~PHURSUHYLVWRGHSDUWLFLSDQWHV  &URTXLVSUHFLVRGHOUHFRUULGRVREUHOD~OWLPDHGLFLyQGHOPDSDRILFLDOGHFDUUHWHUDV  5XWyPHWUR HQ HO TXH KD GH FRQVWDU HO LWLQHUDULR FRQ QRPHQFODWXUD DFWXDOL]DGD GH ODVFDUUHWHUDVQ~PHURWRWDOGHNLOyPHWURVSHUILOKRUDULRSUREDEOHGHSDVRSRUORV GLVWLQWRV SXQWRV GHWHUPLQDQWHV GHO UHFRUULGR \ SURPHGLR SUHYLVWR WDQWR GH OD FDEH]D GH OD SUXHED FRPR GHO FLHUUH GH pVWD 6L OD SUXHED FRQVWDUD GH YDULDV HWDSDVVHGHWDOODUiFDGDXQDGHHOODV

 ,GHQWLILFDFLyQGHORVUHVSRQVDEOHVGHODRUJDQL]DFLyQWDQWRGHOGLUHFWRUHMHFXWLYR FRPR GHO UHVSRQVDEOH GH VHJXULGDG YLDO TXH GHEHUi UHXQLU ORV UHTXLVLWRV HVWDEOHFLGRVHQHODUWtFXORGHHVWH'HFUHWR

C

V

E

-2017-9619

 &HUWLILFDGR GH OD &RPSDxtD GH 6HJXURV GH UHVSRQVDELOLGDG FLYLO \ GH DFFLGHQWHV VHJ~QVHLQGLFDHQHODUWtFXORGHHVWH'HFUHWR$QH[R,,

 &HUWLILFDGRGHODHPSUHVDTXHYD\DDSUHVWDUDVLVWHQFLDVDQLWDULDVHJ~QVHGHWDOOD HQHODUWtFXORGHHVWH'HFUHWR$QH[R,,,

 'HFODUDFLyQMXUDGDGHOGLUHFWRUHMHFXWLYR\GHOUHVSRQVDEOHGHVHJXULGDGYLDOGHOD SUXHED GH TXH FRQRFHQ HO UHJODPHQWR UXWyPHWUR \ SODQ GH VHJXULGDG GH OD PLVPD

H  (QHOFDVRGHTXHODSUXHEDGHSRUWLYDUHTXLULHVHHOXVRGHSURSLHGDGHVSULYDGDVVH GHEHUiDGMXQWDUODDXWRUL]DFLyQGHOXVRGHORVSURSLHWDULRV

I  'HFODUDFLyQ MXUDGD GHO RUJDQL]DGRU GH OD DFWLYLGDG GHSRUWLYD GH TXH HO SHUVRQDO DX[LOLDUUH~QHORVUHTXLVLWRVHVWDEOHFLGRVHQHODUWtFXORGHHVWH'HFUHWR

J  (QFDVRGHTXHHOHYHQWRVHDGHFDUiFWHUEHQpILFRDIDYRUGHXQWHUFHURVHGHEHUi DSRUWDUODGRFXPHQWDFLyQTXHDVtORDFUHGLWH

K  $TXHOODVDFWLYLGDGHVGHSRUWLYDVTXHFRQOOHYHQDOJ~QWLSRGHLQVWDODFLyQSRUWiWLOGHODV UHJXODGDV HQ HO DUWtFXOR  L  GH OD /H\  GH  GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD GHEHUi UHXQLU ODV FRQGLFLRQHV WpFQLFDV TXH OH VHDQ GH DSOLFDFLyQ VHJ~Q OR GLVSXHVWR HQ HO DUWtFXOR  GH OD /H\  GH  GH DEULO GH (VSHFWiFXORV 3~EOLFRV \ $FWLYLGDGHV 5HFUHDWLYDV GH &DQWDEULD\FRQWDUFRQVXFRUUHVSRQGLHQWHDXWRUL]DFLyQ

$UWtFXOR$XWRUL]DFLRQHVR&HUWLILFDGRV)HGHUDWLYRV

3DUD OD SUHVHQWDFLyQ GH ODV DXWRUL]DFLRQHV R FHUWLILFDGRV HPLWLGRV SRU ODV GLIHUHQWHV )HGHUDFLRQHVVHWHQGUiQHQFXHQWDORVVLJXLHQWHVFULWHULRV

 /DV DFWLYLGDGHV GHSRUWLYDV FRPSHWLWLYDV RUJDQL]DGDV SUHFLVDUiQ GH OD DXWRUL]DFLyQ SUHYLDPHQWHH[SHGLGDSRUOD)HGHUDFLyQR)HGHUDFLRQHVFRUUHVSRQGLHQWHV

 /DV PDUFKDV FLFOLVWDV RUJDQL]DGDV \ RWURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRVSUHFLVDUiQGHXQFHUWLILFDGRH[SHGLGRSRUOD)HGHUDFLyQR)HGHUDFLRQHV R HQ VX GHIHFWR SRU HO yUJDQR FRPSHWHQWH HQ PDWHULD GH GHSRUWH GH OD &RPXQLGDG $XWyQRPDGH&DQWDEULD

 $TXHOODV DFWLYLGDGHV GHSRUWLYDV RUJDQL]DGDV SRU OD )HGHUDFLyQ FRUUHVSRQGLHQWH HVWDUiQH[HQWDVGHVROLFLWDUODGRFXPHQWDFLyQGHORVSiUUDIRVDQWHULRUHV

 &XDQGRVHSUHWHQGDUHDOL]DUXQDDFWLYLGDGGHSRUWLYDTXHLQWHJUHYDULDVPRGDOLGDGHV HO RUJDQL]DGRU GHEHUi DSRUWDU ORV FHUWLILFDGRV \ DXWRUL]DFLRQHV GH WRGDV ODV IHGHUDFLRQHVRHQVXGHIHFWRSRUHOyUJDQRFRPSHWHQWHHQPDWHULDGHGHSRUWHGHOD &RPXQLGDG$XWyQRPDGH&DQWDEULD

$UWtFXOR/XJDUGH3UHVHQWDFLyQ

 /DVROLFLWXGGHDXWRUL]DFLyQMXQWRFRQHOUHVWRGHGRFXPHQWDFLyQVHSUHVHQWDUiHQ FXDOTXLHUDGHORVUHJLVWURVTXHGLVSRQHHODUWGHOD/H\GHGHRFWXEUHGHO 3URFHGLPLHQWR $GPLQLVWUDWLYR &RP~Q GH ODV $GPLQLVWUDFLRQHV 3~EOLFDV HQ DGHODQWH /3$&$3

C

V

E

-2017-9619

$UWtFXOR6XEVDQDFLyQGHGRFXPHQWDFLyQ

6L OD VROLFLWXG GH LQLFLDFLyQ QR UH~QH ORV UHTXLVLWRV VHxDODGRV DQWHULRUPHQWH VH UHTXHULUiDOLQWHUHVDGRSDUDTXHHQXQSOD]RGHGLH]GtDVVXEVDQHODIDOWDRDFRPSDxH ORV GRFXPHQWRV SUHFHSWLYRV FRQ LQGLFDFLyQ GH TXH VL DVt QR OR KLFLHUD VH WHQGUi SRU GHVLVWLGRGHVXSHWLFLyQ

$UWtFXOR,QIRUPHV\&RPXQLFDFLRQHV

 8QD YH] REUH HQ SRGHU GHO yUJDQR FRPSHWHQWH SDUD DXWRUL]DU OD DFWLYLGDG GHSRUWLYD WRGDODGRFXPHQWDFLyQUHTXHULGDVROLFLWDUiORVVLJXLHQWHVLQIRUPHV

D  $ OD -HIDWXUD 3URYLQFLDO GH 7UiILFR FXDQGR OD RUGHQDFLyQ JHVWLyQ FRQWURO \ YLJLODQFLD GHO WUiILFR GH HVD YtD HVWp DWULEXLGD D OD $GPLQLVWUDFLyQ *HQHUDO GHO (VWDGR

(O LQIRUPH UHIHULGR HQ HO SiUUDIR DQWHULRU QR VHUi SUHFHSWLYR HQ ORV VXSXHVWRV GH DFWLYLGDGHV GHSRUWLYDV TXH VH GHVDUUROOHQ WRWDOPHQWH GHQWUR GHO FDVFR XUEDQR GH XQDSREODFLyQ\QRDIHFWHQDODFLUFXODFLyQSRUWUDYHVtDV\YtDVLQWHUXUEDQDV -XQWRFRQODSHWLFLyQGHLQIRUPHVHUHPLWLUiFRSLDGHORVGRFXPHQWRVSUHYLVWRVHQHO DUWtFXORDSDUWDGRG\ E  $O7LWXODUGHODYtDR]RQDGHGRPLQLRS~EOLFRVREUHODYLDELOLGDGGHODDFWLYLGDG -XQWRFRQODSHWLFLyQGHLQIRUPHVHUHPLWLUiFRSLDGHORVGRFXPHQWRVSUHYLVWRVHQHO DUWtFXORDSDUWDGRVG\\DSDUWDGRI 

 /RV LQIRUPHV SUHYLVWRV HQ HO Q~PHUR DQWHULRU WHQGUiQ FDUiFWHU YLQFXODQWH FXDQGR VH RSRQJDQ D OD UHDOL]DFLyQ GH OD DFWLYLGDG GHSRUWLYD R SURSRQJDQ YDULDFLRQHV HQ HO UHFRUULGR IHFKDV KRUD R OXJDU GH FHOHEUDFLyQ R HVWDEOH]FDQ OLPLWDFLRQHV R PHGLGDV HVSHFtILFDVGHSURWHFFLyQGHOPHGLRDPELHQWH

 &XDQGR OD DFWLYLGDG GHSRUWLYD VHD DXWRUL]DGD SRU XQ $\XQWDPLHQWR \ VH GHVDUUROOH IXHUDGHOFDVFRXUEDQRSUHFLVDUiGHORVPLVPRVLQIRUPHVDQWHULRUPHQWHVHxDODGRV\ VLIXHUDQHFHVDULRGHPiVLQIRUPHVGHRWURVRUJDQLVPRV

 /D HPLVLyQ GH HVWRV LQIRUPHV VH DMXVWDUi D OR GLVSXHVWR HQ HO DUW  GH OD /H\ GHOGHRFWXEUH/3$&$3

 6HGHEHUiFRPXQLFDUODVDFWLYLGDGHVGHSRUWLYDVFRQFDUiFWHUSUHYLRDVXFHOHEUDFLyQ DWRGRVORV$\XQWDPLHQWRVSRUGRQGHGLVFXUUD

 3UHYLDPHQWH D VX FHOHEUDFLyQ ODV DFWLYLGDGHV GHSRUWLYDV VH FRPXQLFDUiQ D OD 'LUHFFLyQ*HQHUDOGH3URWHFFLyQ&LYLO

$UWtFXOR5HVROXFLyQ$XWRUL]DFLyQ

 ,QGHSHQGLHQWHPHQWHGHORVFDVRVGHGHVLVWLPLHQWR\UHQXQFLDGHORUJDQL]DGRUTXH SRGUi KDFHUVH SRU FXDOTXLHU PHGLR TXH SHUPLWD GHMDU FRQVWDQFLD GH ORV PLVPRV OD DXWRUL]DFLyQ R GHQHJDFLyQ VHUi REMHWR GH UHVROXFLyQ PRWLYDGD GLFWDGD SRU HO yUJDQR FRPSHWHQWH

(O SOD]R Pi[LPR SDUD UHVROYHU \ QRWLILFDU VHUi FRPR Pi[LPR GH  GtDV KiELOHV GHVGH OD UHFHSFLyQ GH OD VROLFLWXG \ GRFXPHQWDFLyQ SUHFHSWLYD WUDQVFXUULGR HO SOD]RVLQ

C

V

E

-2017-9619

TXH VH KD\D GLFWDGR OD UHVROXFLyQ VH HQWHQGHUi GHQHJDGD OD DXWRUL]DFLyQ SDUD OD FHOHEUDFLyQ GH OD DFWLYLGDG VROLFLWDGD VHJ~Q OR GLVSXHVWR HQ HO DUWtFXOR  GH OD /H\ GH(VSHFWiFXORV3~EOLFRV\DFWLYLGDGHVUHFUHDWLYDVGH&DQWDEULDVLQSHUMXLFLRGH ODVFDXVDVGHSRVLEOHSDUDOL]DFLyQGHOSURFHGLPLHQWRDQWHULRUPHQWHUHIHULGDV

(VWH SOD]R OHJDO SDUD UHVROYHU \ QRWLILFDU OD UHVROXFLyQ SRGUi VXVSHQGHUVH VHJ~Q GLVSRQHHODUWGHOD/H\GHOGHRFWXEUH/3$&$3

 &XDQGRDOJ~QLQIRUPHGHORVSUHYLVWRVHQHODUWGHHVWH'HFUHWRVHDQHJDWLYR VH GLFWDUi 5HVROXFLyQ GHQHJDWRULD GHELGDPHQWH PRWLYDGD FXDQGR HQ HO LQIRUPH ILJXUHQ SUHVFULSFLRQHVWpFQLFDVGHEHUiQLQFRUSRUDUVHHQODDXWRUL]DFLyQ

$UWtFXOR5HVSRQVDEOHVGHODDFWLYLGDGGHSRUWLYD

(O GLUHFWRU HMHFXWLYR \ HO UHVSRQVDEOH GH VHJXULGDG YLDO GH OD DFWLYLGDG GHSRUWLYD GHEHUiQVHUPD\RUHVGHHGDGGHEHUiQFRQRFHUODVQRUPDVGHFLUFXODFLyQSDUDORFXDO GHEHUiQ SRVHHU SHUPLVR GH FRQGXFFLyQ HQ YLJRU \ SUHVHQWDU IRWRFRSLD GHO PLVPR DVt FRPRFRQRFLPLHQWRGHOUHJODPHQWRUXWyPHWUR\SODQGHVHJXULGDGGHODSUXHED$HVWRV HIHFWRV VH FRQVLGHUDUi YiOLGR XQ SHUPLVR GH FRQGXFLU H[WUDQMHUR VLHPSUH TXH KDELOLWH SDUD FRQGXFLU HQ (VSDxD 8QD PLVPD SHUVRQD SXHGH GHVHPSHxDU ODV IXQFLRQHV GH GLUHFWRUHMHFXWLYR\UHVSRQVDEOHGHVHJXULGDGYLDO

(O UHVSRQVDEOH GH VHJXULGDG YLDO GHEHUi LQGLFDU GH PRGR SUHFLVR D FDGD XQR GH ORVPLHPEURVGHOSHUVRQDOKDELOLWDGRODIXQFLyQTXHGHEDQGHVHPSHxDU $UWtFXOR3ODQGH6HJXULGDG $ORVHIHFWRVGHODUWtFXORG HOSODQGHVHJXULGDGFRQWHQGUiFRPRPtQLPR  D  'HVFULSFLyQGHORVULHVJRV\PHGLGDVDWRPDUSDUDODVHJXULGDGGHODUHDOL]DFLyQGHOD SUXHEDGHSRUWLYDWDQWRGHSDUWLFLSDQWHVFRPRGHS~EOLFR

E  /RV PHGLRV KXPDQRV \ PDWHULDOHV TXH VH GLVSRQJDQ SDUD FXEULU GLFKD DFWLYLGDG GHSRUWLYD LQFOX\HQGR HO FXPSOLPLHQWR GH OR GLVSXHVWR HQ OD /H\ GH (VSHFWiFXORV 3~EOLFRV\$FWLYLGDGHV5HFUHDWLYDVHQPDWHULDGHVHJXULGDGSULYDGD F  /DSUHYHQFLyQGHVLQLHVWURV\ODLQWHUYHQFLyQLQPHGLDWDHQHOFRQWUROGHORVPLVPRV G  8ELFDFLyQGHODVPHGLGDVGHVHxDOL]DFLyQGHODDFWLYLGDGGHSRUWLYD\GHOUHVWRGHORV GLVSRVLWLYRVGHVHJXULGDGSUHYLVWRVHQORVSRVLEOHVOXJDUHVSHOLJURVRV  $UWtFXOR6HJXURVSDUDDFWLYLGDGHVGHSRUWLYDVR*DUDQWtD)LQDQFLHUDHTXLYDOHQWH  &HUWLILFDGR GH FRQWUDWDFLyQ GH VHJXUR GH UHVSRQVDELOLGDG FLYLO R JDUDQWtD ILQDQFLHUD

HTXLYDOHQWH

6HFHUWLILFDUiH[SUHVDPHQWHSRUOD&RPSDxtDGH6HJXURVFRQODTXHVHFRQWUDWHTXH HVWiQFXELHUWRVWRGRVORVSDUWLFLSDQWHVGHODSUXHEDGHORVSRVLEOHVGDxRVDWHUFHURV KDVWD ORV PLVPRV OtPLWHV TXH SDUD ORV GDxRV SHUVRQDOHV \ PDWHULDOHV HVWDEOHFH HO 5HDO'HFUHWRGHGHVHSWLHPEUHSDUDHOVHJXURGHUHVSRQVDELOLGDGFLYLO GHYHKtFXORVDPRWRUGHVXVFULSFLyQREOLJDWRULD3RUWRGRORDQWHULRUHQHOFHUWLILFDGR GH OD FRPSDxtD GH VHJXURV VH GHEH HVSHFLILFDU FODUDPHQWH TXH ³OD FREHUWXUD GHO

C

V

E

-2017-9619

VHJXURTXHFXEUHODUHVSRQVDELOLGDGFLYLOGHODDFWLYLGDG´TXH VHUiODILMDGDHQGLFKD QRUPDWLYD R SRU OD QRUPDWLYD HQ PDWHULD GH VHJXUR GHSRUWLYR HQ YLJRU TXH OR VXVWLWX\D



&HUWLILFDGRGHFRQWUDWDFLyQGHVHJXURGHDFFLGHQWHVRJDUDQWtDILQDQFLHUDHTXLYDOHQWH $ WUDYpV GH OD )HGHUDFLyQ GH TXH WRGRV ORV SDUWLFLSDQWHV GH OD SUXHED HVWiQ IHGHUDGRV \ SRU WDQWR FXELHUWRV SRU HO VHJXUR REOLJDWRULR GHSRUWLYR UHJXODGR SRU HO 5HDO'HFUHWRGHGHMXQLR

&XDQGR HVWR QR IXHUD SRVLEOH FHUWLILFDGR GH OD &RPSDxtD GH 6HJXURV FRQ OD TXH HO RUJDQL]DGRU KD\D FRQWUDWDGR HO VHJXUR GH DFFLGHQWHV HQ HO TXH VH KDJD FRQVWDU H[SUHVDPHQWHTXHHVWiQFXELHUWRVWRGRVORVSDUWLFLSDQWHVGHODSUXHEDFRPRPtQLPR FRQ ODV FREHUWXUDV GHO VHJXUR REOLJDWRULR GHSRUWLYR UHJXODGR HQ HO 5HDO 'HFUHWR GHGHMXQLRRSRUODQRUPDWLYDHQPDWHULDGHVHJXURGHSRUWLYRHQYLJRU TXHORVXVWLWX\D



 /RV DQWHULRUHV VHJXURV VH FHUWLILFDUiQ VHJ~Q HO PRGHOR TXH ILJXUD HQ HO $QH[R ,, GHOSUHVHQWH'HFUHWR



 (Q DTXHOORV FDVRV TXH ODV SUXHEDV GHSRUWLYDV VHDQ IHGHUDGDV ORV FHUWLILFDGRV DQWHULRUHVSRGUiQVHUHPLWLGRVSRUOD)HGHUDFLyQFRUUHVSRQGLHQWH

$UWtFXOR6HUYLFLRVVDQLWDULRV

&HUWLILFDGR GH OD HPSUHVD VDQLWDULD TXH DFUHGLWH TXH OD RUJDQL]DFLyQ GLVSRQH GXUDQWH WRGD OD FHOHEUDFLyQ GH OD SUXHED GHSRUWLYD GH XQD GRWDFLyQ PtQLPD GH XQD DPEXODQFLD\XQPpGLFRSDUDODDVLVWHQFLDGHWRGRVORVSDUWLFLSDQWHV



(QODVSUXHEDVFX\DSDUWLFLSDFLyQVXSHUHORVSDUWLFLSDQWHVVHFRQWDUiFRQXQ PtQLPR GH GRV DPEXODQFLDV \ GRV PpGLFRV \ GHEHUi DxDGLUVH FRPR PtQLPR XQD DPEXODQFLD\XQPpGLFRSRUFDGDIUDFFLyQVXSOHPHQWDULDGHSDUWLFLSDQWHV

$UWtFXOR3HUVRQDO$X[LOLDU

(O SHUVRQDO DX[LOLDU SDUD HO PDQWHQLPLHQWR GHO RUGHQ \ FRQWURO GH OD DFWLYLGDG GHSHQGHUi GHO UHVSRQVDEOH GH VHJXULGDG YLDO GHEHUi VHU XQ Q~PHUR UD]RQDEOH QR LQIHULRUDXQDSHUVRQDFDGDVHLVFLHQWRVPHWURVDORODUJRGHOUHFRUULGRHQIXQFLyQGHODV FDUDFWHUtVWLFDV GH OD DFWLYLGDG \ GHEHUi WHQHU FRPR PtQLPR ODV VLJXLHQWHV FDUDFWHUtVWLFDV

D  6HUPD\RUGHDxRV\SRVHHUSHUPLVRGHFRQGXFFLyQ

E  'LVSRQHU SRU HVFULWR GH ODV LQVWUXFFLRQHV SUHFLVDV GDGDV SRU HO UHVSRQVDEOH GH VHJXULGDGYLDOGHODSUXHED\TXHKDEUiQVLGRH[SOLFDGDVSUHYLDPHQWHSRUpVWHRSRU ORVDJHQWHVGHODDXWRULGDGTXHGHQFREHUWXUDDODSUXHED

F  'LVSRQHU GH XQ VLVWHPD GH FRPXQLFDFLyQ HILFD] TXH SHUPLWD DO UHVSRQVDEOH GH VHJXULGDGYLDOHQWUDUHQFRQWDFWRFRQHOSHUVRQDOKDELOLWDGRGXUDQWHODFHOHEUDFLyQGH ODSUXHED

G  'LVSRQHUGHPDWHULDOGHVHxDOL]DFLyQDGHFXDGRLQWHJUDGRFRPRPtQLPRSRUFRQRV\ EDQGHUDV YHUGHV DPDULOODV \R URMDV SDUD LQGLFDU D ORV XVXDULRV VL OD UXWD HVWi R QR OLEUHRXQDVLWXDFLyQGHSHOLJURVLGDG

C

V

E

-2017-9619

H  'HEHUi SRGHU GHVSOD]DUVH GH XQ SXQWR D RWUR GHO UHFRUULGR SDUD HO HMHUFLFLR GH VXV IXQFLRQHV

$UWtFXOR8VRGHODVYtDV

 /DV SUXHEDV GHSRUWLYDV FRPSHWLWLYDV RUJDQL]DGDV VH GLVSXWDUiQ D WUiILFR FRPSOHWDPHQWH FHUUDGR D ORV XVXDULRV DMHQRV D GLFKD SUXHED \ JR]DUiQ GHO XVR H[FOXVLYR GH ODV YtDV HQ HO HVSDFLR FRPSUHQGLGR HQWUH HO YHKtFXOR GH DSHUWXUD FRQ EDQGHUDURMD\HOGHFLHUUHFRQEDQGHUDYHUGH

 /DV PDUFKDV FLFOLVWDV RUJDQL]DGDV \ RWURV HYHQWRV GHSRUWLYRV QR FRPSHWLWLYRV RUJDQL]DGRV VH GHVDUUROODUiQ FRQ HO WUiILFR DELHUWR VLQ SHUMXLFLR GH TXH HQ FLHUWDV FLUFXQVWDQFLDV R PRPHQWRV SXHGD FRQVLGHUDUVH OD RSFLyQ GH FHUUDU DO WUiILFR GHWHUPLQDGDV]RQDVPLHQWUDVGXUDHOSDVRGHORVSDUWLFLSDQWHVGHODDFWLYLGDGGHSRUWLYD $UWtFXOR5pJLPHQ6DQFLRQDGRU

 /DV LQIUDFFLRQHV FRPHWLGDV SRU ORV RUJDQL]DGRUHV SDUWLFLSDQWHV \ S~EOLFR HQ ODV DFWLYLGDGHV REMHWR GH HVWH GHFUHWR VH WUDPLWDUiQ GH FRQIRUPLGDG DO SURFHGLPLHQWR VDQFLRQDGRU UHJXODGR HQ OD /H\ GH &DQWDEULD  GH  GH DEULO GH (VSHFWiFXORV 3~EOLFRV\$FWLYLGDGHV5HFUHDWLYDVGH&DQWDEULD

'LVSRVLFLyQ7UDQVLWRULD

 /RV ([SHGLHQWHV LQLFLDGRV DQWHV GH OD HQWUDGD HQ YLJRU GHO SUHVHQWH 'HFUHWR VH UHJLUiQSRUORGLVSXHVWRHQODQRUPDWLYDYLJHQWHHQHOPRPHQWRGHOLQLFLRVDOYRTXHORV SUHFHSWRVGHHVWH'HFUHWRUHVXOWHQPiVIDYRUDEOHVSDUDHOLQWHUHVDGR

'LVSRVLFLyQ)LQDO

C V E -2017-9619 &216(-(5Ë$'(35(6,'(1&,$ <-867,&,$                 6HFUHWDUtD*HQHUDOGHOD&RQVHMHUtDGH 3UHVLGHQFLD\-XVWLFLD 6HUYLFLRGH-XHJR\(VSHFWiFXORV *2%,(512 GH &$17$%5,$ (63$&,25(6(59$'23$5$(/5(*,6752 $1(;2, 



   'DWRVGHORUJDQL]DGRU

1RPEUH $SHOOLGR $SHOOLGR 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季

1,)&,) 1RPEUHRUD]yQVRFLDO

7LSRGHYtD 1RPEUHGHODYtD 1ž 3LVR 3XHUWD 2WURV &yGLJRSRVWDO /RFDOLGDG 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 0XQLFLSLR 3URYLQFLD 7HOpIRQR 'LUHFFLyQGHFRUUHRHOHFWUyQLFR 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季 季    'DWRVGHODDFWLYLGDGGHSRUWLYD 1~PHURGHHGLFLyQ\QRPEUHGHODDFWLYLGDG

)HFKDGHFHOHEUDFLyQ +RUDGHVDOLGD\OOHJDGD /RFDOLGDGGHFHOHEUDFLyQ

 6ROLFLWXG 3UXHEDGHSRUWLYDFRPSHWLWLYDRUJDQL]DGD 0DUFKDFLFOLVWDRUJDQL]DGD 2WURVHYHQWRVGHSRUWLYRVQRFRPSHWLWLYRVRUJDQL]DGRV 'RFXPHQWDFLyQTXHDGMXQWD FRSLD\RULJLQDOSDUDVXFRWHMR  

 &HUWLILFDGR GHO SDJR GH OD 7DVD $GPLQLVWUDWLYD &RQFHSWR   D OD SUHVHQWDFLyQ GH OD VROLFLWXG HQ FDVR GH VHU QHFHVDULR   GLVSRQLEOHHQODSiJLQDZHEGHO*RELHUQRGH&DQWDEULD ZZZFDQWDEULDHV  $XWRUL]DFLyQRFHUWLILFDGRGHFDGDPRGDOLGDGGHSRUWLYDH[SHGLGRSRUOD)HGHUDFLyQFRUUHVSRQGLHQWH 0HPRULDGHODDFWLYLGDGGHSRUWLYDTXHVHSUHWHQGDFHOHEUDUHQHOTXHVHKDUiFRQVWDUDOPHQRVORVLJXLHQWH 5HJODPHQWRGHODDFWLYLGDGGHSRUWLYDHQHOTXHFRQVWDUiFRPRPtQLPRQRPEUHGHODDFWLYLGDGGHSRUWLYDQ~PHURFURQROyJLFRGHOD HGLFLyQIHFKDGHODFHOHEUDFLyQKRUDULRGHVDOLGD\Q~PHURSUHYLVWRGHSDUWLFLSDQWHV &URTXLVSUHFLVRGHOUHFRUULGRVREUHOD~OWLPDHGLFLyQGHOPDSDRILFLDOGHFDUUHWHUDV 5XWyPHWURHQHOTXHKDGHFRQVWDUHOLWLQHUDULRFRQQRPHQFODWXUDDFWXDOL]DGDGHODVFDUUHWHUDVQ~PHURWRWDOGHNLOyPHWURVSHUILO KRUDULRSUREDEOHGHSDVRSRUORVGLVWLQWRVSXQWRVGHWHUPLQDQWHVGHOUHFRUULGR\SURPHGLRSUHYLVWRWDQWRGHODFDEH]DGHODSUXHEDFRPR GHOFLHUUHGHpVWD6LODSUXHEDFRQVWDUDGHYDULDVHWDSDVVHGHWDOODUiFDGDXQDGHHOODV )RWRFRSLDGHOFDUQHWGHFRQGXFLUHQYLJRUGHORVUHVSRQVDEOHVGHODRUJDQL]DFLyQWDQWRGHOGLUHFWRUHMHFXWLYRFRPRGHOUHVSRQVDEOH GHVHJXULGDGYLDO 3ODQGHVHJXULGDGGHWDOODGR &HUWLILFDGRGHOD&RPSDxtDGH6HJXURVGHUHVSRQVDELOLGDGFLYLO\GHDFFLGHQWHV$QH[R,, 62/,&,78'3$5$$&7,9,'$'(6'(3257,9$6

C V E -2017-9619    'HFODUDFLyQUHVSRQVDEOH

6RQ FLHUWRV FXDQWRV GDWRV ILJXUDQ HQ OD SUHVHQWH VROLFLWXG \ HQ VX FDVR HQ OD GRFXPHQWDFLyQ DGMXQWD \ HVWD ~OWLPD HV ILHO FRSLD GH ORV RULJLQDOHV&RQR]FR\DFHSWRTXHOD$GPLQLVWUDFLyQ3~EOLFDSRGUiFRPSUREDUHQFXDOTXLHUPRPHQWRODYHUDFLGDGGHWRGRVORVGRFXPHQWRV GDWRV \ FXPSOLPLHQWR GH ORV UHTXLVLWRV SRU FXDOTXLHU PHGLR DGPLWLGR HQ GHUHFKR (Q HO VXSXHVWR GH TXH OD $GPLQLVWUDFLyQ FRPSUXHEH OD LQH[DFWLWXG GH ORV GDWRV GHFODUDGRV HO yUJDQR JHVWRU HVWDUi IDFXOWDGR SDUD UHDOL]DU ODV DFWXDFLRQHV SURFHGHQWHV VLQ SHUMXLFLR GH ODV UHVSRQVDELOLGDGHVTXHSXGLHUDQFRUUHVSRQGHUHQYLUWXGGHODOHJLVODFLyQDSOLFDEOH   (Q««««««D««GH«««««««««GH«««       )GR                     6(59,&,2'(-8(*2<(63(&7È&8/26 &3HxD+HUERVDSODQWD6DQWDQGHU7HOpI   /RVGDWRVSHUVRQDOHVUHFRJLGRVVHUiQLQFRUSRUDGRV\WUDWDGRVHQHOILFKHURFRUUHVSRQGLHQWH\SRGUiQVHUFHGLGRVGHFRQIRUPLGDGFRQORSUHYLVWRHQHODUWtFXORGHOD/H\2UJiQLFD GHGHGLFLHPEUHGH 3URWHFFLyQ GH 'DWRV GH &DUiFWHU3HUVRQDO 3RGUi HMHUFHU ORVGHUHFKRV GH DFFHVR UHFWLILFDFLyQ FDQFHODFLyQ\ RSRVLFLyQSUHYLVWRVHQ OD FLWDGD/H\ DQWH HO yUJDQR UHVSRQVDEOHGHOILFKHUR  3DUDFXDOTXLHUFRQVXOWDUHODFLRQDGDFRQHOSURFHGLPLHQWRSXHGHGLULJLUVHDOWHOpIRQRGHLQIRUPDFLyQDGPLQLVWUDWLYD VLOODPDGHVGHIXHUDGHOD&RPXQLGDG$XWyQRPD 

Related documents