SC: SYNC_CALL protocol feature definition and registration

libraries/chain/include/eosio/chain/protocol_feature_manager.hpp

@@ -39,6 +39,7 @@ enum class builtin_protocol_feature_t : uint32_t {
    disable_deferred_trxs_stage_1 = 22,
    disable_deferred_trxs_stage_2 = 23,
    savanna = 24,
+   sync_call = 25,
    reserved_private_fork_protocol_features = 500000,
 };
 

libraries/chain/protocol_feature_manager.cpp

@@ -363,6 +363,17 @@ host function call will trigger a transition to the Savanna consensus algorithm.
               builtin_protocol_feature_t::disable_deferred_trxs_stage_2
             }
          } )
+         (  builtin_protocol_feature_t::sync_call, builtin_protocol_feature_spec{
+            "SYNC_CALL",
+            fc::variant("49f6fbc4fee045bc5c8b09a96b2b5c096afdc320ac29b54e0f3805c660b88483").as<digest_type>(),
+            // SHA256 hash of the raw message below within the comment delimiters (exclude newline after /*) (do not modify message below).
+/*
+Builtin protocol feature: SYNC_CALL
+
+Enables synchronous calls to functions in other and own contracts.
+*/
+            {builtin_protocol_feature_t::savanna}
+         } )
    ;
 
 

libraries/testing/include/eosio/testing/tester.hpp

@@ -67,7 +67,7 @@ namespace eosio::testing {
       preactivate_feature_only,
       preactivate_feature_and_new_bios,
       old_wasm_parser,
-      full_except_do_not_disable_deferred_trx,
+      full_prior_to_disable_deferred_trx,
       full_except_do_not_transition_to_savanna,
       full
    };
@@ -475,7 +475,7 @@ namespace eosio::testing {
          void preactivate_protocol_features(const vector<digest_type>& feature_digests);
          void preactivate_builtin_protocol_features(const std::vector<builtin_protocol_feature_t>& features);
          void preactivate_all_builtin_protocol_features();
-         void preactivate_all_but_disable_deferred_trx();
+         void preactivate_all_prior_to_disable_deferred_trx();
          void preactivate_savanna_protocol_features();
 
          static genesis_state default_genesis() {
@@ -731,7 +731,7 @@ namespace eosio::testing {
 
    class tester_no_disable_deferred_trx : public tester {
    public:
-      tester_no_disable_deferred_trx(): tester(setup_policy::full_except_do_not_disable_deferred_trx) {
+      tester_no_disable_deferred_trx(): tester(setup_policy::full_prior_to_disable_deferred_trx) {
       }
    };
 
@@ -861,7 +861,7 @@ namespace eosio::testing {
 
    class validating_tester_no_disable_deferred_trx : public validating_tester {
    public:
-      validating_tester_no_disable_deferred_trx(): validating_tester({}, nullptr, setup_policy::full_except_do_not_disable_deferred_trx) {
+      validating_tester_no_disable_deferred_trx(): validating_tester({}, nullptr, setup_policy::full_prior_to_disable_deferred_trx) {
       }
    };
 

libraries/testing/tester.cpp

@@ -272,13 +272,13 @@ namespace eosio::testing {
             break;
          }
          case setup_policy::full:
-         case setup_policy::full_except_do_not_disable_deferred_trx:
+         case setup_policy::full_prior_to_disable_deferred_trx:
          case setup_policy::full_except_do_not_transition_to_savanna: {
             schedule_preactivate_protocol_feature();
             produce_block();
             set_before_producer_authority_bios_contract();
-            if( policy == setup_policy::full_except_do_not_disable_deferred_trx ) {
-               preactivate_all_but_disable_deferred_trx();
+            if( policy == setup_policy::full_prior_to_disable_deferred_trx ) {
+               preactivate_all_prior_to_disable_deferred_trx();
             } else {
                preactivate_all_builtin_protocol_features();
             }
@@ -288,7 +288,7 @@ namespace eosio::testing {
             }
 
             // Do not transition to Savanna under full_except_do_not_transition_to_savanna or
-            // full_except_do_not_disable_deferred_trx
+            // full_prior_to_disable_deferred_trx
             if( policy == setup_policy::full ) {
                // BLS voting is slow. Use only 1 finalizer for default testser.
                finalizer_keys fin_keys(*this, 1u /* num_keys */, 1u /* finset_size */);
@@ -1475,16 +1475,21 @@ namespace eosio::testing {
       preactivate_builtin_protocol_features( get_all_builtin_protocol_features() );
    }
 
-   void base_tester::preactivate_all_but_disable_deferred_trx() {
+   void base_tester::preactivate_all_prior_to_disable_deferred_trx() {
       std::vector<builtin_protocol_feature_t> builtins;
       for( const auto& f : get_all_builtin_protocol_features() ) {
          // Before deferred trxs feature is fully disabled, existing tests involving
          // deferred trxs need to be exercised to make sure existing behaviors are
-         // maintained. Excluding DISABLE_DEFERRED_TRXS_STAGE_1 and DISABLE_DEFERRED_TRXS_STAGE_2
-         // from full protocol feature list such that existing tests can run.
-         if(   f == builtin_protocol_feature_t::disable_deferred_trxs_stage_1
-            || f == builtin_protocol_feature_t::disable_deferred_trxs_stage_2
-            || f == builtin_protocol_feature_t::savanna ) { // savanna depends on disable_deferred_trxs_stage_1 & 2
+         // maintained. Excluding DISABLE_DEFERRED_TRXS_STAGE_1 and DISABLE_DEFERRED_TRXS_STAGE_2,
+         // and any future protocol features from full protocol feature list such that
+         // existing tests can run.
+         //
+         // Note: We use `f >= builtin_protocol_feature_t::disable_deferred_trxs_stage_1`
+         // instead of earlier version of comparing with exact features to make code less
+         // fragile when new protocol features are added. Protocol features order can never change.
+         // Future protocol features' ID is guaranteed by the protocol to be greater than
+         // DISABLE_DEFERRED_TRXS_STAGE_1.
+         if( f >= builtin_protocol_feature_t::disable_deferred_trxs_stage_1 ) {
             continue;
          }
 

unittests/api_tests.cpp

@@ -1083,8 +1083,8 @@ BOOST_AUTO_TEST_CASE_TEMPLATE( inline_action_objective_limit, T, testers ) { try
 
 BOOST_AUTO_TEST_CASE(deferred_inline_action_limit) { try {
    const uint32_t _4k = 4 * 1024;
-   tester chain(setup_policy::full_except_do_not_disable_deferred_trx, db_read_mode::HEAD, {_4k + 100});
-   tester chain2(setup_policy::full_except_do_not_disable_deferred_trx, db_read_mode::HEAD, {_4k + 100});
+   tester chain(setup_policy::full_prior_to_disable_deferred_trx, db_read_mode::HEAD, {_4k + 100});
+   tester chain2(setup_policy::full_prior_to_disable_deferred_trx, db_read_mode::HEAD, {_4k + 100});
    signed_block_ptr block;
    for (int n=0; n < 2; ++n) {
       block = chain.produce_block();

unittests/currency_tests.cpp

@@ -97,7 +97,7 @@ using currency_testers = boost::mpl::list<currency_tester<legacy_validating_test
 
 class pre_disable_deferred_trx_currency_tester : public currency_tester<legacy_validating_tester> {
    public:
-      pre_disable_deferred_trx_currency_tester() : currency_tester(setup_policy::full_except_do_not_disable_deferred_trx) {}
+      pre_disable_deferred_trx_currency_tester() : currency_tester(setup_policy::full_prior_to_disable_deferred_trx) {}
 };
 
 template <typename T>

unittests/protocol_feature_tests.cpp

@@ -2316,4 +2316,30 @@ BOOST_AUTO_TEST_CASE_TEMPLATE(set_finalizers_test, T, testers) { try {
                        c.error("alice does not have permission to call this API"));
 } FC_LOG_AND_RETHROW() }
 
+BOOST_AUTO_TEST_CASE(sync_call_activation_test) try {
+   tester c( setup_policy::preactivate_feature_and_new_bios );
+   const auto& pfm = c.control->get_protocol_feature_manager();
+
+   // Ensure SYNC_CALL not yet activated
+   BOOST_CHECK( !c.control->is_builtin_activated( builtin_protocol_feature_t::sync_call ) );
+
+   // Activate SYNC_CALL without the dependency met (it depends on SAVANNA).
+   auto d = pfm.get_builtin_digest( builtin_protocol_feature_t::sync_call );
+   BOOST_REQUIRE( d );
+   BOOST_CHECK_EXCEPTION( c.preactivate_protocol_features({ *d }),
+                          protocol_feature_exception,
+                          fc_exception_message_starts_with("not all dependencies of protocol feature with digest") );
+
+   // Activate the depending Savanna
+   c.preactivate_savanna_protocol_features();
+   c.produce_block();
+
+   // Activate SYNC_CALL after the dependency met
+   c.preactivate_protocol_features({ *d });
+   c.produce_block();
+
+   // Ensure SYNC_CALL is now activated
+   BOOST_CHECK( c.control->is_builtin_activated( builtin_protocol_feature_t::sync_call ) );
+} FC_LOG_AND_RETHROW()
+
 BOOST_AUTO_TEST_SUITE_END()