agent_2impl_8cpp_source.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen 1.12.0"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>OpenCBDC Transaction Processor: impl.cpp Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<script type="text/javascript" src="clipboard.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="navtreedata.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="cookie.js"></script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
<script type="text/javascript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr id="projectrow">
  <td id="projectalign">
   <div id="projectname">OpenCBDC Transaction Processor
   </div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.12.0 -->
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
var searchBox = new SearchBox("searchBox", "search/",'.html');
/* @license-end */
</script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(function() { codefold.init(0); });
/* @license-end */
</script>
<script type="text/javascript" src="menudata.js"></script>
<script type="text/javascript" src="menu.js"></script>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(function() {
  initMenu('',true,false,'search.php','Search',true);
  $(function() { init_search(); });
});
/* @license-end */
</script>
<div id="main-nav"></div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&amp;dn=expat.txt MIT */
$(function(){initNavTree('agent_2impl_8cpp_source.html',''); initResizable(true); });
/* @license-end */
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
</div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<div id="MSearchResults">
<div class="SRPage">
<div id="SRIndex">
<div id="SRResults"></div>
<div class="SRStatus" id="Loading">Loading...</div>
<div class="SRStatus" id="Searching">Searching...</div>
<div class="SRStatus" id="NoMatches">No Matches</div>
</div>
</div>
</div>
</div>

<div class="header">
  <div class="headertitle"><div class="title">agent/impl.cpp</div></div>
</div><!--header-->
<div class="contents">
<a href="agent_2impl_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a id="l00001" name="l00001"></a><span class="lineno">    1</span><span class="comment">// Copyright (c) 2021 MIT Digital Currency Initiative,</span></div>
<div class="line"><a id="l00002" name="l00002"></a><span class="lineno">    2</span><span class="comment">//                    Federal Reserve Bank of Boston</span></div>
<div class="line"><a id="l00003" name="l00003"></a><span class="lineno">    3</span><span class="comment">// Distributed under the MIT software license, see the accompanying</span></div>
<div class="line"><a id="l00004" name="l00004"></a><span class="lineno">    4</span><span class="comment">// file COPYING or http://www.opensource.org/licenses/mit-license.php.</span></div>
<div class="line"><a id="l00005" name="l00005"></a><span class="lineno">    5</span> </div>
<div class="line"><a id="l00006" name="l00006"></a><span class="lineno">    6</span><span class="preprocessor">#include &quot;<a class="code" href="agent_2impl_8hpp.html">impl.hpp</a>&quot;</span></div>
<div class="line"><a id="l00007" name="l00007"></a><span class="lineno">    7</span> </div>
<div class="line"><a id="l00008" name="l00008"></a><span class="lineno">    8</span><span class="preprocessor">#include &quot;<a class="code" href="variant__overloaded_8hpp.html">util/common/variant_overloaded.hpp</a>&quot;</span></div>
<div class="line"><a id="l00009" name="l00009"></a><span class="lineno">    9</span><span class="preprocessor">#include &quot;<a class="code" href="util_2serialization_2util_8hpp.html">util/serialization/util.hpp</a>&quot;</span></div>
<div class="line"><a id="l00010" name="l00010"></a><span class="lineno">   10</span> </div>
<div class="line"><a id="l00011" name="l00011"></a><span class="lineno">   11</span><span class="preprocessor">#include &lt;atomic&gt;</span></div>
<div class="line"><a id="l00012" name="l00012"></a><span class="lineno">   12</span> </div>
<div class="line"><a id="l00013" name="l00013"></a><span class="lineno">   13</span><span class="keyword">namespace </span><a class="code hl_namespace" href="namespacecbdc_1_1parsec_1_1agent.html">cbdc::parsec::agent</a> {</div>
<div class="foldopen" id="foldopen00014" data-start="{" data-end="}">
<div class="line"><a id="l00014" name="l00014"></a><span class="lineno"><a class="line" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a8a9068f0c0db333285f02479e79b63bf">   14</a></span>    <a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a8a9068f0c0db333285f02479e79b63bf">impl::impl</a>(std::shared_ptr&lt;logging::log&gt; logger,</div>
<div class="line"><a id="l00015" name="l00015"></a><span class="lineno">   15</span>               <a class="code hl_struct" href="structcbdc_1_1parsec_1_1config.html">cbdc::parsec::config</a> cfg,</div>
<div class="line"><a id="l00016" name="l00016"></a><span class="lineno">   16</span>               <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1agent_1_1runner_1_1interface.html#a873918bc570092134d0e4ea3836f658c">runner::interface::factory_type</a> runner_factory,</div>
<div class="line"><a id="l00017" name="l00017"></a><span class="lineno">   17</span>               std::shared_ptr&lt;broker::interface&gt; broker,</div>
<div class="line"><a id="l00018" name="l00018"></a><span class="lineno">   18</span>               <a class="code hl_class" href="classcbdc_1_1buffer.html">runtime_locking_shard::key_type</a> function,</div>
<div class="line"><a id="l00019" name="l00019"></a><span class="lineno">   19</span>               <a class="code hl_class" href="classcbdc_1_1buffer.html">parameter_type</a> param,</div>
<div class="line"><a id="l00020" name="l00020"></a><span class="lineno">   20</span>               <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#ac7681a694f8b68874429f47874408c67">exec_callback_type</a> result_callback,</div>
<div class="line"><a id="l00021" name="l00021"></a><span class="lineno">   21</span>               <a class="code hl_enumeration" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#af6d0adbce827f930d52e6c4d9e18851a">broker::lock_type</a> initial_lock_type,</div>
<div class="line"><a id="l00022" name="l00022"></a><span class="lineno">   22</span>               <span class="keywordtype">bool</span> is_readonly_run,</div>
<div class="line"><a id="l00023" name="l00023"></a><span class="lineno">   23</span>               std::shared_ptr&lt;secp256k1_context&gt; secp,</div>
<div class="line"><a id="l00024" name="l00024"></a><span class="lineno">   24</span>               std::shared_ptr&lt;thread_pool&gt; t_pool)</div>
<div class="line"><a id="l00025" name="l00025"></a><span class="lineno">   25</span>        : <a class="code hl_class" href="classcbdc_1_1parsec_1_1agent_1_1interface.html">interface</a>(std::move(function),</div>
<div class="line"><a id="l00026" name="l00026"></a><span class="lineno">   26</span>                    std::move(param),</div>
<div class="line"><a id="l00027" name="l00027"></a><span class="lineno">   27</span>                    std::move(result_callback)),</div>
<div class="line"><a id="l00028" name="l00028"></a><span class="lineno">   28</span>          m_log(std::move(logger)),</div>
<div class="line"><a id="l00029" name="l00029"></a><span class="lineno">   29</span>          m_cfg(std::move(cfg)),</div>
<div class="line"><a id="l00030" name="l00030"></a><span class="lineno">   30</span>          m_runner_factory(std::move(runner_factory)),</div>
<div class="line"><a id="l00031" name="l00031"></a><span class="lineno">   31</span>          m_broker(std::move(broker)),</div>
<div class="line"><a id="l00032" name="l00032"></a><span class="lineno">   32</span>          m_initial_lock_type(is_readonly_run ? broker::lock_type::read</div>
<div class="line"><a id="l00033" name="l00033"></a><span class="lineno">   33</span>                                              : initial_lock_type),</div>
<div class="line"><a id="l00034" name="l00034"></a><span class="lineno">   34</span>          m_is_readonly_run(is_readonly_run),</div>
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno">   35</span>          m_secp(std::move(secp)),</div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno">   36</span>          m_threads(std::move(t_pool)) {}</div>
</div>
<div class="line"><a id="l00037" name="l00037"></a><span class="lineno">   37</span> </div>
<div class="foldopen" id="foldopen00038" data-start="{" data-end="}">
<div class="line"><a id="l00038" name="l00038"></a><span class="lineno"><a class="line" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a5211f4c8c2f07672ad5ca4557bcf4cdc">   38</a></span>    <span class="keyword">auto</span> <a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a5211f4c8c2f07672ad5ca4557bcf4cdc">impl::exec</a>() -&gt; <span class="keywordtype">bool</span> {</div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno">   39</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno">   40</span>        <span class="keywordflow">switch</span>(m_state) {</div>
<div class="line"><a id="l00041" name="l00041"></a><span class="lineno">   41</span>            <span class="comment">// In these states we can start again from the beginning</span></div>
<div class="line"><a id="l00042" name="l00042"></a><span class="lineno">   42</span>            <span class="keywordflow">case</span> state::init:</div>
<div class="line"><a id="l00043" name="l00043"></a><span class="lineno">   43</span>            <span class="keywordflow">case</span> state::begin_sent:</div>
<div class="line"><a id="l00044" name="l00044"></a><span class="lineno">   44</span>            <span class="keywordflow">case</span> state::begin_failed:</div>
<div class="line"><a id="l00045" name="l00045"></a><span class="lineno">   45</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00046" name="l00046"></a><span class="lineno">   46</span> </div>
<div class="line"><a id="l00047" name="l00047"></a><span class="lineno">   47</span>            <span class="comment">// We already have a ticket number but need to start again</span></div>
<div class="line"><a id="l00048" name="l00048"></a><span class="lineno">   48</span>            <span class="keywordflow">case</span> state::rollback_complete:</div>
<div class="line"><a id="l00049" name="l00049"></a><span class="lineno">   49</span>                m_result = std::nullopt;</div>
<div class="line"><a id="l00050" name="l00050"></a><span class="lineno">   50</span>                m_wounded = <span class="keyword">false</span>;</div>
<div class="line"><a id="l00051" name="l00051"></a><span class="lineno">   51</span>                m_restarted = <span class="keyword">true</span>;</div>
<div class="line"><a id="l00052" name="l00052"></a><span class="lineno">   52</span>                do_start();</div>
<div class="line"><a id="l00053" name="l00053"></a><span class="lineno">   53</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00054" name="l00054"></a><span class="lineno">   54</span> </div>
<div class="line"><a id="l00055" name="l00055"></a><span class="lineno">   55</span>            <span class="comment">// Re-run commit</span></div>
<div class="line"><a id="l00056" name="l00056"></a><span class="lineno">   56</span>            <span class="keywordflow">case</span> state::commit_failed:</div>
<div class="line"><a id="l00057" name="l00057"></a><span class="lineno">   57</span>                [[fallthrough]];</div>
<div class="line"><a id="l00058" name="l00058"></a><span class="lineno">   58</span>            <span class="keywordflow">case</span> state::commit_sent:</div>
<div class="line"><a id="l00059" name="l00059"></a><span class="lineno">   59</span>                do_commit();</div>
<div class="line"><a id="l00060" name="l00060"></a><span class="lineno">   60</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00061" name="l00061"></a><span class="lineno">   61</span> </div>
<div class="line"><a id="l00062" name="l00062"></a><span class="lineno">   62</span>            <span class="comment">// Re-run rollback with prior error type flag</span></div>
<div class="line"><a id="l00063" name="l00063"></a><span class="lineno">   63</span>            <span class="keywordflow">case</span> state::rollback_failed:</div>
<div class="line"><a id="l00064" name="l00064"></a><span class="lineno">   64</span>                [[fallthrough]];</div>
<div class="line"><a id="l00065" name="l00065"></a><span class="lineno">   65</span>            <span class="keywordflow">case</span> state::rollback_sent:</div>
<div class="line"><a id="l00066" name="l00066"></a><span class="lineno">   66</span>                do_rollback(m_permanent_error);</div>
<div class="line"><a id="l00067" name="l00067"></a><span class="lineno">   67</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00068" name="l00068"></a><span class="lineno">   68</span> </div>
<div class="line"><a id="l00069" name="l00069"></a><span class="lineno">   69</span>            <span class="comment">// Rollback first so we can start fresh</span></div>
<div class="line"><a id="l00070" name="l00070"></a><span class="lineno">   70</span>            <span class="keywordflow">case</span> state::function_get_sent:</div>
<div class="line"><a id="l00071" name="l00071"></a><span class="lineno">   71</span>            <span class="keywordflow">case</span> state::function_get_failed:</div>
<div class="line"><a id="l00072" name="l00072"></a><span class="lineno">   72</span>            <span class="keywordflow">case</span> state::function_failed:</div>
<div class="line"><a id="l00073" name="l00073"></a><span class="lineno">   73</span>            <span class="keywordflow">case</span> state::function_started:</div>
<div class="line"><a id="l00074" name="l00074"></a><span class="lineno">   74</span>                do_rollback(<span class="keyword">false</span>);</div>
<div class="line"><a id="l00075" name="l00075"></a><span class="lineno">   75</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00076" name="l00076"></a><span class="lineno">   76</span> </div>
<div class="line"><a id="l00077" name="l00077"></a><span class="lineno">   77</span>            <span class="comment">// Re-run finish</span></div>
<div class="line"><a id="l00078" name="l00078"></a><span class="lineno">   78</span>            <span class="keywordflow">case</span> state::finish_sent:</div>
<div class="line"><a id="l00079" name="l00079"></a><span class="lineno">   79</span>                [[fallthrough]];</div>
<div class="line"><a id="l00080" name="l00080"></a><span class="lineno">   80</span>            <span class="keywordflow">case</span> state::finish_failed:</div>
<div class="line"><a id="l00081" name="l00081"></a><span class="lineno">   81</span>                <span class="comment">// Committed but transient error running finish, cannot</span></div>
<div class="line"><a id="l00082" name="l00082"></a><span class="lineno">   82</span>                <span class="comment">// rollback, need to retry finish</span></div>
<div class="line"><a id="l00083" name="l00083"></a><span class="lineno">   83</span>                do_finish();</div>
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno">   84</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno">   85</span> </div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno">   86</span>            <span class="comment">// End states, cannot re-run exec</span></div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno">   87</span>            <span class="keywordflow">case</span> state::function_get_error:</div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno">   88</span>            <span class="keywordflow">case</span> state::commit_error:</div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno">   89</span>            <span class="keywordflow">case</span> state::function_exception:</div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno">   90</span>            <span class="keywordflow">case</span> state::finish_complete:</div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno">   91</span>                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno">   92</span>        }</div>
<div class="line"><a id="l00093" name="l00093"></a><span class="lineno">   93</span> </div>
<div class="line"><a id="l00094" name="l00094"></a><span class="lineno">   94</span>        m_result = std::nullopt;</div>
<div class="line"><a id="l00095" name="l00095"></a><span class="lineno">   95</span>        m_state = state::begin_sent;</div>
<div class="line"><a id="l00096" name="l00096"></a><span class="lineno">   96</span>        <span class="keyword">auto</span> success = m_broker-&gt;begin(</div>
<div class="line"><a id="l00097" name="l00097"></a><span class="lineno">   97</span>            [&amp;](<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#ae8aae36c6d735c1e1534aec4dc164f88">broker::interface::ticketnum_or_errcode_type</a> res) {</div>
<div class="line"><a id="l00098" name="l00098"></a><span class="lineno">   98</span>                handle_begin(res);</div>
<div class="line"><a id="l00099" name="l00099"></a><span class="lineno">   99</span>            });</div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno">  100</span> </div>
<div class="line"><a id="l00101" name="l00101"></a><span class="lineno">  101</span>        <span class="keywordflow">if</span>(!success) {</div>
<div class="line"><a id="l00102" name="l00102"></a><span class="lineno">  102</span>            m_state = state::begin_failed;</div>
<div class="line"><a id="l00103" name="l00103"></a><span class="lineno">  103</span>            m_log-&gt;error(<span class="stringliteral">&quot;Failed to contact broker to begin&quot;</span>);</div>
<div class="line"><a id="l00104" name="l00104"></a><span class="lineno">  104</span>            m_result = error_code::broker_unreachable;</div>
<div class="line"><a id="l00105" name="l00105"></a><span class="lineno">  105</span>            do_result();</div>
<div class="line"><a id="l00106" name="l00106"></a><span class="lineno">  106</span>        }</div>
<div class="line"><a id="l00107" name="l00107"></a><span class="lineno">  107</span> </div>
<div class="line"><a id="l00108" name="l00108"></a><span class="lineno">  108</span>        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00109" name="l00109"></a><span class="lineno">  109</span>    }</div>
</div>
<div class="line"><a id="l00110" name="l00110"></a><span class="lineno">  110</span> </div>
<div class="line"><a id="l00111" name="l00111"></a><span class="lineno">  111</span>    <span class="keywordtype">void</span> impl::handle_begin(<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#ae8aae36c6d735c1e1534aec4dc164f88">broker::interface::ticketnum_or_errcode_type</a> res) {</div>
<div class="line"><a id="l00112" name="l00112"></a><span class="lineno">  112</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00113" name="l00113"></a><span class="lineno">  113</span>        <span class="keywordflow">if</span>(m_state != <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da1089ad1c441fbd40cfd939d9a9ad2fc9">state::begin_sent</a>) {</div>
<div class="line"><a id="l00114" name="l00114"></a><span class="lineno">  114</span>            m_log-&gt;warn(<span class="stringliteral">&quot;handle_begin while not in begin_sent state&quot;</span>);</div>
<div class="line"><a id="l00115" name="l00115"></a><span class="lineno">  115</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00116" name="l00116"></a><span class="lineno">  116</span>        }</div>
<div class="line"><a id="l00117" name="l00117"></a><span class="lineno">  117</span>        std::visit(</div>
<div class="line"><a id="l00118" name="l00118"></a><span class="lineno">  118</span>            <a class="code hl_struct" href="structcbdc_1_1overloaded.html">overloaded</a>{[&amp;](<span class="keyword">const</span> <a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1ticket__machine.html#a3d84ba176554acc65cdda972ad7accca">ticket_machine::ticket_number_type</a>&amp; n) {</div>
<div class="line"><a id="l00119" name="l00119"></a><span class="lineno">  119</span>                           m_ticket_number = n;</div>
<div class="line"><a id="l00120" name="l00120"></a><span class="lineno">  120</span>                           do_start();</div>
<div class="line"><a id="l00121" name="l00121"></a><span class="lineno">  121</span>                       },</div>
<div class="line"><a id="l00122" name="l00122"></a><span class="lineno">  122</span>                       [&amp;](<span class="keyword">const</span> <a class="code hl_enumeration" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901">broker::interface::error_code</a>&amp; <span class="comment">/* e */</span>) {</div>
<div class="line"><a id="l00123" name="l00123"></a><span class="lineno">  123</span>                           m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947daf8971c07e69cacf57fdf64e2e1fed5a7">state::begin_failed</a>;</div>
<div class="line"><a id="l00124" name="l00124"></a><span class="lineno">  124</span>                           m_log-&gt;error(</div>
<div class="line"><a id="l00125" name="l00125"></a><span class="lineno">  125</span>                               <span class="stringliteral">&quot;Broker failed to assign a ticket number&quot;</span>);</div>
<div class="line"><a id="l00126" name="l00126"></a><span class="lineno">  126</span>                           m_result = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02abdcde4946e39a81053128e5420cf35e7">error_code::ticket_number_assignment</a>;</div>
<div class="line"><a id="l00127" name="l00127"></a><span class="lineno">  127</span>                           do_result();</div>
<div class="line"><a id="l00128" name="l00128"></a><span class="lineno">  128</span>                       }},</div>
<div class="line"><a id="l00129" name="l00129"></a><span class="lineno">  129</span>            res);</div>
<div class="line"><a id="l00130" name="l00130"></a><span class="lineno">  130</span>    }</div>
<div class="line"><a id="l00131" name="l00131"></a><span class="lineno">  131</span> </div>
<div class="line"><a id="l00132" name="l00132"></a><span class="lineno">  132</span>    <span class="keywordtype">void</span> impl::do_start() {</div>
<div class="line"><a id="l00133" name="l00133"></a><span class="lineno">  133</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00134" name="l00134"></a><span class="lineno">  134</span>        assert(m_ticket_number.has_value());</div>
<div class="line"><a id="l00135" name="l00135"></a><span class="lineno">  135</span>        assert(m_state == <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da1089ad1c441fbd40cfd939d9a9ad2fc9">state::begin_sent</a></div>
<div class="line"><a id="l00136" name="l00136"></a><span class="lineno">  136</span>               || m_state == <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947daafcabef55a922f193cd0428165bfdffe">state::rollback_complete</a>);</div>
<div class="line"><a id="l00137" name="l00137"></a><span class="lineno">  137</span>        m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da377f060ec284f0114505bb7b2134f8f5">state::function_get_sent</a>;</div>
<div class="line"><a id="l00138" name="l00138"></a><span class="lineno">  138</span> </div>
<div class="line"><a id="l00139" name="l00139"></a><span class="lineno">  139</span>        <span class="keywordflow">if</span>(m_is_readonly_run &amp;&amp; <a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">get_function</a>().size() == 0) {</div>
<div class="line"><a id="l00140" name="l00140"></a><span class="lineno">  140</span>            <span class="comment">// If this is a read-only run and the function key is empty, the</span></div>
<div class="line"><a id="l00141" name="l00141"></a><span class="lineno">  141</span>            <span class="comment">// runner will handle retrieving any keys directly.</span></div>
<div class="line"><a id="l00142" name="l00142"></a><span class="lineno">  142</span>            handle_function(<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a1a58afec24ea8a47bb720c8e37dc457e">broker::value_type</a>());</div>
<div class="line"><a id="l00143" name="l00143"></a><span class="lineno">  143</span>        } <span class="keywordflow">else</span> <span class="keywordflow">if</span>(<a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">get_function</a>().size() == 1) {</div>
<div class="line"><a id="l00144" name="l00144"></a><span class="lineno">  144</span>            <span class="comment">// for one-byte functions, don&#39;t resolve but use the one byte and</span></div>
<div class="line"><a id="l00145" name="l00145"></a><span class="lineno">  145</span>            <span class="comment">// pass it along. This is used in the EVM runner to distinguish</span></div>
<div class="line"><a id="l00146" name="l00146"></a><span class="lineno">  146</span>            <span class="comment">// between sending a transaction or querying something (account</span></div>
<div class="line"><a id="l00147" name="l00147"></a><span class="lineno">  147</span>            <span class="comment">// data for instance). Since we don&#39;t know the from here for EVM,</span></div>
<div class="line"><a id="l00148" name="l00148"></a><span class="lineno">  148</span>            <span class="comment">// since it relies on the signature check, we only pass the</span></div>
<div class="line"><a id="l00149" name="l00149"></a><span class="lineno">  149</span>            <span class="comment">// transaction as m_param and let the runner figure it out.</span></div>
<div class="line"><a id="l00150" name="l00150"></a><span class="lineno">  150</span>            handle_function(<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a1a58afec24ea8a47bb720c8e37dc457e">broker::value_type</a>(<a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">get_function</a>()));</div>
<div class="line"><a id="l00151" name="l00151"></a><span class="lineno">  151</span>        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00152" name="l00152"></a><span class="lineno">  152</span>            m_log-&gt;trace(<span class="stringliteral">&quot;do_start &quot;</span>, <a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">get_function</a>().<a class="code hl_function" href="namespacecbdc_1_1parsec_1_1agent_1_1runner.html#a60c9502b9147e58735537c4161b10951">to_hex</a>());</div>
<div class="line"><a id="l00153" name="l00153"></a><span class="lineno">  153</span> </div>
<div class="line"><a id="l00154" name="l00154"></a><span class="lineno">  154</span>            <span class="keyword">auto</span> tl_success = m_broker-&gt;try_lock(</div>
<div class="line"><a id="l00155" name="l00155"></a><span class="lineno">  155</span>                m_ticket_number.value(),</div>
<div class="line"><a id="l00156" name="l00156"></a><span class="lineno">  156</span>                <a class="code hl_function" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">get_function</a>(),</div>
<div class="line"><a id="l00157" name="l00157"></a><span class="lineno">  157</span>                m_initial_lock_type,</div>
<div class="line"><a id="l00158" name="l00158"></a><span class="lineno">  158</span>                [<span class="keyword">this</span>](</div>
<div class="line"><a id="l00159" name="l00159"></a><span class="lineno">  159</span>                    <span class="keyword">const</span> <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a7ad81d8ee6b0c0df7f8d2070b7e0d6f5">broker::interface::try_lock_return_type</a>&amp; lock_res) {</div>
<div class="line"><a id="l00160" name="l00160"></a><span class="lineno">  160</span>                    handle_function(lock_res);</div>
<div class="line"><a id="l00161" name="l00161"></a><span class="lineno">  161</span>                });</div>
<div class="line"><a id="l00162" name="l00162"></a><span class="lineno">  162</span>            <span class="keywordflow">if</span>(!tl_success) {</div>
<div class="line"><a id="l00163" name="l00163"></a><span class="lineno">  163</span>                m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307">state::function_get_failed</a>;</div>
<div class="line"><a id="l00164" name="l00164"></a><span class="lineno">  164</span>                m_log-&gt;error(<span class="stringliteral">&quot;Failed to contact broker to retrieve &quot;</span></div>
<div class="line"><a id="l00165" name="l00165"></a><span class="lineno">  165</span>                             <span class="stringliteral">&quot;function code&quot;</span>);</div>
<div class="line"><a id="l00166" name="l00166"></a><span class="lineno">  166</span>                m_result = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02aa3074d413bd2fe80f4339a9fadc0d6f6">error_code::broker_unreachable</a>;</div>
<div class="line"><a id="l00167" name="l00167"></a><span class="lineno">  167</span>                do_result();</div>
<div class="line"><a id="l00168" name="l00168"></a><span class="lineno">  168</span>            }</div>
<div class="line"><a id="l00169" name="l00169"></a><span class="lineno">  169</span>        }</div>
<div class="line"><a id="l00170" name="l00170"></a><span class="lineno">  170</span>    }</div>
<div class="line"><a id="l00171" name="l00171"></a><span class="lineno">  171</span> </div>
<div class="line"><a id="l00172" name="l00172"></a><span class="lineno">  172</span>    <span class="keywordtype">void</span> impl::handle_try_lock_response(</div>
<div class="line"><a id="l00173" name="l00173"></a><span class="lineno">  173</span>        <span class="keyword">const</span> <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af68b3e8c226eaff996bd53c131f0f93f">broker::interface::try_lock_callback_type</a>&amp; res_cb,</div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno">  174</span>        <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a7ad81d8ee6b0c0df7f8d2070b7e0d6f5">broker::interface::try_lock_return_type</a> res) {</div>
<div class="line"><a id="l00175" name="l00175"></a><span class="lineno">  175</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00176" name="l00176"></a><span class="lineno">  176</span>        <span class="keywordflow">if</span>(m_state != <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da51a1fea3a56c2f5edc338c6ef7223a9c">state::function_started</a>) {</div>
<div class="line"><a id="l00177" name="l00177"></a><span class="lineno">  177</span>            m_log-&gt;error(<span class="stringliteral">&quot;try_lock response while not in &quot;</span></div>
<div class="line"><a id="l00178" name="l00178"></a><span class="lineno">  178</span>                         <span class="stringliteral">&quot;function_started state&quot;</span>);</div>
<div class="line"><a id="l00179" name="l00179"></a><span class="lineno">  179</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00180" name="l00180"></a><span class="lineno">  180</span>        }</div>
<div class="line"><a id="l00181" name="l00181"></a><span class="lineno">  181</span>        <span class="keywordflow">if</span>(std::holds_alternative&lt;runtime_locking_shard::shard_error&gt;(res)) {</div>
<div class="line"><a id="l00182" name="l00182"></a><span class="lineno">  182</span>            <span class="keyword">auto</span>&amp; err = std::get&lt;runtime_locking_shard::shard_error&gt;(res);</div>
<div class="line"><a id="l00183" name="l00183"></a><span class="lineno">  183</span>            <span class="keywordflow">if</span>(err.m_error_code</div>
<div class="line"><a id="l00184" name="l00184"></a><span class="lineno">  184</span>               == <a class="code hl_enumvalue" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2">runtime_locking_shard::error_code::wounded</a>) {</div>
<div class="line"><a id="l00185" name="l00185"></a><span class="lineno">  185</span>                m_wounded = <span class="keyword">true</span>;</div>
<div class="line"><a id="l00186" name="l00186"></a><span class="lineno">  186</span>            }</div>
<div class="line"><a id="l00187" name="l00187"></a><span class="lineno">  187</span>        }</div>
<div class="line"><a id="l00188" name="l00188"></a><span class="lineno">  188</span>        res_cb(std::move(res));</div>
<div class="line"><a id="l00189" name="l00189"></a><span class="lineno">  189</span>    }</div>
<div class="line"><a id="l00190" name="l00190"></a><span class="lineno">  190</span> </div>
<div class="line"><a id="l00191" name="l00191"></a><span class="lineno">  191</span>    <span class="keyword">auto</span></div>
<div class="line"><a id="l00192" name="l00192"></a><span class="lineno">  192</span>    impl::do_try_lock_request(<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a63524410a095b015191a2d57a93a9bab">broker::key_type</a> key,</div>
<div class="line"><a id="l00193" name="l00193"></a><span class="lineno">  193</span>                              <a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#ac3ea914b78c4a158376a9d8c5b80c6fa">broker::lock_type</a> locktype,</div>
<div class="line"><a id="l00194" name="l00194"></a><span class="lineno">  194</span>                              <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af68b3e8c226eaff996bd53c131f0f93f">broker::interface::try_lock_callback_type</a> res_cb)</div>
<div class="line"><a id="l00195" name="l00195"></a><span class="lineno">  195</span>        -&gt; <span class="keywordtype">bool</span> {</div>
<div class="line"><a id="l00196" name="l00196"></a><span class="lineno">  196</span>        <span class="comment">// TODO: permissions for keys</span></div>
<div class="line"><a id="l00197" name="l00197"></a><span class="lineno">  197</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00198" name="l00198"></a><span class="lineno">  198</span>        assert(m_ticket_number.has_value());</div>
<div class="line"><a id="l00199" name="l00199"></a><span class="lineno">  199</span>        <span class="keywordflow">if</span>(m_state != state::function_started) {</div>
<div class="line"><a id="l00200" name="l00200"></a><span class="lineno">  200</span>            m_log-&gt;warn(<span class="stringliteral">&quot;do_try_lock_request while not in &quot;</span></div>
<div class="line"><a id="l00201" name="l00201"></a><span class="lineno">  201</span>                        <span class="stringliteral">&quot;function_started state&quot;</span>);</div>
<div class="line"><a id="l00202" name="l00202"></a><span class="lineno">  202</span>            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a id="l00203" name="l00203"></a><span class="lineno">  203</span>        }</div>
<div class="line"><a id="l00204" name="l00204"></a><span class="lineno">  204</span> </div>
<div class="line"><a id="l00205" name="l00205"></a><span class="lineno">  205</span>        <span class="keywordflow">if</span>(m_is_readonly_run &amp;&amp; locktype == broker::lock_type::write) {</div>
<div class="line"><a id="l00206" name="l00206"></a><span class="lineno">  206</span>            m_log-&gt;warn(<span class="stringliteral">&quot;do_try_lock_request of type write when &quot;</span></div>
<div class="line"><a id="l00207" name="l00207"></a><span class="lineno">  207</span>                        <span class="stringliteral">&quot;m_is_readonly_run = true&quot;</span>);</div>
<div class="line"><a id="l00208" name="l00208"></a><span class="lineno">  208</span>            <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a id="l00209" name="l00209"></a><span class="lineno">  209</span>        }</div>
<div class="line"><a id="l00210" name="l00210"></a><span class="lineno">  210</span> </div>
<div class="line"><a id="l00211" name="l00211"></a><span class="lineno">  211</span>        <span class="keywordflow">if</span>(m_wounded) {</div>
<div class="line"><a id="l00212" name="l00212"></a><span class="lineno">  212</span>            m_log-&gt;debug(</div>
<div class="line"><a id="l00213" name="l00213"></a><span class="lineno">  213</span>                <span class="stringliteral">&quot;Skipping lock request because ticket is already wounded&quot;</span>);</div>
<div class="line"><a id="l00214" name="l00214"></a><span class="lineno">  214</span>            handle_try_lock_response(</div>
<div class="line"><a id="l00215" name="l00215"></a><span class="lineno">  215</span>                res_cb,</div>
<div class="line"><a id="l00216" name="l00216"></a><span class="lineno">  216</span>                runtime_locking_shard::shard_error{</div>
<div class="line"><a id="l00217" name="l00217"></a><span class="lineno">  217</span>                    <a class="code hl_enumvalue" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2">runtime_locking_shard::error_code::wounded</a>,</div>
<div class="line"><a id="l00218" name="l00218"></a><span class="lineno">  218</span>                    std::nullopt});</div>
<div class="line"><a id="l00219" name="l00219"></a><span class="lineno">  219</span>            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
<div class="line"><a id="l00220" name="l00220"></a><span class="lineno">  220</span>        }</div>
<div class="line"><a id="l00221" name="l00221"></a><span class="lineno">  221</span> </div>
<div class="line"><a id="l00222" name="l00222"></a><span class="lineno">  222</span>        <span class="keyword">auto</span> it = m_requested_locks.find(key);</div>
<div class="line"><a id="l00223" name="l00223"></a><span class="lineno">  223</span>        <span class="keywordflow">if</span>(it == m_requested_locks.end()</div>
<div class="line"><a id="l00224" name="l00224"></a><span class="lineno">  224</span>           || it-&gt;second == broker::lock_type::read) {</div>
<div class="line"><a id="l00225" name="l00225"></a><span class="lineno">  225</span>            m_requested_locks[key] = locktype;</div>
<div class="line"><a id="l00226" name="l00226"></a><span class="lineno">  226</span>        }</div>
<div class="line"><a id="l00227" name="l00227"></a><span class="lineno">  227</span> </div>
<div class="line"><a id="l00228" name="l00228"></a><span class="lineno">  228</span>        <span class="keyword">auto</span> actual_lock_type</div>
<div class="line"><a id="l00229" name="l00229"></a><span class="lineno">  229</span>            = m_is_readonly_run ? broker::lock_type::read : locktype;</div>
<div class="line"><a id="l00230" name="l00230"></a><span class="lineno">  230</span>        <span class="keywordflow">return</span> m_broker-&gt;try_lock(</div>
<div class="line"><a id="l00231" name="l00231"></a><span class="lineno">  231</span>            m_ticket_number.value(),</div>
<div class="line"><a id="l00232" name="l00232"></a><span class="lineno">  232</span>            std::move(key),</div>
<div class="line"><a id="l00233" name="l00233"></a><span class="lineno">  233</span>            actual_lock_type,</div>
<div class="line"><a id="l00234" name="l00234"></a><span class="lineno">  234</span>            [<span class="keyword">this</span>, cb = std::move(res_cb)](</div>
<div class="line"><a id="l00235" name="l00235"></a><span class="lineno">  235</span>                <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a7ad81d8ee6b0c0df7f8d2070b7e0d6f5">broker::interface::try_lock_return_type</a> res) {</div>
<div class="line"><a id="l00236" name="l00236"></a><span class="lineno">  236</span>                handle_try_lock_response(cb, std::move(res));</div>
<div class="line"><a id="l00237" name="l00237"></a><span class="lineno">  237</span>            });</div>
<div class="line"><a id="l00238" name="l00238"></a><span class="lineno">  238</span>    }</div>
<div class="line"><a id="l00239" name="l00239"></a><span class="lineno">  239</span> </div>
<div class="line"><a id="l00240" name="l00240"></a><span class="lineno">  240</span>    <span class="keywordtype">void</span></div>
<div class="line"><a id="l00241" name="l00241"></a><span class="lineno">  241</span>    impl::handle_function(<span class="keyword">const</span> <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a7ad81d8ee6b0c0df7f8d2070b7e0d6f5">broker::interface::try_lock_return_type</a>&amp; res) {</div>
<div class="line"><a id="l00242" name="l00242"></a><span class="lineno">  242</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00243" name="l00243"></a><span class="lineno">  243</span>        <span class="keywordflow">if</span>(m_state != <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da377f060ec284f0114505bb7b2134f8f5">state::function_get_sent</a>) {</div>
<div class="line"><a id="l00244" name="l00244"></a><span class="lineno">  244</span>            m_log-&gt;warn(</div>
<div class="line"><a id="l00245" name="l00245"></a><span class="lineno">  245</span>                <span class="stringliteral">&quot;handle_function while not in function_get_sent state&quot;</span>);</div>
<div class="line"><a id="l00246" name="l00246"></a><span class="lineno">  246</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00247" name="l00247"></a><span class="lineno">  247</span>        }</div>
<div class="line"><a id="l00248" name="l00248"></a><span class="lineno">  248</span>        std::visit(</div>
<div class="line"><a id="l00249" name="l00249"></a><span class="lineno">  249</span>            <a class="code hl_function" href="namespacecbdc.html#a2fbe92db727ad329bcd1c4c5f350c133">overloaded</a>{</div>
<div class="line"><a id="l00250" name="l00250"></a><span class="lineno">  250</span>                [&amp;](<span class="keyword">const</span> <a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a1a58afec24ea8a47bb720c8e37dc457e">broker::value_type</a>&amp; v) {</div>
<div class="line"><a id="l00251" name="l00251"></a><span class="lineno">  251</span>                    m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da51a1fea3a56c2f5edc338c6ef7223a9c">state::function_started</a>;</div>
<div class="line"><a id="l00252" name="l00252"></a><span class="lineno">  252</span>                    <span class="keyword">auto</span> reacq_locks</div>
<div class="line"><a id="l00253" name="l00253"></a><span class="lineno">  253</span>                        = std::make_shared&lt;broker::held_locks_set_type&gt;();</div>
<div class="line"><a id="l00254" name="l00254"></a><span class="lineno">  254</span>                    (*reacq_locks).swap(m_requested_locks);</div>
<div class="line"><a id="l00255" name="l00255"></a><span class="lineno">  255</span> </div>
<div class="line"><a id="l00256" name="l00256"></a><span class="lineno">  256</span>                    <span class="keywordflow">if</span>(reacq_locks-&gt;empty()) {</div>
<div class="line"><a id="l00257" name="l00257"></a><span class="lineno">  257</span>                        do_runner(v);</div>
<div class="line"><a id="l00258" name="l00258"></a><span class="lineno">  258</span>                        <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00259" name="l00259"></a><span class="lineno">  259</span>                    }</div>
<div class="line"><a id="l00260" name="l00260"></a><span class="lineno">  260</span> </div>
<div class="line"><a id="l00261" name="l00261"></a><span class="lineno">  261</span>                    <span class="comment">// Re-acquire previously held locks upon retries</span></div>
<div class="line"><a id="l00262" name="l00262"></a><span class="lineno">  262</span>                    <span class="comment">// immediately</span></div>
<div class="line"><a id="l00263" name="l00263"></a><span class="lineno">  263</span>                    m_log-&gt;trace(<span class="stringliteral">&quot;Re-acquiring locks for&quot;</span>,</div>
<div class="line"><a id="l00264" name="l00264"></a><span class="lineno">  264</span>                                 m_ticket_number.value());</div>
<div class="line"><a id="l00265" name="l00265"></a><span class="lineno">  265</span>                    <span class="keyword">auto</span> reacquired = std::make_shared&lt;std::atomic&lt;size_t&gt;&gt;();</div>
<div class="line"><a id="l00266" name="l00266"></a><span class="lineno">  266</span>                    <span class="keywordflow">for</span>(<span class="keyword">auto</span>&amp; it : *reacq_locks) {</div>
<div class="line"><a id="l00267" name="l00267"></a><span class="lineno">  267</span>                        m_log-&gt;trace(<span class="stringliteral">&quot;Re-acquiring lock on&quot;</span>,</div>
<div class="line"><a id="l00268" name="l00268"></a><span class="lineno">  268</span>                                     it.first.to_hex(),</div>
<div class="line"><a id="l00269" name="l00269"></a><span class="lineno">  269</span>                                     <span class="stringliteral">&quot;type&quot;</span>,</div>
<div class="line"><a id="l00270" name="l00270"></a><span class="lineno">  270</span>                                     <span class="keyword">static_cast&lt;</span><span class="keywordtype">int</span><span class="keyword">&gt;</span>(it.second),</div>
<div class="line"><a id="l00271" name="l00271"></a><span class="lineno">  271</span>                                     <span class="stringliteral">&quot;for&quot;</span>,</div>
<div class="line"><a id="l00272" name="l00272"></a><span class="lineno">  272</span>                                     m_ticket_number.value());</div>
<div class="line"><a id="l00273" name="l00273"></a><span class="lineno">  273</span>                        <span class="keyword">auto</span> success = do_try_lock_request(</div>
<div class="line"><a id="l00274" name="l00274"></a><span class="lineno">  274</span>                            it.first,</div>
<div class="line"><a id="l00275" name="l00275"></a><span class="lineno">  275</span>                            it.second,</div>
<div class="line"><a id="l00276" name="l00276"></a><span class="lineno">  276</span>                            [<span class="keyword">this</span>, reacquired, v, reacq_locks](</div>
<div class="line"><a id="l00277" name="l00277"></a><span class="lineno">  277</span>                                <span class="keyword">const</span> broker::interface::</div>
<div class="line"><a id="l00278" name="l00278"></a><span class="lineno">  278</span>                                    try_lock_return_type&amp;) {</div>
<div class="line"><a id="l00279" name="l00279"></a><span class="lineno">  279</span>                                std::unique_lock ll(m_mut);</div>
<div class="line"><a id="l00280" name="l00280"></a><span class="lineno">  280</span>                                auto reacq = (*reacquired)++;</div>
<div class="line"><a id="l00281" name="l00281"></a><span class="lineno">  281</span>                                m_log-&gt;trace(<span class="stringliteral">&quot;Re-acquired&quot;</span>,</div>
<div class="line"><a id="l00282" name="l00282"></a><span class="lineno">  282</span>                                             reacq + 1,</div>
<div class="line"><a id="l00283" name="l00283"></a><span class="lineno">  283</span>                                             <span class="stringliteral">&quot;of&quot;</span>,</div>
<div class="line"><a id="l00284" name="l00284"></a><span class="lineno">  284</span>                                             reacq_locks-&gt;size(),</div>
<div class="line"><a id="l00285" name="l00285"></a><span class="lineno">  285</span>                                             <span class="stringliteral">&quot;locks for&quot;</span>,</div>
<div class="line"><a id="l00286" name="l00286"></a><span class="lineno">  286</span>                                             m_ticket_number.value());</div>
<div class="line"><a id="l00287" name="l00287"></a><span class="lineno">  287</span> </div>
<div class="line"><a id="l00288" name="l00288"></a><span class="lineno">  288</span>                                if(reacq + 1 == reacq_locks-&gt;size()) {</div>
<div class="line"><a id="l00289" name="l00289"></a><span class="lineno">  289</span>                                    do_runner(v);</div>
<div class="line"><a id="l00290" name="l00290"></a><span class="lineno">  290</span>                                }</div>
<div class="line"><a id="l00291" name="l00291"></a><span class="lineno">  291</span>                            });</div>
<div class="line"><a id="l00292" name="l00292"></a><span class="lineno">  292</span>                        <span class="keywordflow">if</span>(!success) {</div>
<div class="line"><a id="l00293" name="l00293"></a><span class="lineno">  293</span>                            m_log-&gt;error(<span class="stringliteral">&quot;Try lock request failed for&quot;</span>,</div>
<div class="line"><a id="l00294" name="l00294"></a><span class="lineno">  294</span>                                         m_ticket_number.value());</div>
<div class="line"><a id="l00295" name="l00295"></a><span class="lineno">  295</span>                            m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307">state::function_get_failed</a>;</div>
<div class="line"><a id="l00296" name="l00296"></a><span class="lineno">  296</span>                            m_result = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02a8ffeec3a9f6c89ae7947f008fc18c104">error_code::function_retrieval</a>;</div>
<div class="line"><a id="l00297" name="l00297"></a><span class="lineno">  297</span>                            do_result();</div>
<div class="line"><a id="l00298" name="l00298"></a><span class="lineno">  298</span>                            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00299" name="l00299"></a><span class="lineno">  299</span>                        }</div>
<div class="line"><a id="l00300" name="l00300"></a><span class="lineno">  300</span>                    }</div>
<div class="line"><a id="l00301" name="l00301"></a><span class="lineno">  301</span>                },</div>
<div class="line"><a id="l00302" name="l00302"></a><span class="lineno">  302</span>                [&amp;](<a class="code hl_enumeration" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901">broker::interface::error_code</a> <span class="comment">/* e */</span>) {</div>
<div class="line"><a id="l00303" name="l00303"></a><span class="lineno">  303</span>                    m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307">state::function_get_failed</a>;</div>
<div class="line"><a id="l00304" name="l00304"></a><span class="lineno">  304</span>                    m_log-&gt;error(<span class="stringliteral">&quot;Failed to retrieve function&quot;</span>);</div>
<div class="line"><a id="l00305" name="l00305"></a><span class="lineno">  305</span>                    m_result = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02a8ffeec3a9f6c89ae7947f008fc18c104">error_code::function_retrieval</a>;</div>
<div class="line"><a id="l00306" name="l00306"></a><span class="lineno">  306</span>                    do_result();</div>
<div class="line"><a id="l00307" name="l00307"></a><span class="lineno">  307</span>                },</div>
<div class="line"><a id="l00308" name="l00308"></a><span class="lineno">  308</span>                [&amp;](<span class="keyword">const</span> runtime_locking_shard::shard_error&amp; e) {</div>
<div class="line"><a id="l00309" name="l00309"></a><span class="lineno">  309</span>                    <span class="keywordflow">if</span>(e.m_error_code</div>
<div class="line"><a id="l00310" name="l00310"></a><span class="lineno">  310</span>                       == <a class="code hl_enumvalue" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2">runtime_locking_shard::error_code::wounded</a>) {</div>
<div class="line"><a id="l00311" name="l00311"></a><span class="lineno">  311</span>                        m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307">state::function_get_failed</a>;</div>
<div class="line"><a id="l00312" name="l00312"></a><span class="lineno">  312</span>                        m_log-&gt;trace(<span class="stringliteral">&quot;Shard wounded ticket while &quot;</span></div>
<div class="line"><a id="l00313" name="l00313"></a><span class="lineno">  313</span>                                     <span class="stringliteral">&quot;retrieving function&quot;</span>);</div>
<div class="line"><a id="l00314" name="l00314"></a><span class="lineno">  314</span>                    } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00315" name="l00315"></a><span class="lineno">  315</span>                        m_state = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da21352b4733b843933c296b220d613f42">state::function_get_error</a>;</div>
<div class="line"><a id="l00316" name="l00316"></a><span class="lineno">  316</span>                        m_log-&gt;error(<span class="stringliteral">&quot;Shard error retrieving function&quot;</span>);</div>
<div class="line"><a id="l00317" name="l00317"></a><span class="lineno">  317</span>                    }</div>
<div class="line"><a id="l00318" name="l00318"></a><span class="lineno">  318</span>                    m_result = <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02a8ffeec3a9f6c89ae7947f008fc18c104">error_code::function_retrieval</a>;</div>
<div class="line"><a id="l00319" name="l00319"></a><span class="lineno">  319</span>                    do_result();</div>
<div class="line"><a id="l00320" name="l00320"></a><span class="lineno">  320</span>                }},</div>
<div class="line"><a id="l00321" name="l00321"></a><span class="lineno">  321</span>            res);</div>
<div class="line"><a id="l00322" name="l00322"></a><span class="lineno">  322</span>    }</div>
<div class="line"><a id="l00323" name="l00323"></a><span class="lineno">  323</span> </div>
<div class="line"><a id="l00324" name="l00324"></a><span class="lineno">  324</span>    <span class="keywordtype">void</span> impl::do_runner(<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a1a58afec24ea8a47bb720c8e37dc457e">broker::value_type</a> v) {</div>
<div class="line"><a id="l00325" name="l00325"></a><span class="lineno">  325</span>        m_runner = m_runner_factory(</div>
<div class="line"><a id="l00326" name="l00326"></a><span class="lineno">  326</span>            m_log,</div>
<div class="line"><a id="l00327" name="l00327"></a><span class="lineno">  327</span>            m_cfg,</div>
<div class="line"><a id="l00328" name="l00328"></a><span class="lineno">  328</span>            std::move(v),</div>
<div class="line"><a id="l00329" name="l00329"></a><span class="lineno">  329</span>            get_param(),</div>
<div class="line"><a id="l00330" name="l00330"></a><span class="lineno">  330</span>            m_is_readonly_run,</div>
<div class="line"><a id="l00331" name="l00331"></a><span class="lineno">  331</span>            [<span class="keyword">this</span>](<span class="keyword">const</span> runner::interface::run_return_type&amp; run_res) {</div>
<div class="line"><a id="l00332" name="l00332"></a><span class="lineno">  332</span>                handle_run(run_res);</div>
<div class="line"><a id="l00333" name="l00333"></a><span class="lineno">  333</span>            },</div>
<div class="line"><a id="l00334" name="l00334"></a><span class="lineno">  334</span>            [<span class="keyword">this</span>](<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#a63524410a095b015191a2d57a93a9bab">broker::key_type</a> key,</div>
<div class="line"><a id="l00335" name="l00335"></a><span class="lineno">  335</span>                   <a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1broker.html#ac3ea914b78c4a158376a9d8c5b80c6fa">broker::lock_type</a> locktype,</div>
<div class="line"><a id="l00336" name="l00336"></a><span class="lineno">  336</span>                   <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af68b3e8c226eaff996bd53c131f0f93f">broker::interface::try_lock_callback_type</a> res_cb) -&gt; <span class="keywordtype">bool</span> {</div>
<div class="line"><a id="l00337" name="l00337"></a><span class="lineno">  337</span>                <span class="keywordflow">return</span> do_try_lock_request(std::move(key),</div>
<div class="line"><a id="l00338" name="l00338"></a><span class="lineno">  338</span>                                           locktype,</div>
<div class="line"><a id="l00339" name="l00339"></a><span class="lineno">  339</span>                                           std::move(res_cb));</div>
<div class="line"><a id="l00340" name="l00340"></a><span class="lineno">  340</span>            },</div>
<div class="line"><a id="l00341" name="l00341"></a><span class="lineno">  341</span>            m_secp,</div>
<div class="line"><a id="l00342" name="l00342"></a><span class="lineno">  342</span>            m_restarted ? nullptr : m_threads,</div>
<div class="line"><a id="l00343" name="l00343"></a><span class="lineno">  343</span>            m_ticket_number.value());</div>
<div class="line"><a id="l00344" name="l00344"></a><span class="lineno">  344</span>        <span class="keyword">auto</span> run_res = m_runner-&gt;run();</div>
<div class="line"><a id="l00345" name="l00345"></a><span class="lineno">  345</span>        <span class="keywordflow">if</span>(!run_res) {</div>
<div class="line"><a id="l00346" name="l00346"></a><span class="lineno">  346</span>            <span class="comment">// telemetry_log(&quot;agent_handle_function&quot;, 2, start);</span></div>
<div class="line"><a id="l00347" name="l00347"></a><span class="lineno">  347</span>            m_state = state::function_failed;</div>
<div class="line"><a id="l00348" name="l00348"></a><span class="lineno">  348</span>            m_log-&gt;error(<span class="stringliteral">&quot;Failed to start contract execution&quot;</span>);</div>
<div class="line"><a id="l00349" name="l00349"></a><span class="lineno">  349</span>            m_result = error_code::function_execution;</div>
<div class="line"><a id="l00350" name="l00350"></a><span class="lineno">  350</span>            do_result();</div>
<div class="line"><a id="l00351" name="l00351"></a><span class="lineno">  351</span>        }</div>
<div class="line"><a id="l00352" name="l00352"></a><span class="lineno">  352</span>    }</div>
<div class="line"><a id="l00353" name="l00353"></a><span class="lineno">  353</span> </div>
<div class="line"><a id="l00354" name="l00354"></a><span class="lineno">  354</span>    <span class="keywordtype">void</span> impl::do_commit() {</div>
<div class="line"><a id="l00355" name="l00355"></a><span class="lineno">  355</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00356" name="l00356"></a><span class="lineno">  356</span>        assert(m_state == state::function_started</div>
<div class="line"><a id="l00357" name="l00357"></a><span class="lineno">  357</span>               || m_state == state::commit_failed</div>
<div class="line"><a id="l00358" name="l00358"></a><span class="lineno">  358</span>               || m_state == state::commit_sent);</div>
<div class="line"><a id="l00359" name="l00359"></a><span class="lineno">  359</span>        assert(m_result.has_value());</div>
<div class="line"><a id="l00360" name="l00360"></a><span class="lineno">  360</span>        assert(m_ticket_number.has_value());</div>
<div class="line"><a id="l00361" name="l00361"></a><span class="lineno">  361</span>        assert(std::holds_alternative&lt;broker::state_update_type&gt;(</div>
<div class="line"><a id="l00362" name="l00362"></a><span class="lineno">  362</span>            m_result.value()));</div>
<div class="line"><a id="l00363" name="l00363"></a><span class="lineno">  363</span>        m_state = state::commit_sent;</div>
<div class="line"><a id="l00364" name="l00364"></a><span class="lineno">  364</span>        m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00365" name="l00365"></a><span class="lineno">  365</span>                     <span class="stringliteral">&quot;Agent requesting commit for&quot;</span>,</div>
<div class="line"><a id="l00366" name="l00366"></a><span class="lineno">  366</span>                     m_ticket_number.value());</div>
<div class="line"><a id="l00367" name="l00367"></a><span class="lineno">  367</span>        <span class="keyword">auto</span> payload = <a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1agent.html#a9edf884a095a3322eebe634c9c05141d">return_type</a>();</div>
<div class="line"><a id="l00368" name="l00368"></a><span class="lineno">  368</span>        <span class="keywordflow">if</span>(!m_is_readonly_run) {</div>
<div class="line"><a id="l00369" name="l00369"></a><span class="lineno">  369</span>            payload = std::get&lt;broker::state_update_type&gt;(m_result.value());</div>
<div class="line"><a id="l00370" name="l00370"></a><span class="lineno">  370</span>        }</div>
<div class="line"><a id="l00371" name="l00371"></a><span class="lineno">  371</span>        <span class="keyword">auto</span> maybe_success = m_broker-&gt;commit(</div>
<div class="line"><a id="l00372" name="l00372"></a><span class="lineno">  372</span>            m_ticket_number.value(),</div>
<div class="line"><a id="l00373" name="l00373"></a><span class="lineno">  373</span>            payload,</div>
<div class="line"><a id="l00374" name="l00374"></a><span class="lineno">  374</span>            [<span class="keyword">this</span>](<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a84a4667edd4b6feaf9f16227ac3714c0">broker::interface::commit_return_type</a> commit_res) {</div>
<div class="line"><a id="l00375" name="l00375"></a><span class="lineno">  375</span>                handle_commit(std::move(commit_res));</div>
<div class="line"><a id="l00376" name="l00376"></a><span class="lineno">  376</span>            });</div>
<div class="line"><a id="l00377" name="l00377"></a><span class="lineno">  377</span>        <span class="keywordflow">if</span>(!maybe_success) {</div>
<div class="line"><a id="l00378" name="l00378"></a><span class="lineno">  378</span>            m_state = state::commit_failed;</div>
<div class="line"><a id="l00379" name="l00379"></a><span class="lineno">  379</span>            m_log-&gt;error(<span class="stringliteral">&quot;Failed to contact broker for commit&quot;</span>);</div>
<div class="line"><a id="l00380" name="l00380"></a><span class="lineno">  380</span>            m_result = error_code::broker_unreachable;</div>
<div class="line"><a id="l00381" name="l00381"></a><span class="lineno">  381</span>            do_result();</div>
<div class="line"><a id="l00382" name="l00382"></a><span class="lineno">  382</span>        }</div>
<div class="line"><a id="l00383" name="l00383"></a><span class="lineno">  383</span>    }</div>
<div class="line"><a id="l00384" name="l00384"></a><span class="lineno">  384</span> </div>
<div class="line"><a id="l00385" name="l00385"></a><span class="lineno">  385</span>    <span class="keywordtype">void</span> impl::handle_run(<span class="keyword">const</span> runner::interface::run_return_type&amp; res) {</div>
<div class="line"><a id="l00386" name="l00386"></a><span class="lineno">  386</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00387" name="l00387"></a><span class="lineno">  387</span>        <span class="keywordflow">if</span>(m_state != state::function_started) {</div>
<div class="line"><a id="l00388" name="l00388"></a><span class="lineno">  388</span>            m_log-&gt;warn(<span class="stringliteral">&quot;handle_run while not in function_started state&quot;</span>);</div>
<div class="line"><a id="l00389" name="l00389"></a><span class="lineno">  389</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00390" name="l00390"></a><span class="lineno">  390</span>        }</div>
<div class="line"><a id="l00391" name="l00391"></a><span class="lineno">  391</span>        std::visit(</div>
<div class="line"><a id="l00392" name="l00392"></a><span class="lineno">  392</span>            <a class="code hl_function" href="namespacecbdc.html#a2fbe92db727ad329bcd1c4c5f350c133">overloaded</a>{[&amp;](<a class="code hl_typedef" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#ac15979ae360f753028e76cd968394d86">runtime_locking_shard::state_update_type</a> states) {</div>
<div class="line"><a id="l00393" name="l00393"></a><span class="lineno">  393</span>                           m_result = std::move(states);</div>
<div class="line"><a id="l00394" name="l00394"></a><span class="lineno">  394</span>                           do_commit();</div>
<div class="line"><a id="l00395" name="l00395"></a><span class="lineno">  395</span>                       },</div>
<div class="line"><a id="l00396" name="l00396"></a><span class="lineno">  396</span>                       [&amp;](runner::interface::error_code e) {</div>
<div class="line"><a id="l00397" name="l00397"></a><span class="lineno">  397</span>                           <span class="keywordflow">if</span>(e == runner::interface::error_code::wounded) {</div>
<div class="line"><a id="l00398" name="l00398"></a><span class="lineno">  398</span>                               m_state = state::function_failed;</div>
<div class="line"><a id="l00399" name="l00399"></a><span class="lineno">  399</span>                           } <span class="keywordflow">else</span> <span class="keywordflow">if</span>(e</div>
<div class="line"><a id="l00400" name="l00400"></a><span class="lineno">  400</span>                                     == runner::interface::error_code::</div>
<div class="line"><a id="l00401" name="l00401"></a><span class="lineno">  401</span>                                         internal_error) {</div>
<div class="line"><a id="l00402" name="l00402"></a><span class="lineno">  402</span>                               <span class="comment">// Unexpected exception (e.g. write lock request</span></div>
<div class="line"><a id="l00403" name="l00403"></a><span class="lineno">  403</span>                               <span class="comment">// within a read-only transaction such as one</span></div>
<div class="line"><a id="l00404" name="l00404"></a><span class="lineno">  404</span>                               <span class="comment">// invoked via invocation of eth_call)</span></div>
<div class="line"><a id="l00405" name="l00405"></a><span class="lineno">  405</span>                               m_state = state::function_exception;</div>
<div class="line"><a id="l00406" name="l00406"></a><span class="lineno">  406</span>                               m_log-&gt;error(</div>
<div class="line"><a id="l00407" name="l00407"></a><span class="lineno">  407</span>                                   <span class="keyword">this</span>,</div>
<div class="line"><a id="l00408" name="l00408"></a><span class="lineno">  408</span>                                   <span class="stringliteral">&quot;Unexpected internal error encountered for&quot;</span>,</div>
<div class="line"><a id="l00409" name="l00409"></a><span class="lineno">  409</span>                                   m_ticket_number.value());</div>
<div class="line"><a id="l00410" name="l00410"></a><span class="lineno">  410</span>                           } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00411" name="l00411"></a><span class="lineno">  411</span>                               m_state = state::function_exception;</div>
<div class="line"><a id="l00412" name="l00412"></a><span class="lineno">  412</span>                               m_log-&gt;error(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00413" name="l00413"></a><span class="lineno">  413</span>                                            <span class="stringliteral">&quot;function execution failed for&quot;</span>,</div>
<div class="line"><a id="l00414" name="l00414"></a><span class="lineno">  414</span>                                            m_ticket_number.value());</div>
<div class="line"><a id="l00415" name="l00415"></a><span class="lineno">  415</span>                           }</div>
<div class="line"><a id="l00416" name="l00416"></a><span class="lineno">  416</span>                           m_result = error_code::function_execution;</div>
<div class="line"><a id="l00417" name="l00417"></a><span class="lineno">  417</span>                           do_result();</div>
<div class="line"><a id="l00418" name="l00418"></a><span class="lineno">  418</span>                       }},</div>
<div class="line"><a id="l00419" name="l00419"></a><span class="lineno">  419</span>            res);</div>
<div class="line"><a id="l00420" name="l00420"></a><span class="lineno">  420</span>        m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00421" name="l00421"></a><span class="lineno">  421</span>                     <span class="stringliteral">&quot;Agent handle_run complete for&quot;</span>,</div>
<div class="line"><a id="l00422" name="l00422"></a><span class="lineno">  422</span>                     m_ticket_number.value());</div>
<div class="line"><a id="l00423" name="l00423"></a><span class="lineno">  423</span>    }</div>
<div class="line"><a id="l00424" name="l00424"></a><span class="lineno">  424</span> </div>
<div class="line"><a id="l00425" name="l00425"></a><span class="lineno">  425</span>    <span class="keywordtype">void</span> impl::handle_commit(<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a84a4667edd4b6feaf9f16227ac3714c0">broker::interface::commit_return_type</a> res) {</div>
<div class="line"><a id="l00426" name="l00426"></a><span class="lineno">  426</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00427" name="l00427"></a><span class="lineno">  427</span>        <span class="keywordflow">if</span>(m_state != state::commit_sent) {</div>
<div class="line"><a id="l00428" name="l00428"></a><span class="lineno">  428</span>            m_log-&gt;warn(</div>
<div class="line"><a id="l00429" name="l00429"></a><span class="lineno">  429</span>                <span class="keyword">this</span>,</div>
<div class="line"><a id="l00430" name="l00430"></a><span class="lineno">  430</span>                <span class="stringliteral">&quot;Agent handle_commit while not in commit_sent state for&quot;</span>,</div>
<div class="line"><a id="l00431" name="l00431"></a><span class="lineno">  431</span>                m_ticket_number.value(),</div>
<div class="line"><a id="l00432" name="l00432"></a><span class="lineno">  432</span>                <span class="stringliteral">&quot;actual state:&quot;</span>);</div>
<div class="line"><a id="l00433" name="l00433"></a><span class="lineno">  433</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00434" name="l00434"></a><span class="lineno">  434</span>        }</div>
<div class="line"><a id="l00435" name="l00435"></a><span class="lineno">  435</span>        <span class="keywordflow">if</span>(res.has_value()) {</div>
<div class="line"><a id="l00436" name="l00436"></a><span class="lineno">  436</span>            std::visit(</div>
<div class="line"><a id="l00437" name="l00437"></a><span class="lineno">  437</span>                <a class="code hl_function" href="namespacecbdc.html#a2fbe92db727ad329bcd1c4c5f350c133">overloaded</a>{</div>
<div class="line"><a id="l00438" name="l00438"></a><span class="lineno">  438</span>                    [&amp;](<a class="code hl_enumeration" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901">broker::interface::error_code</a> e) {</div>
<div class="line"><a id="l00439" name="l00439"></a><span class="lineno">  439</span>                        <span class="keywordflow">if</span>(e == <a class="code hl_enumvalue" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901a9f2df66369b873e0dcb5355cb09f9b80">broker::interface::error_code::commit_hazard</a>) {</div>
<div class="line"><a id="l00440" name="l00440"></a><span class="lineno">  440</span>                            <span class="comment">// Do not retry</span></div>
<div class="line"><a id="l00441" name="l00441"></a><span class="lineno">  441</span>                            m_state = state::commit_error;</div>
<div class="line"><a id="l00442" name="l00442"></a><span class="lineno">  442</span>                        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00443" name="l00443"></a><span class="lineno">  443</span>                            m_state = state::commit_failed;</div>
<div class="line"><a id="l00444" name="l00444"></a><span class="lineno">  444</span>                        }</div>
<div class="line"><a id="l00445" name="l00445"></a><span class="lineno">  445</span>                        m_log-&gt;error(<span class="stringliteral">&quot;Broker error for commit for&quot;</span>,</div>
<div class="line"><a id="l00446" name="l00446"></a><span class="lineno">  446</span>                                     m_ticket_number.value());</div>
<div class="line"><a id="l00447" name="l00447"></a><span class="lineno">  447</span>                        m_result = error_code::commit_error;</div>
<div class="line"><a id="l00448" name="l00448"></a><span class="lineno">  448</span>                        do_result();</div>
<div class="line"><a id="l00449" name="l00449"></a><span class="lineno">  449</span>                    },</div>
<div class="line"><a id="l00450" name="l00450"></a><span class="lineno">  450</span>                    [&amp;](<span class="keyword">const</span> runtime_locking_shard::shard_error&amp; e) {</div>
<div class="line"><a id="l00451" name="l00451"></a><span class="lineno">  451</span>                        <span class="keywordflow">if</span>(e.m_error_code</div>
<div class="line"><a id="l00452" name="l00452"></a><span class="lineno">  452</span>                           == <a class="code hl_enumvalue" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2">runtime_locking_shard::error_code::wounded</a>) {</div>
<div class="line"><a id="l00453" name="l00453"></a><span class="lineno">  453</span>                            m_state = state::commit_failed;</div>
<div class="line"><a id="l00454" name="l00454"></a><span class="lineno">  454</span>                            m_log-&gt;trace(m_ticket_number.value(),</div>
<div class="line"><a id="l00455" name="l00455"></a><span class="lineno">  455</span>                                         <span class="stringliteral">&quot;wounded during commit&quot;</span>);</div>
<div class="line"><a id="l00456" name="l00456"></a><span class="lineno">  456</span>                        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00457" name="l00457"></a><span class="lineno">  457</span>                            m_state = state::commit_error;</div>
<div class="line"><a id="l00458" name="l00458"></a><span class="lineno">  458</span>                            m_log-&gt;error(<span class="stringliteral">&quot;Shard error for commit for&quot;</span>,</div>
<div class="line"><a id="l00459" name="l00459"></a><span class="lineno">  459</span>                                         m_ticket_number.value());</div>
<div class="line"><a id="l00460" name="l00460"></a><span class="lineno">  460</span>                        }</div>
<div class="line"><a id="l00461" name="l00461"></a><span class="lineno">  461</span>                        m_result = error_code::commit_error;</div>
<div class="line"><a id="l00462" name="l00462"></a><span class="lineno">  462</span>                        do_result();</div>
<div class="line"><a id="l00463" name="l00463"></a><span class="lineno">  463</span>                    },</div>
<div class="line"><a id="l00464" name="l00464"></a><span class="lineno">  464</span>                    [&amp;](<a class="code hl_enumeration" href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97dee">runtime_locking_shard::error_code</a> <span class="comment">/*e*/</span>) {</div>
<div class="line"><a id="l00465" name="l00465"></a><span class="lineno">  465</span>                        m_state = state::commit_error;</div>
<div class="line"><a id="l00466" name="l00466"></a><span class="lineno">  466</span>                        m_log-&gt;error(<span class="stringliteral">&quot;Shard error for commit for&quot;</span>,</div>
<div class="line"><a id="l00467" name="l00467"></a><span class="lineno">  467</span>                                     m_ticket_number.value());</div>
<div class="line"><a id="l00468" name="l00468"></a><span class="lineno">  468</span>                        m_result = error_code::commit_error;</div>
<div class="line"><a id="l00469" name="l00469"></a><span class="lineno">  469</span>                        do_result();</div>
<div class="line"><a id="l00470" name="l00470"></a><span class="lineno">  470</span>                    }},</div>
<div class="line"><a id="l00471" name="l00471"></a><span class="lineno">  471</span>                res.value());</div>
<div class="line"><a id="l00472" name="l00472"></a><span class="lineno">  472</span>        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00473" name="l00473"></a><span class="lineno">  473</span>            m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00474" name="l00474"></a><span class="lineno">  474</span>                         <span class="stringliteral">&quot;Agent handled commit for&quot;</span>,</div>
<div class="line"><a id="l00475" name="l00475"></a><span class="lineno">  475</span>                         m_ticket_number.value());</div>
<div class="line"><a id="l00476" name="l00476"></a><span class="lineno">  476</span>            do_finish();</div>
<div class="line"><a id="l00477" name="l00477"></a><span class="lineno">  477</span>        }</div>
<div class="line"><a id="l00478" name="l00478"></a><span class="lineno">  478</span>    }</div>
<div class="line"><a id="l00479" name="l00479"></a><span class="lineno">  479</span> </div>
<div class="line"><a id="l00480" name="l00480"></a><span class="lineno">  480</span>    <span class="keywordtype">void</span> impl::do_result() {</div>
<div class="line"><a id="l00481" name="l00481"></a><span class="lineno">  481</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00482" name="l00482"></a><span class="lineno">  482</span>        assert(m_result.has_value());</div>
<div class="line"><a id="l00483" name="l00483"></a><span class="lineno">  483</span>        <span class="keywordflow">switch</span>(m_state) {</div>
<div class="line"><a id="l00484" name="l00484"></a><span class="lineno">  484</span>            <span class="comment">// No results should be reported in these states, fatal bugs</span></div>
<div class="line"><a id="l00485" name="l00485"></a><span class="lineno">  485</span>            <span class="keywordflow">case</span> state::init:</div>
<div class="line"><a id="l00486" name="l00486"></a><span class="lineno">  486</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in initial state&quot;</span>);</div>
<div class="line"><a id="l00487" name="l00487"></a><span class="lineno">  487</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00488" name="l00488"></a><span class="lineno">  488</span>            <span class="keywordflow">case</span> state::begin_sent:</div>
<div class="line"><a id="l00489" name="l00489"></a><span class="lineno">  489</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in begin_sent state&quot;</span>);</div>
<div class="line"><a id="l00490" name="l00490"></a><span class="lineno">  490</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00491" name="l00491"></a><span class="lineno">  491</span>            <span class="keywordflow">case</span> state::function_get_sent:</div>
<div class="line"><a id="l00492" name="l00492"></a><span class="lineno">  492</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in function_get_sent state&quot;</span>);</div>
<div class="line"><a id="l00493" name="l00493"></a><span class="lineno">  493</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00494" name="l00494"></a><span class="lineno">  494</span>            <span class="keywordflow">case</span> state::commit_sent:</div>
<div class="line"><a id="l00495" name="l00495"></a><span class="lineno">  495</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in commit_sent state&quot;</span>);</div>
<div class="line"><a id="l00496" name="l00496"></a><span class="lineno">  496</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00497" name="l00497"></a><span class="lineno">  497</span>            <span class="keywordflow">case</span> state::finish_sent:</div>
<div class="line"><a id="l00498" name="l00498"></a><span class="lineno">  498</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in finish_sent state&quot;</span>);</div>
<div class="line"><a id="l00499" name="l00499"></a><span class="lineno">  499</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00500" name="l00500"></a><span class="lineno">  500</span>            <span class="keywordflow">case</span> state::function_started:</div>
<div class="line"><a id="l00501" name="l00501"></a><span class="lineno">  501</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in function_started state&quot;</span>);</div>
<div class="line"><a id="l00502" name="l00502"></a><span class="lineno">  502</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00503" name="l00503"></a><span class="lineno">  503</span>            <span class="keywordflow">case</span> state::rollback_sent:</div>
<div class="line"><a id="l00504" name="l00504"></a><span class="lineno">  504</span>                m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in rollback_sent state&quot;</span>);</div>
<div class="line"><a id="l00505" name="l00505"></a><span class="lineno">  505</span>                <span class="comment">// System terminated by fatal()</span></div>
<div class="line"><a id="l00506" name="l00506"></a><span class="lineno">  506</span>            <span class="keywordflow">case</span> state::rollback_complete:</div>
<div class="line"><a id="l00507" name="l00507"></a><span class="lineno">  507</span>                <span class="keywordflow">if</span>(!std::holds_alternative&lt;error_code&gt;(m_result.value())</div>
<div class="line"><a id="l00508" name="l00508"></a><span class="lineno">  508</span>                   || std::get&lt;error_code&gt;(m_result.value())</div>
<div class="line"><a id="l00509" name="l00509"></a><span class="lineno">  509</span>                          != error_code::retry) {</div>
<div class="line"><a id="l00510" name="l00510"></a><span class="lineno">  510</span>                    m_log-&gt;fatal(<span class="stringliteral">&quot;Result reported in rollback_complete state &quot;</span></div>
<div class="line"><a id="l00511" name="l00511"></a><span class="lineno">  511</span>                                 <span class="stringliteral">&quot;when result is not retry&quot;</span>);</div>
<div class="line"><a id="l00512" name="l00512"></a><span class="lineno">  512</span>                }</div>
<div class="line"><a id="l00513" name="l00513"></a><span class="lineno">  513</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00514" name="l00514"></a><span class="lineno">  514</span> </div>
<div class="line"><a id="l00515" name="l00515"></a><span class="lineno">  515</span>            <span class="comment">// Failure due to transient problems, should retry</span></div>
<div class="line"><a id="l00516" name="l00516"></a><span class="lineno">  516</span>            <span class="keywordflow">case</span> state::begin_failed:</div>
<div class="line"><a id="l00517" name="l00517"></a><span class="lineno">  517</span>                <span class="comment">// Couldn&#39;t get a ticket number, no need to rollback</span></div>
<div class="line"><a id="l00518" name="l00518"></a><span class="lineno">  518</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00519" name="l00519"></a><span class="lineno">  519</span> </div>
<div class="line"><a id="l00520" name="l00520"></a><span class="lineno">  520</span>            <span class="keywordflow">case</span> state::function_get_failed:</div>
<div class="line"><a id="l00521" name="l00521"></a><span class="lineno">  521</span>            <span class="keywordflow">case</span> state::function_failed:</div>
<div class="line"><a id="l00522" name="l00522"></a><span class="lineno">  522</span>            <span class="keywordflow">case</span> state::commit_failed:</div>
<div class="line"><a id="l00523" name="l00523"></a><span class="lineno">  523</span>                do_rollback(<span class="keyword">false</span>);</div>
<div class="line"><a id="l00524" name="l00524"></a><span class="lineno">  524</span>                <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00525" name="l00525"></a><span class="lineno">  525</span> </div>
<div class="line"><a id="l00526" name="l00526"></a><span class="lineno">  526</span>            <span class="keywordflow">case</span> state::finish_failed:</div>
<div class="line"><a id="l00527" name="l00527"></a><span class="lineno">  527</span>                <span class="comment">// Committed but transient error running finish, cannot</span></div>
<div class="line"><a id="l00528" name="l00528"></a><span class="lineno">  528</span>                <span class="comment">// rollback, need to retry finish</span></div>
<div class="line"><a id="l00529" name="l00529"></a><span class="lineno">  529</span>                [[fallthrough]];</div>
<div class="line"><a id="l00530" name="l00530"></a><span class="lineno">  530</span>            <span class="keywordflow">case</span> state::rollback_failed:</div>
<div class="line"><a id="l00531" name="l00531"></a><span class="lineno">  531</span>                <span class="comment">// Need to retry rollback</span></div>
<div class="line"><a id="l00532" name="l00532"></a><span class="lineno">  532</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00533" name="l00533"></a><span class="lineno">  533</span> </div>
<div class="line"><a id="l00534" name="l00534"></a><span class="lineno">  534</span>            <span class="comment">// Failure due to permanent error, abort completely</span></div>
<div class="line"><a id="l00535" name="l00535"></a><span class="lineno">  535</span>            <span class="keywordflow">case</span> state::function_get_error:</div>
<div class="line"><a id="l00536" name="l00536"></a><span class="lineno">  536</span>            <span class="keywordflow">case</span> state::commit_error:</div>
<div class="line"><a id="l00537" name="l00537"></a><span class="lineno">  537</span>            <span class="keywordflow">case</span> state::function_exception:</div>
<div class="line"><a id="l00538" name="l00538"></a><span class="lineno">  538</span>                do_rollback(<span class="keyword">true</span>);</div>
<div class="line"><a id="l00539" name="l00539"></a><span class="lineno">  539</span>                <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00540" name="l00540"></a><span class="lineno">  540</span> </div>
<div class="line"><a id="l00541" name="l00541"></a><span class="lineno">  541</span>            <span class="comment">// Ran to completion</span></div>
<div class="line"><a id="l00542" name="l00542"></a><span class="lineno">  542</span>            <span class="keywordflow">case</span> state::finish_complete:</div>
<div class="line"><a id="l00543" name="l00543"></a><span class="lineno">  543</span>                m_log-&gt;debug(<span class="keyword">this</span>, <span class="stringliteral">&quot;Agent finished&quot;</span>, m_ticket_number.value());</div>
<div class="line"><a id="l00544" name="l00544"></a><span class="lineno">  544</span>                <span class="keywordflow">break</span>;</div>
<div class="line"><a id="l00545" name="l00545"></a><span class="lineno">  545</span>        }</div>
<div class="line"><a id="l00546" name="l00546"></a><span class="lineno">  546</span>        get_result_callback()(m_result.value());</div>
<div class="line"><a id="l00547" name="l00547"></a><span class="lineno">  547</span>        m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00548" name="l00548"></a><span class="lineno">  548</span>                     <span class="stringliteral">&quot;Agent handled result for&quot;</span>,</div>
<div class="line"><a id="l00549" name="l00549"></a><span class="lineno">  549</span>                     m_ticket_number.value());</div>
<div class="line"><a id="l00550" name="l00550"></a><span class="lineno">  550</span>    }</div>
<div class="line"><a id="l00551" name="l00551"></a><span class="lineno">  551</span> </div>
<div class="line"><a id="l00552" name="l00552"></a><span class="lineno">  552</span>    <span class="keywordtype">void</span> impl::do_finish() {</div>
<div class="line"><a id="l00553" name="l00553"></a><span class="lineno">  553</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00554" name="l00554"></a><span class="lineno">  554</span>        assert(m_state == state::commit_sent || m_state == state::finish_failed</div>
<div class="line"><a id="l00555" name="l00555"></a><span class="lineno">  555</span>               || m_state == state::finish_sent</div>
<div class="line"><a id="l00556" name="l00556"></a><span class="lineno">  556</span>               || m_state == state::rollback_complete);</div>
<div class="line"><a id="l00557" name="l00557"></a><span class="lineno">  557</span>        assert(m_ticket_number.has_value());</div>
<div class="line"><a id="l00558" name="l00558"></a><span class="lineno">  558</span>        m_state = state::finish_sent;</div>
<div class="line"><a id="l00559" name="l00559"></a><span class="lineno">  559</span>        m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00560" name="l00560"></a><span class="lineno">  560</span>                     <span class="stringliteral">&quot;Agent requesting finish for&quot;</span>,</div>
<div class="line"><a id="l00561" name="l00561"></a><span class="lineno">  561</span>                     m_ticket_number.value());</div>
<div class="line"><a id="l00562" name="l00562"></a><span class="lineno">  562</span>        <span class="keyword">auto</span> maybe_success = m_broker-&gt;finish(</div>
<div class="line"><a id="l00563" name="l00563"></a><span class="lineno">  563</span>            m_ticket_number.value(),</div>
<div class="line"><a id="l00564" name="l00564"></a><span class="lineno">  564</span>            [<span class="keyword">this</span>](<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a8fcd3747273d7841f304d061c3abd475">broker::interface::finish_return_type</a> finish_res) {</div>
<div class="line"><a id="l00565" name="l00565"></a><span class="lineno">  565</span>                handle_finish(finish_res);</div>
<div class="line"><a id="l00566" name="l00566"></a><span class="lineno">  566</span>            });</div>
<div class="line"><a id="l00567" name="l00567"></a><span class="lineno">  567</span>        <span class="keywordflow">if</span>(!maybe_success) {</div>
<div class="line"><a id="l00568" name="l00568"></a><span class="lineno">  568</span>            m_state = state::finish_failed;</div>
<div class="line"><a id="l00569" name="l00569"></a><span class="lineno">  569</span>            m_log-&gt;error(<span class="stringliteral">&quot;Error contacting broker for finish&quot;</span>);</div>
<div class="line"><a id="l00570" name="l00570"></a><span class="lineno">  570</span>            m_result = error_code::broker_unreachable;</div>
<div class="line"><a id="l00571" name="l00571"></a><span class="lineno">  571</span>            do_result();</div>
<div class="line"><a id="l00572" name="l00572"></a><span class="lineno">  572</span>        }</div>
<div class="line"><a id="l00573" name="l00573"></a><span class="lineno">  573</span>    }</div>
<div class="line"><a id="l00574" name="l00574"></a><span class="lineno">  574</span> </div>
<div class="line"><a id="l00575" name="l00575"></a><span class="lineno">  575</span>    <span class="keywordtype">void</span></div>
<div class="line"><a id="l00576" name="l00576"></a><span class="lineno">  576</span>    impl::handle_finish(<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a8fcd3747273d7841f304d061c3abd475">broker::interface::finish_return_type</a> finish_res) {</div>
<div class="line"><a id="l00577" name="l00577"></a><span class="lineno">  577</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00578" name="l00578"></a><span class="lineno">  578</span>        <span class="keywordflow">if</span>(m_state != state::finish_sent) {</div>
<div class="line"><a id="l00579" name="l00579"></a><span class="lineno">  579</span>            m_log-&gt;warn(<span class="stringliteral">&quot;handle_finish while not in finish_sent state&quot;</span>);</div>
<div class="line"><a id="l00580" name="l00580"></a><span class="lineno">  580</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00581" name="l00581"></a><span class="lineno">  581</span>        }</div>
<div class="line"><a id="l00582" name="l00582"></a><span class="lineno">  582</span>        <span class="keywordflow">if</span>(finish_res.has_value()) {</div>
<div class="line"><a id="l00583" name="l00583"></a><span class="lineno">  583</span>            m_state = state::finish_failed;</div>
<div class="line"><a id="l00584" name="l00584"></a><span class="lineno">  584</span>            m_log-&gt;error(<span class="stringliteral">&quot;Broker error for finish for&quot;</span>,</div>
<div class="line"><a id="l00585" name="l00585"></a><span class="lineno">  585</span>                         m_ticket_number.value());</div>
<div class="line"><a id="l00586" name="l00586"></a><span class="lineno">  586</span>            m_result = error_code::finish_error;</div>
<div class="line"><a id="l00587" name="l00587"></a><span class="lineno">  587</span>            do_result();</div>
<div class="line"><a id="l00588" name="l00588"></a><span class="lineno">  588</span>        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00589" name="l00589"></a><span class="lineno">  589</span>            m_state = state::finish_complete;</div>
<div class="line"><a id="l00590" name="l00590"></a><span class="lineno">  590</span>            m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00591" name="l00591"></a><span class="lineno">  591</span>                         <span class="stringliteral">&quot;Agent handled finish for&quot;</span>,</div>
<div class="line"><a id="l00592" name="l00592"></a><span class="lineno">  592</span>                         m_ticket_number.value());</div>
<div class="line"><a id="l00593" name="l00593"></a><span class="lineno">  593</span>            do_result();</div>
<div class="line"><a id="l00594" name="l00594"></a><span class="lineno">  594</span>        }</div>
<div class="line"><a id="l00595" name="l00595"></a><span class="lineno">  595</span>    }</div>
<div class="line"><a id="l00596" name="l00596"></a><span class="lineno">  596</span> </div>
<div class="line"><a id="l00597" name="l00597"></a><span class="lineno">  597</span>    <span class="keywordtype">void</span> impl::do_rollback(<span class="keywordtype">bool</span> finish) {</div>
<div class="line"><a id="l00598" name="l00598"></a><span class="lineno">  598</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00599" name="l00599"></a><span class="lineno">  599</span>        assert(m_state == state::commit_failed</div>
<div class="line"><a id="l00600" name="l00600"></a><span class="lineno">  600</span>               || m_state == state::rollback_sent</div>
<div class="line"><a id="l00601" name="l00601"></a><span class="lineno">  601</span>               || m_state == state::function_exception</div>
<div class="line"><a id="l00602" name="l00602"></a><span class="lineno">  602</span>               || m_state == state::function_failed</div>
<div class="line"><a id="l00603" name="l00603"></a><span class="lineno">  603</span>               || m_state == state::commit_error</div>
<div class="line"><a id="l00604" name="l00604"></a><span class="lineno">  604</span>               || m_state == state::function_get_failed</div>
<div class="line"><a id="l00605" name="l00605"></a><span class="lineno">  605</span>               || m_state == state::function_get_error</div>
<div class="line"><a id="l00606" name="l00606"></a><span class="lineno">  606</span>               || m_state == state::function_started</div>
<div class="line"><a id="l00607" name="l00607"></a><span class="lineno">  607</span>               || m_state == state::rollback_failed);</div>
<div class="line"><a id="l00608" name="l00608"></a><span class="lineno">  608</span>        assert(m_ticket_number.has_value());</div>
<div class="line"><a id="l00609" name="l00609"></a><span class="lineno">  609</span>        m_log-&gt;trace(<span class="keyword">this</span>, <span class="stringliteral">&quot;Agent rolling back&quot;</span>, m_ticket_number.value());</div>
<div class="line"><a id="l00610" name="l00610"></a><span class="lineno">  610</span>        m_state = state::rollback_sent;</div>
<div class="line"><a id="l00611" name="l00611"></a><span class="lineno">  611</span>        m_permanent_error = finish;</div>
<div class="line"><a id="l00612" name="l00612"></a><span class="lineno">  612</span>        <span class="keyword">auto</span> maybe_success = m_broker-&gt;rollback(</div>
<div class="line"><a id="l00613" name="l00613"></a><span class="lineno">  613</span>            m_ticket_number.value(),</div>
<div class="line"><a id="l00614" name="l00614"></a><span class="lineno">  614</span>            [<span class="keyword">this</span>](<a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af8c5164208dd11fb67513f1d5f098997">broker::interface::rollback_return_type</a> rollback_res) {</div>
<div class="line"><a id="l00615" name="l00615"></a><span class="lineno">  615</span>                handle_rollback(rollback_res);</div>
<div class="line"><a id="l00616" name="l00616"></a><span class="lineno">  616</span>            });</div>
<div class="line"><a id="l00617" name="l00617"></a><span class="lineno">  617</span>        <span class="keywordflow">if</span>(!maybe_success) {</div>
<div class="line"><a id="l00618" name="l00618"></a><span class="lineno">  618</span>            m_state = state::rollback_failed;</div>
<div class="line"><a id="l00619" name="l00619"></a><span class="lineno">  619</span>            m_log-&gt;error(<span class="stringliteral">&quot;Error contacting broker for rollback&quot;</span>);</div>
<div class="line"><a id="l00620" name="l00620"></a><span class="lineno">  620</span>            m_result = error_code::broker_unreachable;</div>
<div class="line"><a id="l00621" name="l00621"></a><span class="lineno">  621</span>            do_result();</div>
<div class="line"><a id="l00622" name="l00622"></a><span class="lineno">  622</span>        }</div>
<div class="line"><a id="l00623" name="l00623"></a><span class="lineno">  623</span>    }</div>
<div class="line"><a id="l00624" name="l00624"></a><span class="lineno">  624</span> </div>
<div class="line"><a id="l00625" name="l00625"></a><span class="lineno">  625</span>    <span class="keywordtype">void</span> impl::handle_rollback(</div>
<div class="line"><a id="l00626" name="l00626"></a><span class="lineno">  626</span>        <a class="code hl_typedef" href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af8c5164208dd11fb67513f1d5f098997">broker::interface::rollback_return_type</a> rollback_res) {</div>
<div class="line"><a id="l00627" name="l00627"></a><span class="lineno">  627</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00628" name="l00628"></a><span class="lineno">  628</span>        <span class="keywordflow">if</span>(m_state != state::rollback_sent) {</div>
<div class="line"><a id="l00629" name="l00629"></a><span class="lineno">  629</span>            m_log-&gt;warn(<span class="stringliteral">&quot;handle_rollback while not in rollback_sent state&quot;</span>);</div>
<div class="line"><a id="l00630" name="l00630"></a><span class="lineno">  630</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00631" name="l00631"></a><span class="lineno">  631</span>        }</div>
<div class="line"><a id="l00632" name="l00632"></a><span class="lineno">  632</span>        <span class="keywordflow">if</span>(rollback_res.has_value()) {</div>
<div class="line"><a id="l00633" name="l00633"></a><span class="lineno">  633</span>            m_state = state::rollback_failed;</div>
<div class="line"><a id="l00634" name="l00634"></a><span class="lineno">  634</span>            m_result = error_code::rollback_error;</div>
<div class="line"><a id="l00635" name="l00635"></a><span class="lineno">  635</span>            m_log-&gt;error(<span class="stringliteral">&quot;Broker error rolling back&quot;</span>, m_ticket_number.value());</div>
<div class="line"><a id="l00636" name="l00636"></a><span class="lineno">  636</span>            do_result();</div>
<div class="line"><a id="l00637" name="l00637"></a><span class="lineno">  637</span>            <span class="keywordflow">return</span>;</div>
<div class="line"><a id="l00638" name="l00638"></a><span class="lineno">  638</span>        }</div>
<div class="line"><a id="l00639" name="l00639"></a><span class="lineno">  639</span> </div>
<div class="line"><a id="l00640" name="l00640"></a><span class="lineno">  640</span>        m_state = state::rollback_complete;</div>
<div class="line"><a id="l00641" name="l00641"></a><span class="lineno">  641</span>        m_log-&gt;trace(<span class="keyword">this</span>, <span class="stringliteral">&quot;Agent rolled back&quot;</span>, m_ticket_number.value());</div>
<div class="line"><a id="l00642" name="l00642"></a><span class="lineno">  642</span>        <span class="keywordflow">if</span>(m_permanent_error) {</div>
<div class="line"><a id="l00643" name="l00643"></a><span class="lineno">  643</span>            m_log-&gt;trace(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00644" name="l00644"></a><span class="lineno">  644</span>                         <span class="stringliteral">&quot;Agent finishing due to permanent error&quot;</span>,</div>
<div class="line"><a id="l00645" name="l00645"></a><span class="lineno">  645</span>                         m_ticket_number.value());</div>
<div class="line"><a id="l00646" name="l00646"></a><span class="lineno">  646</span>            do_finish();</div>
<div class="line"><a id="l00647" name="l00647"></a><span class="lineno">  647</span>        } <span class="keywordflow">else</span> {</div>
<div class="line"><a id="l00648" name="l00648"></a><span class="lineno">  648</span>            <span class="comment">// Transient error, try again</span></div>
<div class="line"><a id="l00649" name="l00649"></a><span class="lineno">  649</span>            m_log-&gt;debug(<span class="keyword">this</span>,</div>
<div class="line"><a id="l00650" name="l00650"></a><span class="lineno">  650</span>                         <span class="stringliteral">&quot;Agent should restart&quot;</span>,</div>
<div class="line"><a id="l00651" name="l00651"></a><span class="lineno">  651</span>                         m_ticket_number.value());</div>
<div class="line"><a id="l00652" name="l00652"></a><span class="lineno">  652</span>            m_result = error_code::retry;</div>
<div class="line"><a id="l00653" name="l00653"></a><span class="lineno">  653</span>            do_result();</div>
<div class="line"><a id="l00654" name="l00654"></a><span class="lineno">  654</span>        }</div>
<div class="line"><a id="l00655" name="l00655"></a><span class="lineno">  655</span>    }</div>
<div class="line"><a id="l00656" name="l00656"></a><span class="lineno">  656</span> </div>
<div class="foldopen" id="foldopen00657" data-start="{" data-end="}">
<div class="line"><a id="l00657" name="l00657"></a><span class="lineno"><a class="line" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#aa100fe761a417db8c5a32f6d26848f7e">  657</a></span>    impl::~impl() {</div>
<div class="line"><a id="l00658" name="l00658"></a><span class="lineno">  658</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00659" name="l00659"></a><span class="lineno">  659</span>        <span class="keywordflow">if</span>(m_state != state::finish_complete) {</div>
<div class="line"><a id="l00660" name="l00660"></a><span class="lineno">  660</span>            m_log-&gt;fatal(</div>
<div class="line"><a id="l00661" name="l00661"></a><span class="lineno">  661</span>                <span class="keyword">this</span>,</div>
<div class="line"><a id="l00662" name="l00662"></a><span class="lineno">  662</span>                <span class="stringliteral">&quot;Agent state wasn&#39;t finished at destruction, state was:&quot;</span>,</div>
<div class="line"><a id="l00663" name="l00663"></a><span class="lineno">  663</span>                <span class="keyword">static_cast&lt;</span><span class="keywordtype">int</span><span class="keyword">&gt;</span>(m_state));</div>
<div class="line"><a id="l00664" name="l00664"></a><span class="lineno">  664</span>        }</div>
<div class="line"><a id="l00665" name="l00665"></a><span class="lineno">  665</span>    }</div>
</div>
<div class="line"><a id="l00666" name="l00666"></a><span class="lineno">  666</span> </div>
<div class="foldopen" id="foldopen00667" data-start="{" data-end="}">
<div class="line"><a id="l00667" name="l00667"></a><span class="lineno"><a class="line" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#ad5fa4b44d55803dc20984349791800ee">  667</a></span>    <span class="keyword">auto</span> impl::get_ticket_number() const</div>
<div class="line"><a id="l00668" name="l00668"></a><span class="lineno">  668</span>        -&gt; std::optional&lt;ticket_machine::ticket_number_type&gt; {</div>
<div class="line"><a id="l00669" name="l00669"></a><span class="lineno">  669</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00670" name="l00670"></a><span class="lineno">  670</span>        <span class="keywordflow">return</span> m_ticket_number;</div>
<div class="line"><a id="l00671" name="l00671"></a><span class="lineno">  671</span>    }</div>
</div>
<div class="line"><a id="l00672" name="l00672"></a><span class="lineno">  672</span> </div>
<div class="foldopen" id="foldopen00673" data-start="{" data-end="}">
<div class="line"><a id="l00673" name="l00673"></a><span class="lineno"><a class="line" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a560322b7819af49f36be858267720039">  673</a></span>    <span class="keyword">auto</span> impl::get_state() const -&gt; <a class="code hl_enumeration" href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947d">state</a> {</div>
<div class="line"><a id="l00674" name="l00674"></a><span class="lineno">  674</span>        std::unique_lock l(m_mut);</div>
<div class="line"><a id="l00675" name="l00675"></a><span class="lineno">  675</span>        <span class="keywordflow">return</span> m_state;</div>
<div class="line"><a id="l00676" name="l00676"></a><span class="lineno">  676</span>    }</div>
</div>
<div class="line"><a id="l00677" name="l00677"></a><span class="lineno">  677</span>}</div>
<div class="ttc" id="aagent_2impl_8hpp_html"><div class="ttname"><a href="agent_2impl_8hpp.html">impl.hpp</a></div></div>
<div class="ttc" id="aclasscbdc_1_1buffer_html"><div class="ttname"><a href="classcbdc_1_1buffer.html">cbdc::buffer</a></div><div class="ttdoc">Buffer to store and retrieve byte data.</div><div class="ttdef"><b>Definition</b> <a href="buffer_8hpp_source.html#l00015">buffer.hpp:15</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947d"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947d">cbdc::parsec::agent::impl::state</a></div><div class="ttdeci">state</div><div class="ttdoc">States for a ticket managed by this agent.</div><div class="ttdef"><b>Definition</b> <a href="agent_2impl_8hpp_source.html#l00019">agent/impl.hpp:19</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947da1089ad1c441fbd40cfd939d9a9ad2fc9"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da1089ad1c441fbd40cfd939d9a9ad2fc9">cbdc::parsec::agent::impl::state::begin_sent</a></div><div class="ttdeci">@ begin_sent</div><div class="ttdoc">Begin request sent to broker.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da18d448795c00ff8347f5f32563695307">cbdc::parsec::agent::impl::state::function_get_failed</a></div><div class="ttdeci">@ function_get_failed</div><div class="ttdoc">Function bytecode lock request failed.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947da21352b4733b843933c296b220d613f42"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da21352b4733b843933c296b220d613f42">cbdc::parsec::agent::impl::state::function_get_error</a></div><div class="ttdeci">@ function_get_error</div><div class="ttdoc">Broker error during function bytecode lock.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947da377f060ec284f0114505bb7b2134f8f5"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da377f060ec284f0114505bb7b2134f8f5">cbdc::parsec::agent::impl::state::function_get_sent</a></div><div class="ttdeci">@ function_get_sent</div><div class="ttdoc">Function bytecode lock sent to broker.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947da51a1fea3a56c2f5edc338c6ef7223a9c"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947da51a1fea3a56c2f5edc338c6ef7223a9c">cbdc::parsec::agent::impl::state::function_started</a></div><div class="ttdeci">@ function_started</div><div class="ttdoc">Function execution started.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947daafcabef55a922f193cd0428165bfdffe"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947daafcabef55a922f193cd0428165bfdffe">cbdc::parsec::agent::impl::state::rollback_complete</a></div><div class="ttdeci">@ rollback_complete</div><div class="ttdoc">Rollback complete.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a218e5c521f5f3f5ddf916e508d5e947daf8971c07e69cacf57fdf64e2e1fed5a7"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a218e5c521f5f3f5ddf916e508d5e947daf8971c07e69cacf57fdf64e2e1fed5a7">cbdc::parsec::agent::impl::state::begin_failed</a></div><div class="ttdeci">@ begin_failed</div><div class="ttdoc">Begin request failed.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a5211f4c8c2f07672ad5ca4557bcf4cdc"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a5211f4c8c2f07672ad5ca4557bcf4cdc">cbdc::parsec::agent::impl::exec</a></div><div class="ttdeci">auto exec() -&gt; bool override</div><div class="ttdoc">Initiates function execution.</div><div class="ttdef"><b>Definition</b> <a href="#l00038">agent/impl.cpp:38</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1impl_html_a8a9068f0c0db333285f02479e79b63bf"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1impl.html#a8a9068f0c0db333285f02479e79b63bf">cbdc::parsec::agent::impl::impl</a></div><div class="ttdeci">impl(std::shared_ptr&lt; logging::log &gt; logger, cbdc::parsec::config cfg, runner::interface::factory_type runner_factory, std::shared_ptr&lt; broker::interface &gt; broker, runtime_locking_shard::key_type function, parameter_type param, exec_callback_type result_callback, broker::lock_type initial_lock_type, bool is_readonly_run, std::shared_ptr&lt; secp256k1_context &gt; secp, std::shared_ptr&lt; thread_pool &gt; t_pool)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition</b> <a href="#l00014">agent/impl.cpp:14</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html">cbdc::parsec::agent::interface</a></div><div class="ttdoc">Interface for an agent.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2interface_8hpp_source.html#l00019">parsec/agent/interface.hpp:19</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html_a9e1359b2f2b4a1d1e287e03ba47bfb02a8ffeec3a9f6c89ae7947f008fc18c104"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02a8ffeec3a9f6c89ae7947f008fc18c104">cbdc::parsec::agent::interface::error_code::function_retrieval</a></div><div class="ttdeci">@ function_retrieval</div><div class="ttdoc">Error retrieving function bytecode.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html_a9e1359b2f2b4a1d1e287e03ba47bfb02aa3074d413bd2fe80f4339a9fadc0d6f6"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02aa3074d413bd2fe80f4339a9fadc0d6f6">cbdc::parsec::agent::interface::error_code::broker_unreachable</a></div><div class="ttdeci">@ broker_unreachable</div><div class="ttdoc">Broker was unreachable.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html_a9e1359b2f2b4a1d1e287e03ba47bfb02abdcde4946e39a81053128e5420cf35e7"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html#a9e1359b2f2b4a1d1e287e03ba47bfb02abdcde4946e39a81053128e5420cf35e7">cbdc::parsec::agent::interface::error_code::ticket_number_assignment</a></div><div class="ttdeci">@ ticket_number_assignment</div><div class="ttdoc">Ticket number assignment failed.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html_ac7681a694f8b68874429f47874408c67"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html#ac7681a694f8b68874429f47874408c67">cbdc::parsec::agent::interface::exec_callback_type</a></div><div class="ttdeci">std::function&lt; void(exec_return_type)&gt; exec_callback_type</div><div class="ttdoc">Callback function type with function execution result.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2interface_8hpp_source.html#l00052">parsec/agent/interface.hpp:52</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1interface_html_aff5ed18094ded4ba365e1b1a3d455283"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1interface.html#aff5ed18094ded4ba365e1b1a3d455283">cbdc::parsec::agent::interface::get_function</a></div><div class="ttdeci">auto get_function() const -&gt; runtime_locking_shard::key_type</div><div class="ttdoc">Return the key of the function bytecode managed by this agent.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2interface_8cpp_source.html#l00016">parsec/agent/interface.cpp:16</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1agent_1_1runner_1_1interface_html_a873918bc570092134d0e4ea3836f658c"><div class="ttname"><a href="classcbdc_1_1parsec_1_1agent_1_1runner_1_1interface.html#a873918bc570092134d0e4ea3836f658c">cbdc::parsec::agent::runner::interface::factory_type</a></div><div class="ttdeci">std::function&lt; std::unique_ptr&lt; interface &gt;( std::shared_ptr&lt; logging::log &gt; logger, const cbdc::parsec::config &amp;cfg, runtime_locking_shard::value_type function, parameter_type param, bool is_readonly_run, runner::interface::run_callback_type result_callback, runner::interface::try_lock_callback_type try_lock_callback, std::shared_ptr&lt; secp256k1_context &gt;, std::shared_ptr&lt; thread_pool &gt; t_pool, ticket_number_type ticket_number)&gt; factory_type</div><div class="ttdoc">Factory function type for instantiating new runners.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2runners_2interface_8hpp_source.html#l00067">parsec/agent/runners/interface.hpp:67</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_a7ad81d8ee6b0c0df7f8d2070b7e0d6f5"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a7ad81d8ee6b0c0df7f8d2070b7e0d6f5">cbdc::parsec::broker::interface::try_lock_return_type</a></div><div class="ttdeci">std::variant&lt; value_type, error_code, runtime_locking_shard::shard_error &gt; try_lock_return_type</div><div class="ttdoc">Return type from a try lock operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00100">parsec/broker/interface.hpp:100</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_a84a4667edd4b6feaf9f16227ac3714c0"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a84a4667edd4b6feaf9f16227ac3714c0">cbdc::parsec::broker::interface::commit_return_type</a></div><div class="ttdeci">std::optional&lt; std::variant&lt; error_code, runtime_locking_shard::shard_error &gt; &gt; commit_return_type</div><div class="ttdoc">Return type from a commit operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00121">parsec/broker/interface.hpp:121</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_a8fcd3747273d7841f304d061c3abd475"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#a8fcd3747273d7841f304d061c3abd475">cbdc::parsec::broker::interface::finish_return_type</a></div><div class="ttdeci">std::optional&lt; error_code &gt; finish_return_type</div><div class="ttdoc">Return type from a finish operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00139">parsec/broker/interface.hpp:139</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_aa376a0f5760fd2cba521620a7af84901"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901">cbdc::parsec::broker::interface::error_code</a></div><div class="ttdeci">error_code</div><div class="ttdoc">Error codes returned by broker operations.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00042">parsec/broker/interface.hpp:42</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_aa376a0f5760fd2cba521620a7af84901a9f2df66369b873e0dcb5355cb09f9b80"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#aa376a0f5760fd2cba521620a7af84901a9f2df66369b873e0dcb5355cb09f9b80">cbdc::parsec::broker::interface::error_code::commit_hazard</a></div><div class="ttdeci">@ commit_hazard</div><div class="ttdoc">A commit is attempted without associating update keys with ticket.</div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_ae8aae36c6d735c1e1534aec4dc164f88"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#ae8aae36c6d735c1e1534aec4dc164f88">cbdc::parsec::broker::interface::ticketnum_or_errcode_type</a></div><div class="ttdeci">std::variant&lt; ticket_number_type, error_code &gt; ticketnum_or_errcode_type</div><div class="ttdoc">Return type from a begin operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00087">parsec/broker/interface.hpp:87</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_af68b3e8c226eaff996bd53c131f0f93f"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af68b3e8c226eaff996bd53c131f0f93f">cbdc::parsec::broker::interface::try_lock_callback_type</a></div><div class="ttdeci">std::function&lt; void(try_lock_return_type)&gt; try_lock_callback_type</div><div class="ttdoc">Callback function type for a try lock operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00104">parsec/broker/interface.hpp:104</a></div></div>
<div class="ttc" id="aclasscbdc_1_1parsec_1_1broker_1_1interface_html_af8c5164208dd11fb67513f1d5f098997"><div class="ttname"><a href="classcbdc_1_1parsec_1_1broker_1_1interface.html#af8c5164208dd11fb67513f1d5f098997">cbdc::parsec::broker::interface::rollback_return_type</a></div><div class="ttdeci">std::optional&lt; std::variant&lt; error_code, runtime_locking_shard::error_code &gt; &gt; rollback_return_type</div><div class="ttdoc">Return type from a rollback operation.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00154">parsec/broker/interface.hpp:154</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1agent_1_1runner_html_a60c9502b9147e58735537c4161b10951"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1agent_1_1runner.html#a60c9502b9147e58735537c4161b10951">cbdc::parsec::agent::runner::to_hex</a></div><div class="ttdeci">auto to_hex(const evmc::address &amp;addr) -&gt; std::string</div><div class="ttdef"><b>Definition</b> <a href="agent_2runners_2evm_2util_8cpp_source.html#l00027">agent/runners/evm/util.cpp:27</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1agent_html"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1agent.html">cbdc::parsec::agent</a></div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2client_8cpp_source.html#l00011">parsec/agent/client.cpp:11</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1agent_html_a9edf884a095a3322eebe634c9c05141d"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1agent.html#a9edf884a095a3322eebe634c9c05141d">cbdc::parsec::agent::return_type</a></div><div class="ttdeci">broker::state_update_type return_type</div><div class="ttdoc">Type returned after function execution.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2agent_2interface_8hpp_source.html#l00015">parsec/agent/interface.hpp:15</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1broker_html_a1a58afec24ea8a47bb720c8e37dc457e"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1broker.html#a1a58afec24ea8a47bb720c8e37dc457e">cbdc::parsec::broker::value_type</a></div><div class="ttdeci">runtime_locking_shard::value_type value_type</div><div class="ttdoc">Shard value type.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00018">parsec/broker/interface.hpp:18</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1broker_html_a63524410a095b015191a2d57a93a9bab"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1broker.html#a63524410a095b015191a2d57a93a9bab">cbdc::parsec::broker::key_type</a></div><div class="ttdeci">runtime_locking_shard::key_type key_type</div><div class="ttdoc">Shard key type.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00016">parsec/broker/interface.hpp:16</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1broker_html_ac3ea914b78c4a158376a9d8c5b80c6fa"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1broker.html#ac3ea914b78c4a158376a9d8c5b80c6fa">cbdc::parsec::broker::lock_type</a></div><div class="ttdeci">runtime_locking_shard::lock_type lock_type</div><div class="ttdoc">Shard lock type.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2broker_2interface_8hpp_source.html#l00022">parsec/broker/interface.hpp:22</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1runtime__locking__shard_html_a967978c3b1fa292a0bca5d8687c97dee"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97dee">cbdc::parsec::runtime_locking_shard::error_code</a></div><div class="ttdeci">error_code</div><div class="ttdoc">Error codes returned by methods on shards.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2runtime__locking__shard_2interface_8hpp_source.html#l00039">parsec/runtime_locking_shard/interface.hpp:39</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1runtime__locking__shard_html_a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#a967978c3b1fa292a0bca5d8687c97deea120549c610c8523bb6eea157c43613e2">cbdc::parsec::runtime_locking_shard::error_code::wounded</a></div><div class="ttdeci">@ wounded</div><div class="ttdoc">Request invalid because ticket is in the wounded state.</div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1runtime__locking__shard_html_ac15979ae360f753028e76cd968394d86"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#ac15979ae360f753028e76cd968394d86">cbdc::parsec::runtime_locking_shard::state_update_type</a></div><div class="ttdeci">std:: unordered_map&lt; key_type, value_type, hashing::const_sip_hash&lt; key_type &gt; &gt; state_update_type</div><div class="ttdoc">Type for state updates to a shard. A map of keys and their new values.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2runtime__locking__shard_2interface_8hpp_source.html#l00027">parsec/runtime_locking_shard/interface.hpp:27</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1runtime__locking__shard_html_af6d0adbce827f930d52e6c4d9e18851a"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1runtime__locking__shard.html#af6d0adbce827f930d52e6c4d9e18851a">cbdc::parsec::runtime_locking_shard::lock_type</a></div><div class="ttdeci">lock_type</div><div class="ttdoc">Types of key lock supported by shards.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2runtime__locking__shard_2interface_8hpp_source.html#l00031">parsec/runtime_locking_shard/interface.hpp:31</a></div></div>
<div class="ttc" id="anamespacecbdc_1_1parsec_1_1ticket__machine_html_a3d84ba176554acc65cdda972ad7accca"><div class="ttname"><a href="namespacecbdc_1_1parsec_1_1ticket__machine.html#a3d84ba176554acc65cdda972ad7accca">cbdc::parsec::ticket_machine::ticket_number_type</a></div><div class="ttdeci">uint64_t ticket_number_type</div><div class="ttdoc">Type alias for a ticket number.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2ticket__machine_2interface_8hpp_source.html#l00016">parsec/ticket_machine/interface.hpp:16</a></div></div>
<div class="ttc" id="anamespacecbdc_html_a2fbe92db727ad329bcd1c4c5f350c133"><div class="ttname"><a href="namespacecbdc.html#a2fbe92db727ad329bcd1c4c5f350c133">cbdc::overloaded</a></div><div class="ttdeci">overloaded(Ts...) -&gt; overloaded&lt; Ts... &gt;</div></div>
<div class="ttc" id="astructcbdc_1_1overloaded_html"><div class="ttname"><a href="structcbdc_1_1overloaded.html">cbdc::overloaded</a></div><div class="ttdoc">Variant handler template.</div><div class="ttdef"><b>Definition</b> <a href="variant__overloaded_8hpp_source.html#l00032">variant_overloaded.hpp:32</a></div></div>
<div class="ttc" id="astructcbdc_1_1parsec_1_1config_html"><div class="ttname"><a href="structcbdc_1_1parsec_1_1config.html">cbdc::parsec::config</a></div><div class="ttdoc">Configuration parameters for a phase two system.</div><div class="ttdef"><b>Definition</b> <a href="parsec_2util_8hpp_source.html#l00031">parsec/util.hpp:31</a></div></div>
<div class="ttc" id="autil_2serialization_2util_8hpp_html"><div class="ttname"><a href="util_2serialization_2util_8hpp.html">util.hpp</a></div></div>
<div class="ttc" id="avariant__overloaded_8hpp_html"><div class="ttname"><a href="variant__overloaded_8hpp.html">variant_overloaded.hpp</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_3cce81556147031cc47c784f481d4a07.html">parsec</a></li><li class="navelem"><a class="el" href="dir_cac327df0857ffcd3b3be3d64544de41.html">agent</a></li><li class="navelem"><a class="el" href="agent_2impl_8cpp.html">impl.cpp</a></li>
    <li class="footer">Generated by <a href="https://www.doxygen.org/index.html"><img class="footer" src="doxygen.svg" width="104" height="31" alt="doxygen"/></a> 1.12.0 </li>
  </ul>
</div>
</body>
</html>