Search
微軟在.NET 5的第7預覽版中加入了一個稱為Half的類型，相當於半精度浮點數binary16，也就是使用16位元儲存浮點數值。IEEE 754規範定義了各種浮點數類型，包括binary16、binary32、binary64和binary128，微軟提到，C#中相當於binary32的Float，以及binary64的Double，這兩個是大部分開發人員熟悉的類型，這些標準格式可以讓開發者在應用程式中，選擇適當的類型表達一定範圍的精度數值
https://www.ithome.com.tw/news/139755
📜 [專欄新文章] The next generation Ethereum Virtual Machine — Ewasm VM
✍️ Peter Lai
📥 歡迎投稿： https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
The next generation Ethereum Virtual Machine — Ewasm VM
The next generation Ethereum Virtual Machine — Crosslink 2019 Taiwan
這篇文章是 Crosslink 2019 Taiwan 的一個議程紀錄：The next generation Ethereum Virtual Machine，由來自 Second State 的工程部 VP Hung-Ying Tai 分享 Ewasm VM 目前研究內容及未來的方向，內容非常精彩，包含了 EVM bytecode 、 Webassembly、Ewasm1.0 以及 Ewasm2.0 。
EVM bytecode 及 Webassembly（WASM）
以太坊的智能合約交易在執行時，例如 ：轉 Token 到別的地址，我們是將 EVM bytecode 讀進以太坊的虛擬機執行，而 EVM bytecode 有以下幾點特色：
256 位元且堆疊式（staked-based）的虛擬機
很多高階的指令，例如：SSTORE, SLOAD, SHA3, EC, Call/Create contract
與實體系統架構（通常是 32/64 位元）有差異，而 256 位元則需要靠模擬來完成
較少程式語言（Vyper, Solidity, …）
Webassembly（WASM）是為了讓不同程式語言開發的套件都能在瀏覽器使用的一種二進位程式語言，WASM 有以下幾點特色：
堆疊式（staked-based）的虛擬機：有獨立的區域空間（暫存器或是記憶體），存取堆疊前 3 個物件（EVM 存取 16 個）
支持 32 / 64 位元的操作
沒有高階的指令
RISC 指令集也可以對應到 CPU ISA
較大的社群：主流的瀏覽器都支援，也有較多的程式語言（C++, Rust, GO, …）
Ewasm 1.0
接下來看看以太坊 Ewasm 的特性：
Ewasm 是 wasm 的子集合
因為不能有誤差，所以不支援浮點數運算
只能 import 以太坊的函式庫，避免 importㄒ系統函式庫
在每段指令之前插入 useGAS 來計算 GAS 的花費
Ethereum Environment Interface
EVM 裡有很多像是 SSLOAD, SHA3 的高階指令，這些指令在 Ewasm 1.0 裡，因為 WASM 可以動態讀取函式庫（模組），以太坊定義了 Ethereum Environment Interface 讓客戶端可以用不同的語言實作相對應的函示庫，而且也更容易完成 prototype 跟升級。
下圖是 Ethereum Environment Interface 定義的函數列表。
Ethereum Environment Interface Definition.
如何移除非法的指令？
Ewasm 使用 system contract 移除非法指令以及加入 useGas 的 bytecode，像是浮點數或是非法的 import，有以下兩種做法：
使用 smart contract 檢查合約的 bytecode
像目前的 precompiles 運行在客戶端上，在部署前先檢查合約
下圖是 Ewasm 1.0 的 stack，在部署合約前 Ewasm bytecode 會先經過 Sentinal 的檢查，成功部署後客戶端如果要執行合約會透過 EVM-C 跟 Heru（Wasm Engine）溝通。
Ewasm Stack
效能問題
究竟使用 Ewasm 效能真的會比較快嗎？講者分享各 EVM 執行 Sha1 以及 BN128mul 的結果，可以發現 EVM 在運行 BN128mul 時會是最快，主要是因為 WASM 支持 32 / 64 位元的操作，256 位元則需要另外模擬（1 個 256 位元的運算可以換成 25 個 64 位元的運算），所以 WASM 在跑 BN128mul 時才會比較慢。
Ewasm 2.0
Ewasm 2.0 的智能合約改叫 Execution Environments（EE），與 Ewasm 1.0 不一樣的有下列幾點
EE 全部都是 WASM 寫的
因為支援 cross shard，每個 EE 都是在一個 shard 上執行
EE 只能拿到 state root，而在合約的執行寫法也跟原來不一樣
EE 是 stateless
下圖可以看到 ERC20 Token 在 Ewasm 2.0 跟 Ewasm 1.0 storage 的比較，Ewasm 1.0 每個 data 都會有相對應的 key，而 Ewasm 2.0 只有存 state root，所以只能跟 state root 互動。
Ewasm 2.0 vs Ewasm 1.0
Phase One and Done
目前 Ewasm 2.0 到 phase one and done 的階段，也有測試的網路可以在 shard block 執行 EE，以太坊也有開源 Ewasm 2.0 的測試工具 Scout。
Hello World for Ewasm 2.0
上圖是 Eth 2 的 Hello World EE，可以看到 main 函數裡第一行讀取 pre state root，接下來驗證 block data size 是不是為 0，最後再將 state root 存回去，Eth 2 的智能合約寫起來都會像這樣。
結論
Ewasm 1.0 目前已經支援 EVM 1 大部分的功能也有測試鏈了，second state 開發一個編譯器 soll，能將 solidity 編譯成 Ewasm，想研究的人可以參考看看。
Ewasm 2.0 目前還在研究中，下圖是講者給大家分享的研究及貢獻的方向。
A MAYBE Roadmap
參考
Crosslink 簡報
webassembly.org
scout
soll
Ewasm overview and the precompile problem: Alex Beregszaszi and Casey Detrio @ Ethereum \\ Part 1 — YouTube
Ewasm overview and the precompile problem: Alex Beregszaszi and Casey Detrio @ Ethereum \\ Part 2 — YouTube
Wasm for blockchain&Eth2 execution: Paul Dworzanski,Alex Beregszaszi,Casey Detrio@Ethereum \\ Part 2 — YouTube
Ewasm for sharding
Ewasm updates
Ewasm design
wasm-intro
The next generation Ethereum Virtual Machine — Ewasm VM was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
[業界消息] Google 發佈適合打造「網頁應用」的新語言 -- Dart
Google 發表了一個「網頁應用」的新語言：「Dart」。我到官網（ http://www.dartlang.org/ ）簡單看過了。語法很像 Java，有物件導向成份在裡頭。至於物件導向語言三大要求「封裝、繼承、多型」能夠作到多深入，現下還不得而之。小弟我覺得它最有特色的一點，是「混合『靜態型別』與『動態型別』」這一點。「靜態型別」指的是一般傳統語言，如：C, Java...等，任何變數都需屬於一種型態（如：int, float, double...）。「動態型別」則是如 JavaScript，可以不指定型別給變數。如： var x = 0;，並沒說明 x 是字元？整數？浮點數？還是布林值。據說這麼做是為了更容易整合一些如 JavaScript 的網頁語言程式碼，到正規的程式碼裡面。但...我會心存觀望，這個語言會「流行」嗎？拭目以待囉！
http://www.guao.hk/posts/google-unveils-dart-its-new-programming-language-for-building-web-applications.html
Twitch傳送門： https://www.twitch.tv/otakuarmy2
莫放春秋佳節過；最難風雨故人來，最近感覺台灣人品爆發，全世界的人拿著疫苗都來幫助我們了ㄟ!等等，郭正亮你說不要太天真是怎麼一回事!這世界上難道沒有人性本善這回事嗎?
今日菜單【沒有贊助 花費為:5500元】
精湛好味四彩蝶(四季花螺肉、彩虹海蜇絲、椒鹽排骨、胡麻野菜)
主廚湯品(慢燉野蕈清雞湯)
私廚秘製(極品蜜汁叉燒、乾燒比目魚、海鮮豆腐煲、百合田園時蔬)
鑊氣主食(櫻花蝦臘味菜飯)
今天又到了一周一度，郭正亮與我競爭本周的入獄點數的時刻了!這一次到底是永遠反抗執政黨的男人朱學恒會得勝，還是民進黨內的光頭烏鴉郭正亮會得勝呢?!
多情自古空餘恨，好夢由來最易醒。其實拈花難解脫，可憐飛絮太飄零。
根據聯合報的報導:【美國聯邦參議員譚美、蘇利文及昆斯率領的訪問團於今天上午訪問台灣，預計停留三小時。訪問團一行搭乘一架C-17戰略戰術運輸機從南韓烏山空軍基地起飛，上午7時19分已經抵達松山機場。這是美國會議員首次搭乘美國空軍C-17戰略戰術運輸機飛抵松山機場，也是松山機場首度有美軍的戰略運輸機到訪。美國白宮日前宣布，將釋出2500萬劑新冠疫苗到需要的地區，其中700萬劑疫苗送到亞洲，台灣也在首批配送名單中。這次是否會有防疫物資一同抵台，備受外界矚目。】黨當然立即大內宣說這是台美關係最好的時刻了，連飛來的都是最讚的運輸機!C-17全球霸王III是美軍最新型的運輸機，以載運量來說，貨艙寬度可並列3輛吉普車，2輛卡車或一輛M1A2戰車，也可裝運3架AH-64「阿帕契」武裝直升機。貨艙地板由鋁合金縱梁加強，可以承載55噸重的M1主力戰車，以乘員來說貨艙可以載運102名步兵（傘兵）、36副擔架、54個傷者和醫護人員。整體的載重量可以高達七萬七千五百二十公斤。
但是這次的疫苗沒有跟著來，除了之前國務院經公告的亞太地區七百萬劑的疫苗，這次正式宣布七十五萬劑要給台灣之外，沒有新的事情啊，也沒運送甚麼其他補給來，那美國幹嘛派一台可以載一百人的軍機就載三個國會議員來，是在幹嘛?
香巢乍結鴛鴦社，新句猶書翡翠屏。不為別離腸已斷，淚痕也滿舊衫青。
關於神奇的 #高端 #疫苗 ，最近又有新章節了，節目被關掉的老蔻再度大活躍:【陳培哲表示，應邀擔任在擔任食藥署疫苗審查委員一職時，簽署了保密條款，因此，對於自己是否請辭，他不便發言，應該向食藥署長吳秀美查證，看看她的說法。陳培哲說，為了保持客觀公正，以往食藥署不會對外公布疫苗審查委員名單，但這次為何有人可以拿到名單，還對外爆料，他已經請辭閃人，確實相當奇怪，值得深究背後原因。陳培哲日前受訪時表示，「國產疫苗全採用尚未通過國際核准的蛋白質次單位疫苗，七月絕對不可能通過EUA。」】
這件事情背後的水到底有多深?可以外洩疫苗審查委員會的成員，甚至動用側翼追殺，進一步人格消滅戰，人家陳培哲以前是很挺蔡英文的ㄟ!搞到ptt上有人直接為陳培哲辯解，根據自由時報報導陳培哲很壞的啊!【這位醫界大老同時是國內肝病權威，曾經在2012年支持過蔡英文，曾為基亞肝癌新藥PI-88背書，卻在2016年浩鼎案時，開出打擊時任中研院院長翁啟惠下台的第一槍。】
Ptt網友douge (樹大便是美):【看到抹黑成這樣 我只好出來說一句公道話
謝謝陳院士，因為浩鼎之後三期解盲還真的失敗了 所以現在這些人背刺他是在報仇嗎?
浩鼎報告揭密！ 解盲前就可預期「失敗率高」
自由時報
https://news.ltn.com.tw/news/society/breakingnews/1669966】
自古多遺恨的是我，千金換一笑的是我，是是非非恩恩怨怨都是我
然後今天蘇貞昌又超生氣的了，他說這一定要查辦一定要抓，他媽的太惡質了!於是我們要挑戰離土城看守所最近的一題了!根據聯合報的報導:【網路瘋傳日本外相茂木敏充表示，台灣政府告訴他，7月要施打國產，所以只需要少量應急，就是為何只來124萬劑疫苗的原因。行政院長蘇貞昌說，第一日本外相沒有這樣講，這是惡毒謠言，政府絕對沒有表示124萬劑就夠了，詆毀政府非常不應該，「一定要查辦」。立法院今天舉行院會臨時會，蘇貞昌列席備詢，民進黨立委莊瑞雄質詢時說，這一次的疫情又急又猛，社會上瀰漫人心浮動，政府一直在拚疫情度過難關，但是從昨天看到在台灣各縣市的好朋友一直傳，政府跟各個單位一起努力的時候，這次日本、美國好心相挺，就是有人扯後腿。】
既然這一題這麼接近土城看守所，我又沒有被虐狂，所以我就拿NHK在國會裡面的直播，日本外相茂木敏充六月三日在參議院國防外交委員會接受質詢時的內容，詢問旅日作家，國際顧問陳弘美到底確實內容如何。
陳弘美曾在日本電視公司任職和日本的文化界、政界來往密切、邀請過日本前首相菅直人來台灣兩次、也邀請過現任的疫苗大臣，行政改革擔當大臣、國家公務員制度擔當大臣、內閣府特命擔當大臣河野太郎來過台灣。這樣總算是跟日本關係密切，這樣算是熟日本政界了吧!
等等我知道你要打她可能是中共同路人，抹紅一定要的嘛!可是我查了一下她的家族，她的外公許丙是日本的貴族院議員、安倍晉三現在和台灣關係這麼好、 是許丙先生和安倍的外公岸信介有非常密切的來往、奠定下來的，可以說是戰後奠定日本跟台灣友好關係的鋪路人。好啦你們要抹紅她就請繼續，我也管不了你們。
對了，陳弘美針對這段發言是怎麼說的:【在翻譯上完全不需要打混戰、 有人添油加醋的亂翻譯是刻意要打模糊戰。
日文的特徵就是沒有主詞、 還有是主動還是被動這些都需要有造詣才聽得懂。外相 在動畫上的說法(是被動性的被告知):台灣7月起國內生產體制將相當齊全...
而在朝日新聞的文字版就有明確的主詞、請注意、外相說這段是放在引號內、
『基於 台灣表示、 從7月起國內將...』】
根據日台交流協會的官方粉絲團公布的翻譯資料中，第二天外相茂木敏充又以同樣的立場在記者會中說明了:【日本外務大臣茂木敏充在６月４日例行記者會上發表對台提供疫苗相關事宜: 台灣在去年抑制了疫情擴散，但在最近開始疫情逐漸擴大。台灣預計七月以後疫苗的生產體制將會完備，但現階段面臨疫苗極其短缺的狀況，日本就支援台灣。】這裡的主詞是臺灣了吧!是台灣預計了吧，總不是我外相茂木敏充預計了吧?難道你覺得日台交流協會的日文不好嗎?外交部還甩鍋到外相茂木敏充自己認為咧，誰要罰三百萬?!
根據蘋果日報報導:【外交部也發聲明澄清，日本外相茂木談話，主要為外相認為台灣的現況，預計七月以後疫苗的生產體制將會完備】震撼了吧!竟然台灣可以恩將仇報到說日本的外相認為台灣七月疫苗生產體制可以完備，這怎麼連我都不知道?是不是很想跨海對茂木敏充追討三百萬?
https://www.sankeibiz.jp/macro/news/210604/mca2106041607019-n1.htm 至於甚麼一百萬劑有沒有，是不是假新聞，我又不是蘇貞昌。只能請大家看日本產經新聞報導內文的內容，【与党関係者によると、日本政府にも５月の大型連休明け以降に、台湾側から複数のルートで「１００万回分ほどワクチンが融通できないか」と打診が届いており、水面下での検討が進められていたという。】我日文很差啦，請謝長廷翻一下這一段是甚麼意思好嗎?好嗎?
所以，到底是誰她媽的騙人弄 #假新聞 出來?
阿宅萬事通語錄貼圖上架囉 https://reurl.cc/dV7bmD
【加入YT會員按鈕】 https://reurl.cc/raleRb
【訂閱YT頻道按鈕】 https://reurl.cc/Q3k0g9
購買朱大衣服傳送門： https://shop.lucifer.tw/
喜歡歐美科幻遊戲的玩家，對《幽浮 XCOM》系列應該不陌生，長久以來《XCOM》系列一直以人類對抗外星人入侵的劇情為主軸，讓玩家扮演對抗外星人的最後希望。只不過先前的作品都以戰略遊戲的方式進行，不過在最新作品《XCOM：未知敵人》卻有很不一樣的遊戲體驗，並加入更多動作要素。這次遊戲提供獨特的多人遊戲模式，首度讓玩家在遊戲中與其他玩家展開一對一死鬥。玩家可以選用由士兵或外星人的隊伍，甚至混搭兩種部隊類型的奇幻隊伍，替士兵搭配眾多類型的護具、武器、物品和職業能力，產生數千種可能的裝備組合。這些最多可容納六單位的奇幻部隊，採取了有點數上限的創造方式，可讓玩家率隊投入小規模衝突戰，或是展開精采絕倫的激烈戰鬥喔!!
(C) 2K Games (C) Firaxis Games All Rights Reserved.
粉絲團:http://www.facebook.com/Gamedbfans
休閒平台:http://myfun.gamedb.com.tw
最hot攻略:http://www.gamedb.com.tw/
【 C 語言入門】3.1 - 整數與 浮點數 的算術運算. 52K views · 7 years ago ...more. Feis Studio. 56.2K. Subscribe. 56.2K subscribers. 314. Share. ... <看更多>
【 C 語言入門】2.2 - 浮點數 型別簡介. 81K views · 7 years ago ...more. Feis Studio. 55.2K. Subscribe. 728. Share. Save. Report. Comments • 47. ... <看更多>
浮點數c 在 Re: [問題] 請問c的float和double的資料範圍- 看板Programming 的推薦與評價
※ 引述《cch123 (cch123)》之銘言：
: 看了幾本書和網路資料，說法都不同，
: 請問有標準答案嗎？謝謝
:
:
:
以下我先講 IEEE754 規定
現在的 C/C++ 用的 float/double 大多都跟這個規定走但也不是絕對
====
首先, 所謂的浮點數
骨子裡其實就是二進位、有限有效位數、指數也有限定範圍的科學記號
單精確度有 23+1 位有效位數, 指數限定為 2 的 -126 到 +127 次方
倍精確度有 52+1 位有效位數, 指數限定為 2 的 -1022 到 +1023 次方
加上浮點數有正負, 所以兩端的極限值會是絕對值最大的值
單精確度就是 1.111111...111 * 2^127
轉換成十進位的話, 小數點後面有 23 個 1
所以乘號前面的值是 1 + 2^(-1) + 2^(-2) + ... + 2^(-23) = 2 - 2^(-23)
乘上指數之後就是 2^128 - 2^104 = 340282346638528859811704183484516925440
這就是 3.402823*10^38 的由來; 這個值在 C/C++ 裡可用 FLT_MAX 叫出來
倍精確度類似, 兩端的極限值是
(2 - 2^(-52)) * 2^1023 = 2^1024 - 2^971
= 179769313486231570....184124858368
這就是 1.79769313486232*10^308 這個數, C/C++ 裡叫 DBL_MAX
同樣地, 絕對值最小的非 0 數可以類似地算出來
單精確度是 1.0000...000 * 2^-126
= 1.17549435082228750796873653722224567781866555
67720875215087517062784172594547271728515625 * 10^(-38) (FLT_MIN)
倍精確度是 1.0000...000 * 2^-1022
≒ 2.22507385850720138309023271733240406421921598... * 10^(-308) (DBL_MIN)
這兩個數字有列在第二張圖裡, 這就是它們的來源
====
不過這種表示法造成了一個問題:
當接近這個最小絕對值的數進行運算時
其產生的結果可能因為指數太小放不下直接變成 0
也就是在上面那個最小絕對值以下就直接切成 0 了 (這個叫做 underflow, 下溢)
為了補足這部份的運算精確, 所以定義了 subnormal number
在科學記號的表示法當中, 為了遷就指數的範圍而不使前面數字正規化
以單精確度為例, 強制使指數停在 2^(-126) 次方而不讓前面正規化為 1.xxxx
所以就能出現 0.0000000....0001 * 2^(-126) 這個最小值
轉成十進位就是 2^(-23) * 2^(-126) = 2^(-149)
≒ 1.4012984643248170709237295832899... * 10^-45 (FLT_TRUE_MIN [C11/C++11])
同理倍精確度就是 0.00000....0001 * 2^(-1022)
= 2^(-52) * 2^(-1022) = 2^(-1074)
≒ 4.9406564584124654417656879286822... * 10^-324 (DBL_TRUE_MIN [C11/C++11])
這就是第三張圖裡的範圍來源
====
前兩張圖裡還有列出一個更「大」的 long double
但這個型別實際上是什麼也要看編譯器怎麼定, 標準只說它是 "extened precision"
第一張圖裡它跟 double 根本就一樣大
第二張圖裡它是一個佔 80-bit 的型態, 這個並不在 IEEE754 的規範裡
所以它們的範圍也就是各自說了算
實際上在你用的編譯器裡的範圍是多少可以叫用類似的常數出來
分別是 LDBL_MAX, LDBL_MIN, LDBL_TRUE_MIN 對應上面的三種極限值
那個 80-bit 的型態使用的是 63+1 位有效位數, 指數是 2 的 -16382 到 +16383 次方
你可以用類似的方法去推算極限值是不是符合上面第二張圖的數值
====
這篇因為純講範圍, 所以沒有提到實際上這個範圍是怎麼定的
這跟浮點數的位元實際是怎麼組織的有關
但這些都和原 PO 的問題範圍離的稍微遠一點所以全部略過
--
◢ ˊ_▂▃▄▂_ˋ. ◣ ▅▅ ▅▅ ι●╮ █▄▄▄▄▄
▍./◤_▂▃▄▂_◥ \'▊ ＨＡＲＵＨＩ █████ ＜■┘ ▄▄▄▄▄▄▄
▎⊿ ◤◤◥█◥◥█Δ ＩＳＭ By-gamejye ￠|\ ▌▌▌▌▌▄▌▌
▏ζ(▏●‵◥′●▊)Ψ ▏ █ ⊿Δ ▄▄▄ ▄▄▄▄
█/|▊ 〃 、 〃▋ |\ ▎ ハルヒ主義 █▄▄▄█▄▄
◥◥|◣ ‵′ ◢/'◢◢S.O.S 世界を大いに盛り上げるための涼宮ハルヒの団
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.159.72.196 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Programming/M.1612249105.A.E12.html
※ 編輯: LPH66 (49.159.72.196 臺灣), 02/02/2021 14:59:42
... <看更多>