Displaying 7 results from an estimated 7 matches for "polyinstantiation".
Did you mean:
polyinstantiating
2008 Mar 26
4
[LLVMdev] Hooking the global symbol resolver
Okay, we're starting to dig in, and I've hit a question that will no
doubt seem strange.
Context: BitC is a polymorphic language. Since it has unboxed value
types, our approach to compiling a polymorphic function is to
polyinstantate it -- once for each signature.
The name mangling scheme is both stable and reversible. At the site of
the use occurrence, we can fully determine the mangled
2008 Mar 27
0
[LLVMdev] Hooking the global symbol resolver
Hi Jonathan,
In the context of a static compiler, I would recommend that you
implement your own “on the side” symbol table in order to track this
state and perform on-demand instantiation as required. It is
worthwhile to consider the LLVM module to be a passive output sink,
not an active object.
The JIT compiler, by contrast, is an active object, cooperating with
its environment via
2008 Mar 27
2
[LLVMdev] Hooking the global symbol resolver
On Thu, 2008-03-27 at 07:44 -0400, Gordon Henriksen wrote:
> In the context of a static compiler, I would recommend that you
> implement your own “on the side” symbol table in order to track this
> state and perform on-demand instantiation as required. It is
> worthwhile to consider the LLVM module to be a passive output sink,
> not an active object.
I think I understand what you
2023 Dec 07
3
[Bug 3641] New: Improved SELinux support for openssh
...-7.8p1-role-mls.patch
Proper handling of MLS systems and basis for other SELinux
improvements
* openssh-6.6p1-privsep-selinux.patch
Properly set contexts during privilege separation
* openssh-6.6p1-keycat.patch
Add ssh-keycat command to allow retrival of authorized_keys
on MLS setups with polyinstantiation
* openssh-6.6.1p1-selinux-contexts.patch
Additional changes to set the proper context during privilege
separation
* openssh-7.6p1-cleanup-selinux.patch
Various changes and putting the pieces together
I would like to get these changes upstream. SELinux is now pretty
common on Linux systems an...
2008 Mar 27
0
[LLVMdev] Hooking the global symbol resolver
"Jonathan S. Shapiro" <shap at eros-os.com> writes:
[snip]
> if (!(sym = llvm_resolve_global(GlobalScope, symName)))
> some_failure_action();
>
> it would now look something like:
>
> sym = llvm_resolve_global(GlobalScope, symName);
> if (!sym && frontend_has_symbol_generator
> && frontend_generate_symbol(symname))
>
2008 Mar 06
0
[ANNOUNCE] xorg-server 1.4.99.901
...clients.
Remove COMPOSITE ifdefs around WindowRec bitfield as it has no ABI effect.
XACE: Make the default window background state configurable per-window.
security: Register resource names in the server-side name registry.
xselinux: Rip out the selection code in advance of polyinstantiation support.
xselinux: Stub out selection protocol requests.
XACE: Require "manage" permission for XKBSetNames.
xselinux: Don't throw BadAccess if DixUnknownAccess is passed in to a hook.
xselinux: Prefix a few remaining error messages with "SELinux"....
2020 Oct 21
6
"Semi-Trusted" SSH-Keys that also require PAM login
Hello all,
in order to connect to my SSH servers from untrusted devices like company computers or my smartphone, I set up 2FA with
google-authenticator hooked into PAM.
However, this is not really 2FA at least for the smartphone, since I use the same device for generating the TANs and it
is also at least inconvenient to always require a new TAN for each connection. I do not want to solely rely