Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
for some reasons, the PID was sometimes not inited correctly in Java
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 27 Nov 2017 14:56:28 +0000 (15:56 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 27 Nov 2017 16:10:18 +0000 (17:10 +0100)
commitfd41b2cabc72234362ec02d66b9b24f5754b1200
tree532981408df7a0215f7e2477a4a2217bd089537f
parent368ce11c1950f41f54d97171901f8ad70ab6da04
for some reasons, the PID was sometimes not inited correctly in Java

It is supposed to be inited during actor creation, but I've seen
during the SUD'17 a machine where it remained at -1. So, if the PID is
negative, java will ask again to the C for a fixup. We could have
fixed the problem, but chasing down JNI issues is really hard.

I prefer to play nasty and safe here. Or let's call it the belt and
brace approach instead.
examples/java/app/masterworker/Master.java
examples/java/app/masterworker/Worker.java
examples/java/app/masterworker/app-masterworker.tesh
src/bindings/java/jmsg_process.cpp
src/bindings/java/jmsg_process.h
src/bindings/java/org/simgrid/msg/Process.java