You are viewing a plain text version of this content. The canonical link for it is here.
Posted to jira@arrow.apache.org by "Andy Grove (Jira)" <ji...@apache.org> on 2020/12/19 15:45:00 UTC

[jira] [Updated] (ARROW-10981) [Rust] Document use of unsafe in remaining files

     [ https://issues.apache.org/jira/browse/ARROW-10981?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Andy Grove updated ARROW-10981:
-------------------------------
    Description: 
There are ~11 uses of unsafe in the following files and we should document them according to the guidelines in the Arrow crate README
{code:java}
 ./arrow/src/bytes.rs:5
 ./arrow/src/arch/avx512.rs:4
 ./arrow/src/bitmap.rs:1
 ./arrow/src/zz_memory_check.rs:1 {code}
{code:java}
// JUSTIFICATION
//  Benefit
//      Describe the benefit of using unsafe. E.g.
//      "30% performance degradation if the safe counterpart is used, see bench X."
//  Soundness
//      Describe why the code remains sound (according to the definition of rust's unsafe code guidelines). E.g.
//      "We bounded check these values at initialization and the array is immutable."
let ... = unsafe { ... }; 

{code}
 

  was:
./arrow/src/bytes.rs:5
./arrow/src/arch/avx512.rs:4
./arrow/src/bitmap.rs:1
./arrow/src/zz_memory_check.rs:1


> [Rust] Document use of unsafe in remaining files
> ------------------------------------------------
>
>                 Key: ARROW-10981
>                 URL: https://issues.apache.org/jira/browse/ARROW-10981
>             Project: Apache Arrow
>          Issue Type: Sub-task
>          Components: Rust
>            Reporter: Andy Grove
>            Priority: Major
>             Fix For: 3.0.0
>
>
> There are ~11 uses of unsafe in the following files and we should document them according to the guidelines in the Arrow crate README
> {code:java}
>  ./arrow/src/bytes.rs:5
>  ./arrow/src/arch/avx512.rs:4
>  ./arrow/src/bitmap.rs:1
>  ./arrow/src/zz_memory_check.rs:1 {code}
> {code:java}
> // JUSTIFICATION
> //  Benefit
> //      Describe the benefit of using unsafe. E.g.
> //      "30% performance degradation if the safe counterpart is used, see bench X."
> //  Soundness
> //      Describe why the code remains sound (according to the definition of rust's unsafe code guidelines). E.g.
> //      "We bounded check these values at initialization and the array is immutable."
> let ... = unsafe { ... }; 
> {code}
>  



--
This message was sent by Atlassian Jira
(v8.3.4#803005)