Início / user-811335

A. K.'s questions

Martin Hope
A. K.
Asked: 2025-01-14 01:50:38 +0800 CST
  • 7

Existe uma maneira de apenas construir e não executar testes usando cargo? Quando eu executo, cargo buildele não constrói os alvos de teste e cargo testcomeça a executar os testes também.

O motivo pelo qual eu quero apenas construir os testes é porque estou depurando um teste sob um depurador. Então eu só quero editar+construir em um terminal diferente e executar novamente aquele alvo de teste de dentro da sessão do depurador.

rust
Martin Hope
A. K.
Asked: 2024-11-14 06:36:43 +0800 CST
  • 5

Aqui está um exemplo motivador

void foo(int *A, int *B, int *N) {
  for (int k = 0; k < *N; k++)
    A[k] += B[k];
}

O compilador não pode vetorizar esse loop porque ele assume que A e N são alias. Adicionar a a restrictN habilita a vetorização. por exemplo, https://godbolt.org/z/joMrhEM8K

void foo(int *A, int *B, int *__restrict N) {
    for (int k = 0; k < *N; k++)
        A[k] += B[k];
}

gera

.LBB0_9:
        ldp     q0, q3, [x11, #-16]
        subs    x12, x12, #8
        ldp     q1, q2, [x10, #-16]
        add     x10, x10, #32
        add     v0.4s, v0.4s, v1.4s
        add     v1.4s, v3.4s, v2.4s
        stp     q0, q1, [x11, #-16]
        add     x11, x11, #32
        b.ne    .LBB0_9

O que é bom. Mas eu quero criar um restrictponteiro ed de N e não modificar a declaração da função. por exemplo, algo como

void foo(int *A, int *B, int *N) {
    int *__restrict p = N;
    for (int k = 0; k < *p; k++)
        A[k] += B[k];
}

Mas isso não funciona. Existe alguma maneira de conseguir isso?

O motivo pelo qual eu gostaria de conseguir isso é porque então eu posso 'versionar' o código sem adicionar __restrict na declaração. Como:

// Returns true if X, Y don't alias.
bool no_alias(int* X, int *Y);

void foo(int *A, int *B, int *N) {
    if (no_alias(A,N)) { // assuming I have a way to figure out that A and N don't alias at runtime.
      int *__restrict p = N;
      for (int k = 0; k < *p; k++)
        A[k] += B[k];
    } else {
      for (int k = 0; k < *p; k++)
          A[k] += B[k];
    }
}
c++
Martin Hope
A. K.
Asked: 2024-10-13 03:32:58 +0800 CST
  • 5

Como posso alinhar membro de struct a um limite específico. Uma motivação seria desabilitar o compartilhamento falso.

Considere este exemplo:

use std::sync::atomic::AtomicBool;
pub struct Foo {
    id: String,
    read: AtomicBool,
    #[repr(align(64))]
    write: AtomicBool
}

error[E0517]: attribute should be applied to a struct, enum, function, associated function, or union
 --> src/lib.rs:5:12
  |
5 |     #[repr(align(64))]
  |            ^^^^^^^^^
6 |     write: AtomicBool
  |     ----------------- not a struct, enum, function, associated function, or union

For more information about this error, try `rustc --explain E0517`.
rust