wasm_interface.cpp 56.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();
      }

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

B
Bucky Kittinger 已提交
594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609
      void eos_assert_sha1(array_ptr<char> data, size_t datalen, const fc::sha1& hash_val) {
         auto result = fc::sha1::hash( data, datalen );
         FC_ASSERT( result == hash_val, "hash miss match" );
      }

      void eos_assert_sha512(array_ptr<char> data, size_t datalen, const fc::sha512& hash_val) {
         auto result = fc::sha512::hash( data, datalen );
         FC_ASSERT( result == hash_val, "hash miss match" );
      }

      void eos_assert_ripemd160(array_ptr<char> data, size_t datalen, const fc::ripemd160& hash_val) {
         auto result = fc::ripemd160::hash( data, datalen );
         FC_ASSERT( result == hash_val, "hash miss match" );
      }


610 611 612 613
      void sha1(array_ptr<char> data, size_t datalen, fc::sha1& hash_val) {
         hash_val = fc::sha1::hash( data, datalen );
      }

614 615 616
      void sha256(array_ptr<char> data, size_t datalen, fc::sha256& hash_val) {
         hash_val = fc::sha256::hash( data, datalen );
      }
617 618 619 620 621 622 623 624

      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 );
      }
625 626 627 628 629 630 631 632 633 634 635 636
};

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) );
      }
};
637

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

642 643
      void abort() {
         edump(("abort() called"));
644
         FC_ASSERT( false, "abort() called");
645 646
      }

647
      void eos_assert(bool condition, null_terminated_ptr str) {
B
Bart Wyatt 已提交
648 649 650 651
         std::string message( str );
         if( !condition ) edump((message));
         FC_ASSERT( condition, "assertion failed: ${s}", ("s",message));
      }
B
Bucky Kittinger 已提交
652
      
653 654
      fc::time_point_sec now() {
         return context.controller.head_block_time();
655 656 657
      } 
};

B
Bart Wyatt 已提交
658 659 660 661
class action_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

662 663
      int read_action(array_ptr<char> memory, size_t size) {
         FC_ASSERT(size > 0);
664
         int minlen = std::min<size_t>(context.act.data.size(), size);
665 666 667 668
         memcpy((void *)memory, context.act.data.data(), minlen);
         return minlen;
      }

B
Bart Wyatt 已提交
669 670
      int action_size() {
         return context.act.data.size();
671 672
      }

B
Bart Wyatt 已提交
673 674 675
      const name& current_receiver() {
         return context.receiver;
      }
676 677

      fc::time_point_sec publication_time() {
B
Bart Wyatt 已提交
678
         return context.trx_meta.published;
679 680 681
      }

      name current_sender() {
B
Bart Wyatt 已提交
682 683
         if (context.trx_meta.sender) {
            return *context.trx_meta.sender;
684 685 686 687
         } else {
            return name();
         }
      }
688
};
B
Brian Johnson 已提交
689

B
Bart Wyatt 已提交
690 691 692 693
class console_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

694 695
      void prints(null_terminated_ptr str) {
         context.console_append<const char*>(str);
B
Bart Wyatt 已提交
696 697 698
      }

      void prints_l(array_ptr<const char> str, size_t str_len ) {
699
         context.console_append(string(str, str_len));
B
Bart Wyatt 已提交
700 701 702
      }

      void printi(uint64_t val) {
703
         context.console_append(val);
B
Bart Wyatt 已提交
704 705 706 707
      }

      void printi128(const unsigned __int128& val) {
         fc::uint128_t v(val>>64, uint64_t(val) );
708
         context.console_append(fc::variant(v).get_string());
B
Bart Wyatt 已提交
709 710 711
      }

      void printd( wasm_double val ) {
712
         context.console_append(val.str());
B
Bart Wyatt 已提交
713 714 715
      }

      void printn(const name& value) {
716
         context.console_append(value.to_string());
B
Bart Wyatt 已提交
717 718 719
      }

      void printhex(array_ptr<const char> data, size_t data_len ) {
720
         context.console_append(fc::to_hex(data, data_len));
B
Bart Wyatt 已提交
721 722 723
      }
};

D
Daniel Larimer 已提交
724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749
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 ); 
      }
750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770

      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 已提交
771 772 773 774
};



775 776 777 778 779
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];
780
   using ContextMethodType = int(apply_context::*)(const table_id_object&, const account_name&, const KeyType*, const char*, size_t);
781 782

   private:
783 784
      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);
785 786 787 788 789
         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);
790
         return (context.*(method))(t_id, bta, keys, record_data, record_len) + sizeof(KeyArrayType);
791 792 793 794 795
      }

   public:
      using context_aware_api::context_aware_api;

796 797
      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);
798 799
         //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;
800 801
      }

802 803
      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);
804
      }
B
Bucky Kittinger 已提交
805
      
806
      int remove(const scope_name& scope, const name& table, const KeyArrayType &keys) {
807
         const auto& t_id = context.find_or_create_table(context.receiver, scope, table);
808 809 810
         return context.remove_record<ObjectType>(t_id, keys);
      }
};
B
Bucky Kittinger 已提交
811
/*
B
Bucky Kittinger 已提交
812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827
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 已提交
828
         return (context.*(method))(t_id, &keys, record_data, record_len);
B
Bucky Kittinger 已提交
829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851
      }

   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);
      }
};
B
Bucky Kittinger 已提交
852
*/
853 854 855 856 857 858 859 860
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);


861
   int call(ContextMethodType method, const account_name& code, const scope_name& scope, const name& table, array_ptr<char> data, size_t data_len) {
862
      auto maybe_t_id = context.find_table(code, scope, table);
863
      if (maybe_t_id == nullptr) {
B
Bucky Kittinger 已提交
864
         return 0;
865 866 867 868 869 870 871 872 873
      }

      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);

874
      auto res = (context.*(method))(t_id, keys, record_data, record_len);
B
Bucky Kittinger 已提交
875
      if (res != 0) {
876 877 878
         res += sizeof(KeyArrayType);
      }
      return res;
879 880 881 882 883 884
   }

   public:
      using context_aware_api::context_aware_api;

      int load(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
885 886
         auto res = call(&apply_context::load_record<IndexType, Scope>, scope, code, table, data, data_len);
         return res;
887 888 889
      }

      int front(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::front_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
891
         return res;
892 893 894
      }

      int back(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::back_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
896
         return res;
897 898 899
      }

      int next(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
900
         auto res = call(&apply_context::next_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
901
         return res;
902 903 904
      }

      int previous(const scope_name& scope, const account_name& code, const name& table, array_ptr<char> data, size_t data_len) {
B
Bucky Kittinger 已提交
905
         auto res = call(&apply_context::previous_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
906
         return res;
907 908 909
      }

      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 已提交
910
         auto res = call(&apply_context::lower_bound_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
911
         return res;
912 913 914
      }

      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 已提交
915
         auto res = call(&apply_context::upper_bound_record<IndexType, Scope>, scope, code, table, data, data_len);
B
Bucky Kittinger 已提交
916
         return res;
917 918 919 920
      }

};

B
Bucky Kittinger 已提交
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 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978
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);
      }
};

979
class memory_api : public context_aware_api {
980
   public:
B
Bucky Kittinger 已提交
981
      using context_aware_api::context_aware_api;
982
     
983 984 985 986
      char* memcpy( array_ptr<char> dest, array_ptr<const char> src, size_t length) {
         return (char *)::memcpy(dest, src, length);
      }

987 988 989 990
      char* memmove( array_ptr<char> dest, array_ptr<const char> src, size_t length) {
         return (char *)::memmove(dest, src, length);
      }

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

B
Bucky Kittinger 已提交
995
      char* memset( array_ptr<char> dest, int value, size_t length ) {
B
Bucky Kittinger 已提交
996
         return (char *)::memset( dest, value, length );
B
Bucky Kittinger 已提交
997 998 999
      }

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

1007 1008 1009 1010 1011 1012 1013
         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;
1014
         
B
Bucky Kittinger 已提交
1015 1016 1017
         // round the absolute value of num_bytes to an alignment boundary
         num_bytes = (num_bytes + 7) & ~7;

1018
         if ((num_bytes > 0) && (prev_num_bytes > (MAX_MEM - num_bytes)))  // test if allocating too much memory (overflowed)
B
Bucky Kittinger 已提交
1019 1020 1021 1022 1023
            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
1024 1025
         sbrk_bytes += num_bytes;
         const uint32_t num_desired_pages = (sbrk_bytes + IR::numBytesPerPage - 1) >> NBPPL2;
B
Bucky Kittinger 已提交
1026 1027 1028 1029 1030 1031 1032 1033

         // 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;
1034
      }
1035 1036
};

1037 1038 1039 1040
class transaction_api : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;

1041 1042 1043 1044 1045 1046 1047 1048 1049 1050
      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();
1051 1052 1053
      }

      int expiration() {
1054
        return context.trx_meta.trx().expiration.sec_since_epoch();
1055 1056 1057
      }

      int tapos_block_num() {
1058
        return context.trx_meta.trx().ref_block_num;
1059
      }
1060
      int tapos_block_prefix() {
1061
        return context.trx_meta.trx().ref_block_prefix;
1062 1063
      }

1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074
      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 ) {
1075 1076 1077
         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");
1078

1079 1080 1081 1082 1083 1084 1085
            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)));
1086 1087 1088 1089
      }

};

1090 1091 1092
class compiler_builtins : public context_aware_api {
   public:
      using context_aware_api::context_aware_api;
1093 1094 1095
      void __break_point() {
         __asm("int3\n");
      }
1096
      void __ashlti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
1097 1098 1099 1100 1101
         fc::uint128_t i(high, low);
         i <<= shift;
         ret = (unsigned __int128)i;
      }

1102
      void __ashrti3(__int128& ret, uint64_t low, uint64_t high, uint32_t shift) {
B
oops  
Bucky Kittinger 已提交
1103 1104 1105 1106 1107
         // retain the signedness
         ret = high;
         ret <<= 64;
         ret |= low;
         ret >>= shift;
1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122
      }

      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 已提交
1123 1124
         __int128 lhs = ha;
         __int128 rhs = hb;
1125
         
B
oops  
Bucky Kittinger 已提交
1126 1127
         lhs <<= 64;
         lhs |=  la;
1128

B
oops  
Bucky Kittinger 已提交
1129 1130
         rhs <<= 64;
         rhs |=  lb;
1131

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

B
oops  
Bucky Kittinger 已提交
1134
         lhs /= rhs; 
1135

B
oops  
Bucky Kittinger 已提交
1136
         ret = lhs;
1137 1138
      } 

B
oops  
Bucky Kittinger 已提交
1139 1140 1141 1142 1143 1144 1145 1146 1147
      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;
1148

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

B
oops  
Bucky Kittinger 已提交
1151 1152 1153 1154 1155 1156 1157
         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;
1158

B
oops  
Bucky Kittinger 已提交
1159 1160
         lhs <<= 64;
         lhs |=  la;
1161

B
oops  
Bucky Kittinger 已提交
1162 1163
         rhs <<= 64;
         rhs |=  lb;
1164

B
oops  
Bucky Kittinger 已提交
1165 1166
         lhs *= rhs; 
         ret = lhs;
1167
      } 
1168 1169

      void __modti3(__int128& ret, uint64_t la, uint64_t ha, uint64_t lb, uint64_t hb) {
B
oops  
Bucky Kittinger 已提交
1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195
         __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");
1196

B
oops  
Bucky Kittinger 已提交
1197 1198
         lhs %= rhs;
         ret = lhs;
1199 1200
      }

B
Bucky Kittinger 已提交
1201
      static constexpr uint32_t SHIFT_WIDTH = (sizeof(uint64_t)*8)-1;
1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215
};

/*
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);
      }
};
*/
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 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279
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 已提交
1280
         return DOUBLE(*reinterpret_cast<double *>(&n)).convert_to<int64_t>();
1281 1282
      }

B
Bucky Kittinger 已提交
1283
      uint64_t i64_to_double(int64_t n) {
1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301
         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 已提交
1302
/*
1303
REGISTER_INTRINSICS(chain_api,
B
Bucky Kittinger 已提交
1304
   (get_active_producers,     int(int, int)  )
1305
);
B
Bucky Kittinger 已提交
1306
*/
1307
REGISTER_INTRINSICS(compiler_builtins,
1308
   (__break_point, void()                            )
1309 1310 1311 1312 1313
   (__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 已提交
1314 1315 1316
   (__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) )
1317
   (__multi3,      void(int, int64_t, int64_t, int64_t, int64_t) )
B
Bucky Kittinger 已提交
1318
);
1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329

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))
);
1330 1331 1332 1333 1334

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

1335
REGISTER_INTRINSICS(producer_api,
1336
   (get_active_producers,      int(int, int))
1337 1338
);

D
Daniel Larimer 已提交
1339 1340 1341 1342 1343 1344 1345 1346
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))
1347 1348 1349 1350 1351 1352 1353 1354 1355

   (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 已提交
1356 1357
)

1358
REGISTER_INTRINSICS(crypto_api,
1359
   (assert_recover_key,  void(int, int, int, int, int))
B
Bucky Kittinger 已提交
1360 1361
   (recover_key,         int(int, int, int, int, int))
   (eos_assert_sha256,   void(int, int, int))
B
Bucky Kittinger 已提交
1362 1363 1364
   (eos_assert_sha1,   void(int, int, int))
   (eos_assert_sha512,   void(int, int, int))
   (eos_assert_ripemd160,   void(int, int, int))
B
Bucky Kittinger 已提交
1365 1366 1367 1368
   (sha1,                void(int, int, int))
   (sha256,              void(int, int, int))
   (sha512,              void(int, int, int))
   (ripemd160,           void(int, int, int))
1369 1370 1371 1372
);

REGISTER_INTRINSICS(string_api,
   (assert_is_utf8,  void(int, int, int))
1373 1374
);

B
Bart Wyatt 已提交
1375
REGISTER_INTRINSICS(system_api,
B
Bucky Kittinger 已提交
1376 1377
   (abort,        void())
   (eos_assert,   void(int, int))
1378
   (now,          int())
B
Bart Wyatt 已提交
1379 1380
);

1381 1382 1383 1384 1385 1386
/*
REGISTER_INTRINSICS(account_api,
   (account_balance_get,   int(int, int32_t)   )
);
*/

B
Bart Wyatt 已提交
1387 1388 1389 1390
REGISTER_INTRINSICS(action_api,
   (read_action,            int(int, int)  )
   (action_size,            int()          )
   (current_receiver,   int64_t()          )
1391 1392
   (publication_time,   int32_t()          )
   (current_sender,     int64_t()          )
B
Bart Wyatt 已提交
1393 1394 1395
);

REGISTER_INTRINSICS(apply_context,
1396 1397
   (require_write_lock,    void(int64_t)   )
   (require_read_lock,     void(int64_t, int64_t)   )
B
Bart Wyatt 已提交
1398
   (require_recipient,     void(int64_t)   )
1399
   (require_authorization, void(int64_t), "require_auth", void(apply_context::*)(const account_name&)const)
B
Bart Wyatt 已提交
1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411
);

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)  )
);

1412
REGISTER_INTRINSICS(transaction_api,
1413 1414 1415 1416 1417 1418
   (read_transaction,       int(int, int)            )
   (transaction_size,       int()                    )
   (expiration,             int()                    )
   (tapos_block_prefix,     int()                    )
   (tapos_block_num,        int()                    )
   (send_inline,           void(int, int)            )
1419 1420 1421
   (send_deferred,         void(int, int, int, int)  )
);

1422 1423
REGISTER_INTRINSICS(memory_api,
   (memcpy,                 int(int, int, int)   )
1424
   (memmove,                int(int, int, int)   )
1425 1426
   (memcmp,                 int(int, int, int)   )
   (memset,                 int(int, int, int)   )
B
Bucky Kittinger 已提交
1427
   (sbrk,                   int(int)             )
1428 1429
);

1430

1431

1432
#define DB_METHOD_SEQ(SUFFIX) \
K
Khaled Al-Hassanieh 已提交
1433 1434
   (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 ) \
1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447
   (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>;
1448
using db_api_key64x64_value_object                            = db_api<key64x64_value_object>;
1449 1450 1451 1452 1453
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>;
1454 1455
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>;
1456 1457 1458 1459 1460 1461
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));
1462
REGISTER_INTRINSICS(db_api_key64x64_value_object,    DB_METHOD_SEQ(i64i64));
1463
REGISTER_INTRINSICS(db_api_key64x64x64_value_object, DB_METHOD_SEQ(i64i64i64));
B
Bucky Kittinger 已提交
1464
/*
B
Bucky Kittinger 已提交
1465 1466 1467 1468
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)  ));
B
Bucky Kittinger 已提交
1469
*/
1470
REGISTER_INTRINSICS(db_index_api_key_value_index_by_scope_primary,           DB_INDEX_METHOD_SEQ(i64));
B
Bucky Kittinger 已提交
1471
/*
B
Bucky Kittinger 已提交
1472 1473 1474 1475 1476 1477 1478 1479
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)  ));
B
Bucky Kittinger 已提交
1480
*/
1481 1482
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));
1483 1484
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));
1485
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_primary,   DB_INDEX_METHOD_SEQ(primary_i64i64i64));
1486
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_secondary, DB_INDEX_METHOD_SEQ(secondary_i64i64i64));
1487 1488
REGISTER_INTRINSICS(db_index_api_key64x64x64_value_index_by_scope_tertiary,  DB_INDEX_METHOD_SEQ(tertiary_i64i64i64));

B
Brian Johnson 已提交
1489

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