version2/doc/iotcloud_informal/iotcloud.out

   1 \BOOKMARK [1][-]{section.1}{Introduction}{}% 1
   2 \BOOKMARK [1][-]{section.2}{Device Approach}{}% 2
   3 \BOOKMARK [2][-]{subsection.2.1}{Records}{section.2}% 3
   4 \BOOKMARK [3][-]{subsubsection.2.1.1}{Types of Payloads}{subsection.2.1}% 4
   5 \BOOKMARK [2][-]{subsection.2.2}{Pulling the data structure}{section.2}% 5
   6 \BOOKMARK [2][-]{subsection.2.3}{Updates}{section.2}% 6
   7 \BOOKMARK [2][-]{subsection.2.4}{Deletions}{section.2}% 7
   8 \BOOKMARK [2][-]{subsection.2.5}{Reading a key-value pair}{section.2}% 8
   9 \BOOKMARK [2][-]{subsection.2.6}{Rescuing Transactions, Commits, Aborts, Ext}{section.2}% 9
  10 \BOOKMARK [2][-]{subsection.2.7}{Checking the Data Structure}{section.2}% 10
  11 \BOOKMARK [2][-]{subsection.2.8}{The Arbitrator}{section.2}% 11
  12 \BOOKMARK [3][-]{subsubsection.2.8.1}{Commits}{subsection.2.8}% 12
  13 \BOOKMARK [3][-]{subsubsection.2.8.2}{Aborts}{subsection.2.8}% 13
  14 \BOOKMARK [2][-]{subsection.2.9}{Setting Up New Keys \(Choosing the Arbitrator\)}{section.2}% 14
  15 \BOOKMARK [2][-]{subsection.2.10}{Live Status}{section.2}% 15
  16 \BOOKMARK [1][-]{section.3}{Server Approach}{}% 16
  17 \BOOKMARK [2][-]{subsection.3.1}{Pull all current slots}{section.3}% 17
  18 \BOOKMARK [2][-]{subsection.3.2}{Put a new record in a slot}{section.3}% 18
  19 \BOOKMARK [2][-]{subsection.3.3}{Delete a slot}{section.3}% 19
  20 \BOOKMARK [1][-]{section.4}{Data Structure Abstraction}{}% 20
  21 \BOOKMARK [2][-]{subsection.4.1}{Put Operation}{section.4}% 21
  22 \BOOKMARK [2][-]{subsection.4.2}{Get Operation}{section.4}% 22
  23 \BOOKMARK [2][-]{subsection.4.3}{Check put status}{section.4}% 23
  24 \BOOKMARK [2][-]{subsection.4.4}{Create New Key Operation}{section.4}% 24
  25 \BOOKMARK [1][-]{section.5}{System Guarantees}{}% 25
  26 \BOOKMARK [1][-]{section.6}{System Correctness}{}% 26
  27 \BOOKMARK [2][-]{subsection.6.1}{Data Integrity and Authentication}{section.6}% 27
  28 \BOOKMARK [2][-]{subsection.6.2}{Ordering of Records}{section.6}% 28
  29 \BOOKMARK [2][-]{subsection.6.3}{Data Structure Functions}{section.6}% 29
  30 \BOOKMARK [3][-]{subsubsection.6.3.1}{Put}{subsection.6.3}% 30
  31 \BOOKMARK [3][-]{subsubsection.6.3.2}{Get}{subsection.6.3}% 31
  32 \BOOKMARK [3][-]{subsubsection.6.3.3}{Create New Key}{subsection.6.3}% 32