Source code for spinnman.messages.spinnaker_boot.spinnaker_boot_messages

from spinnman.messages.spinnaker_boot._system_variables._system_variable_boot_values import spinnaker_boot_values
from spinnman.messages.spinnaker_boot._system_variables._system_variable_boot_values import _SystemVariableDefinition
from spinnman.messages.spinnaker_boot.spinnaker_boot_message import SpinnakerBootMessage
from spinnman.messages.spinnaker_boot.spinnaker_boot_op_code import SpinnakerBootOpCode

from spinnman.exceptions import SpinnmanInvalidParameterException
from spinnman.exceptions import SpinnmanIOException

from spinnman.data.file_data_reader import FileDataReader
from spinnman.data.big_endian_byte_array_byte_writer import BigEndianByteArrayByteWriter
from spinnman.data.little_endian_byte_array_byte_writer import LittleEndianByteArrayByteWriter
from spinnman.data.little_endian_data_reader_byte_reader import LittleEndianDataReaderByteReader

from spinnman._utils import _get_int_from_little_endian_bytearray
from spinnman._utils import _put_int_in_big_endian_byte_array

import os
import math
import time

_BOOT_MESSAGE_DATA_BYTES = 1024
_BOOT_IMAGE_MAX_BYTES = 32 * 1024
_BOOT_DATA_FILE_NAME = "scamp-133.boot"
_BOOT_STRUCT_REPLACE_OFFSET = 0x180
_BOOT_STRUCT_REPLACE_LENGTH = 0x80
_BOOT_DATA_OPERAND_1 = ((_BOOT_MESSAGE_DATA_BYTES / 4) - 1) << 8


[docs]class SpinnakerBootMessages(object): """ Represents a set of boot messages to be sent to boot the board """ def __init__(self, board_version): """ :param board_version: The version of the board to be booted :type board_version: int :raise spinnman.exceptions.SpinnmanInvalidParameterException: If the\ board version is not supported :raise spinnman.exceptions.SpinnmanIOException: If there is an error\ assembling the packets """ if board_version not in spinnaker_boot_values: raise SpinnmanInvalidParameterException( "board_version", board_version, "Unknown board version") # Get the boot packet values spinnaker_boot_value = spinnaker_boot_values[board_version] current_time = int(time.time()) spinnaker_boot_value.set_value( _SystemVariableDefinition.unix_timestamp, current_time) spinnaker_boot_value.set_value( _SystemVariableDefinition.boot_signature, current_time) spinnaker_boot_value.set_value( _SystemVariableDefinition.is_root_chip, 1) boot_data_writer = LittleEndianByteArrayByteWriter() spinnaker_boot_value.write_values(boot_data_writer) self._spinnaker_boot_data = boot_data_writer.data # endian-swap the boot data word by word for offset in range(0, len(self._spinnaker_boot_data), 4): word = _get_int_from_little_endian_bytearray( self._spinnaker_boot_data, offset) _put_int_in_big_endian_byte_array( self._spinnaker_boot_data, offset, word) # Find the data file and size this_dir, _ = os.path.split(__file__) boot_data_file_name = os.path.join(this_dir, "boot_data", _BOOT_DATA_FILE_NAME) boot_data_file_status = os.stat(boot_data_file_name) boot_data_file_size = boot_data_file_status.st_size if boot_data_file_size > _BOOT_IMAGE_MAX_BYTES: raise SpinnmanIOException("The boot file is too big at {} bytes (" "only files up to 32KB are acceptable".format( boot_data_file_size)) elif boot_data_file_size % 4 != 0: raise SpinnmanIOException("The boot file size of {} bytes must" " be divisible by 4".format(boot_data_file_size)) # Try to open the file self._boot_data_reader = FileDataReader(boot_data_file_name) self._boot_data_byte_reader = LittleEndianDataReaderByteReader( self._boot_data_reader) # Compute how many packets to send self._no_data_packets = int(math.ceil(float(boot_data_file_size) / float(_BOOT_MESSAGE_DATA_BYTES))) self._no_bytes_to_read = boot_data_file_size def _get_packet_data(self): writer = BigEndianByteArrayByteWriter() while (self._no_bytes_to_read > 0 and writer.get_n_bytes_written() < _BOOT_MESSAGE_DATA_BYTES): writer.write_int(self._boot_data_byte_reader.read_int()) self._no_bytes_to_read -= 4 # Pad the packet while writer.get_n_bytes_written() < _BOOT_MESSAGE_DATA_BYTES: writer.write_int(0) return writer.data @property def messages(self): """ Get an iterable of message to be sent. """ # Construct and yield the start packet yield SpinnakerBootMessage( opcode=SpinnakerBootOpCode.FLOOD_FILL_START, operand_1=0, operand_2=0, operand_3=self._no_data_packets - 1, data=[]) # Construct and yield the first data packet replacing the appropriate # part with the boot data values data = self._get_packet_data() data[_BOOT_STRUCT_REPLACE_OFFSET:(_BOOT_STRUCT_REPLACE_OFFSET + _BOOT_STRUCT_REPLACE_LENGTH)] = self._spinnaker_boot_data[0: _BOOT_STRUCT_REPLACE_LENGTH] operand_1 = _BOOT_DATA_OPERAND_1 | 0 yield SpinnakerBootMessage( opcode=SpinnakerBootOpCode.FLOOD_FILL_BLOCK, operand_1=operand_1, operand_2=0, operand_3=0, data=data) # Construct an yield the remaining packets for block_id in range(1, self._no_data_packets): operand_1 = _BOOT_DATA_OPERAND_1 | (block_id & 0xFF) yield SpinnakerBootMessage( opcode=SpinnakerBootOpCode.FLOOD_FILL_BLOCK, operand_1=operand_1, operand_2=0, operand_3=0, data=self._get_packet_data()) # Construct and yield the end packet yield SpinnakerBootMessage( opcode=SpinnakerBootOpCode.FLOOD_FILL_CONTROL, operand_1=1, operand_2=0, operand_3=0)