llvm dev - Mar 2020 - Efficient Green Thread Context-Switching

The first time you said “setjmp/longjmp intrinsics” I thought it was a typo, and
that you were talking about the C standard library functions. If you’re actually
talking about LLVM intrinsics, are they documented? I don’t see any intrinsics
with those names in the language reference (https://llvm.org/docs/LangRef.html
<https://llvm.org/docs/LangRef.html>).
> On Mar 27, 2020, at 3:30 PM, Joerg Sonnenberger via llvm-dev <llvm-dev
at lists.llvm.org> wrote:
> 
> On Fri, Mar 27, 2020 at 02:58:03PM -0500, Joshua Thomas Wise wrote:
>> Sorry, I certainly didn't mean to be dishonest. I was just
repeating
>> one of the comparisons given by the research paper. Regardless, even
>> setjmp() uses a structure of 148 bytes in size (on my machine).
> 
> Let me repeat. Please take a look at the setjmp/longjmp intrinsics. On
> support architectures they boil down to at most 5 pointers.
> 
> Joerg
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20200327/f016373c/attachment.html>

https://llvm.org/docs/ExceptionHandling.html .

-Eli

From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of Joshua
Thomas Wise via llvm-dev
Sent: Friday, March 27, 2020 1:48 PM
To: Joerg Sonnenberger <joerg at bec.de>
Cc: llvm-dev at lists.llvm.org
Subject: [EXT] Re: [llvm-dev] Efficient Green Thread Context-Switching

The first time you said “setjmp/longjmp intrinsics” I thought it was a typo, and
that you were talking about the C standard library functions. If you’re actually
talking about LLVM intrinsics, are they documented? I don’t see any intrinsics
with those names in the language reference (https://llvm.org/docs/LangRef.html).

On Mar 27, 2020, at 3:30 PM, Joerg Sonnenberger via llvm-dev <llvm-dev at
lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> wrote:

On Fri, Mar 27, 2020 at 02:58:03PM -0500, Joshua Thomas Wise wrote:

Sorry, I certainly didn't mean to be dishonest. I was just repeating
one of the comparisons given by the research paper. Regardless, even
setjmp() uses a structure of 148 bytes in size (on my machine).

Let me repeat. Please take a look at the setjmp/longjmp intrinsics. On
support architectures they boil down to at most 5 pointers.

Joerg
_______________________________________________
LLVM Developers mailing list
llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20200327/4f9fdb46/attachment.html>

Ahhh I see, I wasn’t looking in the right place.

I’ve spent the last few hours experimenting with the setjmp/longjmp intrinsics,
and I don’t think they can achieve the desired result, for two reasons:

	1. While switching stacks, it’s necessary to pass the original stack pointer
(or setjmp pointer) to the longjmp destination, hence why the research paper
suggests using a new calling convention. It doesn’t look like the longjmp
intrinsic allows for passing parameters.
	2. Using setjmp/longjmp requires an extra branch (depending on whether setjmp
returned zero or non-zero), which should not be necessary.
> On Mar 27, 2020, at 5:01 PM, Eli Friedman <efriedma at quicinc.com>
wrote:
> 
> https://llvm.org/docs/ExceptionHandling.html
<https://llvm.org/docs/ExceptionHandling.html> .
>  
> -Eli 
>  
> From: llvm-dev <llvm-dev-bounces at lists.llvm.org> On Behalf Of
Joshua Thomas Wise via llvm-dev
> Sent: Friday, March 27, 2020 1:48 PM
> To: Joerg Sonnenberger <joerg at bec.de>
> Cc: llvm-dev at lists.llvm.org
> Subject: [EXT] Re: [llvm-dev] Efficient Green Thread Context-Switching
>  
> The first time you said “setjmp/longjmp intrinsics” I thought it was a
typo, and that you were talking about the C standard library functions. If
you’re actually talking about LLVM intrinsics, are they documented? I don’t see
any intrinsics with those names in the language reference
(https://llvm.org/docs/LangRef.html <https://llvm.org/docs/LangRef.html>).
>  
> On Mar 27, 2020, at 3:30 PM, Joerg Sonnenberger via llvm-dev <llvm-dev
at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>> wrote:
>  
> On Fri, Mar 27, 2020 at 02:58:03PM -0500, Joshua Thomas Wise wrote:
> 
> Sorry, I certainly didn't mean to be dishonest. I was just repeating
> one of the comparisons given by the research paper. Regardless, even
> setjmp() uses a structure of 148 bytes in size (on my machine).
> 
> Let me repeat. Please take a look at the setjmp/longjmp intrinsics. On
> support architectures they boil down to at most 5 pointers.
> 
> Joerg
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org <mailto:llvm-dev at lists.llvm.org>
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
<https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20200327/62723baa/attachment.html>