/// <summary>
/// Close this mailbox
/// </summary>
/// <remarks>
/// After this operation, the mailbox will no longer be able to
/// receive messages. Any delivered but as yet unretrieved messages
/// can still be retrieved however.
///
/// If there are links from this mailbox to other <see cref="ErlPid"/>
/// pids they will be broken when this method is
/// called and exit signals will be sent.
/// </remarks>
internal void Close()
{
// Notify all registered monitors that this pid is closing
foreach (var monitor in m_Monitors)
{
var msg = ErlMsg.MonitorPexit(m_Self, monitor.Value, monitor.Key, ErlAtom.Normal);
m_Node.Deliver(monitor.Value.Node, msg);
}
m_Node.CloseMbox(this);
m_RegName = ErlAtom.Null;
}
private void threadSpinCore()
{
if (!m_Connected)
{
Deliver(new ErlConnectionException(Name, StringConsts.ERL_CONN_NOT_CONNECTED_ERROR));
return;
}
int len;
byte[] header = new byte[4];
byte[] tock = new byte[] { 0, 0, 0, 0 };
byte[] payloadBuf = new byte[1024 * 1024];
try
{
while (m_Home.Running && !this.DisposeStarted && !m_Done)
{
// don't return until we get a real message
// or a failure of some kind (e.g. EXIT)
// read length and read buffer must be atomic!
do
{
// read 4 bytes - get length of incoming packet
// socket.getInputStream().read(lbuf);
int n;
if ((n = ReadSock(header, header.Length, false)) < header.Length)
{
throw new ErlException(StringConsts.ERL_CONN_READ_TOO_SHORT_ERROR, n, header.Length);
}
len = header.ReadBEInt32();
// received tick? send tock!
if (len == 0)
{
lock (this)
{
if (m_Transport != null)
{
(m_Transport.GetStream()).Write(tock, 0, tock.Length);
}
}
}
}while (len == 0); // tick_loop
if (len > DEFAULT_MAX_PAYLOAD_LENGTH)
{
throw new ErlException(
StringConsts.ERL_CONN_MSG_SIZE_TOO_LONG_ERROR, DEFAULT_MAX_PAYLOAD_LENGTH, len);
}
// got a real message (maybe) - read len bytes
byte[] tmpbuf = new byte[len]; // len > payloadBuf.Length ? new byte[len] : payloadBuf;
// i = socket.getInputStream().read(tmpbuf);
int m = ReadSock(tmpbuf, len, true);
if (m != len)
{
throw new ErlException(StringConsts.ERL_CONN_READ_TOO_SHORT_ERROR, m, len);
}
var ibuf = new ErlInputStream(tmpbuf, 0, len, checkVersion: false);
if (ibuf.Read1() != PASS_THROUGH)
{
goto receive_loop_brk;
}
try
{
// decode the header
var tmp = ibuf.Read(true);
if (!(tmp is ErlTuple))
{
goto receive_loop_brk;
}
var head = (ErlTuple)tmp;
if (!(head[0] is ErlByte))
{
goto receive_loop_brk;
}
// lets see what kind of message this is
ErlMsg.Tag tag = (ErlMsg.Tag)head[0].ValueAsInt;
switch (tag)
{
case ErlMsg.Tag.Send:
case ErlMsg.Tag.SendTT:
{
// { SEND, Cookie, ToPid, TraceToken }
if (!m_CookieOk)
{
// we only check this once, he can send us bad cookies later if he likes
if (!(head[1] is ErlAtom))
{
goto receive_loop_brk;
}
var cookie = (ErlAtom)head[1];
if (m_ShouldSendCookie)
{
if (!cookie.Equals(m_Cookie))
{
cookieError(m_Home, cookie);
}
}
else if (!cookie.Empty)
{
cookieError(m_Home, cookie);
}
m_CookieOk = true;
}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
{
long mark = ibuf.Position;
var traceobj = ibuf.Read(true);
ibuf.Position = mark;
return("{0} {1} trace: {2}".Args(
HeaderType(head), head.ToString(),
traceobj == null ? "(null)" : traceobj.ToString()));
});
var to = (ErlPid)head[2];
Deliver(new ErlMsg(tag, ErlPid.Null, to, paybuf: ibuf));
break;
}
case ErlMsg.Tag.RegSend:
case ErlMsg.Tag.RegSendTT:
{
// { REG_SEND, FromPid, Cookie, ToName, TraceToken }
if (!m_CookieOk)
{
// we only check this once, he can send us bad cookies later if he likes
if (!(head[2] is ErlAtom))
{
goto receive_loop_brk;
}
var cookie = (ErlAtom)head[2];
if (m_ShouldSendCookie)
{
if (!cookie.Equals(m_Cookie))
{
cookieError(m_Home, cookie);
}
}
else if (!cookie.Empty)
{
cookieError(m_Home, cookie);
}
m_CookieOk = true;
}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
{
long mark = ibuf.Position;
var traceobj = ibuf.Read(true);
ibuf.Position = mark;
return("{0} {1} trace: {2}".Args(
HeaderType(head), head.ToString(),
traceobj == null ? "(null)" : traceobj.ToString()));
});
var from = (ErlPid)head[1];
var toName = (ErlAtom)head[3];
Deliver(new ErlMsg(tag, from, toName, paybuf: ibuf));
break;
}
case ErlMsg.Tag.Exit:
case ErlMsg.Tag.Exit2:
{
// { EXIT2, FromPid, ToPid, Reason }
if (!(head[3] is ErlAtom))
{
goto receive_loop_brk;
}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
var from = (ErlPid)head[1];
var to = (ErlPid)head[2];
var reason = (ErlAtom)head[3];
Deliver(new ErlMsg(tag, from, to, reason: reason));
break;
}
case ErlMsg.Tag.ExitTT:
case ErlMsg.Tag.Exit2TT:
{
// { EXIT2, FromPid, ToPid, TraceToken, Reason }
// as above, but bifferent element number
if (!(head[4] is ErlAtom))
{
goto receive_loop_brk;
}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
// TODO: print TraceToken
var from = (ErlPid)head[1];
var to = (ErlPid)head[2];
var trace = (ErlTrace)head[3];
var reason = (ErlAtom)head[4];
Deliver(new ErlMsg(tag, from, to, reason: reason, trace: trace));
break;
}
case ErlMsg.Tag.Link:
case ErlMsg.Tag.Unlink:
{
// {UNLINK, FromPid, ToPid}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
var from = (ErlPid)head[1];
var to = (ErlPid)head[2];
Deliver(new ErlMsg(tag, from, to));
break;
}
case ErlMsg.Tag.GroupLeader:
case ErlMsg.Tag.NodeLink:
{
// No idea what to do with these, so we ignore them...
// {GROUP_LEADER, FromPid, ToPid}, { NODELINK }
// (just show trace)
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
break;
}
case ErlMsg.Tag.MonitorP:
case ErlMsg.Tag.DemonitorP:
{
// {MONITOR_P, FromPid, ToProc, Ref}
// {DEMONITOR_P, FromPid, ToProc, Ref}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
var from = (ErlPid)head[1];
var to = (ErlPid)head[2];
var eref = (ErlRef)head[3];
Deliver(new ErlMsg(tag, from, to, eref));
break;
}
case ErlMsg.Tag.MonitorPexit:
{
// {MONITOR_P_EXIT, FromPid, ToProc, Ref, Reason}
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"{0} {1}".Args(HeaderType(head), head.ToString()));
var from = (ErlPid)head[1];
var to = (ErlPid)head[2];
var eref = (ErlRef)head[3];
var reason = head[4];
Deliver(ErlMsg.MonitorPexit(from, to, eref, reason));
break;
}
default:
// garbage?
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
StringConsts.ERL_CONN_UNKNOWN_TAG_ERROR.Args(
HeaderType(head), head.ToString()));
goto receive_loop_brk;
}
}
catch (Exception e)
{
// we have received garbage
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, e.ToString());
Deliver(new ErlBadDataException(
Name, /* "Remote has closed connection or sending garbage: " + */
e.Message));
}
}
receive_loop_brk:
// end receive_loop
// this section reachable only with break
// connection went down or we have received garbage from peer
Deliver(new ErlConnectionException(Name, StringConsts.ERL_CONN_INVALID_DATA_FROM_PEER_ERROR));
}
catch (ErlAuthException e)
{
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () => e.ToString());
Deliver(e);
}
catch (Exception e)
{
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () => e.ToString());
Deliver(new ErlConnectionException(
Name, /* "Remote has closed connection or sending garbage: " + */
e.Message));
}
finally
{
m_Thread = null;
Close();
m_Home.OnTrace(ErlTraceLevel.Ctrl, Direction.Inbound, () =>
"Exiting connection (thread {0})".Args(Thread.CurrentThread.Name));
}
}