Source code for spinnman.messages.eieio.command_messages.spinnaker_request_read_data

# Copyright (c) 2017-2019 The University of Manchester
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

import struct
from spinnman.exceptions import (
    SpinnmanInvalidPacketException, SpinnmanInvalidParameterTypeException)
from .eieio_command_message import EIEIOCommandMessage
from .eieio_command_header import EIEIOCommandHeader
from spinnman.constants import EIEIO_COMMAND_IDS

_PATTERN_BBBB = struct.Struct("<BBBB")
_PATTERN_BBII = struct.Struct("<BBII")
_PATTERN_xxBBII = struct.Struct("<xxBBII")
_PATTERN_BB = struct.Struct("<BB")
_PATTERN_BBBBII = struct.Struct("<BBBBII")


[docs]class SpinnakerRequestReadData(EIEIOCommandMessage): """ Message used in the context of the buffering output mechanism which is\ sent from the SpiNNaker system to the host computer to signal that\ some data is available to be read """ __slots__ = [ "_header", "_requests"] def __init__(self, x, y, p, region_id, sequence_no, n_requests, channel, start_address, space_to_be_read): # pylint: disable=too-many-arguments if not isinstance(channel, list): channel = [channel] if not isinstance(region_id, list): region_id = [region_id] if not isinstance(start_address, list): start_address = [start_address] if not isinstance(space_to_be_read, list): space_to_be_read = [space_to_be_read] if len(start_address) != n_requests or \ len(space_to_be_read) != n_requests or \ len(channel) != n_requests or \ len(region_id) != n_requests: raise SpinnmanInvalidPacketException( "SpinnakerRequestReadData", "The format for a SpinnakerRequestReadData packet is " "invalid: {0:d} request(s), {1:d} start address(es) " "defined, {2:d} space(s) to be read defined, {3:d} region(s) " "defined, {4:d} channel(s) defined".format( n_requests, len(start_address), len(space_to_be_read), len(region_id), len(channel))) super().__init__(EIEIOCommandHeader( EIEIO_COMMAND_IDS.SPINNAKER_REQUEST_READ_DATA)) self._header = _SpinnakerRequestReadDataHeader( x, y, p, n_requests, sequence_no) self._requests = _SpinnakerRequestReadDataRequest( channel, region_id, start_address, space_to_be_read) @property def x(self): return self._header.x @property def y(self): return self._header.y @property def p(self): return self._header.p @property def n_requests(self): return self._header.n_requests @property def sequence_no(self): return self._header.sequence_no
[docs] def channel(self, request_id): return self._requests.channel(request_id)
[docs] def region_id(self, request_id): return self._requests.region_id(request_id)
[docs] def start_address(self, request_id): return self._requests.start_address(request_id)
[docs] def space_to_be_read(self, request_id): return self._requests.space_to_be_read(request_id)
[docs] @staticmethod def get_min_packet_length(): return 16
[docs] @staticmethod def from_bytestring(command_header, data, offset): (y, x, processor_and_requests, sequence_no) = \ _PATTERN_BBBB.unpack_from(data, offset) p = (processor_and_requests >> 3) & 0x1F n_requests = processor_and_requests & 0x7 offset += 4 channel = list() region_id = list() start_address = list() space_to_be_read = list() for i in range(n_requests): if i == 0: request_channel, request_region_id, request_start_address, \ request_space_to_be_read = _PATTERN_BBII.unpack_from( data, offset) offset += 10 else: request_channel, request_region_id, request_start_address, \ request_space_to_be_read = _PATTERN_xxBBII.unpack_from( data, offset) offset += 12 channel.append(request_channel) region_id.append(request_region_id) start_address.append(request_start_address) space_to_be_read.append(request_space_to_be_read) return SpinnakerRequestReadData( x, y, p, region_id, sequence_no, n_requests, channel, start_address, space_to_be_read)
@property def bytestring(self): byte_string = super().bytestring byte_string += _PATTERN_BB.pack(self.x, self.y) n_requests = self.n_requests processor_and_request = (self.p << 3) | n_requests for i in range(n_requests): if i == 0: byte_string += _PATTERN_BBBBII.pack( processor_and_request, self.sequence_no, self.channel(i), self.region_id(i), self.start_address(0), self.space_to_be_read(i)) else: byte_string += _PATTERN_xxBBII.pack( self.channel(i), self.region_id(i), self.start_address(0), self.space_to_be_read(i)) return byte_string
class _SpinnakerRequestReadDataHeader(object): """ Contains the position of the core in the machine (x, y, p), the number\ of requests and a sequence number """ __slots__ = [ "_n_requests", "_sequence_no", "_p", "_x", "_y"] def __init__(self, x, y, p, n_requests, sequence_no): # pylint: disable=too-many-arguments self._x = x self._y = y self._p = p self._n_requests = n_requests self._sequence_no = sequence_no @property def x(self): return self._x @property def y(self): return self._y @property def p(self): return self._p @property def sequence_no(self): return self._sequence_no @property def n_requests(self): return self._n_requests class _SpinnakerRequestReadDataRequest(object): """ Contains a set of requests which refer to the channels used """ __slots__ = [ "_channel", "_region_id", "_start_address", "_space_to_be_read"] def __init__(self, channel, region_id, start_address, space_to_be_read): if not isinstance(channel, list): self._channel = [channel] else: self._channel = channel if not isinstance(region_id, list): self._region_id = [region_id] else: self._region_id = region_id if not isinstance(start_address, list): self._start_address = [start_address] else: self._start_address = start_address if not isinstance(space_to_be_read, list): self._space_to_be_read = [space_to_be_read] else: self._space_to_be_read = space_to_be_read def channel(self, request_id): if len(self._channel) > request_id: return self._channel[request_id] raise SpinnmanInvalidParameterTypeException( "request_id", "integer", "channel request needs to be" "comprised between 0 and {0:d}; current value: {1:d}".format( len(self._channel) - 1, request_id)) def region_id(self, request_id): if len(self._region_id) > request_id: return self._region_id[request_id] raise SpinnmanInvalidParameterTypeException( "request_id", "integer", "region ID request needs to be" "comprised between 0 and {0:d}; current value: {1:d}".format( len(self._region_id) - 1, request_id)) def start_address(self, request_id): if len(self._start_address) > request_id: return self._start_address[request_id] raise SpinnmanInvalidParameterTypeException( "request_id", "integer", "start address request needs to be" "comprised between 0 and {0:d}; current value: {1:d}".format( len(self._start_address) - 1, request_id)) def space_to_be_read(self, request_id): if len(self._space_to_be_read) > request_id: return self._space_to_be_read[request_id] raise SpinnmanInvalidParameterTypeException( "request_id", "integer", "space to be read request needs to be" "comprised between 0 and {0:d}; current value: {1:d}".format( len(self._space_to_be_read) - 1, request_id))