From: Ali Younis Date: Sun, 2 Oct 2016 23:34:01 +0000 (-0700) Subject: Added to version 2 docs X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iotcloud.git;a=commitdiff_plain;h=3fb7e9fe13343c9ecafff18953a6276049903adc Added to version 2 docs --- diff --git a/version2/doc/iotcloud.aux b/version2/doc/iotcloud.aux deleted file mode 100644 index 7e94125..0000000 --- a/version2/doc/iotcloud.aux +++ /dev/null @@ -1,31 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\providecommand\HyField@AuxAddToCoFields[2]{} -\select@language{english} -\@writefile{toc}{\select@language{english}} -\@writefile{lof}{\select@language{english}} -\@writefile{lot}{\select@language{english}} -\@writefile{toc}{\contentsline {section}{\numberline {1}\textbf {Introduction}}{1}{section.1}} -\@writefile{toc}{\contentsline {section}{\numberline {2}\textbf {Approach}}{1}{section.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}\textbf {Records}}{1}{subsection.2.1}} -\@writefile{toc}{\contentsline {subsubsection}{\numberline {2.1.1}\textbf {Types of Payloads}}{1}{subsubsection.2.1.1}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}\textbf {Updates}}{2}{subsection.2.2}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}\textbf {Updates}}{3}{subsection.2.3}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}\textbf {Deletions}}{3}{subsection.2.4}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.5}\textbf {Checking the Graph}}{3}{subsection.2.5}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.6}\textbf {Live Status}}{3}{subsection.2.6}} diff --git a/version2/doc/iotcloud.log b/version2/doc/iotcloud.log deleted file mode 100644 index 3cf694c..0000000 --- a/version2/doc/iotcloud.log +++ /dev/null @@ -1,1306 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) (preloaded format=pdflatex 2015.5.24) 29 SEP 2016 15:21 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**iotcloud.tex -(./iotcloud.tex -LaTeX2e <2015/01/01> -Babel <3.9l> and hyphenation patterns for 79 languages loaded. -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/scrartcl.cls -Document Class: scrartcl 2015/05/06 v3.17a KOMA-Script document class (article) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/scrkbase.sty -Package: scrkbase 2015/05/06 v3.17a KOMA-Script package (KOMA-Script-dependent -basics and keyval usage) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/scrbase.sty -Package: scrbase 2015/05/06 v3.17a KOMA-Script package (KOMA-Script-independent - basics and keyval usage) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks14 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/scrlfile.sty -Package: scrlfile 2015/05/06 v3.17a KOMA-Script package (loading files) - -Package scrlfile, 2015/05/06 v3.17a KOMA-Script package (loading files) - Copyright (C) Markus Kohm - -))) (/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/tocbasic.sty -Package: tocbasic 2015/05/06 v3.17a KOMA-Script package (handling toc-files) -) -Package tocbasic Info: omitting babel extension for `toc' -(tocbasic) because of feature `nobabel' available -(tocbasic) for `toc' on input line 122. -Package tocbasic Info: omitting babel extension for `lof' -(tocbasic) because of feature `nobabel' available -(tocbasic) for `lof' on input line 123. -Package tocbasic Info: omitting babel extension for `lot' -(tocbasic) because of feature `nobabel' available -(tocbasic) for `lot' on input line 124. -Class scrartcl Info: File `scrsize11pt.clo' used to setup font sizes on input l -ine 1942. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/scrsize11pt.clo -File: scrsize11pt.clo 2015/05/06 v3.17a KOMA-Script font size class option (11p -t) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/koma-script/typearea.sty -Package: typearea 2015/05/06 v3.17a KOMA-Script package (type area) - -Package typearea, 2015/05/06 v3.17a KOMA-Script package (type area) - Copyright (C) Frank Neukam, 1992-1994 - Copyright (C) Markus Kohm, 1994- - -\ta@bcor=\skip41 -\ta@div=\count79 -\ta@hblk=\skip42 -\ta@vblk=\skip43 -\ta@temp=\skip44 -\footheight=\skip45 -Package typearea Info: These are the values describing the layout: -(typearea) DIV = 10 -(typearea) BCOR = 0.0pt -(typearea) \paperwidth = 614.295pt -(typearea) \textwidth = 430.00653pt -(typearea) DIV departure = -9% -(typearea) \evensidemargin = 19.87424pt -(typearea) \oddsidemargin = 19.87424pt -(typearea) \paperheight = 794.96999pt -(typearea) \textheight = 568.60025pt -(typearea) \topmargin = -30.173pt -(typearea) \headheight = 17.0pt -(typearea) \headsep = 20.40001pt -(typearea) \topskip = 11.0pt -(typearea) \footskip = 47.6pt -(typearea) \baselineskip = 13.6pt -(typearea) on input line 1485. -) -\c@part=\count80 -\c@section=\count81 -\c@subsection=\count82 -\c@subsubsection=\count83 -\c@paragraph=\count84 -\c@subparagraph=\count85 -LaTeX Info: Redefining \textsubscript on input line 3718. -\abovecaptionskip=\skip46 -\belowcaptionskip=\skip47 -\c@pti@nb@sid@b@x=\box26 -\c@figure=\count86 -\c@table=\count87 -\bibindent=\dimen102 -) (/usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2005/09/27 v1.99g Standard LaTeX package - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) -(/usr/local/texlive/2015/texmf-dist/tex/latex/fourier/fourier.sty -Package: fourier 2005/01/01 1.4 fourier-GUTenberg package - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2005/09/27 v1.99g Standard LaTeX package - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2005/09/27 v1.99g Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. - -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/fourier/fourier-orns.sty -Package: fourier-orns 2004/01/30 1.1 fourier-ornaments package -) -LaTeX Font Info: Redeclaring symbol font `operators' on input line 50. -LaTeX Font Info: Encoding `OT1' has changed to `T1' for symbol font -(Font) `operators' in the math version `normal' on input line 50. -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> T1/futs/m/n on input line 50. -LaTeX Font Info: Encoding `OT1' has changed to `T1' for symbol font -(Font) `operators' in the math version `bold' on input line 50. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> T1/futs/m/n on input line 50. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) T1/futs/m/n --> T1/futs/b/n on input line 51. -LaTeX Font Info: Redeclaring symbol font `letters' on input line 59. -LaTeX Font Info: Encoding `OML' has changed to `FML' for symbol font -(Font) `letters' in the math version `normal' on input line 59. -LaTeX Font Info: Overwriting symbol font `letters' in version `normal' -(Font) OML/cmm/m/it --> FML/futmi/m/it on input line 59. -LaTeX Font Info: Encoding `OML' has changed to `FML' for symbol font -(Font) `letters' in the math version `bold' on input line 59. -LaTeX Font Info: Overwriting symbol font `letters' in version `bold' -(Font) OML/cmm/b/it --> FML/futmi/m/it on input line 59. -\symotherletters=\mathgroup4 -LaTeX Font Info: Overwriting symbol font `letters' in version `bold' -(Font) FML/futmi/m/it --> FML/futmi/b/it on input line 61. -LaTeX Font Info: Overwriting symbol font `otherletters' in version `bold' -(Font) FML/futm/m/it --> FML/futm/b/it on input line 62. -LaTeX Font Info: Redeclaring math symbol \Gamma on input line 63. -LaTeX Font Info: Redeclaring math symbol \Delta on input line 64. -LaTeX Font Info: Redeclaring math symbol \Theta on input line 65. -LaTeX Font Info: Redeclaring math symbol \Lambda on input line 66. -LaTeX Font Info: Redeclaring math symbol \Xi on input line 67. -LaTeX Font Info: Redeclaring math symbol \Pi on input line 68. -LaTeX Font Info: Redeclaring math symbol \Sigma on input line 69. -LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 70. -LaTeX Font Info: Redeclaring math symbol \Phi on input line 71. -LaTeX Font Info: Redeclaring math symbol \Psi on input line 72. -LaTeX Font Info: Redeclaring math symbol \Omega on input line 73. -LaTeX Font Info: Redeclaring symbol font `symbols' on input line 113. -LaTeX Font Info: Encoding `OMS' has changed to `FMS' for symbol font -(Font) `symbols' in the math version `normal' on input line 113. -LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' -(Font) OMS/cmsy/m/n --> FMS/futm/m/n on input line 113. -LaTeX Font Info: Encoding `OMS' has changed to `FMS' for symbol font -(Font) `symbols' in the math version `bold' on input line 113. -LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' -(Font) OMS/cmsy/b/n --> FMS/futm/m/n on input line 113. -LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 114. -LaTeX Font Info: Encoding `OMX' has changed to `FMX' for symbol font -(Font) `largesymbols' in the math version `normal' on input line 1 -14. -LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' -(Font) OMX/cmex/m/n --> FMX/futm/m/n on input line 114. -LaTeX Font Info: Encoding `OMX' has changed to `FMX' for symbol font -(Font) `largesymbols' in the math version `bold' on input line 114 -. -LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' -(Font) OMX/cmex/m/n --> FMX/futm/m/n on input line 114. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 115. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> T1/futs/bx/n on input line 115. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> T1/futs/bx/n on input line 115. -LaTeX Font Info: Redeclaring math alphabet \mathrm on input line 116. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 117. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> T1/futs/m/it on input line 117. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> T1/futs/m/it on input line 117. -LaTeX Font Info: Redeclaring math alphabet \mathcal on input line 118. -LaTeX Font Info: Redeclaring math symbol \parallel on input line 134. -LaTeX Font Info: Redeclaring math symbol \hbar on input line 148. -LaTeX Font Info: Redeclaring math symbol \varkappa on input line 186. -LaTeX Font Info: Redeclaring math symbol \varvarrho on input line 187. -LaTeX Font Info: Redeclaring math delimiter \Vert on input line 210. -LaTeX Font Info: Redeclaring math delimiter \vert on input line 215. -LaTeX Font Info: Redeclaring math delimiter \Downarrow on input line 225. -LaTeX Font Info: Redeclaring math delimiter \backslash on input line 227. -LaTeX Font Info: Redeclaring math delimiter \rangle on input line 229. -LaTeX Font Info: Redeclaring math delimiter \langle on input line 231. -LaTeX Font Info: Redeclaring math delimiter \rbrace on input line 233. -LaTeX Font Info: Redeclaring math delimiter \lbrace on input line 235. -LaTeX Font Info: Redeclaring math delimiter \rceil on input line 237. -LaTeX Font Info: Redeclaring math delimiter \lceil on input line 239. -LaTeX Font Info: Redeclaring math delimiter \rfloor on input line 241. -LaTeX Font Info: Redeclaring math delimiter \lfloor on input line 243. -LaTeX Font Info: Redeclaring math accent \acute on input line 247. -LaTeX Font Info: Redeclaring math accent \grave on input line 248. -LaTeX Font Info: Redeclaring math accent \ddot on input line 249. -LaTeX Font Info: Redeclaring math accent \tilde on input line 250. -LaTeX Font Info: Redeclaring math accent \bar on input line 251. -LaTeX Font Info: Redeclaring math accent \breve on input line 252. -LaTeX Font Info: Redeclaring math accent \check on input line 253. -LaTeX Font Info: Redeclaring math accent \hat on input line 254. -LaTeX Font Info: Redeclaring math accent \dot on input line 255. -LaTeX Font Info: Redeclaring math accent \mathring on input line 256. -\symUfutm=\mathgroup5 -) -(/usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.sty -Package: babel 2014/09/25 3.9l The Babel package - -(/usr/local/texlive/2015/texmf-dist/tex/generic/babel-english/english.ldf -Language: english 2012/08/20 v3.3p English support from the babel system - -(/usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.def -File: babel.def 2014/09/25 3.9l Babel common definitions -\babel@savecnt=\count88 -\U@D=\dimen103 -) -\l@canadian = a dialect from \language\l@american -\l@australian = a dialect from \language\l@british -\l@newzealand = a dialect from \language\l@british -)) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2013/01/14 v2.14 AMS math features -\@mathmargin=\skip48 - -For additional information on amsmath, use the `?' option. -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks15 -\ex@=\dimen104 -)) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen105 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count89 -LaTeX Info: Redefining \frac on input line 210. -\uproot@=\count90 -\leftroot@=\count91 -LaTeX Info: Redefining \overline on input line 306. -\classnum@=\count92 -\DOTSCASE@=\count93 -LaTeX Info: Redefining \ldots on input line 378. -LaTeX Info: Redefining \dots on input line 381. -LaTeX Info: Redefining \cdots on input line 466. -\Mathstrutbox@=\box27 -\strutbox@=\box28 -\big@size=\dimen106 -LaTeX Font Info: Redeclaring font encoding OML on input line 566. -LaTeX Font Info: Redeclaring font encoding OMS on input line 567. -\macc@depth=\count94 -\c@MaxMatrixCols=\count95 -\dotsspace@=\muskip10 -\c@parentequation=\count96 -\dspbrk@lvl=\count97 -\tag@help=\toks16 -\row@=\count98 -\column@=\count99 -\maxfields@=\count100 -\andhelp@=\toks17 -\eqnshift@=\dimen107 -\alignsep@=\dimen108 -\tagshift@=\dimen109 -\tagwidth@=\dimen110 -\totwidth@=\dimen111 -\lineht@=\dimen112 -\@envbody=\toks18 -\multlinegap=\skip49 -\multlinetaggap=\skip50 -\mathdisplay@stack=\toks19 -LaTeX Info: Redefining \[ on input line 2665. -LaTeX Info: Redefining \] on input line 2666. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\symAMSa=\mathgroup6 -\symAMSb=\mathgroup7 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -LaTeX Font Info: Redeclaring math symbol \square on input line 141. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2015/03/04 v2.20.2 -\thm@style=\toks20 -\thm@bodyfont=\toks21 -\thm@headfont=\toks22 -\thm@notefont=\toks23 -\thm@headpunct=\toks24 -\thm@preskip=\skip51 -\thm@postskip=\skip52 -\thm@headsep=\skip53 -\dth@everypar=\toks25 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2014/10/28 v1.0p Standard LaTeX Graphics (DPC,SPQR) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 94. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO) -) -(/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count101 -)) -\Gin@req@height=\dimen113 -\Gin@req@width=\dimen114 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/lipsum/lipsum.sty -Package: lipsum 2014/07/27 v1.3 150 paragraphs of Lorem Ipsum dummy text -\c@lips@count=\count102 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX - -(/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO) - - -(/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO) -Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO) -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) -Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO) -Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO -) -Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO) -Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO) -Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO) -Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO) -) -(/usr/local/texlive/2015/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/auxhook.sty -Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) -) -\@linkdim=\dimen115 -\Hy@linkcounter=\count103 -\Hy@pagecounter=\count104 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count105 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Hyper figures OFF on input line 4443. -Package hyperref Info: Link nesting OFF on input line 4448. -Package hyperref Info: Hyper index ON on input line 4451. -Package hyperref Info: Plain pages OFF on input line 4458. -Package hyperref Info: Backreferencing OFF on input line 4463. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4688. -\c@Hy@tempcnt=\count106 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 5041. -\XeTeXLinkMargin=\dimen116 -\Fld@menulength=\count107 -\Field@Width=\dimen117 -\Fld@charsize=\dimen118 -Package hyperref Info: Hyper figures OFF on input line 6295. -Package hyperref Info: Link nesting OFF on input line 6300. -Package hyperref Info: Hyper index ON on input line 6303. -Package hyperref Info: backreferencing OFF on input line 6310. -Package hyperref Info: Link coloring OFF on input line 6315. -Package hyperref Info: Link coloring with OCG OFF on input line 6320. -Package hyperref Info: PDF/A mode OFF on input line 6325. -LaTeX Info: Redefining \ref on input line 6365. -LaTeX Info: Redefining \pageref on input line 6369. -\Hy@abspage=\count108 -\c@Item=\count109 -\c@Hfootnote=\count110 -) - -Package hyperref Message: Driver (autodetected): hpdftex. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX -\Fld@listcount=\count111 -\c@bookmark@seq@number=\count112 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -) -\Hy@SectionHShift=\skip54 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols -LaTeX Font Info: Redeclaring math symbol \blacksquare on input line 48. -LaTeX Font Info: Redeclaring math symbol \vDash on input line 60. -LaTeX Font Info: Redeclaring math symbol \leftleftarrows on input line 63. -LaTeX Font Info: Redeclaring math symbol \rightrightarrows on input line 64. - -LaTeX Font Info: Redeclaring math symbol \leqslant on input line 101. -LaTeX Font Info: Redeclaring math symbol \geqslant on input line 108. -LaTeX Font Info: Redeclaring math symbol \blacktriangleright on input line 1 -20. -LaTeX Font Info: Redeclaring math symbol \blacktriangleleft on input line 12 -1. -LaTeX Font Info: Redeclaring math symbol \complement on input line 165. -LaTeX Font Info: Redeclaring math symbol \intercal on input line 166. -LaTeX Font Info: Redeclaring math symbol \nleqslant on input line 181. -LaTeX Font Info: Redeclaring math symbol \ngeqslant on input line 182. -LaTeX Font Info: Redeclaring math symbol \varsubsetneq on input line 203. -LaTeX Font Info: Redeclaring math symbol \subsetneqq on input line 207. -LaTeX Font Info: Redeclaring math symbol \nparallel on input line 215. -LaTeX Font Info: Redeclaring math symbol \nvDash on input line 221. -LaTeX Font Info: Redeclaring math symbol \nexists on input line 235. -LaTeX Font Info: Redeclaring math symbol \smallsetminus on input line 251. -LaTeX Font Info: Redeclaring math symbol \curvearrowleft on input line 257. -LaTeX Font Info: Redeclaring math symbol \curvearrowright on input line 258. - -LaTeX Font Info: Redeclaring math symbol \varkappa on input line 260. -LaTeX Font Info: Redeclaring math symbol \hslash on input line 262. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count113 -\lst@gtempboxa=\box29 -\lst@token=\toks26 -\lst@length=\count114 -\lst@currlwidth=\dimen119 -\lst@column=\count115 -\lst@pos=\count116 -\lst@lostspace=\dimen120 -\lst@width=\dimen121 -\lst@newlines=\count117 -\lst@lineno=\count118 -\lst@maxwidth=\dimen122 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2014/09/06 1.5e (Carsten Heinz) -\c@lstnumber=\count119 -\lst@skipnumbers=\count120 -\lst@framebox=\box30 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2014/09/06 1.5e listings configuration -)) -Package: listings 2014/09/06 1.5e (Carsten Heinz) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty -Package: algorithm2e 2013/01/06 v5.00 algorithms environments -\c@AlgoLine=\count121 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/tools/xspace.sty -Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/relsize/relsize.sty -Package: relsize 2013/03/29 ver 4.1 -) -******************************************************** -Package `algorithm2e' Release 5.0 -- january 06 2013 -- -- algorithm2e-announce@lirmm.fr mailing list for announcement about releases -- algorithm2e-discussion@lirmm.fr mailing list for discussion about package -subscribe by emailing sympa@lirmm.fr with 'subscribe ' -- Author: Christophe Fiorio (cfiorio@um2.fr) -******************************************************** -\skiptotal=\skip55 -\skiplinenumber=\skip56 -\skiprule=\skip57 -\skiphlne=\skip58 -\skiptext=\skip59 -\skiplength=\skip60 -\algomargin=\skip61 -\skipalgocfslide=\skip62 -\algowidth=\dimen123 -\inoutsize=\dimen124 -\inoutindent=\dimen125 -\interspacetitleruled=\dimen126 -\interspacealgoruled=\dimen127 -\interspacetitleboxruled=\dimen128 -\algocf@inoutbox=\box31 -\algocf@inputbox=\box32 -\AlCapSkip=\skip63 -\AlCapHSkip=\skip64 -\algoskipindent=\skip65 -\algocf@nlbox=\box33 -\algocf@hangingbox=\box34 -\algocf@untilbox=\box35 -\algocf@skipuntil=\skip66 -\algocf@capbox=\box36 -\algoheightruledefault=\skip67 -\algoheightrule=\skip68 -\algotitleheightruledefault=\skip69 -\algotitleheightrule=\skip70 -\c@algocfline=\count122 -\c@algocfproc=\count123 -\c@algocf=\count124 -\algocf@algoframe=\box37 -\algocf@algobox=\box38 -) (/usr/local/texlive/2015/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty -Package: algpseudocode - -(/usr/local/texlive/2015/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty -Package: algorithmicx 2005/04/27 v1.2 Algorithmicx - -Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style -\c@ALG@line=\count125 -\c@ALG@rem=\count126 -\c@ALG@nested=\count127 -\ALG@tlm=\skip71 -\ALG@thistlm=\skip72 -\c@ALG@Lnr=\count128 -\c@ALG@blocknr=\count129 -\c@ALG@storecount=\count130 -\c@ALG@tmpcounter=\count131 -\ALG@tmplength=\skip73 -) -Document Style - pseudocode environments for use with the `algorithmicx' style -) (/usr/local/texlive/2015/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 2014/10/28 v3.00 enumerate extensions (DPC) -\@enLab=\toks27 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/tools/array.sty -Package: array 2014/10/28 v2.4c Tabular extension package (FMi) -\col@sep=\dimen129 -\extrarowheight=\dimen130 -\NC@list=\toks28 -\extratabsurround=\skip74 -\backup@length=\skip75 -) -\everycr=\toks29 -\minrowclearance=\skip76 -) -\rownum=\count132 -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/sectsty/sectsty.sty -Package: sectsty 2002/02/25 v2.0.2 Commands to change all sectional heading sty -les -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count133 -\float@exts=\toks30 -\float@box=\box39 -\@float@everytoks=\toks31 -\@floatcapt=\box40 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption.sty -Package: caption 2013/05/02 v3.3-89 Customizing captions (AR) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption3.sty -Package: caption3 2013/05/02 v1.6-88 caption3 kernel (AR) -Package caption3 Info: TeX engine: e-TeX on input line 57. -\captionmargin=\dimen131 -\captionmargin@=\dimen132 -\captionwidth=\dimen133 -\caption@tempdima=\dimen134 -\caption@indent=\dimen135 -\caption@parindent=\dimen136 -\caption@hangindent=\dimen137 -) -Package caption Info: KOMA-Script document class. -\c@ContinuedFloat=\count134 -Package caption Info: float package is loaded. -Package caption Info: hyperref package is loaded. -Package caption Info: listings package is loaded. -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/was/gensymb.sty -Package: gensymb 2003/07/02 v1.0 (WaS) -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/siunitx/siunitx.sty -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3.sty -Package: expl3 2015/03/01 v5547 L3 programming layer (loader) - -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3-code.tex -Package: expl3 2015/03/01 v5547 L3 programming layer (code) -L3 Module: l3bootstrap 2015/02/28 v5542 L3 Bootstrap code -L3 Module: l3names 2015/02/24 v5535 L3 Namespace for primitives -L3 Module: l3basics 2015/01/27 v5500 L3 Basic definitions -L3 Module: l3expan 2014/11/27 v5472 L3 Argument expansion -L3 Module: l3tl 2015/01/27 v5500 L3 Token lists -L3 Module: l3str 2015/03/01 v5545 L3 Strings -L3 Module: l3seq 2014/08/23 v5354 L3 Sequences and stacks -L3 Module: l3int 2015/02/21 v5529 L3 Integers -\c_max_int=\count135 -\l_tmpa_int=\count136 -\l_tmpb_int=\count137 -\g_tmpa_int=\count138 -\g_tmpb_int=\count139 -L3 Module: l3quark 2014/08/23 v5354 L3 Quarks -L3 Module: l3prg 2014/08/23 v5354 L3 Control structures -\g__prg_map_int=\count140 -L3 Module: l3clist 2014/08/23 v5354 L3 Comma separated lists -L3 Module: l3token 2014/09/15 v5422 L3 Experimental token manipulation -L3 Module: l3prop 2014/08/23 v5354 L3 Property lists -L3 Module: l3msg 2015/02/26 v5537 L3 Messages -L3 Module: l3file 2014/08/24 v5369 L3 File and I/O operations -\l_iow_line_count_int=\count141 -\l__iow_target_count_int=\count142 -\l__iow_current_line_int=\count143 -\l__iow_current_word_int=\count144 -\l__iow_current_indentation_int=\count145 -L3 Module: l3skip 2014/08/23 v5354 L3 Dimensions and skips -\c_zero_dim=\dimen138 -\c_max_dim=\dimen139 -\l_tmpa_dim=\dimen140 -\l_tmpb_dim=\dimen141 -\g_tmpa_dim=\dimen142 -\g_tmpb_dim=\dimen143 -\c_zero_skip=\skip77 -\c_max_skip=\skip78 -\l_tmpa_skip=\skip79 -\l_tmpb_skip=\skip80 -\g_tmpa_skip=\skip81 -\g_tmpb_skip=\skip82 -\c_zero_muskip=\muskip12 -\c_max_muskip=\muskip13 -\l_tmpa_muskip=\muskip14 -\l_tmpb_muskip=\muskip15 -\g_tmpa_muskip=\muskip16 -\g_tmpb_muskip=\muskip17 -L3 Module: l3keys 2015/01/27 v5500 L3 Key-value interfaces -\g__keyval_level_int=\count146 -\l_keys_choice_int=\count147 -L3 Module: l3fp 2014/08/22 v5336 L3 Floating points -\c__fp_leading_shift_int=\count148 -\c__fp_middle_shift_int=\count149 -\c__fp_trailing_shift_int=\count150 -\c__fp_big_leading_shift_int=\count151 -\c__fp_big_middle_shift_int=\count152 -\c__fp_big_trailing_shift_int=\count153 -\c__fp_Bigg_leading_shift_int=\count154 -\c__fp_Bigg_middle_shift_int=\count155 -\c__fp_Bigg_trailing_shift_int=\count156 -L3 Module: l3box 2014/08/23 v5354 L3 Experimental boxes -\c_empty_box=\box41 -\l_tmpa_box=\box42 -\l_tmpb_box=\box43 -\g_tmpa_box=\box44 -\g_tmpb_box=\box45 -L3 Module: l3coffins 2014/08/23 v5354 L3 Coffin code layer -\l__coffin_internal_box=\box46 -\l__coffin_internal_dim=\dimen144 -\l__coffin_offset_x_dim=\dimen145 -\l__coffin_offset_y_dim=\dimen146 -\l__coffin_x_dim=\dimen147 -\l__coffin_y_dim=\dimen148 -\l__coffin_x_prime_dim=\dimen149 -\l__coffin_y_prime_dim=\dimen150 -\c_empty_coffin=\box47 -\l__coffin_aligned_coffin=\box48 -\l__coffin_aligned_internal_coffin=\box49 -\l_tmpa_coffin=\box50 -\l_tmpb_coffin=\box51 -\l__coffin_display_coffin=\box52 -\l__coffin_display_coord_coffin=\box53 -\l__coffin_display_pole_coffin=\box54 -\l__coffin_display_offset_dim=\dimen151 -\l__coffin_display_x_dim=\dimen152 -\l__coffin_display_y_dim=\dimen153 -L3 Module: l3color 2014/08/23 v5354 L3 Experimental color support -L3 Module: l3candidates 2015/03/01 v5544 L3 Experimental additions to l3kernel -\l__box_top_dim=\dimen154 -\l__box_bottom_dim=\dimen155 -\l__box_left_dim=\dimen156 -\l__box_right_dim=\dimen157 -\l__box_top_new_dim=\dimen158 -\l__box_bottom_new_dim=\dimen159 -\l__box_left_new_dim=\dimen160 -\l__box_right_new_dim=\dimen161 -\l__box_internal_box=\box55 -\l__coffin_bounding_shift_dim=\dimen162 -\l__coffin_left_corner_dim=\dimen163 -\l__coffin_right_corner_dim=\dimen164 -\l__coffin_bottom_corner_dim=\dimen165 -\l__coffin_top_corner_dim=\dimen166 -\l__coffin_scaled_total_height_dim=\dimen167 -\l__coffin_scaled_width_dim=\dimen168 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3unicode-data.def -File: l3unicode-data.def 2015/03/01 v5544 L3 Unicode data -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3pdfmode.def -File: l3pdfmode.def 2015/03/01 v5544 L3 Experimental driver: PDF mode -\l__driver_color_stack_int=\count157 -)) -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3packages/xparse/xparse.sty -Package: xparse 2014/11/25 v5471 L3 Experimental document command parser -\l__xparse_current_arg_int=\count158 -\l__xparse_m_args_int=\count159 -\l__xparse_mandatory_args_int=\count160 -\l__xparse_processor_int=\count161 -\l__xparse_v_nesting_int=\count162 -) -Package: siunitx 2015/01/21 v2.6e A comprehensive (SI) units package - -(/usr/local/texlive/2015/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty -Package: l3keys2e 2014/11/25 v5471 LaTeX2e option processing using LaTeX3 keys -) -Variant \tl_if_blank:VTF already defined; not changing it on line 50 -\l__siunitx_tmp_box=\box56 -\l__siunitx_tmp_dim=\dimen169 -\l__siunitx_tmp_int=\count163 -Variant \prop_get:NVNT already defined; not changing it on line 380 -Variant \prop_get:NVNF already defined; not changing it on line 381 -Variant \prop_get:NVNTF already defined; not changing it on line 382 -\l__siunitx_number_mantissa_length_int=\count164 -\l__siunitx_number_uncert_length_int=\count165 -\l__siunitx_round_int=\count166 -\l__siunitx_process_decimal_int=\count167 -\l__siunitx_process_uncertainty_int=\count168 -\l__siunitx_process_fixed_int=\count169 -\l__siunitx_process_integer_min_int=\count170 -\l__siunitx_process_precision_int=\count171 -\l__siunitx_group_min_int=\count172 -\l__siunitx_angle_marker_box=\box57 -\l__siunitx_angle_unit_box=\box58 -\l__siunitx_angle_marker_dim=\dimen170 -\l__siunitx_angle_unit_dim=\dimen171 -\l__siunitx_unit_int=\count173 -\l__siunitx_unit_denominator_int=\count174 -\l__siunitx_unit_numerator_int=\count175 -\l__siunitx_unit_prefix_int=\count176 -\l__siunitx_unit_prefix_base_int=\count177 -\l__siunitx_unit_prefix_gram_int=\count178 -\l__siunitx_number_product_int=\count179 -\c__siunitx_one_fill_skip=\skip83 -\l__siunitx_table_unit_align_skip=\skip84 -\l__siunitx_table_exponent_dim=\dimen172 -\l__siunitx_table_integer_dim=\dimen173 -\l__siunitx_table_mantissa_dim=\dimen174 -\l__siunitx_table_marker_dim=\dimen175 -\l__siunitx_table_result_dim=\dimen176 -\l__siunitx_table_uncert_dim=\dimen177 -\l__siunitx_table_fill_pre_dim=\dimen178 -\l__siunitx_table_fill_post_dim=\dimen179 -\l__siunitx_table_fill_mid_dim=\dimen180 -\l__siunitx_table_pre_box=\box59 -\l__siunitx_table_post_box=\box60 -\l__siunitx_table_mantissa_box=\box61 -\l__siunitx_table_result_box=\box62 -\l__siunitx_table_number_align_skip=\skip85 -\l__siunitx_table_text_align_skip=\skip86 -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareBinaryPrefix with sig. 'mmm' on line 7176. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIPostPower with sig. 'mm' on line 7179. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIPrefix with sig. 'mmm' on line 7182. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIPrePower with sig. 'mm' on line 7185. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIQualifier with sig. 'mm' on line 7188. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIUnit with sig. 'O{}mm' on line 7191. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \DeclareSIUnitWithOptions with sig. 'mmm' on line 7194. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \ang with sig. 'o>{\SplitArgument {2}{;}}m' on line 7209. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \num with sig. 'om' on line 7217. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \numlist with sig. 'o>{\SplitList {;}}m' on line 7225. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \numrange with sig. 'omm' on line 7233. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \SIlist with sig. 'o>{\SplitList {;}}mm' on line 7244. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \SIrange with sig. 'ommm' on line 7255. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \SI with sig. 'omom' on line 7266. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \sisetup with sig. 'm' on line 7269. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \tablenum with sig. 'om' on line 7281. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \si with sig. 'om' on line 7292. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_num:w with sig. 'om' on line 7339. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_numrange:w with sig. 'omm' on line -. 7341. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_SI:w with sig. 'omom' on line 7343. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_SIlist:w with sig. 'omm' on line 7345. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_SIrange:w with sig. 'ommm' on line -. 7347. -................................................. -................................................. -. LaTeX info: "xparse/define-command" -. -. Defining command \__siunitx_bookmark_si:w with sig. 'om' on line 7348. -................................................. -\g__file_internal_ior=\read1 -(/usr/local/texlive/2015/texmf-dist/tex/latex/beamer/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/local/texlive/2015/texmf-dist/tex/latex/beamer/translator/translator-lang -uage-mappings.tex))) -(/usr/local/texlive/2015/texmf-dist/tex/latex/enumitem/enumitem.sty -Package: enumitem 2011/09/28 v3.5.2 Customized lists -\labelindent=\skip87 -\enit@outerparindent=\dimen181 -\enit@toks=\toks32 -\enit@inbox=\box63 -\enitdp@description=\count180 -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/mathpazo.sty -Package: mathpazo 2005/04/12 PSNFSS-v9.2a Palatino w/ Pazo Math (D.Puga, WaS) -\symupright=\mathgroup8 -) - -Class scrartcl Warning: Usage of package `fancyhdr' together -(scrartcl) with a KOMA-Script class is not recommended. -(scrartcl) I'd suggest to use -(scrartcl) package `scrlayer-scrpage'. -(scrartcl) Nevertheless, using requested -(scrartcl) package `fancyhdr' on input line 46. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty -\fancy@headwidth=\skip88 -\f@ncyO@elh=\skip89 -\f@ncyO@erh=\skip90 -\f@ncyO@olh=\skip91 -\f@ncyO@orh=\skip92 -\f@ncyO@elf=\skip93 -\f@ncyO@erf=\skip94 -\f@ncyO@olf=\skip95 -\f@ncyO@orf=\skip96 -) -No file iotcloud.aux. -\openout1 = `iotcloud.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for FML/futm/m/it on input line 80. -LaTeX Font Info: Try loading font information for FML+futm on input line 80. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/fourier/fmlfutm.fd -File: fmlfutm.fd 2004/10/30 Fontinst v1.926 font definitions for FML/futm. -) -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for FMS/futm/m/n on input line 80. -LaTeX Font Info: Try loading font information for FMS+futm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/fourier/fmsfutm.fd -File: fmsfutm.fd 2004/10/30 Fontinst v1.926 font definitions for FMS/futm. -) -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for FMX/futm/m/n on input line 80. -LaTeX Font Info: Try loading font information for FMX+futm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/fourier/fmxfutm.fd -File: fmxfutm.fd futm-extension -) -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 80. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 80. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/ts1cmr.fd -File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 80. -LaTeX Font Info: ... okay on input line 80. -LaTeX Font Info: Try loading font information for T1+pplx on input line 80. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/t1pplx.fd -File: t1pplx.fd 2004/09/06 font definitions for T1/pplx. -) -(/usr/local/texlive/2015/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count181 -\scratchdimen=\dimen182 -\scratchbox=\box64 -\nofMPsegments=\count182 -\nofMParguments=\count183 -\everyMPshowfont=\toks33 -\MPscratchCnt=\count184 -\MPscratchDim=\dimen183 -\MPnumerator=\count185 -\makeMPintoPDFobject=\count186 -\everyMPtoPDFconversion=\toks34 -) (/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -\AtBeginShipoutBox=\box65 -Package hyperref Info: Link coloring OFF on input line 80. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section - -(/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count187 -) -LaTeX Info: Redefining \ref on input line 80. -LaTeX Info: Redefining \pageref on input line 80. -LaTeX Info: Redefining \nameref on input line 80. -\@outlinefile=\write3 -\openout3 = `iotcloud.out'. - -\c@lstlisting=\count188 -Package caption Info: Begin \AtBeginDocument code. -Package caption Info: End \AtBeginDocument code. -\symgns@font=\mathgroup9 -LaTeX Font Info: Overwriting symbol font `gns@font' in version `bold' -(Font) TS1/pplx/m/n --> TS1/pplx/bx/n on input line 80. -Package gensymb Info: Math companion symbols declared on input line 80. -LaTeX Info: Redefining \degree on input line 80. -LaTeX Info: Redefining \celsius on input line 80. -Package gensymb Info: Using text companion symbols for \degree, \celsius and \p -erthousand on input line 80. -LaTeX Info: Redefining \ohm on input line 80. -Package gensymb Info: Using \textohm for \ohm on input line 80. -Package gensymb Info: Using \textmu for \micro on input line 80. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/beamer/translator/dicts/translato -r-basic-dictionary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/local/texlive/2015/texmf-dist/tex/latex/siunitx/siunitx-abbreviations.cfg -File: siunitx-abbreviations.cfg 2015/01/21 v2.6e siunitx: Abbreviated units -) -\c__siunitx_mathsf_int=\count189 -LaTeX Font Info: Try loading font information for OT1+pplx on input line 80. - - (/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/ot1pplx.fd -File: ot1pplx.fd 2004/09/06 font definitions for OT1/pplx. -) -LaTeX Font Info: Try loading font information for OML+zplm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/omlzplm.fd -File: omlzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OML/zplm. -) -LaTeX Font Info: Try loading font information for OMS+zplm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/omszplm.fd -File: omszplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMS/zplm. -) -LaTeX Font Info: Try loading font information for OMX+zplm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/omxzplm.fd -File: omxzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMX/zplm. -) -LaTeX Font Info: Font shape `U/futm/m/n' will be -(Font) scaled to size 10.07397pt on input line 80. -LaTeX Font Info: Font shape `U/futm/m/n' will be -(Font) scaled to size 7.35999pt on input line 80. -LaTeX Font Info: Font shape `U/futm/m/n' will be -(Font) scaled to size 5.51999pt on input line 80. -LaTeX Font Info: Font shape `U/msa/m/n' will be -(Font) scaled to size 11.40997pt on input line 80. -LaTeX Font Info: Font shape `U/msa/m/n' will be -(Font) scaled to size 8.33606pt on input line 80. -LaTeX Font Info: Font shape `U/msa/m/n' will be -(Font) scaled to size 6.25204pt on input line 80. -LaTeX Font Info: Font shape `U/msb/m/n' will be -(Font) scaled to size 11.40997pt on input line 80. -LaTeX Font Info: Font shape `U/msb/m/n' will be -(Font) scaled to size 8.33606pt on input line 80. -LaTeX Font Info: Font shape `U/msb/m/n' will be -(Font) scaled to size 6.25204pt on input line 80. -LaTeX Font Info: Try loading font information for OT1+zplm on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/ot1zplm.fd -File: ot1zplm.fd 2002/09/08 Fontinst v1.914 font definitions for OT1/zplm. -) -LaTeX Font Info: Try loading font information for TS1+pplx on input line 80. - - -(/usr/local/texlive/2015/texmf-dist/tex/latex/psnfss/ts1pplx.fd -File: ts1pplx.fd 2004/09/06 font definitions for TS1/pplx. -) -\c__siunitx_mathtt_int=\count190 -LaTeX Font Info: Try loading font information for T1+cmss on input line 83. - -(/usr/local/texlive/2015/texmf-dist/tex/latex/base/t1cmss.fd -File: t1cmss.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: Font shape `U/futm/m/n' will be -(Font) scaled to size 13.24796pt on input line 83. -LaTeX Font Info: Font shape `U/futm/m/n' will be -(Font) scaled to size 9.19998pt on input line 83. -LaTeX Font Info: Font shape `U/msa/m/n' will be -(Font) scaled to size 15.0049pt on input line 83. -LaTeX Font Info: Font shape `U/msa/m/n' will be -(Font) scaled to size 10.42007pt on input line 83. -LaTeX Font Info: Font shape `U/msb/m/n' will be -(Font) scaled to size 15.0049pt on input line 83. -LaTeX Font Info: Font shape `U/msb/m/n' will be -(Font) scaled to size 10.42007pt on input line 83. - - -LaTeX Font Warning: Font shape `T1/pplx/bx/sc' undefined -(Font) using `T1/pplx/bx/n' instead on input line 95. - -LaTeX Font Info: Font shape `T1/pplx/bx/n' in size <14.4> not available -(Font) Font shape `T1/pplx/b/n' tried instead on input line 95. -LaTeX Font Info: Font shape `T1/pplx/bx/sc' in size <14.4> not available -(Font) Font shape `T1/pplx/b/n' tried instead on input line 97. -LaTeX Font Info: Font shape `T1/pplx/bx/sc' in size <12> not available -(Font) Font shape `T1/pplx/b/n' tried instead on input line 99. -LaTeX Font Info: Font shape `T1/pplx/bx/sc' in size <10.95> not available -(Font) Font shape `T1/pplx/b/n' tried instead on input line 111. -LaTeX Font Info: Font shape `T1/pplx/bx/n' in size <10.95> not available -(Font) Font shape `T1/pplx/b/n' tried instead on input line 116. -[1 - - -{/usr/local/texlive/2015/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] -[2] [3] -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 197. - [4] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 197. - (./iotcloud.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 197. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 197. - - -Package rerunfilecheck Warning: File `iotcloud.out' has changed. -(rerunfilecheck) Rerun to get outlines right -(rerunfilecheck) or use package `bookmark'. - -Package rerunfilecheck Info: Checksums for `iotcloud.out': -(rerunfilecheck) Before: -(rerunfilecheck) After: 06A9A7E8DEB39738FDB8F0683597E1A2;519. - -LaTeX Font Warning: Some font shapes were not available, defaults substituted. - -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 197. - ) -Here is how much of TeX's memory you used: - 22764 strings out of 493089 - 416077 string characters out of 6134842 - 631464 words of memory out of 5000000 - 25935 multiletter control sequences out of 15000+600000 - 63146 words of font info for 115 fonts, out of 8000000 for 9000 - 1141 hyphenation exceptions out of 8191 - 45i,11n,48p,10396b,958s stack positions out of 5000i,500n,10000p,200000b,80000s -{/usr/local/texlive/2015/texmf-dist/fonts/enc/dvips/base/8r.enc} -Output written on iotcloud.pdf (4 pages, 55663 bytes). -PDF statistics: - 78 PDF objects out of 1000 (max. 8388607) - 67 compressed objects within 1 object stream - 35 named destinations out of 1000 (max. 500000) - 1 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/version2/doc/iotcloud.pdf b/version2/doc/iotcloud.pdf deleted file mode 100644 index a43cebe..0000000 Binary files a/version2/doc/iotcloud.pdf and /dev/null differ diff --git a/version2/doc/iotcloud.tex b/version2/doc/iotcloud.tex index abc302d..8c11982 100644 --- a/version2/doc/iotcloud.tex +++ b/version2/doc/iotcloud.tex @@ -113,22 +113,31 @@ The different types of record payloads are: \begin{itemize} \item Delete notifications \begin{itemize} - \item Contains the HMAC of records that were deleted by devices. - \item Generated when a device deletes a key from the end of one of the device queues. + \item Contains the HMAC of records that were deleted by devices, Their vector clocks and the server sequence numbers. + \item Generated when a device deletes a record. + \item The delete notification with the largest server sequence number in its delete payload is the live one (the one that contains the largest server sequence number of the record deleted to date). \end{itemize} \item Commit notifications \begin{itemize} \item Contains list of transactions that are committed in order of commit and the current key-value pair for that key. \item Generated by the arbitrator of a key and only the for that key (1 arbitrator per key). - \item + \item Used in the case that there is a key value pair that needs reordering. \end{itemize} \item Abort notifications \begin{itemize} \item Contains a transaction ID of an aborted transaction and the machine ID of the device that created that transaction. + \item Causes a transaction to be aborted. + \end{itemize} + \item Abort acknowledgement notifications + \begin{itemize} + \item Contains a transaction ID of an aborted transaction, the machine ID of the device that created that transaction and the abort notification ID that this is acknowledging. + \item Causes an abort notification to become dead. + \item Is generated by the device that had created an aborted transaction as an acknowledgement that it saw the aborted transaction notification. + \item This payload type immediately becomes dead (not live) upon insertion into the data structure. \end{itemize} \item Data structure re-size notifications \begin{itemize} - \item Contains new size of data structure (number of record allowed in the data structure). + \item Contains new size of data structure (number of record allowed in the data structure or something like that). \item Causes old data Structure re-size notification to no longer be live. \end{itemize} \item Server sequence number for a specific record notifications @@ -147,7 +156,7 @@ The different types of record payloads are: \end{itemize} -\subsection{\textbf{Updates}} +\subsection{\textbf{Updates (Online Updates)}} Updates take place as follows: \begin{enumerate} \item A device pulls the latest version of the data structure. If the device cannot pull the latest version because of network connectivity or some other issues then that device will just work using the local copy of the data structure it has. @@ -157,10 +166,10 @@ Updates take place as follows: \item Creates a vector clock using the largest clock values from each device it knows and its own largest clock value incremented by 1. \item Add a random salt (or nonce) for the encryption safety \item Fill the record data section with the transactions, key-value pairs, ext. - \item Fill the remainder of the data section with rescued key-value pairs, transactions, ext. + \item Fill the remainder of the data section with rescued key-value pairs, transactions, ext (Discussed later). \item Pad the record to be the same size for all records. \item Calculate the HMAC of the record and add that to the record - \item Encrypt the record + \item Encrypt the record. \end{enumerate} \item Send the record to the server for insertion into the device's queue. \item Wait for response from server stating the new records (the one just sent) server sequence number. Save this server sequence number for when creating the next record. @@ -168,30 +177,101 @@ Updates take place as follows: \end{enumerate} -\subsection{\textbf{Updates}} +\subsection{\textbf{Updates when offline}} +When offline and making updates, the devices should use their local copy of the data structure but do no deletes. When connection is reestablished the following should take place: + +\begin{enumerate} + \item Pull the latest version of the data structure. + \item Update local copy of the data structure except for own devices device queue (do deletions as needed) + \item Calculate many records are "new" to the data structure and pick the same amount to be deleted + \item Push the updates and the deletes to the server + \item Wait for sequence numbers for the recently pushed records + \item Push the sequence numbers for the recently pushed records (using online updates from the section above) +\end{enumerate} + +This kind of update will result in the latest key-value pair being the last pushed record from this update (if no other updates are occurring at the same time). The arbitrator can then commit or abort as needed but in the mean time the key-value pair may be an old one (but have the largest server sequence number). + \subsection{\textbf{Deletions}} +When deciding which records to delete the following is to be done: +\begin{enumerate} + \item Order all the records in order based on their server sequence numbers + \item Calculate the difference between the current size of the data structure and the minimum size of the data structure (lets call this $m$) + \item Delete the oldest m records based on the ordering from step 1. + \begin{itemize} + \item If a record to be deleted has live data in it then the whole data structure needs to be resized. + \end{itemize} +\end{enumerate} + +Note this makes that size of the data structure be bounded. +If there are $n$ devices and the data structure has a minimum size of $m$. Then the max size of the data structure is given by $m + n$ for the case when all the devices make an update at the same time. + +\subsection{\textbf{Rescuing Transactions, Commits, Aborts, Ext}} +Data should be proactively rescued from the "oldest" records currently in the data structure. Unused space in new records should be used to rescue data from old records so that when it comes time to delete the old records, there are no live pieces of data that need to be rescued. When a piece of data is rescued, it is rescued with its vector clock as well (so that the time of that data can be saved). + +When deciding which data to rescue the following is to be done: +\begin{enumerate} + \item Order all the records in order based on their server sequence numbers + \item Create an ordered list of currently live transactions, commits, aborts, ext from the oldest $n$ records from step one where the order is based on the age of the data (how old the record . + \item Randomly select from the list of live data to save. Save as much as can fit in the current new record. The random selection could give higher probability to data from records that are to be deleted sooner. +\end{enumerate} + +If a record needs to be deleted but still contains live data then the data structure needs to be resized. -\subsection{\textbf{Checking the Graph}} +\subsection{\textbf{Checking the Data Structure}} Checking the data structure for consistency is done as follows: \begin{enumerate} \item Verify that each record in the data structure has an HMAC that matches the data in the record. \item Verify that there are at least as many records in the data structure as stated in the largest data structure size record. \item Make sure that for each device queue the difference between the vector clock value of the device queues clock is at most 1 between 2 consecutive messages. \item Verify that no currently live data Structure re-size notification is smaller than the last known data structure size. Data structure can only grow in size. + \item Verify that all the server sequence numbers for the records that are currently present have unique numbers that have a difference of 1 (no gaps). + \item Verify record server sequence numbers against the stated server sequence numbers in the server sequence number notification payloads (make sure the server is not changing the sequence number on the fly). + \item \end{enumerate} + +\subsection{\textbf{The Arbitrator}} +The arbitrator can: +\begin{enumerate} + \item Send Commits + \item Send Aborts +\end{enumerate} + +\subsubsection{\textbf{Commits}} +Commits have the following properties +\begin{itemize} + \item Agree with the ordering of the server sequence numbers + \item Once a key-value pair is commited it can not be commited again. + \item Cannot commit an already aborted transaction. + \item Commits state the ordering of key-value pairs. + \item Can disagree with the ordering of server sequence numbers but + \item Should occur frequently as to make sure that the commit order matches the server sequence ordering as closely as possible (prevent large divergence of the 2 orderings) +\end{itemize} + +\subsubsection{\textbf{Aborts}} +Aborts are used to show which transactions have been aborted and will not be used in the total ordering of the transactions. Aborts are considered live until an abort acknowledgement is presented. +When the transaction is aborted then the devices should simply act as if it were never present when evaluating for the latest key-value pair. \subsection{\textbf{Live Status}} Live Status of entries: \begin{enumerate} - \item Key-Value Entry is dead if either: + \item Key-Value Entry/Data Entry is dead if either: \begin{enumerate} - \item there is a newer key-value pair - \item it is incomplete. + \item There is a newer key-value pair: + \begin{itemize} + \item There is a transaction with a newer vector clock value. + \item There is a commit that for this key-value pair. + \item There is an abort for this key-value pair. + \end{itemize} + \item It is incomplete. + \item It is an abort notification that has an abort notification acknowledgment + \item It is an abort notification acknowledgment (dead on arrival). \end{enumerate} + \item Data is live if there are multiple versions of the same data (key-value pair) in which the vector clock values show concurrency. All versions are kept live the arbitrator arbitrates. + \item Multiple versions of the same data (same transaction ID for example) are not all live. Only the version with the largest server sequence number is live. - \item If there are $n$ devices in the system then there are $n$ separate queues \end{enumerate} + \end{document} \ No newline at end of file