1
0
mirror of https://github.com/janet-lang/janet synced 2024-11-28 19:19:53 +00:00

Start working on throwing errors from async functions.

This commit is contained in:
Calvin Rose 2020-08-11 07:19:34 -05:00
parent 9b36e2b145
commit 06c268c274
5 changed files with 49 additions and 7 deletions

View File

@ -2,9 +2,12 @@
All notable changes to this project will be documented in this file. All notable changes to this project will be documented in this file.
## Unreleased - ??? ## Unreleased - ???
- Change `net/read`, `net/chunk`, and `net/write` to raise errors in the case of failures.
- Add `janet_continue_signal` to C API. This indirectly enables C functions that yield to the event loop
to raise errors or other signals.
- Update meson build script to fix bug on Debian's version of meson - Update meson build script to fix bug on Debian's version of meson
- Add `xprint`, `xprin`, `xprintf`, and `xprinf`. - Add `xprint`, `xprin`, `xprintf`, and `xprinf`.
- `net/write` now returns an error message if write fails. - `net/write` now raises an error message if write fails.
- Fix issue with SIGPIPE on macOS and BSDs. - Fix issue with SIGPIPE on macOS and BSDs.
## 1.11.3 - 2020-08-03 ## 1.11.3 - 2020-08-03

View File

@ -46,7 +46,8 @@
#define JANET_FIBER_MASK_USERN(N) (16 << (N)) #define JANET_FIBER_MASK_USERN(N) (16 << (N))
#define JANET_FIBER_MASK_USER 0x3FF0 #define JANET_FIBER_MASK_USER 0x3FF0
#define JANET_FIBER_STATUS_MASK 0xFF0000 #define JANET_FIBER_RESUME_SIGNAL 0x800000
#define JANET_FIBER_STATUS_MASK 0x7F0000
#define JANET_FIBER_STATUS_OFFSET 16 #define JANET_FIBER_STATUS_OFFSET 16
#define JANET_FIBER_BREAKPOINT 0x1000000 #define JANET_FIBER_BREAKPOINT 0x1000000

View File

@ -275,8 +275,11 @@ static size_t janet_loop_event(size_t index) {
int ret = 1; int ret = 1;
int should_resume = 0; int should_resume = 0;
Janet resumeval = janet_wrap_nil(); Janet resumeval = janet_wrap_nil();
JanetSignal resumesignal = JANET_SIGNAL_OK;
if (stream->flags & JANET_STREAM_CLOSED) { if (stream->flags & JANET_STREAM_CLOSED) {
should_resume = 1; should_resume = 1;
resumeval = janet_cstringv("stream is closed");
resumesignal = JANET_SIGNAL_ERROR;
ret = 0; ret = 0;
} else { } else {
switch (jlfd->event_type) { switch (jlfd->event_type) {
@ -288,6 +291,8 @@ static size_t janet_loop_event(size_t index) {
if (!(stream->flags & JANET_STREAM_READABLE)) { if (!(stream->flags & JANET_STREAM_READABLE)) {
should_resume = 1; should_resume = 1;
ret = 0; ret = 0;
resumesignal = JANET_SIGNAL_ERROR;
resumeval = janet_cstringv("stream not readable");
break; break;
} }
JReadInt nread; JReadInt nread;
@ -309,6 +314,13 @@ static size_t janet_loop_event(size_t index) {
should_resume = 1; should_resume = 1;
if (nread > 0) { if (nread > 0) {
resumeval = janet_wrap_buffer(buffer); resumeval = janet_wrap_buffer(buffer);
} else {
if (nread == 0) {
resumeval = janet_cstringv("could not read from stream");
} else {
resumeval = janet_cstringv(strerror(JLASTERR));
}
resumesignal = JANET_SIGNAL_ERROR;
} }
ret = 0; ret = 0;
} else { } else {
@ -342,6 +354,8 @@ static size_t janet_loop_event(size_t index) {
const uint8_t *bytes; const uint8_t *bytes;
if (!(stream->flags & JANET_STREAM_WRITABLE)) { if (!(stream->flags & JANET_STREAM_WRITABLE)) {
should_resume = 1; should_resume = 1;
resumesignal = JANET_SIGNAL_ERROR;
resumeval = janet_cstringv("stream not writeable");
ret = 0; ret = 0;
break; break;
} }
@ -364,9 +378,9 @@ static size_t janet_loop_event(size_t index) {
if (nwrote > 0) { if (nwrote > 0) {
start += nwrote; start += nwrote;
} else { } else {
resumesignal = JANET_SIGNAL_ERROR;
if (nwrote == -1) { if (nwrote == -1) {
const uint8_t *msg = janet_formatc("write error: %s", strerror(JLASTERR)); resumeval = janet_cstringv(strerror(JLASTERR));
resumeval = janet_wrap_string(msg);
} else { } else {
resumeval = janet_cstringv("could not write"); resumeval = janet_cstringv("could not write");
} }
@ -396,7 +410,7 @@ static size_t janet_loop_event(size_t index) {
if (NULL != jlfd->fiber && should_resume) { if (NULL != jlfd->fiber && should_resume) {
/* Resume the fiber */ /* Resume the fiber */
Janet out; Janet out;
JanetSignal sig = janet_continue(jlfd->fiber, resumeval, &out); JanetSignal sig = janet_continue_signal(jlfd->fiber, resumeval, &out, resumesignal);
if (sig != JANET_SIGNAL_OK && sig != JANET_SIGNAL_EVENT) { if (sig != JANET_SIGNAL_OK && sig != JANET_SIGNAL_EVENT) {
janet_stacktrace(jlfd->fiber, out); janet_stacktrace(jlfd->fiber, out);
} }
@ -654,7 +668,7 @@ static const JanetReg net_cfuns[] = {
JDOC("(net/read stream nbytes &opt buf)\n\n" JDOC("(net/read stream nbytes &opt buf)\n\n"
"Read up to n bytes from a stream, suspending the current fiber until the bytes are available. " "Read up to n bytes from a stream, suspending the current fiber until the bytes are available. "
"If less than n bytes are available (and more than 0), will push those bytes and return early. " "If less than n bytes are available (and more than 0), will push those bytes and return early. "
"Returns a buffer with up to n more bytes in it, or nil if the read failed.") "Returns a buffer with up to n more bytes in it, or raises an error if the read failed.")
}, },
{ {
"net/chunk", cfun_stream_chunk, "net/chunk", cfun_stream_chunk,
@ -665,7 +679,7 @@ static const JanetReg net_cfuns[] = {
"net/write", cfun_stream_write, "net/write", cfun_stream_write,
JDOC("(net/write stream data)\n\n" JDOC("(net/write stream data)\n\n"
"Write data to a stream, suspending the current fiber until the write " "Write data to a stream, suspending the current fiber until the write "
"completes. Returns nil, or an error message if the write failed.") "completes. Returns nil, or raises an error if the write failed.")
}, },
{ {
"net/close", cfun_stream_close, "net/close", cfun_stream_close,

View File

@ -564,6 +564,15 @@ static JanetSignal run_vm(JanetFiber *fiber, Janet in) {
register Janet *stack; register Janet *stack;
register uint32_t *pc; register uint32_t *pc;
register JanetFunction *func; register JanetFunction *func;
if (fiber->flags & JANET_FIBER_RESUME_SIGNAL) {
JanetSignal sig = (fiber->gc.flags & JANET_FIBER_STATUS_MASK) >> JANET_FIBER_STATUS_OFFSET;
fiber->gc.flags &= ~JANET_FIBER_STATUS_MASK;
fiber->flags &= ~(JANET_FIBER_RESUME_SIGNAL | JANET_FIBER_FLAG_MASK);
janet_vm_return_reg[0] = in;
return sig;
}
vm_restore(); vm_restore();
if (fiber->flags & JANET_FIBER_DID_LONGJUMP) { if (fiber->flags & JANET_FIBER_DID_LONGJUMP) {
@ -1366,6 +1375,20 @@ JanetSignal janet_continue(JanetFiber *fiber, Janet in, Janet *out) {
return janet_continue_no_check(fiber, in, out); return janet_continue_no_check(fiber, in, out);
} }
/* Enter the main vm loop but immediately raise a signal */
JanetSignal janet_continue_signal(JanetFiber *fiber, Janet in, Janet *out, JanetSignal sig) {
JanetSignal tmp_signal = janet_check_can_resume(fiber, out);
if (tmp_signal) return tmp_signal;
if (sig != JANET_SIGNAL_OK) {
JanetFiber *child = fiber;
while (child->child) child = child->child;
child->gc.flags &= ~JANET_FIBER_STATUS_MASK;
child->gc.flags |= sig << JANET_FIBER_STATUS_OFFSET;
child->flags |= JANET_FIBER_RESUME_SIGNAL;
}
return janet_continue_no_check(fiber, in, out);
}
JanetSignal janet_pcall( JanetSignal janet_pcall(
JanetFunction *fun, JanetFunction *fun,
int32_t argc, int32_t argc,

View File

@ -1412,6 +1412,7 @@ JANET_API int janet_symeq(Janet x, const char *cstring);
JANET_API int janet_init(void); JANET_API int janet_init(void);
JANET_API void janet_deinit(void); JANET_API void janet_deinit(void);
JANET_API JanetSignal janet_continue(JanetFiber *fiber, Janet in, Janet *out); JANET_API JanetSignal janet_continue(JanetFiber *fiber, Janet in, Janet *out);
JANET_API JanetSignal janet_continue_signal(JanetFiber *fiber, Janet in, Janet *out, JanetSignal sig);
JANET_API JanetSignal janet_pcall(JanetFunction *fun, int32_t argn, const Janet *argv, Janet *out, JanetFiber **f); JANET_API JanetSignal janet_pcall(JanetFunction *fun, int32_t argn, const Janet *argv, Janet *out, JanetFiber **f);
JANET_API JanetSignal janet_step(JanetFiber *fiber, Janet in, Janet *out); JANET_API JanetSignal janet_step(JanetFiber *fiber, Janet in, Janet *out);
JANET_API Janet janet_call(JanetFunction *fun, int32_t argc, const Janet *argv); JANET_API Janet janet_call(JanetFunction *fun, int32_t argc, const Janet *argv);