ray/lib/python/plasma.py

113 lines
4.1 KiB
Python
Raw Normal View History

2016-08-16 16:52:16 -07:00
import os
2016-08-16 15:38:45 -07:00
import socket
import ctypes
Addr = ctypes.c_ubyte * 4
ID = ctypes.c_ubyte * 20
class PlasmaID(ctypes.Structure):
_fields_ = [("plasma_id", ID)]
def make_plasma_id(string):
if len(string) != 20:
raise Exception("PlasmaIDs must be 20 characters long")
object_id = map(ord, string)
return PlasmaID(plasma_id=ID(*object_id))
class PlasmaClient(object):
"""The PlasmaClient is used to interface with a plasma store and a plasma manager.
2016-08-18 09:56:20 -07:00
The PlasmaClient can ask the PlasmaStore to allocate a new buffer, seal a
buffer, and get a buffer. Buffers are referred to by object IDs, which are
strings.
"""
def __init__(self, socket_name, addr=None, port=None):
"""Initialize the PlasmaClient.
Args:
socket_name (str): Name of the socket the plasma store is listening at.
addr (str): IPv4 address of plasma manager attached to the plasma store.
port (int): Port number of the plasma manager attached to the plasma store.
"""
2016-08-16 16:52:16 -07:00
plasma_client_library = os.path.join(os.path.abspath(os.path.dirname(__file__)), "../../build/plasma_client.so")
self.client = ctypes.cdll.LoadLibrary(plasma_client_library)
2016-08-16 15:38:45 -07:00
self.client.plasma_store_connect.restype = ctypes.c_int
self.client.plasma_create.argtypes = [ctypes.c_int, PlasmaID, ctypes.c_int64, ctypes.POINTER(ctypes.c_void_p)]
self.client.plasma_create.restype = None
2016-08-16 16:52:16 -07:00
self.client.plasma_get.argtypes = [ctypes.c_int, PlasmaID, ctypes.POINTER(ctypes.c_int64), ctypes.POINTER(ctypes.c_void_p)]
self.client.plasma_get.restype = None
2016-08-16 15:38:45 -07:00
self.client.plasma_seal.argtypes = [ctypes.c_int, PlasmaID]
self.client.plasma_seal.restype = None
self.buffer_from_memory = ctypes.pythonapi.PyBuffer_FromMemory
self.buffer_from_memory.argtypes = [ctypes.c_void_p, ctypes.c_int64]
self.buffer_from_memory.restype = ctypes.py_object
self.buffer_from_read_write_memory = ctypes.pythonapi.PyBuffer_FromReadWriteMemory
self.buffer_from_read_write_memory.argtypes = [ctypes.c_void_p, ctypes.c_int64]
self.buffer_from_read_write_memory.restype = ctypes.py_object
self.sock = self.client.plasma_store_connect(socket_name)
if addr is not None and port is not None:
self.manager_conn = self.client.plasma_manager_connect(addr, port)
else:
self.manager_conn = -1 # not connected
2016-08-16 15:38:45 -07:00
def create(self, object_id, size):
2016-08-18 09:56:20 -07:00
"""Create a new buffer in the PlasmaStore for a particular object ID.
The returned buffer is mutable until seal is called.
Args:
object_id (str): A string used to identify an object.
size (int): The size in bytes of the created buffer.
"""
data = ctypes.c_void_p()
self.client.plasma_create(self.sock, make_plasma_id(object_id), size, ctypes.byref(data))
return self.buffer_from_read_write_memory(data, size)
2016-08-16 15:38:45 -07:00
def get(self, object_id):
2016-08-18 09:56:20 -07:00
"""Create a buffer from the PlasmaStore based on object ID.
This method can only be called after the buffer has been sealed. The
retrieved buffer is immutable.
Args:
object_id (str): A string used to identify an object.
"""
size = ctypes.c_int64()
data = ctypes.c_void_p()
buf = self.client.plasma_get(self.sock, make_plasma_id(object_id), ctypes.byref(size), ctypes.byref(data))
return self.buffer_from_memory(data, size)
2016-08-16 16:52:16 -07:00
2016-08-16 15:38:45 -07:00
def seal(self, object_id):
2016-08-18 09:56:20 -07:00
"""Seal the buffer in the PlasmaStore for a particular object ID.
Once a buffer has been sealed, the buffer is immutable and can only be
accessed through get.
Args:
object_id (str): A string used to identify an object.
"""
2016-08-16 15:38:45 -07:00
self.client.plasma_seal(self.sock, make_plasma_id(object_id))
def transfer(self, addr, port, object_id):
"""Transfer local object with id object_id to another plasma instance
Args:
addr (str): IPv4 address of the plasma instance the object is sent to.
port (int): Port number of the plasma instance the object is sent to.
object_id (str): A string used to identify an object.
"""
if self.manager_conn == -1:
raise Exception("Not connected to the plasma manager socket")
self.client.plasma_transfer(self.manager_conn, addr, port, make_plasma_id(object_id))