TIER IV Computing System Workshop 2023 参加する前に安全(102)

Last updated at 2024-07-28Posted at 2023-03-12

TIER IV Computing System Workshop 2023
https://tier4.connpass.com/event/277564/

上記に受講URLがあります。

日時：2023年3月13日(月) 13:30～18:30頃まで

目安時間	内容	登壇者
13:30-	ご挨拶	加藤真平 (TIER IV、東京大学准教授)
13:35-	プログラム説明	高野祐輝 (TIER IV、大阪大学招聘准教授)
13:40-	seL4チュートリアル	高野祐輝 (TIER IV、大阪大学招聘准教授)
14:20-	Autowareにおけるリソース競合の定量化	石川貴大 (TIER IV)
15:00-	UPPAALによるAutowareの形式検証	神戸隆太 (TIER IV)
15:40-	Break Time
16:00-	優先度駆動型チェーン考慮スケジューラのAutowareへの適用評価	矢野篤志 (埼玉大学、EMB IV)
16:20-	気合で動かすオペレーティングシステム -xv6の動作から学ぶRISC-V 特権命令-	村上太一 (東京大学、TIER IV)
17:00-	プログラム実行に潜むべき乗則について	佐々木広 (東京工業大学准教授、TIER IV)
17:40-	Application Specific SIMT による電力効率と開発コストの両立	塩谷亮太 (東京大学准教授、TIER IV)
18:20-	ご挨拶	石川裕 (国立情報学研究所教授、TIER IV)

※アジェンダや登壇者は変更になる可能性がございます

<この項は書きかけです。順次追記します。>

登壇者

必ずしも代表的な資料を掲載しているとは限りません。　
朝、目についたものを拾い読みしました。
関係ないものについては、ご指摘くださると幸いです。

加藤真平 Shinpei Kato

個人的な事前感想　
2015年「Autoware」の開発の考え方のお話をお聞きしたことがあります。
OSを専門としているからこそ自動運転に対してソフトウェアができることを提示されていて、ソフトウェア技術者にはすごく分かりやすかった。大事な本質の一つが分かると、他に何を考えばよいかが分かるのが嬉しい。

高野祐輝　Yuuki Takano

高野祐輝「Zeroから学ぶRust」講談社（単著）
https://amzn.to/3DXDroT

高野祐輝「並行プログラミング入門」オライリー・ジャパン（単著）
https://amzn.to/3wMgYoZ

石川貴大

理学部情報科学科システムプログラミング実験 TA
ベアメタルプログラミング演習として, ミニマムなOSを自作する内容のカリキュラムと教材, 実験環境を一から新たに作りました. さらに, 作成した教材を使用してオンライン授業と生徒への個人指導, 採点業務を行いました.
https://github.com/sykwer/utokyo_syspro_baremetal

NEDO: 完全自動運転に向けたシステムオンチップとソフトウェアプラットフォームの研究開発
https://www.pf.is.s.u-tokyo.ac.jp/ja/projects-ja/dom-ja/

RAPLET: Demystifying Publish/Subscribe Latency for ROS Applications
https://ieeexplore.ieee.org/abstract/document/9545285?casa_token=I9T8kZOM2GsAAAAA:suj4pGVjsoUVSAwmNc9Fl1e8ingpw7uRtUefu1blUpdFjK3FRawh27e2Gg35reL7uw54T57V6A

神戸隆太

https://www.wantedly.com/id/veqcc
https://qiita.com/veqcc
https://qiita.com/veqcc/items/a7115601958b02fdfd80
https://qiita.com/veqcc/items/ed9eee9106da77dd824f
https://qiita.com/veqcc/items/ea162b2d5aa03890f70f
https://qiita.com/veqcc/items/3867d4c317fc054d41bf
https://qiita.com/veqcc/items/4d9bfbfa4987eb32fefd
https://qiita.com/veqcc/items/d46761f29cbd5eebdd45

矢野篤志

Atsushi Yano and Takuya Azumi, “Work In Progress: Reinforcement Learning-based DAG Scheduling Algorithm in Clustered Many-Core Platform,” WiP session of the 42th IEEE Real-Time Systems Symposium (RTSS 2021), online, 2021.

Atsushi Yano, Shingo Igarashi, and Takuya Azumi, “Contention-Free Scheduling Algorithm Using LET Paradigm for Clustered Many-core Processor” In Proceedings of the 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2021), Valencia, Spain, Sep. 2021.

村上太一

http://intl.civil.t.u-tokyo.ac.jp/murakami-taichi/
https://github.com/harihitode

佐々木広

[MICRO'19] Practical Byte-Granular Memory Blacklisting using Califorms.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-micro19.pdf

IEEE Micro Top Picks Honorable Mention

[IISWC'17] Why Do Programs Have Heavy Tails?
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-iiswc17.pdf

[PACT'13] Coordinated Power-Performance Optimization in Manycores.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-pact13.pdf

IEEE Computer Society Japan Chapter Young Author Award 2013

[PACT'12] Scalability-Based Manycore Partitioning.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-pact12.pdf

塩谷亮太

第34回回路とシステムワークショップ招待講演「RISC-V の特徴と研究・開発への利用」(2021)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/slides/Shioya-KWS'21.pdf

電子情報通信学会 2015年総合大会チュートリアル
若手による高性能コンピュータシステムの最新動向解説「プロセッサ・アーキテクチャ研究の最新動向」(2015)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/slides/Shioya-IEICE'15.pptx

Susumu Mashimo, Akifumi Fujita, Reoma Matsuo, Seiya Akaki, Akifumi Fukuda, Toru Koizumi, Junichiro Kadomoto, Hidetsugu Irie, Masahiro Goshima, Koji Inoue, and Ryota Shioya:
An Open Source FPGA-Optimized Out-of-Order RISC-V Soft Processor,
IEEE International Conference on Field-Programmable Technology (FPT), pp. 63—71 (2019). (Best Paper Candidate)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Mashimo-FPT'19.pdf

Hidetsugu Irie, Toru Koizumi, Akifumi Fukuda, Seiya Akaki, Satoshi Nakae, Yutaro Bessho, Ryota Shioya, Takahiro Notsu, Katsuhiro Yoda, Teruo Ishihara, and Shuichi Sakai:
STRAIGHT: Hazardless Processor Architecture without Register Renaming,
IEEE/ACM International Symposium on Microarchitecture (MICRO 51), pp. 121—133 (2018).
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Irie-MICRO'18.pdf

Ryota Shioya, Masahiro Goshima, and Hideki Ando:
A Front-end Execution Architecture for High Energy Efficiency,
IEEE/ACM International Symposium on Microarchitecture (MICRO 47), pp. 419—431 (2014).
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Shioya-MICRO'14.pdf

Ryota Shioya, Kazuo Horio, Masahiro Goshima, and Shuichi Sakai:
Register Cache System not for Latency Reduction Purpose,
IEEE/ACM International Symposium on Microarchitecture (MICRO 43), pp. 301—312 (2010). (IEEE Computer Society Japan Chapter Young Author Award)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Shioya-MICRO'10.pdf

石川裕

https://www.nii.ac.jp/faculty/architecture/ishikawa_yutaka/
https://researchmap.jp/yutaka_ishikawa

On the Difference between Shared Memory and Shared Address Space in HPC Communication
Atsushi Hori, Kaiming Ouyang, Balazs Gerofi, Yutaka Ishikawa
Supercomputing Asia 2022 2022年3月
https://dl.acm.org/doi/abs/10.1007/978-3-031-10419-0_5

Pattern-based Prefetching with Adaptive Cache Management Inside of Solid-State Drives
Jun Li, Xiaofei Xu, Zhigang Cai, Jianwei Liao, Kenli Li, Balazs Gerofi, Yutaka Ishikawa
ACM Transactions on Storage 2022年2月
https://dl.acm.org/doi/10.1145/3474393

Communication-Computation Overlapping for Preconditioned Parallel Iterative Solvers with Dynamic Loop Scheduling.
Kengo Nakajima, Balazs Gerofi, Masashi Horikoshi, Yutaka Ishikawa
HPC Asia Workshops 60-71 2022年1月
https://ieeexplore.ieee.org/document/8026087

Exploring Communication-Computation Overlap in Parallel Iterative Solvers on Manycore CPUs using Asynchronous Progress Control.
Masashi Horikoshi, Balazs Gerofi, Yutaka Ishikawa, Kengo Nakajima
HPC Asia Workshops 29-39 2022年1月

組織

TIER IV

EMB IV

東京大学

大阪大学

埼玉大学

東京工業大学

国立情報学研究所

技術

必ずしも今回の講演と直接関係がある資料だけではありません。
ネットで該当する語をどう使っているかの予習です。

Autoware

リソース競合の定量化

優先度駆動型チェーン考慮スケジューラ

べき乗則

Application Specific SIMT

seL4

UPPAAL

形式検証

JAXA/IPA クリティカルソフトウェアワークショップ WOCS言語関連発表(改定版)
https://qiita.com/kaizen_nagoya/items/4789832baf494cb74626
https://www.ipa.go.jp/files/000005327.pdf
https://www.jstage.jst.go.jp/article/jssstconference/21/0/21_0_8/_pdf/-char/ja

RISC-V

参考資料　

TIER IV Computing System Workshop 2023　参加記録
https://qiita.com/kaizen_nagoya/items/f14540edcd3187193f54

自己資料

Autosar Countdown Calendar 2022
https://qiita.com/advent-calendar/2022/autosar

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

ver. 0.01 初稿　20230313 #tieriv_meetup

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up

TIER IV Computing System Workshop 2023 参加する前に安全(102)

登壇者

加藤真平 Shinpei Kato

高野祐輝　Yuuki Takano

石川貴大

神戸隆太

矢野篤志

村上太一

佐々木広

塩谷亮太

石川裕

組織

TIER IV

EMB IV

東京大学

大阪大学

埼玉大学

東京工業大学

国立情報学研究所

技術

Autoware

リソース競合の定量化

優先度駆動型チェーン考慮スケジューラ

べき乗則

Application Specific SIMT

seL4

UPPAAL

形式検証

RISC-V

参考資料

自己資料

関連資料

Engineering Festa 2024前に必読記事一覧

自己記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

TIER IV Computing System Workshop 2023 参加する前に 安全(102)

登壇者

加藤 真平 Shinpei Kato

高野 祐輝 Yuuki Takano

石川 貴大

神戸 隆太

矢野 篤志

村上 太一

佐々木 広

塩谷 亮太

石川 裕

組織

TIER IV

EMB IV

東京大学

大阪大学

埼玉大学

東京工業大学

国立情報学研究所

技術

Autoware

リソース競合の定量化

優先度駆動型チェーン考慮スケジューラ

べき乗則

Application Specific SIMT

seL4

UPPAAL

形式検証

RISC-V

参考資料

自己資料

関連資料

Engineering Festa 2024前に必読記事一覧

自己記事一覧

文書履歴(document history)

最後までおよみいただきありがとうございました。

Thank you very much for reading to the last sentence.

TIER IV Computing System Workshop 2023 参加する前に安全(102)

加藤真平 Shinpei Kato

高野祐輝　Yuuki Takano

石川貴大

神戸隆太

矢野篤志

村上太一

佐々木広

塩谷亮太

石川裕

参考資料　