wasm_interface.cpp 55.7 KB
Newer Older
B
Bart Wyatt 已提交
1 2
#include <eosio/chain/wasm_interface.hpp>
#include <eosio/chain/apply_context.hpp>
3
#include <eosio/chain/chain_controller.hpp>
4
#include <eosio/chain/producer_schedule.hpp>
5
#include <eosio/chain/asset.hpp>
6
#include <eosio/chain/exceptions.hpp>
D
Daniel Larimer 已提交
7
#include <boost/core/ignore_unused.hpp>
8
#include <boost/multiprecision/cpp_bin_float.hpp>
9
#include <eosio/chain/wasm_interface_private.hpp>
10
#include <eosio/chain/wasm_eosio_constraints.hpp>
11
#include <fc/exception/exception.hpp>
12
#include <fc/crypto/sha256.hpp>
13
#include <fc/crypto/sha1.hpp>
14
#include <fc/io/raw.hpp>
15
#include <fc/utf8.hpp>
D
Daniel Larimer 已提交
16 17 18

#include <Runtime/Runtime.h>
#include "IR/Module.h"
19 20 21 22
#include "Platform/Platform.h"
#include "WAST/WAST.h"
#include "IR/Operators.h"
#include "IR/Validate.h"
23
#include "IR/Types.h"
24 25 26
#include "Runtime/Runtime.h"
#include "Runtime/Linker.h"
#include "Runtime/Intrinsics.h"
D
Daniel Larimer 已提交
27

28 29 30
#include <boost/asio.hpp>
#include <boost/bind.hpp>

31
#include <mutex>
32 33
#include <thread>
#include <condition_variable>
B
Bucky Kittinger 已提交
34
#include <iostream>
35

36 37
using namespace IR;
using namespace Runtime;
38
using boost::asio::io_service;
D
Daniel Larimer 已提交
39

40
#if 0
B
Brian Johnson 已提交
41 42 43 44 45 46 47 48
   // account.h/hpp expected account API balance interchange format
   // must match account.hpp account_balance definition
   PACKED_STRUCT(
   struct account_balance
   {
      /**
      * Name of the account who's balance this is
      */
49
      eosio::chain::account_name account;
B
Brian Johnson 已提交
50 51 52 53

      /**
      * Balance for this account
      */
54
      eosio::chain::asset eos_balance;
B
Brian Johnson 已提交
55 56 57 58

      /**
      * Staked balance for this account
      */
59
      eosio::chain::asset staked_balance;
B
Brian Johnson 已提交
60 61 62 63

      /**
      * Unstaking balance for this account
      */
64
      eosio::chain::asset unstaking_balance;
B
Brian Johnson 已提交
65 66 67 68

      /**
      * Time at which last unstaking occurred for this account
      */
69
      eosio::chain::time last_unstaking_time;
B
Brian Johnson 已提交
70
   })
71
#endif
B
Brian Johnson 已提交
72

73
namespace eosio { namespace chain {
74
   using namespace contracts;
75

76 77 78
   /**
    * Integration with the WASM Linker to resolve our intrinsics
    */
D
Daniel Larimer 已提交
79
   struct root_resolver : Runtime::Resolver
80
   {
81 82
      bool resolve(const string& mod_name,
                   const string& export_name,
D
Daniel Larimer 已提交
83 84
                   ObjectType type,
                   ObjectInstance*& out) override
85
      {
86 87 88
         // Try to resolve an intrinsic first.
         if(IntrinsicResolver::singleton.resolve(mod_name,export_name,type, out)) {
            return true;
89
         }
90 91

         FC_ASSERT( !"unresolvable", "${module}.${export}", ("module",mod_name)("export",export_name) );
92
         return false;
93
      }
D
Daniel Larimer 已提交
94
   };
M
Matias Romeo 已提交
95

96 97 98 99 100 101 102 103
   /**
    *  Implementation class for the wasm cache
    *  it is responsible for compiling and storing instances of wasm code for use
    *
    */
   struct wasm_cache_impl {
      wasm_cache_impl()
      {
104
         Runtime::init();
105
      }
M
Matias Romeo 已提交
106

107 108 109 110 111 112 113 114
      /**
       * this must wait for all work to be done otherwise it may destroy memory
       * referenced by other threads
       *
       * Expectations on wasm_cache dictate that all available code has been
       * returned before this can be destroyed
       */
      ~wasm_cache_impl() {
115
         freeUnreferencedObjects({});
116
      }
M
Matias Romeo 已提交
117

118 119 120 121 122 123 124 125 126 127 128 129 130
      /**
       * internal tracking structure which deduplicates memory images
       * and tracks available vs in-use entries.
       *
       * The instances array has two sections, "available" instances
       * are in the front of the vector and anything at an index of
       * available_instances or greater is considered "in use"
       *
       * instances are stored as pointers so that their positions
       * in the array can be moved without invaliding references to
       * the instance handed out to other threads
       */
      struct code_info {
131 132 133 134
         code_info( size_t mem_end, vector<char>&& mem_image )
         :mem_end(mem_end),mem_image(std::forward<vector<char>>(mem_image))
         {}

135 136 137 138 139 140 141 142 143 144
         // a clean image of the memory used to sanitize things on checkin
         size_t mem_start           = 0;
         size_t mem_end             = 1<<16;
         vector<char> mem_image;

         // all existing instances of this code
         vector<unique_ptr<wasm_cache::entry>> instances;
         size_t available_instances = 0;
      };

145 146 147
      using optional_info_ref = optional<std::reference_wrapper<code_info>>;
      using optional_entry_ref = optional<std::reference_wrapper<wasm_cache::entry>>;

148 149 150 151 152 153 154 155
      /**
       * Convenience method for running code with the _cache_lock and releaseint that lock
       * when the code completes
       *
       * @param f - lambda to execute
       * @return - varies depending on the signature of the lambda
       */
      template<typename F>
156 157
      auto with_lock(std::mutex &l, F f) {
         std::lock_guard<std::mutex> lock(l);
158 159 160 161 162 163 164 165 166
         return f();
      };

      /**
       * Fetch the tracking struct given a code_id if it exists
       *
       * @param code_id
       * @return
       */
167
      optional_info_ref fetch_info(const digest_type& code_id) {
168
         return with_lock(_cache_lock, [&,this](){
169 170
            auto iter = _cache.find(code_id);
            if (iter != _cache.end()) {
171
               return optional_info_ref(iter->second);
172 173
            }

174
            return optional_info_ref();
175 176
         });
      }
M
Matias Romeo 已提交
177

178 179 180 181 182
      /**
       * Opportunistically fetch an available instance of the code;
       * @param code_id - the id of the code to fetch
       * @return - reference to the entry when one is available
       */
183
      optional_entry_ref try_fetch_entry(const digest_type& code_id) {
184
         return with_lock(_cache_lock, [&,this](){
185 186
            auto iter = _cache.find(code_id);
            if (iter != _cache.end() && iter->second.available_instances > 0) {
187
               auto &ptr = iter->second.instances.at(--(iter->second.available_instances));
188
               return optional_entry_ref(*ptr);
189 190
            }

191
            return optional_entry_ref();
192
         });
D
Daniel Larimer 已提交
193
      }
M
Matias Romeo 已提交
194

195 196 197 198 199 200 201 202 203 204 205 206
      /**
       * Fetch a copy of the code, this is guaranteed to return an entry IF the code is compilable.
       * In order to do that in safe way this code may cause the calling thread to sleep while a new
       * version of the code is compiled and inserted into the cache
       *
       * @param code_id - the id of the code to fetch
       * @param wasm_binary - the binary for the wasm
       * @param wasm_binary_size - the size of the binary
       * @return reference to a usable cache entry
       */
      wasm_cache::entry& fetch_entry(const digest_type& code_id, const char* wasm_binary, size_t wasm_binary_size) {
         std::condition_variable condition;
207
         optional_entry_ref result;
208 209 210 211
         std::exception_ptr error;

         // compilation is not thread safe, so we dispatch it to a io_service running on a single thread to
         // queue up and synchronize compilations
212
         with_lock(_compile_lock, [&,this](){
213 214 215 216 217 218
            // check to see if someone returned what we need before making a new one
            auto pending_result = try_fetch_entry(code_id);
            std::exception_ptr pending_error;

            if (!pending_result) {
               // time to compile a brand new (maybe first) copy of this code
219 220
               Module* module = new Module();
               ModuleInstance* instance = nullptr;
221
               size_t mem_end = 0;
222 223 224 225
               vector<char> mem_image;

               try {
                  Serialization::MemoryInputStream stream((const U8 *) wasm_binary, wasm_binary_size);
226
                  #warning TODO: restore checktime injection?
227
                  WASM::serializeWithInjection(stream, *module);
228
                  validate_eosio_wasm_constraints(*module);
229 230

                  root_resolver resolver;
231 232
                  LinkResult link_result = linkModule(*module, resolver);
                  instance = instantiateModule(*module, std::move(link_result.resolvedImports));
233 234
                  FC_ASSERT(instance != nullptr);

235
                  MemoryInstance* current_memory = Runtime::getDefaultMemory(instance);
236

237 238 239 240 241 242
                  if(current_memory) {
                     char *mem_ptr = &memoryRef<char>(current_memory, 0);
                     const auto allocated_memory = Runtime::getDefaultMemorySize(instance);
                     for (uint64_t i = 0; i < allocated_memory; ++i) {
                        if (mem_ptr[i])
                           mem_end = i + 1;
243
                     }
244 245
                     mem_image.resize(mem_end);
                     memcpy(mem_image.data(), mem_ptr, mem_end);
246
                  }
247
                  
248 249 250 251 252 253
               } catch (...) {
                  pending_error = std::current_exception();
               }

               if (pending_error == nullptr) {
                  // grab the lock and put this in the cache as unavailble
254
                  with_lock(_cache_lock, [&,this]() {
255
                     // find or create a new entry
256
                     auto iter = _cache.emplace(code_id, code_info(mem_end, std::move(mem_image))).first;
257

258 259
                     iter->second.instances.emplace_back(std::make_unique<wasm_cache::entry>(instance, module));
                     pending_result = optional_entry_ref(*iter->second.instances.back().get());
260 261 262 263
                  });
               }
            }

264 265 266 267 268
           if (pending_error != nullptr) {
              error = pending_error;
           } else {
              result = pending_result;
           }
269

270 271
         });

272

273 274 275 276
         try {
            if (error != nullptr) {
               std::rethrow_exception(error);
            } else {
277
               return (*result).get();
278 279
            }
         } FC_RETHROW_EXCEPTIONS(error, "error compiling WASM for code with hash: ${code_id}", ("code_id", code_id));
D
Daniel Larimer 已提交
280
      }
281

282 283 284 285 286 287 288 289 290
      /**
       * return an entry to the cache.  The entry is presumed to come back in a "dirty" state and must be
       * sanitized before returning to the "available" state.  This sanitization is done asynchronously so
       * as not to delay the current executing thread.
       *
       * @param code_id - the code Id associated with the instance
       * @param entry - the entry to return
       */
      void return_entry(const digest_type& code_id, wasm_cache::entry& entry) {
291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315
        // sanitize by reseting the memory that may now be dirty
        auto& info = (*fetch_info(code_id)).get();
        if(getDefaultMemory(entry.instance)) {
           char* memstart = &memoryRef<char>( getDefaultMemory(entry.instance), 0 );
           memset( memstart + info.mem_end, 0, ((1<<16) - info.mem_end) );
           memcpy( memstart, info.mem_image.data(), info.mem_end);
        }
        resetGlobalInstances(entry.instance);

        // under a lock, put this entry back in the available instances side of the instances vector
        with_lock(_cache_lock, [&,this](){
           // walk the vector and find this entry
           auto iter = info.instances.begin();
           while (iter->get() != &entry) {
              ++iter;
           }

           FC_ASSERT(iter != info.instances.end(), "Checking in a WASM enty that was not created properly!");

           auto first_unavailable = (info.instances.begin() + info.available_instances);
           if (iter != first_unavailable) {
              std::swap(iter, first_unavailable);
           }
           info.available_instances++;
        });
D
Daniel Larimer 已提交
316
      }
317

318 319 320
      // mapping of digest to an entry for the code
      map<digest_type, code_info> _cache;
      std::mutex _cache_lock;
B
Brian Johnson 已提交
321

322 323
      // compilation lock
      std::mutex _compile_lock;
324
   };
B
Brian Johnson 已提交
325

326 327 328
   wasm_cache::wasm_cache()
      :_my( new wasm_cache_impl() ) {
   }
329

330 331
   wasm_cache::~wasm_cache() = default;

332
   wasm_cache::entry &wasm_cache::checkout( const digest_type& code_id, const char* wasm_binary, size_t wasm_binary_size ) {
333
      // see if there is an available entry in the cache
334
      auto result = _my->try_fetch_entry(code_id);
335
      if (result) {
336
         return (*result).get();
D
Daniel Larimer 已提交
337
      }
338 339 340 341 342
      return _my->fetch_entry(code_id, wasm_binary, wasm_binary_size);
   }


   void wasm_cache::checkin(const digest_type& code_id, entry& code ) {
343 344 345
      MemoryInstance* default_mem = Runtime::getDefaultMemory(code.instance);
      if(default_mem)
         Runtime::shrinkMemory(default_mem, Runtime::getMemoryNumPages(default_mem) - 1);
346
      _my->return_entry(code_id, code);
347
   }
348

349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366
   /**
    * RAII wrapper to make sure that the context is cleaned up on exception
    */
   struct scoped_context {
      template<typename ...Args>
      scoped_context(optional<wasm_context> &context, Args&... args)
      :context(context)
      {
         context = wasm_context{ args... };
      }

      ~scoped_context() {
         context.reset();
      }

      optional<wasm_context>& context;
   };

367
   void wasm_interface_impl::call(const string& entry_point, const vector<Value>& args, wasm_cache::entry& code, apply_context& context)
368
   try {
369
      FunctionInstance* call = asFunctionNullable(getInstanceExport(code.instance,entry_point) );
370 371 372 373
      if( !call ) {
         return;
      }

374
      FC_ASSERT( getFunctionType(call)->parameters.size() == args.size() );
375

376
      auto context_guard = scoped_context(current_context, code, context);
377
      context.checktime_start();
378
      runInstanceStartFunc(code.instance);
379 380 381 382 383 384 385 386 387 388 389 390
      Runtime::invokeFunction(call,args);
   } catch( const Runtime::Exception& e ) {
      FC_THROW_EXCEPTION(wasm_execution_error,
                         "cause: ${cause}\n${callstack}",
                         ("cause", string(describeExceptionCause(e.cause)))
                         ("callstack", e.callStack));
   } FC_CAPTURE_AND_RETHROW()

   wasm_interface::wasm_interface()
      :my( new wasm_interface_impl() ) {
   }

391 392 393 394 395 396 397 398
   wasm_interface& wasm_interface::get() {
      thread_local wasm_interface* single = nullptr;
      if( !single ) {
         single = new wasm_interface();
      }
      return *single;
   }

399
   void wasm_interface::apply( wasm_cache::entry& code, apply_context& context ) {
400 401 402
      vector<Value> args = {Value(uint64_t(context.act.account)),
                            Value(uint64_t(context.act.name))};
      my->call("apply", args, code, context);
403 404 405 406 407
   }

   void wasm_interface::error( wasm_cache::entry& code, apply_context& context ) {
      vector<Value> args = { /* */ };
      my->call("error", args, code, context);
408 409
   }

410
#if defined(assert)
411
   #undef assert
412 413
#endif

B
Bart Wyatt 已提交
414
class context_aware_api {
415
   public:
B
Bart Wyatt 已提交
416
      context_aware_api(wasm_interface& wasm)
417 418
      :context(intrinsics_accessor::get_context(wasm).context), code(intrinsics_accessor::get_context(wasm).code),
       sbrk_bytes(intrinsics_accessor::get_context(wasm).sbrk_bytes)
419 420
      {}

B
Bart Wyatt 已提交
421
   protected:
B
Bucky Kittinger 已提交
422
      apply_context&     context;
423 424
      wasm_cache::entry& code;
      uint32_t&          sbrk_bytes;
B
Bart Wyatt 已提交
425 426
};

B
Bucky Kittinger 已提交
427
/*
B
Bucky Kittinger 已提交
428
class chain_api : public context_aware_api {
429 430
   public:
      using context_aware_api::context_aware_api;
431 432
   
      int32_t get_active_producers(array_ptr<chain::account_name> producers, size_t datalen) {
B
Bucky Kittinger 已提交
433
         auto active_prods = context.get_active_producers();
434
         size_t len = std::min(datalen, active_prods.size() * sizeof(chain::account_name));
B
Bucky Kittinger 已提交
435 436
         memcpy(producers, active_prods.data(), len);
         return active_prods.size() * sizeof(chain::account_name);
437 438
      }
};
B
Bucky Kittinger 已提交
439 440
*/

D
Daniel Larimer 已提交
441 442
class privileged_api : public context_aware_api {
   public:
443 444 445 446 447
      privileged_api( wasm_interface& wasm )
      :context_aware_api(wasm)
      {
         FC_ASSERT( context.privileged, "${code} does not have permission to call this API", ("code",context.receiver) );
      }
D
Daniel Larimer 已提交
448 449 450 451 452 453 454 455

      /**
       *  This should schedule the feature to be activated once the
       *  block that includes this call is irreversible. It should
       *  fail if the feature is already pending.
       *
       *  Feature name should be base32 encoded name. 
       */
456
      void activate_feature( int64_t feature_name ) {
457
         FC_ASSERT( !"Unsupported Harfork Detected" );
D
Daniel Larimer 已提交
458 459 460 461 462 463 464 465
      }

      /**
       * This should return true if a feature is active and irreversible, false if not.
       *
       * Irreversiblity by fork-database is not consensus safe, therefore, this defines
       * irreversiblity only by block headers not by BFT short-cut.
       */
466
      int is_feature_active( int64_t feature_name ) {
D
Daniel Larimer 已提交
467 468 469 470
         return false;
      }

      void set_resource_limits( account_name account, 
471 472
                                int64_t ram_bytes, int64_t net_weight, int64_t cpu_weight,
                                int64_t cpu_usec_per_period ) {
473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490
         auto& buo = context.db.get<bandwidth_usage_object,by_owner>( account );
         FC_ASSERT( buo.db_usage <= ram_bytes, "attempt to free to much space" );

         auto& gdp = context.controller.get_dynamic_global_properties();
         context.mutable_db.modify( gdp, [&]( auto& p ) {
           p.total_net_weight -= buo.net_weight;
           p.total_net_weight += net_weight;
           p.total_cpu_weight -= buo.cpu_weight;
           p.total_cpu_weight += cpu_weight;
           p.total_db_reserved -= buo.db_reserved_capacity;
           p.total_db_reserved += ram_bytes;
         });

         context.mutable_db.modify( buo, [&]( auto& o ){
            o.net_weight = net_weight;
            o.cpu_weight = cpu_weight;
            o.db_reserved_capacity = ram_bytes;
         });
D
Daniel Larimer 已提交
491 492
      }

493

D
Daniel Larimer 已提交
494
      void get_resource_limits( account_name account, 
495
                                uint64_t& ram_bytes, uint64_t& net_weight, uint64_t cpu_weight ) {
D
Daniel Larimer 已提交
496 497
      }
                                               
498
      void set_active_producers( array_ptr<char> packed_producer_schedule, size_t datalen) {
499 500 501 502 503 504 505 506
         datastream<const char*> ds( packed_producer_schedule, datalen );
         producer_schedule_type psch;
         fc::raw::unpack(ds, psch);

         context.mutable_db.modify( context.controller.get_global_properties(), 
            [&]( auto& gprops ) {
                 gprops.new_active_producers = psch;
         });
D
Daniel Larimer 已提交
507 508
      }

509 510 511 512 513 514 515 516 517 518 519
      bool is_privileged( account_name n )const {
         return context.db.get<account_object, by_name>( n ).privileged;
      }
      bool is_frozen( account_name n )const {
         return context.db.get<account_object, by_name>( n ).frozen;
      }
      void set_privileged( account_name n, bool is_priv ) {
         const auto& a = context.db.get<account_object, by_name>( n );
         context.mutable_db.modify( a, [&]( auto& ma ){
            ma.privileged = is_priv;
         });
D
Daniel Larimer 已提交
520 521
      }

522 523 524 525 526
      void freeze_account( account_name n , bool should_freeze ) {
         const auto& a = context.db.get<account_object, by_name>( n );
         context.mutable_db.modify( a, [&]( auto& ma ){
            ma.frozen = should_freeze;
         });
D
Daniel Larimer 已提交
527 528 529 530 531
      }

      /// TODO: add inline/deferred with support for arbitrary permissions rather than code/current auth
};

532 533 534 535 536 537 538 539 540
class checktime_api : public context_aware_api {
public:
   using context_aware_api::context_aware_api;

   void checktime() {
      context.checktime();
   }
};

541 542 543 544
class producer_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

545
      int get_active_producers(array_ptr<chain::account_name> producers, size_t datalen) {
546
         auto active_producers = context.get_active_producers();
547 548 549 550
         size_t len = active_producers.size() * sizeof(chain::account_name);
         size_t cpy_len = std::min(datalen, len);
         memcpy(producers, active_producers.data(), cpy_len);
         return len;
551 552 553 554 555 556 557
      }
};

class crypto_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588
      /**
       * This method can be optimized out during replay as it has
       * no possible side effects other than "passing". 
       */
      void assert_recover_key( fc::sha256& digest, 
                        array_ptr<char> sig, size_t siglen,
                        array_ptr<char> pub, size_t publen ) {
         fc::crypto::signature s;
         fc::crypto::public_key p;
         datastream<const char*> ds( sig, siglen );
         datastream<const char*> pubds( pub, publen );

         fc::raw::unpack(ds, s);
         fc::raw::unpack(ds, p);

         auto check = fc::crypto::public_key( s, digest, false );
         FC_ASSERT( check == p, "Error expected key different than recovered key" );
      }

      int recover_key( fc::sha256& digest, 
                        array_ptr<char> sig, size_t siglen,
                        array_ptr<char> pub, size_t publen ) {
         fc::crypto::signature s;
         datastream<const char*> ds( sig, siglen );
         datastream<char*> pubds( pub, publen );

         fc::raw::unpack(ds, s);
         fc::raw::pack( pubds, fc::crypto::public_key( s, digest, false ) );
         return pubds.tellp();
      }

589 590 591 592 593
      void assert_sha256(array_ptr<char> data, size_t datalen, const fc::sha256& hash_val) {
         auto result = fc::sha256::hash( data, datalen );
         FC_ASSERT( result == hash_val, "hash miss match" );
      }

594 595 596 597
      void sha1(array_ptr<char> data, size_t datalen, fc::sha1& hash_val) {
         hash_val = fc::sha1::hash( data, datalen );
      }

598 599 600
      void sha256(array_ptr<char> data, size_t datalen, fc::sha256& hash_val) {
         hash_val = fc::sha256::hash( data, datalen );
      }
601 602 603 604 605 606 607 608

      void sha512(array_ptr<char> data, size_t datalen, fc::sha512& hash_val) {
         hash_val = fc::sha512::hash( data, datalen );
      }

      void ripemd160(array_ptr<char> data, size_t datalen, fc::ripemd160& hash_val) {
         hash_val = fc::ripemd160::hash( data, datalen );
      }
609 610 611 612 613 614 615 616 617 618 619 620
};

class string_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

      void assert_is_utf8(array_ptr<const char> str, size_t datalen, null_terminated_ptr msg) {
         const bool test = fc::is_utf8(std::string( str, datalen ));

         FC_ASSERT( test, "assertion failed: ${s}", ("s",msg.value) );
      }
};
621

B
Bart Wyatt 已提交
622 623 624 625
class system_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

626
      void assert(bool condition, null_terminated_ptr str) {
B
Bart Wyatt 已提交
627 628 629 630
         std::string message( str );
         if( !condition ) edump((message));
         FC_ASSERT( condition, "assertion failed: ${s}", ("s",message));
      }
B
Bucky Kittinger 已提交
631
      
632 633
      fc::time_point_sec now() {
         return context.controller.head_block_time();
634 635 636
      } 
};

B
Bart Wyatt 已提交
637 638 639 640
class action_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

641 642
      int read_action(array_ptr<char> memory, size_t size) {
         FC_ASSERT(size > 0);
643
         int minlen = std::min<size_t>(context.act.data.size(), size);
644 645 646 647
         memcpy((void *)memory, context.act.data.data(), minlen);
         return minlen;
      }

B
Bart Wyatt 已提交
648 649
      int action_size() {
         return context.act.data.size();
650 651
      }

B
Bart Wyatt 已提交
652 653 654
      const name& current_receiver() {
         return context.receiver;
      }
655 656

      fc::time_point_sec publication_time() {
B
Bart Wyatt 已提交
657
         return context.trx_meta.published;
658 659 660
      }

      name current_sender() {
B
Bart Wyatt 已提交
661 662
         if (context.trx_meta.sender) {
            return *context.trx_meta.sender;
663 664 665 666
         } else {
            return name();
         }
      }
667
};
B
Brian Johnson 已提交
668

B
Bart Wyatt 已提交
669 670 671 672
class console_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

673 674
      void prints(null_terminated_ptr str) {
         context.console_append<const char*>(str);
B
Bart Wyatt 已提交
675 676 677
      }

      void prints_l(array_ptr<const char> str, size_t str_len ) {
678
         context.console_append(string(str, str_len));
B
Bart Wyatt 已提交
679 680 681
      }

      void printi(uint64_t val) {
682
         context.console_append(val);
B
Bart Wyatt 已提交
683 684 685 686
      }

      void printi128(const unsigned __int128& val) {
         fc::uint128_t v(val>>64, uint64_t(val) );
687
         context.console_append(fc::variant(v).get_string());
B
Bart Wyatt 已提交
688 689 690
      }

      void printd( wasm_double val ) {
691
         context.console_append(val.str());
B
Bart Wyatt 已提交
692 693 694
      }

      void printn(const name& value) {
695
         context.console_append(value.to_string());
B
Bart Wyatt 已提交
696 697 698
      }

      void printhex(array_ptr<const char> data, size_t data_len ) {
699
         context.console_append(fc::to_hex(data, data_len));
B
Bart Wyatt 已提交
700 701 702
      }
};

D
Daniel Larimer 已提交
703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728
class database_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

      int db_store_i64( uint64_t scope, uint64_t table, uint64_t payer, uint64_t id, array_ptr<const char> buffer, size_t buffer_size ) {
         return context.db_store_i64( scope, table, payer, id, buffer, buffer_size );
      }
      void db_update_i64( int itr, uint64_t payer, array_ptr<const char> buffer, size_t buffer_size ) {
         context.db_update_i64( itr, payer, buffer, buffer_size );
      }
      void db_remove_i64( int itr ) {
         context.db_remove_i64( itr );
      }
      int db_get_i64( int itr, uint64_t& id, array_ptr<char> buffer, size_t buffer_size ) {
         return context.db_get_i64( itr, id, buffer, buffer_size );
      }
      int db_next_i64( int itr ) { return context.db_next_i64(itr); }
      int db_find_i64( uint64_t code, uint64_t scope, uint64_t table, uint64_t id ) { 
         return context.db_find_i64( code, scope, table, id ); 
      }
      int db_lowerbound_i64( uint64_t code, uint64_t scope, uint64_t table, uint64_t id ) { 
         return context.db_lowerbound_i64( code, scope, table, id ); 
      }
      int db_upperbound_i64( uint64_t code, uint64_t scope, uint64_t table, uint64_t id ) { 
         return context.db_lowerbound_i64( code, scope, table, id ); 
      }
729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749

      int db_idx64_store( uint64_t scope, uint64_t table, uint64_t payer, uint64_t id, const uint64_t& secondary ) {
         return context.idx64.store( scope, table, payer, id, secondary );
      }
      void db_idx64_update( int iterator, uint64_t payer, const uint64_t& secondary ) {
         return context.idx64.update( iterator, payer, secondary );
      }
      void db_idx64_remove( int iterator ) {
         return context.idx64.remove( iterator );
      }


      int db_idx128_store( uint64_t scope, uint64_t table, uint64_t payer, uint64_t id, const uint128_t& secondary ) {
         return context.idx128.store( scope, table, payer, id, secondary );
      }
      void db_idx128_update( int iterator, uint64_t payer, const uint128_t& secondary ) {
         return context.idx128.update( iterator, payer, secondary );
      }
      void db_idx128_remove( int iterator ) {
         return context.idx128.remove( iterator );
      }
D
Daniel Larimer 已提交
750 751 752 753
};



754 755 756 757 758
template<typename ObjectType>
class db_api : public context_aware_api {
   using KeyType = typename ObjectType::key_type;
   static constexpr int KeyCount = ObjectType::number_of_keys;
   using KeyArrayType = KeyType[KeyCount];
759
   using ContextMethodType = int(apply_context::*)(const table_id_object&, const account_name&, const KeyType*, const char*, size_t);
760 761

   private:
762 763
      int call(ContextMethodType method, const scope_name& scope, const name& table, account_name bta, array_ptr<const char> data, size_t data_len) {
         const auto& t_id = context.find_or_create_table(context.receiver, scope, table);
764 765 766 767 768
         FC_ASSERT(data_len >= KeyCount * sizeof(KeyType), "Data is not long enough to contain keys");
         const KeyType* keys = reinterpret_cast<const KeyType *>((const char *)data);

         const char* record_data =  ((const char*)data) + sizeof(KeyArrayType);
         size_t record_len = data_len - sizeof(KeyArrayType);
769
         return (context.*(method))(t_id, bta, keys, record_data, record_len) + sizeof(KeyArrayType);
770 771 772 773 774
      }

   public:
      using context_aware_api::context_aware_api;

775 776
      int store(const scope_name& scope, const name& table, const account_name& bta, array_ptr<const char> data, size_t data_len) {
         auto res = call(&apply_context::store_record<ObjectType>, scope, table, bta, data, data_len);
777 778
         //ilog("STORE [${scope},${code},${table}] => ${res} :: ${HEX}", ("scope",scope)("code",context.receiver)("table",table)("res",res)("HEX", fc::to_hex(data, data_len)));
         return res;
779 780
      }

781 782
      int update(const scope_name& scope, const name& table, const account_name& bta, array_ptr<const char> data, size_t data_len) {
         return call(&apply_context::update_record<ObjectType>, scope, table, bta, data, data_len);
783
      }
B
Bucky Kittinger 已提交
784
      
785
      int remove(const scope_name& scope, const name& table, const KeyArrayType &keys) {
786
         const auto& t_id = context.find_or_create_table(context.receiver, scope, table);
787 788 789 790
         return context.remove_record<ObjectType>(t_id, keys);
      }
};

B
Bucky Kittinger 已提交
791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806
template<>
class db_api<keystr_value_object> : public context_aware_api {
   using KeyType = std::string;
   static constexpr int KeyCount = 1;
   using KeyArrayType = KeyType[KeyCount];
   using ContextMethodType = int(apply_context::*)(const table_id_object&, const KeyType*, const char*, size_t);

   private:
      int call(ContextMethodType method, const scope_name& scope, const name& table, 
            array_ptr<const char> key, size_t key_len, array_ptr<const char> data, size_t data_len) {
         const auto& t_id = context.find_or_create_table(scope, context.receiver, table);
         //FC_ASSERT(data_len >= KeyCount * sizeof(KeyType), "Data is not long enough to contain keys");
         const KeyType keys((const char*)key, key_len); // = std::string(reinterpret_cast<const KeyType *>((const char *)data);

         const char* record_data =  ((const char*)data); // + sizeof(KeyArrayType);
         size_t record_len = data_len; // - sizeof(KeyArrayType);
B
Bucky Kittinger 已提交
807
         return (context.*(method))(t_id, &keys, record_data, record_len);
B
Bucky Kittinger 已提交
808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831
      }

   public:
      using context_aware_api::context_aware_api;

      int store_str(const scope_name& scope, const name& table, 
            array_ptr<const char> &key, uint32_t key_len, array_ptr<const char> data, size_t data_len) {
         auto res = call(&apply_context::store_record<keystr_value_object>, scope, table, key, key_len, data, data_len);
         return res;

      }

      int update_str(const scope_name& scope, const name& table, 
            array_ptr<const char> &key, uint32_t key_len, array_ptr<const char> data, size_t data_len) {
         return call(&apply_context::update_record<keystr_value_object>, scope, table, key, key_len, data, data_len);
      }
      
      int remove_str(const scope_name& scope, const name& table, array_ptr<const char> &key, uint32_t key_len) {
         const auto& t_id = context.find_or_create_table(scope, context.receiver, table);
         const KeyArrayType k = {std::string(key, key_len)};
         return context.remove_record<keystr_value_object>(t_id, k);
      }
};

832 833 834 835 836 837 838 839
template<typename IndexType, typename Scope>
class db_index_api : public context_aware_api {
   using KeyType = typename IndexType::value_type::key_type;
   static constexpr int KeyCount = IndexType::value_type::number_of_keys;
   using KeyArrayType = KeyType[KeyCount];
   using ContextMethodType = int(apply_context::*)(const table_id_object&, KeyType*, char*, size_t);


840
   int call(ContextMethodType method, const account_name& code, const scope_name& scope, const name& table, array_ptr<char> data, size_t data_len) {
841
      auto maybe_t_id = context.find_table(code, scope, table);
842
      if (maybe_t_id == nullptr) {
B
Bucky Kittinger 已提交
843
         return 0;
844 845 846 847 848 849 850 851 852
      }

      const auto& t_id = *maybe_t_id;
      FC_ASSERT(data_len >= KeyCount * sizeof(KeyType), "Data is not long enough to contain keys");
      KeyType* keys = reinterpret_cast<KeyType *>((char *)data);

      char* record_data =  ((char*)data) + sizeof(KeyArrayType);
      size_t record_len = data_len - sizeof(KeyArrayType);

853
      auto res = (context.*(method))(t_id, keys, record_data, record_len);
B
Bucky Kittinger 已提交
854
      if (res != 0) {
855 856 857
         res += sizeof(KeyArrayType);
      }
      return res;
858 859 860 861 862
   }

   public:
      using context_aware_api::context_aware_api;

B
Bucky Kittinger 已提交
863
<<<<<<< HEAD
864
      int load(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
865 866
         auto res = call(&apply_context::load_record<IndexType, Scope>, scope, code, table, data, data_len);
         return res;
867 868 869
      }

      int front(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
870
         auto res = call(&apply_context::front_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
871
         return res;
872 873 874
      }

      int back(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
875
         auto res = call(&apply_context::back_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
876
         return res;
877 878 879
      }

      int next(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
880
         auto res = call(&apply_context::next_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
881
         return res;
882 883 884
      }

      int previous(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
885
         auto res = call(&apply_context::previous_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
886
         return res;
887 888 889
      }

      int lower_bound(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
890
         auto res = call(&apply_context::lower_bound_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
891
         return res;
892 893 894
      }

      int upper_bound(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
895
         auto res = call(&apply_context::upper_bound_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
896
         return res;
897 898 899 900
      }

};

B
Bucky Kittinger 已提交
901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958
template<>
class db_index_api<keystr_value_index, by_scope_primary> : public context_aware_api {
   using KeyType = std::string;
   static constexpr int KeyCount = 1;
   using KeyArrayType = KeyType[KeyCount];
   using ContextMethodType = int(apply_context::*)(const table_id_object&, KeyType*, char*, size_t);


   int call(ContextMethodType method, const scope_name& scope, const account_name& code, const name& table, 
         array_ptr<char> &key, uint32_t key_len, array_ptr<char> data, size_t data_len) {
      auto maybe_t_id = context.find_table(scope, context.receiver, table);
      if (maybe_t_id == nullptr) {
         return 0;
      }

      const auto& t_id = *maybe_t_id;
      //FC_ASSERT(data_len >= KeyCount * sizeof(KeyType), "Data is not long enough to contain keys");
      KeyType keys((const char*)key, key_len); // = reinterpret_cast<KeyType *>((char *)data);

      char* record_data =  ((char*)data); // + sizeof(KeyArrayType);
      size_t record_len = data_len; // - sizeof(KeyArrayType);

      return (context.*(method))(t_id, &keys, record_data, record_len); // + sizeof(KeyArrayType);
   }

   public:
      using context_aware_api::context_aware_api;

      int load_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         auto res = call(&apply_context::load_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
         return res;
      }

      int front_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::front_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }

      int back_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::back_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }

      int next_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::next_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }

      int previous_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::previous_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }

      int lower_bound_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::lower_bound_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }

      int upper_bound_str(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> key, size_t key_len, array_ptr<char> data, size_t data_len) {
         return call(&apply_context::upper_bound_record<keystr_value_index, by_scope_primary>, scope, code, table, key, key_len, data, data_len);
      }
};

959
class memory_api : public context_aware_api {
960
   public:
B
Bucky Kittinger 已提交
961
      using context_aware_api::context_aware_api;
962
     
963 964 965 966 967 968 969 970
      char* memcpy( array_ptr<char> dest, array_ptr<const char> src, size_t length) {
         return (char *)::memcpy(dest, src, length);
      }

      int memcmp( array_ptr<const char> dest, array_ptr<const char> src, size_t length) {
         return ::memcmp(dest, src, length);
      }

B
Bucky Kittinger 已提交
971
      char* memset( array_ptr<char> dest, int value, size_t length ) {
B
Bucky Kittinger 已提交
972
         return (char *)::memset( dest, value, length );
B
Bucky Kittinger 已提交
973 974 975
      }

      uint32_t sbrk(int num_bytes) {
976 977 978
         // sbrk should only allow for memory to grow
         if (num_bytes < 0)
            throw eosio::chain::page_memory_error();
B
Bucky Kittinger 已提交
979
         // TODO: omitted checktime function from previous version of sbrk, may need to be put back in at some point
980 981 982
         constexpr uint32_t NBPPL2  = IR::numBytesPerPageLog2;
         constexpr uint32_t MAX_MEM = 1024 * 1024;

983 984 985 986 987 988 989
         MemoryInstance*  default_mem    = Runtime::getDefaultMemory(code.instance);
         if(!default_mem)
            throw eosio::chain::page_memory_error();

         const uint32_t         num_pages      = Runtime::getMemoryNumPages(default_mem);
         const uint32_t         min_bytes      = (num_pages << NBPPL2) > UINT32_MAX ? UINT32_MAX : num_pages << NBPPL2;
         const uint32_t         prev_num_bytes = sbrk_bytes; //_num_bytes;
990
         
B
Bucky Kittinger 已提交
991 992 993
         // round the absolute value of num_bytes to an alignment boundary
         num_bytes = (num_bytes + 7) & ~7;

994
         if ((num_bytes > 0) && (prev_num_bytes > (MAX_MEM - num_bytes)))  // test if allocating too much memory (overflowed)
B
Bucky Kittinger 已提交
995 996 997 998 999
            throw eosio::chain::page_memory_error();
         else if ((num_bytes < 0) && (prev_num_bytes < (min_bytes - num_bytes))) // test for underflow
            throw eosio::chain::page_memory_error(); 

         // update the number of bytes allocated, and compute the number of pages needed
1000 1001
         sbrk_bytes += num_bytes;
         const uint32_t num_desired_pages = (sbrk_bytes + IR::numBytesPerPage - 1) >> NBPPL2;
B
Bucky Kittinger 已提交
1002 1003 1004 1005 1006 1007 1008 1009

         // grow or shrink the memory to the desired number of pages
         if (num_desired_pages > num_pages)
            Runtime::growMemory(default_mem, num_desired_pages - num_pages);
         else if (num_desired_pages < num_pages)
            Runtime::shrinkMemory(default_mem, num_pages - num_desired_pages);

         return prev_num_bytes;
1010
      }
1011 1012
};

1013 1014 1015 1016
class transaction_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

1017 1018 1019 1020 1021 1022 1023 1024 1025 1026
      int read_transaction( array_ptr<char> data, size_t data_len ) {
         bytes trx = context.get_packed_transaction();
         if (data_len >= trx.size()) {
            memcpy(data, trx.data(), trx.size());
         }
         return trx.size();
      }

      int transaction_size() {
         return context.get_packed_transaction().size();
1027 1028 1029
      }

      int expiration() {
1030
        return context.trx_meta.trx().expiration.sec_since_epoch();
1031 1032 1033
      }

      int tapos_block_num() {
1034
        return context.trx_meta.trx().ref_block_num;
1035
      }
1036
      int tapos_block_prefix() {
1037
        return context.trx_meta.trx().ref_block_prefix;
1038 1039
      }

1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050
      void send_inline( array_ptr<char> data, size_t data_len ) {
         // TODO: use global properties object for dynamic configuration of this default_max_gen_trx_size
         FC_ASSERT( data_len < config::default_max_inline_action_size, "inline action too big" );

         action act;
         fc::raw::unpack<action>(data, data_len, act);
         context.execute_inline(std::move(act));
      }


      void send_deferred( uint32_t sender_id, const fc::time_point_sec& execute_after, array_ptr<char> data, size_t data_len ) {
1051 1052 1053
         try {
            // TODO: use global properties object for dynamic configuration of this default_max_gen_trx_size
            FC_ASSERT(data_len < config::default_max_gen_trx_size, "generated transaction too big");
1054

1055 1056 1057 1058 1059 1060 1061
            deferred_transaction dtrx;
            fc::raw::unpack<transaction>(data, data_len, dtrx);
            dtrx.sender = context.receiver;
            dtrx.sender_id = sender_id;
            dtrx.execute_after = execute_after;
            context.execute_deferred(std::move(dtrx));
         } FC_CAPTURE_AND_RETHROW((fc::to_hex(data, data_len)));
1062 1063 1064 1065
      }

};

1066 1067 1068
class compiler_builtins : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;
1069 1070 1071
      void __break_point() {
         __asm("int3\n");
      }
1072
      void __ashlti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
1073 1074 1075 1076 1077
         fc::uint128_t i(high, low);
         i <<= shift;
         ret = (unsigned __int128)i;
      }

1078
      void __ashrti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
B
oops  
Bucky Kittinger 已提交
1079 1080 1081 1082 1083
         // retain the signedness
         ret = high;
         ret <<= 64;
         ret |= low;
         ret >>= shift;
1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098
      }

      void __lshlti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
         fc::uint128_t i(high, low);
         i <<= shift;
         ret = (unsigned __int128)i;
      }

      void __lshrti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
         fc::uint128_t i(high, low);
         i >>= shift;
         ret = (unsigned __int128)i;
      }
      
      void __divti3(__int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
B
oops  
Bucky Kittinger 已提交
1099 1100
         __int128 lhs = ha;
         __int128 rhs = hb;
1101
         
B
oops  
Bucky Kittinger 已提交
1102 1103
         lhs <<= 64;
         lhs |=  la;
1104

B
oops  
Bucky Kittinger 已提交
1105 1106
         rhs <<= 64;
         rhs |=  lb;
1107

B
oops  
Bucky Kittinger 已提交
1108
         FC_ASSERT(rhs != 0, "divide by zero");    
1109

B
oops  
Bucky Kittinger 已提交
1110
         lhs /= rhs; 
1111

B
oops  
Bucky Kittinger 已提交
1112
         ret = lhs;
1113 1114
      } 

B
oops  
Bucky Kittinger 已提交
1115 1116 1117 1118 1119 1120 1121 1122 1123
      void __udivti3(unsigned __int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
         unsigned __int128 lhs = ha;
         unsigned __int128 rhs = hb;
         
         lhs <<= 64;
         lhs |=  la;

         rhs <<= 64;
         rhs |=  lb;
1124

B
oops  
Bucky Kittinger 已提交
1125
         FC_ASSERT(rhs != 0, "divide by zero");    
1126

B
oops  
Bucky Kittinger 已提交
1127 1128 1129 1130 1131 1132 1133
         lhs /= rhs; 
         ret = lhs;
      }

      void __multi3(__int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
         __int128 lhs = ha;
         __int128 rhs = hb;
1134

B
oops  
Bucky Kittinger 已提交
1135 1136
         lhs <<= 64;
         lhs |=  la;
1137

B
oops  
Bucky Kittinger 已提交
1138 1139
         rhs <<= 64;
         rhs |=  lb;
1140

B
oops  
Bucky Kittinger 已提交
1141 1142
         lhs *= rhs; 
         ret = lhs;
1143
      } 
1144 1145

      void __modti3(__int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
B
oops  
Bucky Kittinger 已提交
1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171
         __int128 lhs = ha;
         __int128 rhs = hb;

         lhs <<= 64;
         lhs |=  la;
   
         rhs <<= 64;
         rhs |=  lb;
         
         FC_ASSERT(rhs != 0, "divide by zero");

         lhs %= rhs;
         ret = lhs;
      }

      void __umodti3(unsigned __int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
         unsigned __int128 lhs = ha;
         unsigned __int128 rhs = hb;

         lhs <<= 64;
         lhs |=  la;
   
         rhs <<= 64;
         rhs |=  lb;
         
         FC_ASSERT(rhs != 0, "divide by zero");
1172

B
oops  
Bucky Kittinger 已提交
1173 1174
         lhs %= rhs;
         ret = lhs;
1175 1176
      }

B
Bucky Kittinger 已提交
1177
      static constexpr uint32_t SHIFT_WIDTH = (sizeof(uint64_t)*8)-1;
1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
};

/*
class account_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;
      bool account_balance_get(array_ptr<const char> balance, uint32_t len) {
         const uint32_t account_balance_size = sizeof(account_balance);
         auto mem = Runtime::getDefaultMemory(code.instance);
         FC_ASSERT(len == account_balance_size, "passed in len ${len} is not equal to the size of an account_balance struct == ${real_len}", ("len",len)("real_len",account_balance_size));
         account_balance& total_balance = memoryRef<account_balance>(mem, balance);
      }
};
*/
1192

1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255
class math_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;
      

      void diveq_i128(unsigned __int128* self, const unsigned __int128* other) {
         fc::uint128_t s(*self);
         const fc::uint128_t o(*other);
         FC_ASSERT( o != 0, "divide by zero" );
         
         s = s/o;
         *self = (unsigned __int128)s;
      }

      void multeq_i128(unsigned __int128* self, const unsigned __int128* other) {
         fc::uint128_t s(*self);
         const fc::uint128_t o(*other);
         s *= o;
         *self = (unsigned __int128)s;
      }

      uint64_t double_add(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         DOUBLE c = DOUBLE(*reinterpret_cast<double *>(&a))
                  + DOUBLE(*reinterpret_cast<double *>(&b));
         double res = c.convert_to<double>();
         return *reinterpret_cast<uint64_t *>(&res);
      }

      uint64_t double_mult(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         DOUBLE c = DOUBLE(*reinterpret_cast<double *>(&a))
                  * DOUBLE(*reinterpret_cast<double *>(&b));
         double res = c.convert_to<double>();
         return *reinterpret_cast<uint64_t *>(&res);
      }

      uint64_t double_div(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         DOUBLE divisor = DOUBLE(*reinterpret_cast<double *>(&b));
         FC_ASSERT(divisor != 0, "divide by zero");
         DOUBLE c = DOUBLE(*reinterpret_cast<double *>(&a)) / divisor;
         double res = c.convert_to<double>();
         return *reinterpret_cast<uint64_t *>(&res);
      }

      uint32_t double_eq(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         return DOUBLE(*reinterpret_cast<double *>(&a)) == DOUBLE(*reinterpret_cast<double *>(&b));
      }

      uint32_t double_lt(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         return DOUBLE(*reinterpret_cast<double *>(&a)) < DOUBLE(*reinterpret_cast<double *>(&b));
      }

      uint32_t double_gt(uint64_t a, uint64_t b) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         return DOUBLE(*reinterpret_cast<double *>(&a)) > DOUBLE(*reinterpret_cast<double *>(&b));
      }

      uint64_t double_to_i64(uint64_t n) {
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
B
Bucky Kittinger 已提交
1256
         return DOUBLE(*reinterpret_cast<double *>(&n)).convert_to<int64_t>();
1257 1258
      }

B
Bucky Kittinger 已提交
1259
      uint64_t i64_to_double(int64_t n) {
1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277
         using DOUBLE = boost::multiprecision::cpp_bin_float_50;
         double res = DOUBLE(n).convert_to<double>();
         return *reinterpret_cast<uint64_t *>(&res);
      }
};

REGISTER_INTRINSICS(math_api,
   (diveq_i128,    void(int, int)            )
   (multeq_i128,   void(int, int)            )
   (double_add,    int64_t(int64_t, int64_t) )
   (double_mult,   int64_t(int64_t, int64_t) )
   (double_div,    int64_t(int64_t, int64_t) )
   (double_eq,     int32_t(int64_t, int64_t) )
   (double_lt,     int32_t(int64_t, int64_t) )
   (double_gt,     int32_t(int64_t, int64_t) )
   (double_to_i64, int64_t(int64_t)          )
   (i64_to_double, int64_t(int64_t)          )
);
B
Bucky Kittinger 已提交
1278
/*
1279
REGISTER_INTRINSICS(chain_api,
B
Bucky Kittinger 已提交
1280
   (get_active_producers,     int(int, int)  )
1281
);
B
Bucky Kittinger 已提交
1282
*/
1283
REGISTER_INTRINSICS(compiler_builtins,
1284
   (__break_point, void()                            )
1285 1286 1287 1288 1289
   (__ashlti3,     void(int, int64_t, int64_t, int)  )
   (__ashrti3,     void(int, int64_t, int64_t, int)  )
   (__lshlti3,     void(int, int64_t, int64_t, int)  )
   (__lshrti3,     void(int, int64_t, int64_t, int)  )
   (__divti3,      void(int, int64_t, int64_t, int64_t, int64_t) )
B
oops  
Bucky Kittinger 已提交
1290 1291 1292
   (__udivti3,      void(int, int64_t, int64_t, int64_t, int64_t) )
   (__modti3,      void(int, int64_t, int64_t, int64_t, int64_t) )
   (__umodti3,      void(int, int64_t, int64_t, int64_t, int64_t) )
1293
   (__multi3,      void(int, int64_t, int64_t, int64_t, int64_t) )
1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304

REGISTER_INTRINSICS(privileged_api,
   (activate_feature,          void(int64_t))
   (is_feature_active,         int(int64_t))
   (set_resource_limits,       void(int64_t,int64_t,int64_t,int64_t,int64_t))
   (set_active_producers,      void(int,int))
   (is_privileged,             int(int64_t))
   (set_privileged,            void(int64_t, int))
   (freeze_account,            void(int64_t, int))
   (is_frozen,                 int(int64_t))
);
1305 1306 1307 1308 1309

REGISTER_INTRINSICS(checktime_api,
   (checktime,      void())
);

1310
REGISTER_INTRINSICS(producer_api,
1311
   (get_active_producers,      int(int, int))
1312 1313
);

D
Daniel Larimer 已提交
1314 1315 1316 1317 1318 1319 1320 1321
REGISTER_INTRINSICS( database_api,
   (db_store_i64,        int(int64_t,int64_t,int64_t,int64_t,int,int))
   (db_update_i64,       void(int,int64_t,int,int))
   (db_remove_i64,       void(int))
   (db_get_i64,          int(int, int, int, int))
   (db_next_i64,         int(int))
   (db_find_i64,         int(int64_t,int64_t,int64_t,int64_t))
   (db_lowerbound_i64,   int(int64_t,int64_t,int64_t,int64_t))
1322 1323 1324 1325 1326 1327 1328 1329 1330

   (db_idx64_store,      int(int64_t,int64_t,int64_t,int64_t,int))
   (db_idx64_remove,     void(int))
   (db_idx64_update,     void(int,int64_t,int))


   (db_idx128_store,      int(int64_t,int64_t,int64_t,int64_t,int))
   (db_idx128_remove,     void(int))
   (db_idx128_update,     void(int,int64_t,int))
D
Daniel Larimer 已提交
1331 1332
)

1333
REGISTER_INTRINSICS(crypto_api,
1334 1335
   (assert_recover_key,  void(int, int, int, int, int))
   (recover_key,    int(int, int, int, int, int))
1336
   (assert_sha256,  void(int, int, int))
1337
   (sha1,           void(int, int, int))
1338
   (sha256,         void(int, int, int))
1339 1340
   (sha512,         void(int, int, int))
   (ripemd160,      void(int, int, int))
B
Bucky Kittinger 已提交
1341
>>>>>>> master
1342 1343 1344 1345
);

REGISTER_INTRINSICS(string_api,
   (assert_is_utf8,  void(int, int, int))
1346 1347
);

B
Bart Wyatt 已提交
1348
REGISTER_INTRINSICS(system_api,
1349 1350
   (assert,              void(int, int)           )
   (now,                 int()                    )
B
Bart Wyatt 已提交
1351 1352
);

1353 1354 1355 1356 1357 1358
/*
REGISTER_INTRINSICS(account_api,
   (account_balance_get,   int(int, int32_t)   )
);
*/

B
Bart Wyatt 已提交
1359 1360 1361 1362
REGISTER_INTRINSICS(action_api,
   (read_action,            int(int, int)  )
   (action_size,            int()          )
   (current_receiver,   int64_t()          )
1363 1364
   (publication_time,   int32_t()          )
   (current_sender,     int64_t()          )
B
Bart Wyatt 已提交
1365 1366 1367
);

REGISTER_INTRINSICS(apply_context,
1368 1369
   (require_write_lock,    void(int64_t)   )
   (require_read_lock,     void(int64_t, int64_t)   )
B
Bart Wyatt 已提交
1370
   (require_recipient,     void(int64_t)   )
1371
   (require_authorization, void(int64_t), "require_auth", void(apply_context::*)(const account_name&)const)
B
Bart Wyatt 已提交
1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383
);

REGISTER_INTRINSICS(console_api,
   (prints,                void(int)       )
   (prints_l,              void(int, int)  )
   (printi,                void(int64_t)   )
   (printi128,             void(int)       )
   (printd,                void(int64_t)   )
   (printn,                void(int64_t)   )
   (printhex,              void(int, int)  )
);

1384 1385 1386
REGISTER_INTRINSICS(crypto_api,
   (assert_sha256,       void(int, int32_t, int)  )
   (sha256,              void(int, int32_t, int)  )
1387 1388 1389
);

REGISTER_INTRINSICS(transaction_api,
1390 1391 1392 1393 1394 1395
   (read_transaction,       int(int, int)            )
   (transaction_size,       int()                    )
   (expiration,             int()                    )
   (tapos_block_prefix,     int()                    )
   (tapos_block_num,        int()                    )
   (send_inline,           void(int, int)            )
1396 1397 1398
   (send_deferred,         void(int, int, int, int)  )
);

1399 1400 1401 1402
REGISTER_INTRINSICS(memory_api,
   (memcpy,                 int(int, int, int)   )
   (memcmp,                 int(int, int, int)   )
   (memset,                 int(int, int, int)   )
B
Bucky Kittinger 已提交
1403
   (sbrk,                   int(int)             )
1404 1405
);

1406

1407

1408
#define DB_METHOD_SEQ(SUFFIX) \
K
Khaled Al-Hassanieh 已提交
1409 1410
   (store,        int32_t(int64_t, int64_t, int64_t, int, int),   "store_"#SUFFIX ) \
   (update,       int32_t(int64_t, int64_t, int64_t, int, int),   "update_"#SUFFIX ) \
1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423
   (remove,       int32_t(int64_t, int64_t, int),                 "remove_"#SUFFIX )

#define DB_INDEX_METHOD_SEQ(SUFFIX)\
   (load,         int32_t(int64_t, int64_t, int64_t, int, int),   "load_"#SUFFIX )\
   (front,        int32_t(int64_t, int64_t, int64_t, int, int),   "front_"#SUFFIX )\
   (back,         int32_t(int64_t, int64_t, int64_t, int, int),   "back_"#SUFFIX )\
   (previous,     int32_t(int64_t, int64_t, int64_t, int, int),   "previous_"#SUFFIX )\
   (lower_bound,  int32_t(int64_t, int64_t, int64_t, int, int),   "lower_bound_"#SUFFIX )\
   (upper_bound,  int32_t(int64_t, int64_t, int64_t, int, int),   "upper_bound_"#SUFFIX )\

using db_api_key_value_object                                 = db_api<key_value_object>;
using db_api_keystr_value_object                              = db_api<keystr_value_object>;
using db_api_key128x128_value_object                          = db_api<key128x128_value_object>;
1424
using db_api_key64x64_value_object                            = db_api<key64x64_value_object>;
1425 1426 1427 1428 1429
using db_api_key64x64x64_value_object                         = db_api<key64x64x64_value_object>;
using db_index_api_key_value_index_by_scope_primary           = db_index_api<key_value_index,by_scope_primary>;
using db_index_api_keystr_value_index_by_scope_primary        = db_index_api<keystr_value_index,by_scope_primary>;
using db_index_api_key128x128_value_index_by_scope_primary    = db_index_api<key128x128_value_index,by_scope_primary>;
using db_index_api_key128x128_value_index_by_scope_secondary  = db_index_api<key128x128_value_index,by_scope_secondary>;
1430 1431
using db_index_api_key64x64_value_index_by_scope_primary      = db_index_api<key64x64_value_index,by_scope_primary>;
using db_index_api_key64x64_value_index_by_scope_secondary    = db_index_api<key64x64_value_index,by_scope_secondary>;
1432 1433 1434 1435 1436 1437
using db_index_api_key64x64x64_value_index_by_scope_primary   = db_index_api<key64x64x64_value_index,by_scope_primary>;
using db_index_api_key64x64x64_value_index_by_scope_secondary = db_index_api<key64x64x64_value_index,by_scope_secondary>;
using db_index_api_key64x64x64_value_index_by_scope_tertiary  = db_index_api<key64x64x64_value_index,by_scope_tertiary>;

REGISTER_INTRINSICS(db_api_key_value_object,         DB_METHOD_SEQ(i64));
REGISTER_INTRINSICS(db_api_key128x128_value_object,  DB_METHOD_SEQ(i128i128));
1438
REGISTER_INTRINSICS(db_api_key64x64_value_object,    DB_METHOD_SEQ(i64i64));
1439
REGISTER_INTRINSICS(db_api_key64x64x64_value_object, DB_METHOD_SEQ(i64i64i64));
B
Bucky Kittinger 已提交
1440 1441 1442 1443 1444
REGISTER_INTRINSICS(db_api_keystr_value_object,
   (store_str,                int32_t(int64_t, int64_t, int, int, int, int)  )
   (update_str,               int32_t(int64_t, int64_t, int, int, int, int)  )
   (remove_str,               int32_t(int64_t, int64_t, int, int)  ));

1445
REGISTER_INTRINSICS(db_index_api_key_value_index_by_scope_primary,           DB_INDEX_METHOD_SEQ(i64));
B
Bucky Kittinger 已提交
1446 1447 1448 1449 1450 1451 1452 1453
REGISTER_INTRINSICS(db_index_api_keystr_value_index_by_scope_primary,
   (load_str,            int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (front_str,           int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (back_str,            int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (next_str,            int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (previous_str,        int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (lower_bound_str,     int32_t(int64_t, int64_t, int64_t, int, int, int, int)  )
   (upper_bound_str,     int32_t(int64_t, int64_t, int64_t, int, int, int, int)  ));
1454 1455
REGISTER_INTRINSICS(db_index_api_key128x128_value_index_by_scope_primary,    DB_INDEX_METHOD_SEQ(primary_i128i128));
REGISTER_INTRINSICS(db_index_api_key128x128_value_index_by_scope_secondary,  DB_INDEX_METHOD_SEQ(secondary_i128i128));
1456 1457
REGISTER_INTRINSICS(db_index_api_key64x64_value_index_by_scope_primary,      DB_INDEX_METHOD_SEQ(primary_i64i64));
REGISTER_INTRINSICS(db_index_api_key64x64_value_index_by_scope_secondary,    DB_INDEX_METHOD_SEQ(secondary_i64i64));
1458
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_primary,   DB_INDEX_METHOD_SEQ(primary_i64i64i64));
1459
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_secondary, DB_INDEX_METHOD_SEQ(secondary_i64i64i64));
1460 1461
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_tertiary,  DB_INDEX_METHOD_SEQ(tertiary_i64i64i64));

B
Brian Johnson 已提交
1462

D
Daniel Larimer 已提交
1463
} } /// eosio::chain