Re: epoll under Linux emulation (or how to get Isabelle running on NetBSD)

[John Nemeth <jnemeth%cue.bc.ca@localhost>]

On Dec 6,  2:07am, Christos Zoulas wrote:
} In article <bbeab408-db6a-6f10-9c13-bdf6fedf645e%kerguelen.org@localhost>,
} Jaap Boender  <jaapb%kerguelen.org@localhost> wrote:
} >
} >Having recently switched jobs, I'm now expected to do my work in 
} >Isabelle rather than Coq, so naturally I tried to run it under NetBSD.
} >
} >Running it natively is basically out of the question - it's got a very 
} >customised (the nice way of saying it) build system that I'd need to 
} >spend a lot of time to understand, let alone adapt to use NetBSD.
} >
} >So, next possibility - Linux emulation. Isabelle itself seems to run 
} >pretty okay, but it uses JEdit as its GUI, which in turn uses the epoll 
} >mechanism (through OpenJDK). As per kern/48584 this is not supported, 
} >but it does seem that there is something called libepoll-shim that might 
} >make things easier now.
} >
} >The question is really, is anyone possibly working on adding that to the 
} >Linux emulation layer, or how difficult would it be, do people estimate? 
} >There's a couple of other solutions I might try (suggestions are 
} >welcome!), but this does seem the least painful one, and epoll on the 
} >Linux emulation might be something nice to have anyway, I'd imagine (no 
} >matter what you might think of epoll in and of itself).
} 
} FreeBSD-current has epoll emulation for compat-linux implemented using
} kqueue. You could copy that.

     Easier said than done.  I'm working on bringing in some features
from FreeBSD's version of kqueue, but ours is so far behind, that
it is quite tricky.  Even something simple like EVFILT_USER is
requiring infrastructure changes.

}-- End of excerpt from Christos Zoulas