Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Create an API for hosting the Rust runtime #1793

Closed
brson opened this issue Feb 9, 2012 · 8 comments
Closed

Create an API for hosting the Rust runtime #1793

brson opened this issue Feb 9, 2012 · 8 comments
Labels
A-runtime Area: std's runtime and "pre-main" init for handling backtraces, unwinds, stack overflows

Comments

@brson
Copy link
Contributor

brson commented Feb 9, 2012

It would be nice to have a C API for starting the rust runtime and dynamically injecting schedulers, tasks, etc.

Should really try to get rid of global variables to allow multiple runtimes to be started simultaneously.

Depends on #458, maybe #1682.
@brson
Copy link
Contributor Author

brson commented Feb 16, 2012

Interest was expressed in this for purposes of presenting an API for embedding servo.

@ghost ghost assigned brson Apr 12, 2012
@brson
Copy link
Contributor Author

brson commented Nov 22, 2012

This came up again. Specifically we need to embed Rust in Java.

@brson brson mentioned this issue Jan 9, 2013
Closed
@pcwalton
Copy link
Contributor

I don't believe this is backwards incompatible, renominating.

@graydon
Copy link
Contributor

graydon commented May 30, 2013

just a bug, removing milestone/nomination.

@pnkfelix
Copy link
Member

visited for bug triage 17 jul 2013.

@pnkfelix
Copy link
Member

visited for bug triage, email from 2013 sep 09. no change otherwise.

@alexcrichton
Copy link
Member

We are getting very close to this, but we are not quite there just yet. A working "hello world" case can be found here

@tomaka tomaka mentioned this issue Aug 6, 2014
Closed
@thestinger
Copy link
Contributor

Closing in favour of #11921.

celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval
Remove Kani temp files from book upload (rust-lang#1793)
4ae03e3 
When Kani crashes or timeout, it leaves behind all the temporary files.
While running the bookrunner, that can happen because of some
instability or timeout. Thus, we need to manually delete these files for
now to avoid uploading them as part of the bookrunner artifacts.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-runtime Area: std's runtime and "pre-main" init for handling backtraces, unwinds, stack overflows
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@graydon @alexcrichton @brson @pcwalton @pnkfelix @thestinger