Bool Array

Code Example

The examples below demonstrates the usage of the Bool contract, which is a concurrent array specialized for storing boolean values, and the test cases in BoolTest verify the correctness of its functionalities for adding, retrieving, setting, and removing boolean elements.

Basic use

The code example illustrates demonstrates how this concurrent data structure can be effectively used for managing boolean values within a smart contract.

// SPDX-License-Identifier: GPL-3.0
pragma solidity ^0.8.19;

import "./Bool.sol";

contract BoolTest {
    Bool boolContainer = new Bool();
    
    constructor() {     
        require(boolContainer.length() == 0); 
    
        boolContainer.push(true);
        boolContainer.push(false);
        boolContainer.push(false);
        boolContainer.push(true);
        require(boolContainer.length() == 4); 

       require(boolContainer.get(0));
        require(!boolContainer.get(1));
        require(!boolContainer.get(2));
        require(boolContainer.get(3));

        boolContainer.set(0, false);
        boolContainer.set(1, true);
        boolContainer.set(2, true);
        boolContainer.set(3, false);

        require(!boolContainer.get(0));
        require(boolContainer.get(1));
        require(boolContainer.get(2));
        require(!boolContainer.get(3));

        require(!boolContainer.pop());
        require(boolContainer.pop());
        require(boolContainer.pop());
        require(!boolContainer.pop());
        require(boolContainer.length() == 0);  
    }
}

Concurrent Use

The contract below showcases the ability to perform concurrent processing using Arcology's Multiprocessing feature. The 'Appender' function is executed in parallel using two separate Multiprocess instances, allowing for efficient concurrent updates to the "container" data structure.

This demonstrates how Arcology's concurrent programming capabilities can significantly improve the performance and efficiency of smart contracts, especially when handling multiple tasks concurrently.

import "./Bool.sol";
import "./Multiprocess.sol";

contract MultiprocessConcurrentBool { 
    Bool container = new Bool(); // Create a new "Bool" array 
       
    Multiprocess mp ; // Declare two instances of the "Multiprocess" contract.
    Multiprocess mp2;

    // Entry point function for the contract's execution.
    function call() public  {  

       // Create a new "Multiprocess" instance "mp" with concurrency level 2.
       mp = new Multiprocess(2);

       // Create another "Multiprocess" instance "mp2" with concurrency level 2.
       mp2 = new Multiprocess(2);

       // Push two "appender" functions calls into "mp" for concurrent execution.
       mp.push(4000000, address(this), abi.encodeWithSignature("appender()"));
       mp.push(4000000, address(this), abi.encodeWithSignature("appender()"));

       // Execute the "appender" functions concurrently.
       mp.run();

       // Ensure that "container" length is 2 after the concurrent execution.
       require(container.length() == 2);     
      
       // Create a new "Multiprocess" instance "mp2" with concurrency level 2.
       mp2 = new Multiprocess(2);

       // Push two "appender" function calls into "mp2" for concurrent execution.
       mp2.push(4000000, address(this), abi.encodeWithSignature("appender()"));
       mp2.push(4000000, address(this), abi.encodeWithSignature("appender()"));       
       mp2.run(); // Execute the "appender" functions in "mp2" concurrently.

       require(container.length() == 4);  // Ensure the length is 4.

       // Append a single "true" value to "container" outside the "Multiprocess".
       container.push(true);

       require(container.length() == 5);  // Ensure that "container" length is 5   
    }

    // Function to append a "true" value to "container".
    function appender()  public {
       container.push(true);
    }
}