はてなキーワード: カーネルとは
世界の主人は自分自身なのだから 何が 要る要らないも無い 好きに生きたらええやん 勿論、他人の生命財産に害をなさない範囲でだけど
「人間の本質はあらかじめ決められておらず、実存が先行した存在である。だからこそ、人間は自ら世界を意味づけ行為を選び取り、自分自身で意味を生み出さなければならない」
「人間はだれしも自分のおかれた状況に条件づけられ、拘束されているが、同時にあくまでも自由な存在である。したがって、どんな局面においても人はその状況の限界内で自由に行動を選択しなければならないし、自由に選択した以上は自分の行動に責任を負わねばならない。」
例えばマルクスは、疎外という言葉を、外的条件によって自分の主人でなくなること、事物の奴隷になることの意味に使っている。
マルクスでは、資本主義制度の下での労働です。初期のサルトルはごらんのとおり、「まなざし」なのです。
したがって、マルクスの場合は疎外の克服のためには社会変革が必要となるのですが、
初期のサルトルの場合は、意識の変革、意識の努力が求められる。
それにしてもサルトルはなぜまなざしを向けられることを他有化と考えるのか。
考えの筋道はこうです。
私はまなざしを世界に向けることによって世界の意味を構成し、所有していた。
ところが他人のまなざしが出現すると、今度は他人が私の世界を構成し、所有し、私の世界は盗まれる。
そればかりか、他人が私にまなざしを向けると、私についての評価が相手に委ねられ、自分が自分のものではなくなってしまう、と。
私がこうした他有化を蒙(こうむ)るのは当然のことです。
そこでサルトルはこれを「自由の受難」と呼び、「人間の条件」と考えている。
??「知らないことを知っていると思い込んでいる人々よりは、知らないことを知らないと自覚している自分の方が賢く、知恵の上で少しばかり優っている」
ワイトも紀元前から受け継がれる “コイツら暇なのかな?” の精神を支持します
Hacker NewsはマイクロソフトのインターンEdge開発者がGoogleがYouTubeで他社製ブラウザの速度を妨害するような細工をしていたと告発。67ブクマを集める。今日GIGAZINEが日本語記事を書いていてそっちも盛況。
https://news.ycombinator.com/item?id=18697824
A Style-Based Generator Architecture for Generative Adversarial Networks に5ブクマ。ブクマした人は興奮していらっしゃる様子。
http://b.hatena.ne.jp/entry/s/arxiv.org/abs/1812.04948
[1812.03651] Serverless Computing: One Step Forward, Two Steps Back に7ブクマ。
PhoronixはLinuxカーネル開発者がインテルの32bitアーキテクチャx32のサポートを止めるか続けるか議論しているという記事に3ブクマ。
NMEはベストアルバムオブザイヤー2018に4ブクマ。100アルバムを紹介。The 1975のアルバムが1位。
https://www.nme.com/blogs/nme-blogs/best-greatest-albums-of-the-year-2018-2419656
WIREDは国際アムネスティにトロール・パトロールというプロジェクトがあって、そこの報告書の紹介に2ブクマ。Twitteは女性を攻撃したり脅したり嫌がらせしたりに我慢を強いられる場所になっていて女性にとっては害毒だという。増田民必読?な記事。
https://www.wired.com/story/amnesty-report-twitter-abuse-women/
WindowsからデスクトップLinuxの移行して問題が発生しないような人は
そもそもiOSやAndroidで十分だし、そっちの方が簡単でエコシステムも十分に成熟してるから。
どうしてもPCというフォームファクターに固執するにしてもChromeOSでいい。
くだらない手間暇掛けてデスクトップLinux選択する理由はサポートスタッフの学習コストぐらいか?にしても、よほどのことが無きゃ運用コストが割に合わない。
セキュリティアップデートの数なんてWindowsの比じゃないぐらいあるし、必要最低限のパッチ選定のコストが馬鹿にならんからアップデート全部あてる、って雑な運用になりがち。
カーネルがLinuxベースなんでAndroidはコンシューマー向けLinuxってことにしてデスクトップLinuxの普及なんか忘れた方がいいよ
Peopleはタランティーノ監督が歌手のダニエラ・ピックさんと結婚式を行ったという記事に3ブクマ。
Natureは福島県の原発事故が影響する地域にいた野生のニホンザルの血液調査に4ブクマ
IEEE SpectrumはMetal-Air Transistorの記事に2ブクマ。日本語ではGIGAZINEで紹介されているみたいだ。
Quantamagazineは2016年に書かれたファインマン・ダイアグラムの凄さを解説した記事に4ブクマ。
The VergeはTumblrがアダルトコンテンツをブロックする予定だという記事に4ブクマ。
TechCrunchはFlutter UIツールキットがバージョン1.0をリリースしたという記事に9ブクマ。
PhoronixはLinuxカーネル4.19で原因不明のEXT4ファイルシステム破損が起きるという記事に2ブクマ。ファイルシステムのコードではなくBLK-MQまわりが怪しのではないかと見られはじめたみたい。
PhoronixはLinuxカーネル4.20がSpectre v2対策のSTIBPで遅くなったというベンチマーク結果。あと、Wineが4.0のリリースに向けたスケジュールを発表。そろそろコードがフリーズされる。
arXivは例によって難解。 http://b.hatena.ne.jp/entry/s/arxiv.org/abs/1811.03962 に22ブクマ集まる
Ars Technica、ワシントンD.Cは法律をgithubで公開していて、そのミスタイプを実際に訂正した話?(違うかも)。"How I changed the law with a GitHub pull request"
DefenceNewsは日本が中朝の脅威の前で自国の防衛産業を維持するか、海外の既成品を買ってお得に高い能力を得るかの岐路に立たされているという話。
大坂なおみの優勝で、ラケットが市販の物というので、かっこいいなって思った。
エースパイロットでもカラーリングだけ違うけど量産機乗ってるみたいなキャラがいい。
昔、BackTrackというペネトレーション特化型のLinuxディストリビューションがあったでしょ
ワナビーは憧れてた人が多かったんよ
なんか中二心をくすぐる雑誌とかで紹介されたりしてさ。
で、痛い話なんだけど
BackTrackっていう名前はかっこいい名前のまま憧れててさ
そのワナビーコミュニティの中では、時代はkaliみたいな雰囲気になってたんだけど(皆ちゃんと使いこなせてないけど)
「俺は使いやすいからあえて古いBackTrack使ってっから」って言ったりしてさ
完全のあれよね。古いシステムだけど技でそれを補う的なストーリーを演出してたよね。
実際はリポジトリも閉じちゃってバージョンアップできないし、カーネルのバージョンも何年も前のやつで止まってるのよね
でもそんな実際的な不具合は使いこなせてないからわかんないわけよ。
ぶっちゃけOpenSSLとか古いまんまだから、当時の新し目の暗号スイート使えないしさ。他にもブラウザも古いしさ。
ペネトレーションテストするOSがペネトレイタブルな状態ってすごい恥ずかしいよね。
まあ、当時はそんなのもわかるはずもなく、間違ったかっこいい演出しちゃたけど、あれは笑われてたなと思うよ。
はじかしぃ
俺のパソコンはArchLinux、嫁のパソコンにはopenSUSE、娘のパソコンにはUbuntuがインストールされている。
今まで娘に質問されなかったのでWindows OSの詳細を話したことがなかった。
娘にとって学校でよく使うWindowsはLinuxディストーションのうちの1つくらいの認識でしかなく、カスタマイズしたらWindowsになると思っていた。
娘はデスクトップ環境を知っている。
GnomeとKDEとXfceくらいしか知らないけど、デスクトップ環境を切り替えると操作性が大きく変わることを知っていた。
だからExplorerを知っているのかは定かでないが、Explorerに切り替えれば学校のパソコンと同じになると思っていた。
娘が言うのだ「お父さんCLIP STUDIO PAINT買ってよ」と。
「HAHAHA!娘よLinuxには素晴らしいGIMPやInkscape、KritaやAzPainter、MyPaintかあるじゃないか!」
「なにそのキモい喋り方。いや漫画かきたいし友達がクリスタ良いよって言ってた。フォトショは良いや高いらしいし、見てたらGIMPでだいたい出来そうだしさ」
「あ〜・・・お友達がかぁ・・・娘よ・・・クリスタはWindowsじゃないとまともに動かないんだ・・・」
「Windowsにしたら良くない?」
「違うんだ・・・LinuxとWindowsは全くの別物だ。根底(カーネル)から違う。iPhoneと娘ちゃんのパソコンくらい違う・・・iPhoneアプリは動かないじゃん?」
「うん何ていうかパソコンの中身のUbuntuを丸ごと消してWindowsを上書きしたらクリスタ使えるみたいな」
「設定とか全部無くなるってこと?」
「うんWindowsで似たような設定を再現できるだろうけど全く同じにはならないな。WindowsにGnomeのDashとかそもそも無いからね。いや今のWindowsはDashっぽいのは出てくるかな・・・」
「面倒くさッ!なんでそんな風になってるの!?」
「そもそもお母さんと一緒になった時点で我が家にWindowsは無かった。お母さんWebブラウザだけ使えれば良い人だからLinuxでも全く問題なくて、openSUSEはカメレオンかわいいって理由で使ってるからな?w」
「え〜直ぐWindowsにできないのぉ?」
「明日買ってくりゃ明日からは使えると思うけど・・・う〜ん・・・我が家にWindowsかぁ・・・管理が面倒くさいなぁ」
「とりあえず買ってきてよ気に入らなければLinuxに戻す」
「おまっ・・・高いんだぞWindowsってクリスタよりも・・・誕生日プレゼントなしになるレベルの価格だ」
「ゴメンちょっと考えさせて」
集計期間 2018年3月23日 20時10分 〜 2018年3月27日 1時0分、3日間(77時間)
集計対象は2018年3月23日 20時10分以降ファーストブクマされたエントリーで新着エントリーに入ったエントリーに限った
最大到達ブックマーク数 | タイトル | ドメイン | 新着リスト滞留時間(時間) | 新着リスト最終時間 | ファーストブクマ時間 | |
---|---|---|---|---|---|---|
1 | 174 | ActiveRecordデータ処理アンチパターン / active-record-anti-patterns // Speaker Deck | speakerdeck.com | 30 | 2018-03-27 01:00 | 2018-03-25 18:25 |
2 | 136 | 「技術チュートリアルをnoteで売る」っていう社会実験をしてみた結果、めっちゃくちゃ可能性を感じた話|Review of My Life | review-of-my-life.blogspot.com | 29 | 2018-03-27 01:00 | 2018-03-25 19:57 |
3 | 113 | 私服OKのIT企業でそこそこにちゃんとした格好をする方法 - ミネムラ珈琲ブログ | www.minemura-coffee.com | 43 | 2018-03-26 11:50 | 2018-03-24 16:20 |
4 | 90 | 発表資料: Elasticsearchによる 全文検索の実装 - Islands in the byte stream | gfx.hatenablog.com | 42 | 2018-03-26 12:00 | 2018-03-24 17:10 |
5 | 90 | 正しく失敗しながら進むプロダクト開発/railsdm2018 // Speaker Deck | speakerdeck.com | 33 | 2018-03-27 01:00 | 2018-03-25 15:52 |
6 | 86 | Rails Developers Meetup 2018 で「MySQL/InnoDB の裏側」を発表しました - あらびき日記 | abicky.net | 34 | 2018-03-27 01:00 | 2018-03-25 14:46 |
7 | 78 | 90%が間違えてる!?転職エージェントの選び方と効果的に使いこなす徹底マニュアル | career-rules.com | 45 | 2018-03-26 08:00 | 2018-03-24 11:00 |
8 | 77 | 厳選7種のチャートパターンを活用したFXのエントリー方法【事例付き】 | mugen-fx.com | 14 | 2018-03-27 01:00 | 2018-03-26 11:00 |
9 | 76 | suikahara漫画 : ★専門学校 | blog.livedoor.jp | 14 | 2018-03-27 01:00 | 2018-03-26 10:37 |
10 | 74 | 『ウルティマ オンライン』MMORPGの元祖がもたらした、多数の発明とは? “ロード・ブリティッシュ”らが明かす開発秘話【GDC 2018】 - ファミ通.com | www.famitsu.com | 43 | 2018-03-26 17:40 | 2018-03-24 21:43 |
11 | 70 | 小泉進次郎氏「平成政治史に残る大事件」森友文書改ざん:朝日新聞デジタル | www.asahi.com | 30 | 2018-03-27 01:00 | 2018-03-25 18:27 |
12 | 66 | 『うる星やつら』同窓会 実は杉山佳寿子はラム役を狙っていた? - otoCoto | otocoto.jp | 24 | 2018-03-27 01:00 | 2018-03-26 00:35 |
13 | 66 | Linuxカーネルソースの減量 // Speaker Deck | speakerdeck.com | 44 | 2018-03-26 11:50 | 2018-03-24 15:42 |
14 | 64 | Realworld Domain Model on Rails // Speaker Deck | speakerdeck.com | 32 | 2018-03-27 01:00 | 2018-03-25 16:02 |
15 | 64 | Microservices Maturity Model on Rails // Speaker Deck | speakerdeck.com | 42 | 2018-03-26 13:40 | 2018-03-24 19:25 |
16 | 63 | 僕が毎月「妻の布ナプキン」で手を血に染める理由(鈴木 大介) | 現代ビジネス | 講談社(1/4) | gendai.ismedia.jp | 46 | 2018-03-26 12:00 | 2018-03-24 13:31 |
17 | 63 | 牧野由依はなぜ復帰作で“声”をテーマにしたのか 本人が明かす、歌手活動休止の真相と次の一歩 - Real Sound|リアルサウンド | realsound.jp | 46 | 2018-03-26 09:00 | 2018-03-24 10:05 |
18 | 62 | 「デス様じゃねーか」「オーキド博士いるぞ!」 「ポプテピピック」最終回さまざまな意見が寄せられる - ねとらぼ | nlab.itmedia.co.jp | 33 | 2018-03-27 01:00 | 2018-03-25 15:58 |
19 | 61 | 子どもの能力遺伝子検査を受けてみたよ!ともちんの意外な能力は!? - ともちんブログ | www.tomochinchin.com | 15 | 2018-03-27 01:00 | 2018-03-26 09:09 |
20 | 60 | バス因子が自分で バス因子を脱するための方法 // Speaker Deck | speakerdeck.com | 32 | 2018-03-27 01:00 | 2018-03-25 16:01 |
21 | 56 | ノンデザイナーのためのコンセプト & ロゴ作り実践講座 feat. savanna.io // Speaker Deck | speakerdeck.com | 44 | 2018-03-26 10:00 | 2018-03-24 13:34 |
22 | 54 | インターネットでどうやってお金を稼ぐの?家で出来ちゃう「最近の副業」を16選まとめてみた。 | kanemotilevel.com | 35 | 2018-03-26 21:20 | 2018-03-25 10:10 |
23 | 54 | 米銃器老舗レミントン経営破たん、トランプ政権下で財務悪化 写真1枚 国際ニュース:AFPBB News | www.afpbb.com | 7 | 2018-03-27 01:00 | 2018-03-26 17:15 |
24 | 54 | これからGolang開発を行うRubyistたちへ - Qiita | qiita.com | 55 | 2018-03-26 11:20 | 2018-03-24 03:39 |
25 | 53 | 個人のためのコードレビューサービスを開発しました。 - Qiita | qiita.com | 14 | 2018-03-27 01:00 | 2018-03-26 10:13 |
26 | 53 | 昭恵氏の影響「総理しか説明できない」 小泉進次郎氏:朝日新聞デジタル | www.asahi.com | 43 | 2018-03-26 11:50 | 2018-03-24 16:25 |
27 | 53 | これ一本でフルカラーの描写が可能に!「CMYKペン」 | ギズモード・ジャパン | www.gizmodo.jp | 46 | 2018-03-26 05:50 | 2018-03-24 07:45 |
28 | 52 | ソーシャルメディアを「タダ」で使うコスト|松井博|note | note.mu | 43 | 2018-03-26 12:30 | 2018-03-24 17:07 |
27日1時以降にホットエントリー入りした可能性は残っている。ただし新着エントリーに24時間以上いてからホットエントリーに上がれるケースは稀。
3ブックマーク集めても新着エントリーに入れなかったエントリーもあるはずだが、それは集計の対象外になっている。
ホットエントリーになれないエントリーはスライド共有サービスSpeaker Deckからのエントリーが目立つ。Speaker Deck以外でもテック系のエントリーが目立つ。
カトラークラスのエンジニアが数十人、数十年かけて磨き上げた Linux カーネルにかなうわけねーだろ。
もはやFreeBSDは人手不足で、Meltdown, Spectre にも満足に対応できない有様。
カーネルがごちゃごちゃしてたのは v3 初期までで、その後、徹底的な抽象化・#ifdefによる機能の分離化、CPU依存の排除をしたおかげで、configでオプションを最小化したら恐ろしいまでに小さいサイズのカーネルになる上に、オレオレCPUへの移植もそれほど大変でなくなった。LLVMのSSAなどの技術をBPFが取り込んだおかげで、カーネル内のモニタリングも perf関係からの置き換えの目処がたったら、そのあたりの余計なコードも削ぎ落とせる夢がある。
おかげでconfigオプションが数千にもなってしまったが、ディストリビューションも多様化してくれたお陰で、自分の用途に合わせたカーネルの選択に困ることもあまりない。WindowsやMacでも Linux システムコールラッパがほぼ完全に動くようになり、「Write Once, Run Anywhere」をVMを介さないで実現する POSIX以来の夢がいま正に実現しようとしている。
最近大騒ぎになっているIntelなどのCPUレベルの脆弱性、MeltdownとSpectreについてメモ。最初はキャッシュ内のデータを読み取るのかと勘違いしていたのでその点を中心に。
・CPUによってアクセスが制限されているはずのカーネル領域データへのアクセスがアウト・オブ・オーダー実行(OoO)で動作してしまうことがある(Meltdown)
・OSによってアクセスが制限されているはずの別プロセスのユーザー領域データへのアクセスが投機的実行で動作してしまうことがある(Spectre)
ただし
・OoOや投機的実行でアクセスが制限されている領域へのアクセスが行われても、ソフトウェアがアクセス可能なレジスタやメインメモリ上の値は、OoOも投機的実行もないCPUと変わらない。MeltdownとSpectreでこの原理が破れたわけではない。
・キャッシュにはアクセスできない領域のデータが入っているかもしれないが、ソフトウェアから「L1キャッシュのn番目のデータを読む」といった操作はできないし、実のところMeltdownとSpectreではキャッシュにどんな値が入っているかは関係ない。
そこで、OoOや投機的実行でアクセスが制限されている領域へのアクセスが行われている間に、次のような処理が走るようにする。
a = *kptr; /* kptrはアクセスが制限されている領域へのポインタ */
b = array[a<<12]; /* 配列arrayは自プロセスの領域。12ビット左シフトはハードウェアプリフェッチャによる先読みの影響を防ぐため。 */
参考:
hiuchidaさん 「MeltdownとSpectreの違いについて分かったこと」
https://qiita.com/hiuchida/items/2248b379197a5052029e
品川高廣さんのツイート
https://twitter.com/utshina2/status/948809945327157253
配列arrayは自プロセスの領域内なので後から問題なくアクセス可能。変数nをカウントアップしながらarray[n<<12]のアクセス時間を順次計測すると、array[(*kptr)<<12]はキャッシュに残っているのでアクセス時間が早い。これによって*kptrの値が推定できる。
つまり、キャッシュに入っている値そのものではなく、あるアドレスがキャッシュされているか否かという形でOoOや投機的実行中の一時的な値を記憶させてしまう。