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.

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

Promote tier 3 *-pc-windows-gnullvm targets to tier 2 #710

Closed
1 of 3 tasks
mati865 opened this issue Dec 30, 2023 · 3 comments
Closed
1 of 3 tasks

Promote tier 3 *-pc-windows-gnullvm targets to tier 2 #710

mati865 opened this issue Dec 30, 2023 · 3 comments
Labels
major-change A proposal to make a major change to rustc major-change-accepted A major change proposal that was accepted T-compiler Add this label so rfcbot knows to poll the compiler team

Comments

@mati865
Copy link
Contributor

mati865 commented Dec 30, 2023

Proposal

Promote aarch64-pc-windows-gnullvm, i686-pc-windows-gnullvm and x86_64-pc-windows-gnullvm targets to tier 2.

AArch64 and x86_64 targets were initially added in rust-lang/rust#94872 and gradually improved in subsequent pull requests. Recently i686 target has been also added in rust-lang/rust#115687, it has been skipped initially because it used to require patched LLVM.

A tier 2 target must have value to people other than its maintainers. (It may still be a niche target, but it must not be exclusively useful for an inherently closed group.)

There are users of MSYS2 and and llvm-mingw projects interested in having Rust targets that work well with LLVM toolchains. I assume more folks would also be interested in open source Windows targets with following features:

A tier 2 target must have a designated team of developers (the "target maintainers") available to consult on target-specific build-breaking issues, or if necessary to develop target-specific language or library implementation details. This team must have at least 2 developers.

The target maintainers should not only fix target-specific issues, but should use any such issue as an opportunity to educate the Rust community about portability to their target, and enhance documentation of the target.

I'm the only maintainer currently but @thomcc have expressed their willingness to step up as the second maintainer if necessary.

The target must not place undue burden on Rust developers not specifically concerned with that target. Rust developers are expected to not gratuitously break a tier 2 target, but are not expected to become experts in every tier 2 target, and are not expected to provide target-specific implementations for every tier 2 target.

These targets are very similar to tier 1 -pc-windows-gnu targets but use slightly different ABI and boast more features. Their maintenance should be very similar, except it's actually easier to obtain a working LLVM based C/C++ toolchain.

The target must provide documentation for the Rust community explaining how to build for the target using cross-compilation, and explaining how to run tests for the target. If at all possible, this documentation should show how to run Rust programs and tests for the target using emulation, to allow anyone to do so. If the target cannot be feasibly emulated, the documentation should explain how to obtain and work with physical hardware, cloud systems, or equivalent.

Cross compilation and testing are explained on the targets page.

The target must document its baseline expectations for the features or versions of CPUs, operating systems, libraries, runtime environments, and similar.

These targets follow the same requirements as other Windows targets with corresponding CPU.

Tier 2 targets must not leave any significant portions of core or the standard library unimplemented or stubbed out, unless they cannot possibly be supported on the target.

It does not differ from tier 1 Windows targets in this regard.

The code generation backend for the target should not have deficiencies that invalidate Rust safety properties, as evaluated by the Rust compiler team. (This requirement does not apply to arbitrary security enhancements or mitigations provided by code generation backends, only to those properties needed to ensure safe Rust code cannot cause undefined behavior or other unsoundness.) If this requirement does not hold, the target must clearly and prominently document any such limitations as part of the target's entry in the target tier list, and ideally also via a failing test in the testsuite. The Rust compiler team must be satisfied with the balance between these limitations and the difficulty of implementing the necessary features.

I'm not aware of such issues, in fact these targets are free from thread local issues that affect tier 1 *-windows-gnu targets: rust-lang/rust#100917

If the target supports C code, and the target has an interoperable calling convention for C code, the Rust target must support that C calling convention for the platform via extern "C". The C calling convention does not need to be the default Rust calling convention for the target, however.

It does not differ from tier 1 Windows targets in this regard.

The target must build reliably in CI, for all components that Rust's CI considers mandatory.

It builds reliably on my PC, it has to be accepted as tier 2 before it can be tested on the CI.

The approving teams may additionally require that a subset of tests pass in CI, such as enough to build a functional "hello world" program, ./x.py test --no-run, or equivalent "smoke tests". In particular, this requirement may apply if the target builds host tools, or if the tests in question provide substantial value via early detection of critical problems.

I don't think Rust's build system allows to run such tests when cross-compiling but it can be tested using nightly with -Z build-std.

Building the target in CI must not take substantially longer than the current slowest target in CI, and should not substantially raise the maintenance burden of the CI infrastructure. This requirement is subjective, to be evaluated by the infrastructure team, and will take the community importance of the target into account.

Building only std should be as fast as for the other targets using dist-various builder. Providing host tools would be a bit faster than dist-mingw builders but I doubt it's justified right now.

Tier 2 targets should, if at all possible, support cross-compiling. Tier 2 targets should not require using the target as the host for builds, even if the target supports host tools.

This is fully supported.

In addition to the legal requirements for all targets (specified in the tier 3 requirements), because a tier 2 target typically involves the Rust project building and supplying various compiled binaries, incorporating the target and redistributing any resulting compiled binaries (e.g. built libraries, host tools if any) must not impose any onerous license requirements on any members of the Rust project, including infrastructure team members and those operating CI systems. This is a subjective requirement, to be evaluated by the approving teams.

They share C library with tier 1 Windows targets and pair it with more liberal LLVM tools.

Tier 2 targets must not impose burden on the authors of pull requests, or other developers in the community, to ensure that tests pass for the target. In particular, do not post comments (automated or manual) on a PR that derail or suggest a block on the PR based on tests failing for the target. Do not send automated messages or notifications (via any medium, including via @) to a PR author or others involved with a PR regarding the PR breaking tests on a tier 2 target, unless they have opted into such messages.

Agreed.

The target maintainers should regularly run the testsuite for the target, and should fix any test failures in a reasonably timely fashion.

Agreed once its accepted and becomes testable without obscure hacks.

All requirements for tier 3 apply.

They are tier 3 targets already.

Mentors or Reviewers

If you have a reviewer or mentor in mind for this work, mention them
here. You can put your own name here if you are planning to mentor the
work.

Process

The main points of the Major Change Process are as follows:

  • File an issue describing the proposal.
  • A compiler team member or contributor who is knowledgeable in the area can second by writing @rustbot second.
    • Finding a "second" suffices for internal changes. If however, you are proposing a new public-facing feature, such as a -C flag, then full team check-off is required.
    • Compiler team members can initiate a check-off via @rfcbot fcp merge on either the MCP or the PR.
  • Once an MCP is seconded, the Final Comment Period begins. If no objections are raised after 10 days, the MCP is considered approved.

You can read more about Major Change Proposals on forge.

Comments

This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.

@mati865 mati865 added major-change A proposal to make a major change to rustc T-compiler Add this label so rfcbot knows to poll the compiler team labels Dec 30, 2023
@rustbot
Copy link
Collaborator

rustbot commented Dec 30, 2023

This issue is not meant to be used for technical discussion. There is a Zulip stream for that. Use this issue to leave procedural comments, such as volunteering to review, indicating that you second the proposal (or third, etc), or raising a concern that you would like to be addressed.

Concerns or objections to the proposal should be discussed on Zulip and formally registered here by adding a comment with the following syntax:

@rustbot concern reason-for-concern 
<description of the concern> 

Concerns can be lifted with:

@rustbot resolve reason-for-concern 

See documentation at https://forge.rust-lang.org

cc @rust-lang/compiler @rust-lang/compiler-contributors

@rustbot rustbot added the to-announce Announce this issue on triage meeting label Dec 30, 2023
@davidtwco
Copy link
Member

@rustbot second

@rustbot rustbot added the final-comment-period The FCP has started, most (if not all) team members are in agreement label Jan 3, 2024
@apiraino apiraino removed the to-announce Announce this issue on triage meeting label Jan 5, 2024
Andarwinux referenced this issue in curl/curl-for-win Jan 13, 2024
While this would be an interesting alternative in theory and the project
is active, related curl activity seems low and my recent attempt failed
hard when trying to (cross-)build it. This may have been entirely my own
fault/ignorance, and I did see similar happen with other Rust projects,
I don't see any reasonable way out. Short of having the stamina and free
time to spend weeks or months to crack it, for now I delete any plans to
use rustls with curl-for-win builds. Focusing instead on switching to
either LibreSSL or BoringSSL.
@apiraino
Copy link
Contributor

@rustbot label -final-comment-period +major-change-accepted

@rustbot rustbot added major-change-accepted A major change proposal that was accepted to-announce Announce this issue on triage meeting and removed final-comment-period The FCP has started, most (if not all) team members are in agreement labels Feb 13, 2024
@apiraino apiraino removed the to-announce Announce this issue on triage meeting label Feb 15, 2024
bors added a commit to rust-lang-ci/rust that referenced this issue Apr 20, 2024
…llvm, r=Mark-Simulacrum

Provide prebuilt std for gnullvm targets

Revival of rust-lang#114346 which waiting on MCP that was accepted recently: rust-lang/compiler-team#710 (comment)
github-actions bot pushed a commit to rust-lang/miri that referenced this issue Apr 23, 2024
…ark-Simulacrum

Provide prebuilt std for gnullvm targets

Revival of rust-lang/rust#114346 which waiting on MCP that was accepted recently: rust-lang/compiler-team#710 (comment)
RalfJung pushed a commit to RalfJung/rust-analyzer that referenced this issue Apr 27, 2024
…ark-Simulacrum

Provide prebuilt std for gnullvm targets

Revival of rust-lang/rust#114346 which waiting on MCP that was accepted recently: rust-lang/compiler-team#710 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
major-change A proposal to make a major change to rustc major-change-accepted A major change proposal that was accepted T-compiler Add this label so rfcbot knows to poll the compiler team
Projects
None yet
Development

No branches or pull requests

4 participants