# 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 past.builtins import xrange
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(SpinnakerRequestReadData, self).__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 xrange(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(SpinnakerRequestReadData, self).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 xrange(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))