ref: b01a548975630994004234d71e26ce69d7c39f56
parent: c9217ae27dd49a99a661df54a647be66cdd5d45b
author: Ori Bernstein <ori@eigenstate.org>
date: Tue Aug 19 21:36:30 EDT 2014
Add poll() syscall.
Useful for a simple std.alt() call.
--- a/libstd/sys-linux.myr
+++ b/libstd/sys-linux.myr
@@ -2,21 +2,26 @@
use "varargs.use"
pkg std =
- type pid = int64
+ type pid = int64 /* process id */
type scno = int64 /* syscall */
type fdopt = int64 /* fd options */
type fd = int32 /* fd */
type mprot = int64 /* memory protection */
type mopt = int64 /* memory mapping options */
+
type socktype = int64 /* socket type */
type sockproto = int64 /* socket protocol */
type sockfam = uint16 /* socket family */
+
type whence = uint64
type filemode = uint32
+
type epollflags = uint32
type epollop = uint32
type epollevttype = uint32
+ type pollevt = uint16
+
type clock = union
`Clockrealtime
`Clockmonotonic
@@ -104,7 +109,13 @@
data : byte[8]
;;
+ type pollfd = struct
+ fd : fd
+ events : pollevt
+ revents : pollevt
+ ;;
+
/* open options */
const Ordonly : fdopt = 0x0
const Owronly : fdopt = 0x1
@@ -167,6 +178,7 @@
/* epoll flags */
const Epollcloexec : epollflags = 0o2000000
+
/* epoll ops */
const Epollctladd : epollop = 0
const Epollctlmod : epollop = 1
@@ -188,6 +200,22 @@
const Epolloneshot : epollevttype = 1 << 30
const Epolledge : epollevttype = 1 << 31
+ /* poll events : posix */
+ const Pollin : pollevt = 0x001 /* There is data to read. */
+ const Pollpri : pollevt = 0x002 /* There is urgent data to read. */
+ const Pollout : pollevt = 0x004 /* Writing now will not block. */
+
+ /* poll events: xopen */
+ const Pollrdnorm : pollevt = 0x040 /* Normal data may be read. */
+ const Pollrdband : pollevt = 0x080 /* Priority data may be read. */
+ const Pollwrnorm : pollevt = 0x100 /* Writing now will not block. */
+ const Pollwrband : pollevt = 0x200 /* Priority data may be written. */
+
+ /* poll events: linux */
+ const Pollmsg : pollevt = 0x400
+ const Pollremove : pollevt = 0x1000
+ const Pollrdhup : pollevt = 0x2000
+
const Seekset : whence = 0
const Seekcur : whence = 1
const Seekend : whence = 2
@@ -543,10 +571,11 @@
const dup : (fd : fd -> fd)
const dup2 : (src : fd, dst : fd -> fd)
- /* epoll */
+ /* polling */
const epollcreate : (flg : epollflags -> fd) /* actually epoll_create1 */
const epollctl : (epfd : fd, op : int, fd : fd, evt : epollevt# -> int)
const epollwait : (epfd : fd, evts : epollevt[:], timeout : int -> int)
+ const poll : (pfd : pollfd[:], timeout : int -> int)
/* networking */
const socket : (dom : sockfam, stype : socktype, proto : sockproto -> fd)
@@ -656,6 +685,7 @@
const epollcreate = {flg; -> syscall(Sysepoll_create1, flg castto(uint64)) castto(fd)} const epollctl = {epfd, op, fd, evt; -> syscall(Sysepoll_ctl, epfd castto(uint64), op castto(uint64), fd castto(uint64), evt castto(uint64)) castto(int)} const epollwait = {epfd, evts, timeout; -> syscall(Sysepoll_wait, epfd castto(uint64), evts castto(epollevt#), evts.len castto(uint64), timeout castto(uint64)) castto(int)}+const poll = {pfd, timeout; -> syscall(Syspoll, pfd castto(pollfd#), pfd.len castto(uint64), timeout castto(uint64)) castto(int)}/* networking */
const socket = {dom, stype, proto; -> syscall(Syssocket, dom castto(int64), stype, proto) castto(fd)}--
⑨