• Twitterでシェア
  • Facebookでシェア

JavaのTimSortがバグってる件について | さにあらず

テクノロジー カテゴリーの変更を依頼 記事元:blog.satotaichi.info
適切な情報に変更
208users がブックマーク コメント 35
    共有

    • 記事へのコメント35件

    • 注目コメント
    • 新着コメント
    その他
    Dryad
    『この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたことなのですけども』

    その他
    YaSuYuKi
    これか https://github.com/IKEGAMIDaisuke/Blogs/blob/master/20141224-IntroductionToKeYProver/README.md ＞形式手法をサポートするツール

    その他
    terazzo
    形式手法で既存のライブラリの不具合が発見されるの、前もCCS InjectionをCoqで見つけたとかあったし今後も増えそう。

    その他
    t-wada
    "この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたこと" CCS Injection 脆弱性と同じく、形式手法が不具合を検出した例か http://ccsinjection.lepidum.co.jp/blog/2014-06-05/CCS-Injection/index.html

    その他
    tengo1985
    こんな件数をソートすることはあんまりないから影響なさそうだけど怖い。ソースの@authorはJoshua Blochだった気がするけどちがったかな。

    その他
    hush_in
    形式手法すごい

    その他
    naga_sawa
    Arrays#sort が ArrayIndexOutOfBoundsException 出すバグ/もしかしたらぶつかることがあるかもしれないので念のため

    その他
    taku-o
    ｱｲｪｪｪ "Androidは標準のソートアルゴリズムがTimSortです" ／こういう問題に当たった時はどういう対応をすべきなのかな？／"要素数が67108864件以上"なので、そんなにぶち当たらない問題ではある

    その他
    mas-higa
    "この件が本当に面白いのは" kwsk

    その他
    higedice
    ＜Pythonの実装では4096TBという巨大なメモリを使う場合に発生＞＜Javaの実装ではそれ程巨大な要素数を必要としません…64MB程度のメモリでも発生＞

    その他
    mumincacao
    すごい特殊な発動条件とはいえ踏んじゃったらなんでそんなとこで例外飛んでくるのか原因不明で悩みそうだなぁ・・・ （・ω・；【みかん

    その他
    aodifaud09
    「より少ない件数で発生するかもしれません」「Androidは標準のソートアルゴリズムがTimSortです」「Androidの場合ワークアラウンドはありません」駄目やん！やばいやん！どうすんのこれ！もう今日は仕事しない！

    その他
    airj12
    形式手法よくわかんない

    その他
    a2ikm
    "この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたことなのですけども"

    その他
    t-wada
    t-wada "この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたこと" CCS Injection 脆弱性と同じく、形式手法が不具合を検出した例か http://ccsinjection.lepidum.co.jp/blog/2014-06-05/CCS-Injection/index.html

    2015/02/26 リンク

    その他
    tinsep19
    この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたこと

    その他
    tengo1985
    tengo1985 こんな件数をソートすることはあんまりないから影響なさそうだけど怖い。ソースの@authorはJoshua Blochだった気がするけどちがったかな。

    2015/02/26 リンク

    その他
    windish
    67108864個のリストなんて作らないけど、経絡秘孔をついちゃう場合があるのかー。

    その他
    knjname
    "JavaのTimSortがバグってる件について — さにあらず"

    その他
    vanbraam
    "この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたこと"<-面白そう;実装がバグってたのか,アルゴリズム自体に問題があったのか,どっちだろう?<-論文斜め読んだが実装の様だ

    その他
    decoy2004
    『形式手法を用いたツール (KeY) によりソートのバグを発見。』

    その他
    YaSuYuKi
    YaSuYuKi これか https://github.com/IKEGAMIDaisuke/Blogs/blob/master/20141224-IntroductionToKeYProver/README.md ＞形式手法をサポートするツール

    2015/02/26 リンク

    その他
    Nkzn
    67108864個もソートしないから一応大丈夫だけどねえ

    その他
    houyhnhm
    Pythonも影響するの？

    その他
    kiri3
    JavaのTimSortがバグってる件について — さにあらず

    その他
    morita_non
    KeYってなんぞ？

    その他
    miyakawa_taku
    形式手法を用いたツール (KeY) によりソートのバグを発見。

    その他
    yujiorama
    Oracle JDK 1.7.0_75-b13 でも再現するので怖くなってる

    その他
    fa11enprince
    ほげー

    その他
    sona-zip
    形式手法だとモデルさえ正しく作成すれば実運用では見つけづらいエラー系も発見できることがいいよね 言語や基本ライブラリ命の関わるコードでは積極的に採用していくべき Keyは簡単に使える？

    その他
    bobbyjam99
    JavaのTimSortがバグってる件について — さにあらず :

    その他
    raimon49
    java.util.Arrays.useLegacyMergeSort=true

    その他
    Dryad
    Dryad 『この件が本当に面白いのはKeYという形式手法をサポートするツールによってバグが発見されたことなのですけども』

    2015/02/26 リンク

    その他
    hiroshi_revolution
    JavaのTimSortがバグってる件について — さにあらず

    その他
    yamadamn
    JavaのTimSortがバグってる件について — さにあらず

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    JavaのTimSortがバグってる件について | さにあらず

    Python で実装され、その後 Java にも移植されたソートアルゴリズムである TimSort が盛大にバグってい...

    ブックマークしたユーザー

    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2025 Hatena. All Rights Reserved.