Ejemplo n.º 1
0
def make_new_session_from_store_request(session_id, directory):
    base_load_dir = NATIVE_BASE_PATH
    if (CONTAINER_SERVER):
        base_load_dir = CONTAINER_BASE_PATH

    machine_msg = cartesi_machine_pb2.MachineRequest(directory=base_load_dir +
                                                     directory)
    return machine_manager_pb2.NewSessionRequest(session_id=session_id,
                                                 machine=machine_msg)
Ejemplo n.º 2
0
def make_new_session_request(force=False):
    files_dir = NATIVE_BASE_PATH
    if (CONTAINER_SERVER):
        files_dir = CONTAINER_BASE_PATH

    ram_msg = cartesi_machine_pb2.RAMConfig(length=TEST_RAM[LENGTH],
                                            image_filename=files_dir +
                                            TEST_RAM[IMAGE_FILENAME])
    drives_msg = []
    print('=' * 80 + "\nFlash configs:")
    for drive in TEST_DRIVES:
        image_filename_path = files_dir + drive[IMAGE_FILENAME]
        print(
            "New flash_drive config:\nDrive image_filename: {}\nStart: {}\nLength: {}\nShared: {}"
            .format(image_filename_path, drive[START], drive[LENGTH],
                    drive[SHARED]))
        drive_msg = cartesi_machine_pb2.FlashDriveConfig(
            start=drive[START],
            length=drive[LENGTH],
            image_filename=image_filename_path,
            shared=drive[SHARED])
        drives_msg.append(drive_msg)
    bootargs_str = TEST_ROM[BOOTARGS].format(build_mtdparts_str(TEST_DRIVES))
    rom_image_filename = files_dir + TEST_ROM[IMAGE_FILENAME]
    print('=' * 80 + "\nRom config:\nBootargs: {}\nImage filename: {}".format(
        bootargs_str, rom_image_filename))
    rom_msg = cartesi_machine_pb2.ROMConfig(bootargs=bootargs_str,
                                            image_filename=rom_image_filename)
    print('=' * 80 + "\nHTIF config:\nYield: {}".format(HTIF_CONFIG[YIELD]))
    htif_msg = cartesi_machine_pb2.HTIFConfig()
    setattr(htif_msg, "yield_progress", HTIF_CONFIG[YIELD])

    machine_config = cartesi_machine_pb2.MachineConfig(rom=rom_msg,
                                                       ram=ram_msg,
                                                       flash_drive=drives_msg,
                                                       htif=htif_msg)
    machine_msg = cartesi_machine_pb2.MachineRequest(config=machine_config)
    return machine_manager_pb2.NewSessionRequest(session_id=TEST_SESSION_ID,
                                                 machine=machine_msg,
                                                 force=force)
Ejemplo n.º 3
0
def make_new_machine_request():
    ram_msg = cartesi_machine_pb2.RAMConfig(length=TEST_RAM[LENGTH],
                                            image_filename=os.path.join(
                                                DIR_PATH, TEST_RAM[BACKING]))
    drives_msg = []
    for drive in TEST_DRIVES:
        drive_msg = cartesi_machine_pb2.FlashDriveConfig(
            start=drive[START],
            length=drive[LENGTH],
            image_filename=os.path.join(DIR_PATH, drive[BACKING]),
            shared=drive[SHARED])
        drives_msg.append(drive_msg)
    bootargs_str = TEST_ROM[BOOTARGS].format(build_mtdparts_str(TEST_DRIVES))
    rom_msg = cartesi_machine_pb2.ROMConfig(bootargs=bootargs_str,
                                            image_filename=os.path.join(
                                                DIR_PATH, TEST_ROM[BACKING]))
    processor_config = cartesi_machine_pb2.ProcessorConfig(x1=5)
    machine_config = cartesi_machine_pb2.MachineConfig(
        processor=processor_config,
        rom=rom_msg,
        ram=ram_msg,
        flash_drive=drives_msg)
    return cartesi_machine_pb2.MachineRequest(config=machine_config)