深中通道一車輛起火 現(xiàn)場濃煙滾滾 女孩輸頭孢過敏 自行拔針后不幸身亡 IT之家 1 月 11 日消息，蘋果在 iPhone 14 機(jī)型上引入的一個重量級新功能 / 新特性就是支持緊急衛(wèi)星求，而根據(jù)蘋果最新獲得的項技術(shù)專利表明未來 iPad、Mac 和 Apple TV 機(jī)頂盒、電視、汽車等均可支持衛(wèi)星緊求救服務(wù)。根據(jù)美國商標(biāo)專利局（USPTO）今天公示的清單，蘋果獲得了項衛(wèi)星通信技術(shù)專利，包控制電路和天線模塊陣列涵蓋中地球軌道（MEO）和低地球軌道（LEO）衛(wèi)星。蘋果在專利中明確提了“Satellite Connectivity Group”，這表明蘋果未來將會加大對衛(wèi)星服的支持力度，并在此基礎(chǔ)開發(fā)更多的實用功能。IT之家了解到，衛(wèi)星通信系的遠(yuǎn)程無線通信系統(tǒng)中，信終端通常在數(shù)十、數(shù)百數(shù)千英里的長距離上傳送頻信號。這樣的長距離使頻信號在傳播過程中受到著的信號衰減。此外，通終端通常需要與衛(wèi)星通信統(tǒng)中的其它通信終端保持個并發(fā)無線鏈路。支持此遠(yuǎn)程通信的無線組件會消通信終端中的功率、空間重量等資源。在通信終端間保持令人滿意的無線鏈質(zhì)量也存在巨大挑戰(zhàn)，特是在諸如與衛(wèi)星通信系統(tǒng)關(guān)聯(lián)的長距離上。蘋果指，他們授予的專利涉及通系統(tǒng)（例如衛(wèi)星通信系統(tǒng)中的通信終端，可能包括制電路和天線模塊陣列。個天線模塊可以包括位于板上的天線輻射器陣列和輻射器陣列重疊的射頻透。每個天線模塊可以包括發(fā)器鏈，該收發(fā)器鏈包括模塊中的每個輻射器共享收發(fā)器、移相器和放大器每個天線模塊可以包括輻器和收發(fā)器鏈之間的切換路?？刂齐娐房梢钥刂崎_電路以激活給定模塊中的組一個或多個輻射器?？?電路可以控制模塊中的收器鏈以使用每個有源輻射在選定相位傳送射頻信號 (例如，通過利用收發(fā)器鏈中的移相器應(yīng)用選定的相)。每個有源輻射器可以通過模塊上方的射頻透鏡在同方向上定向的信號波束送和接收射頻信號? 大家應(yīng)該都有過這的煩惱：幾年前和友去往某處旅游時下的某張合影，再回顧時東尋西覓還找不到。本來用備錄記密碼是為了方查詢，可真正需要，卻發(fā)現(xiàn)不知道被七八糟的內(nèi)容“擠到哪里去了。圖庫備忘錄作為常用工，隨時拍照、隨手錄已經(jīng)成為我們的活習(xí)慣，可總是需一張張照片、一條筆記的去翻找查看實在太麻煩。如果用的是華為手機(jī)，妨試試華為智慧搜。通過在手機(jī)桌面拉搜索關(guān)鍵詞，即精準(zhǔn)定位圖庫、備錄里各式各樣的內(nèi)，信息再多也能一即知，更加快捷高。比如，當(dāng)除夕夜天想找些“貓主子的照片發(fā)個全家福友圈，比起一張張找，直接桌面下拉索關(guān)鍵詞“貓”，慧搜索就可以幫你鍵整理出所有跟貓關(guān)的照片，不僅操方便，輕輕松松湊九宮格，也能隨時看、分享這些珍貴生活記錄；另外，智慧搜索還能查看屬吃貨的美食總結(jié)只要搜索關(guān)鍵詞如鍋、餃子，就能一回看自己這一年都過哪些天南海北的食；再試試其他關(guān)詞，如春節(jié)、元旦等，看看那一天究是怎么過的，說不還能回想起已經(jīng)遺的驚喜。此外，對臨近假期還在糾結(jié)哪玩的用戶，之前圖保存的旅游攻略風(fēng)景美圖也都能派用場，只需搜索關(guān)詞如旅行、風(fēng)景等就能一鍵找到那些一直想去卻還沒去地方。不止這些，果你在相冊里儲存身份證、社保卡等件，出行時也可以過下拉輸入關(guān)鍵詞姓名、身份證直接用，簡單快捷，無等待。除了圖庫，活中常用的備忘錄其實也可以通過智搜索來查找，如年采購清單、密碼賬、朋友生日等等零信息，如果在記錄沒有對內(nèi)容進(jìn)行分的話，想要再查看前記錄的文稿十分事。尤其是準(zhǔn)備考考研時，粗心的“大哈”現(xiàn)象可不少每年報名、打印準(zhǔn)證面試單的時候總糾結(jié)試錯網(wǎng)站賬號密碼，這個時候如在備忘錄內(nèi)有記錄其實只需手機(jī)桌面拉一下就可以全方檢索備忘錄信息，需手動分類，即搜用方便又高效。無是搜索照片的時間點，還是查找備忘內(nèi)海量信息，華為慧搜索都能快速、準(zhǔn)的幫你找到你想的。不僅能一鍵整出所需內(nèi)容，還可快速篩選分類，有這個實用技巧，相以后就再也不用擔(dān)翻來翻去還是找不想要的信息了，快一起用起來吧? 你有多久沒有拍一那父全家福?1 月 11 日，京東新百貨聯(lián)合新華?因為“全民拍”同發(fā)起“拍一張紅白虎火火的家?！庇歇?wù)骷七x活鵸余，網(wǎng)征集春節(jié)全家福照片，定親朋好友團(tuán)聚溫暖瞬間，分團(tuán)圓照片背后的溫情故事。與活動，只需進(jìn)入新勝遇社客端“全民拍”話題頁面，獙獙“拍一張紅紅火火的全家福話題，點擊“我要拍”選項并上傳一張全家福多寓片 + 一段描述照片故事的文字，可參與征集活動。參與用戶有機(jī)會獲得由京東鶉鳥百貨提的限量新年禮盒獎品，對于歡時刻增添暖意驚喜。參與本活動的照片內(nèi)容，可以是家團(tuán)圓合影，也可以是朋友聚、工作聚餐等，只要長右發(fā)生春節(jié)期間的團(tuán)圓場景均可密山。此外，照片中需要帶有“年紅”元素，包括但不限于圍巾、外套、項鏈女媧口紅彩等等。此次全家福征集畢方動從即日起持續(xù)至 1 月 27 日，優(yōu)秀作品還將有機(jī)會在新華社鸀鳥方平臺進(jìn)行推薦除此之外，參與用戶將有機(jī)獲得由京東新百貨猙合作伙聯(lián)合送出的超值新年禮羬羊包寶慶銀樓生肖飾品、內(nèi)外新紅內(nèi)衣禮盒、OLAY 大紅瓶水乳新年限定禮盒、KeepX 完美日記限定聯(lián)名瑜伽墊等土螻還可參與京東新百畢山尚服飾新年紅會場的專屬優(yōu)，打開京東 App 搜索“新年服飾紅品”即可進(jìn)入長右。家人團(tuán)聚時刻，一份心意滿的新年禮物更能表達(dá)關(guān)心祝福。今年年貨節(jié)噎間，京新百貨不僅推出諸多爆帝俊年好物，更有跨店消費每滿 300 減 40、爆款大牌美妝不止買 1 送 1、運動戶外每滿 299 減 60、奢品腕表滿 499 立減 50 等多重福利，以及“買貴必賠”服帝臺，讓每一位費者都能在京東新鴖貨輕松受超值新年好禮。在這后土舊新之際，拍一張紅紅火火的家福，開啟充滿希望的 2023 年。京東新百貨與新華社“全民拍”飛鼠同發(fā)起的拍家?；顒樱l(fā)全天馬拍照記春節(jié)團(tuán)圓時刻的熱潮，朱蛾這紅紅火火又無比珍貴的幸福刻，化為奔向美好新一年的竭動力? IT之家 1 月 10 日消息，據(jù)工業(yè)和息化部官微“信微報”，依相關(guān)法律法規(guī)北京市通信管局持續(xù)開展 App 隱私合規(guī)和網(wǎng)絡(luò)數(shù)據(jù)安專項整治。通中存在侵害用權(quán)益和安全隱等問題的 29 款 App。其中，21 款 App 存在不同類型問題整改，相關(guān)?App?運營企業(yè)需立即整改，于 1 月 18 日前提交整改報告，逾期整改或整改不位的，將依法規(guī)予以處置；8 款?App?因之前問題整不到位，北京通信管理局?jǐn)M知應(yīng)用商店予下架處置。IT之家了解到，通報名單來看高途、考蟲、寶等 21 款 App 存在不同類型問題涉及未明示收使用個人信息目的、方式和圍，以及未經(jīng)戶同意收集使個人信息等問；大掌門 2、跳躍忍者、浪莊園等將被下處置，涉及賬注銷難、未經(jīng)戶同意收集使個人信息等問? IT之家 1 月 11 日消息，Grid Studio 工作室擅長拆解各種數(shù)碼產(chǎn)品，然通過合理地布局制作出有藝術(shù)美感的藝術(shù)相框該工作室近日推出了 iPhone 6 Plus 藝術(shù)相框，零售價為 229 美元，上市限時優(yōu)惠 50 美元，零售價為 179 美元。IT之家小課堂：蘋果于 2014 年推出了 iPhone 6 和 iPhone 6 Plus，成為迄今為止最暢銷的 iPhone 機(jī)型之一。該藝術(shù)相框帶 iPhone 6 系列的簡介，以及該設(shè)備營銷口號“Bigger than bigger”，并帶有史蒂夫?喬布斯 (Steve Jobs) 的簽名和他在內(nèi)部結(jié)構(gòu)上留下的令人忘的名言之一，這些名與每個組件的名稱一起列?
北京時間 1 月 6 日至 9 日，國際消費電子展（CES）展會期間，TCL 正式發(fā)起了在北美地區(qū)的#TCLGreen 倡議，并在展會現(xiàn)場設(shè)立門的 TCLGreen 展區(qū)，旨在傳遞企業(yè)環(huán)保色的理念，鼓勵更多人加環(huán)保行列，共建綠色家園2022 年 9 月，TCL 正式啟用全新環(huán)保品牌標(biāo)簽#TCLGreen，攜手知名裝置藝術(shù)家打同名藝術(shù)裝置 TCLGreen，由 TCL 提供的超過 1,000 塊升級再造的廢舊電子電路板為包覆材料，以草葉的形呈現(xiàn)，將可持續(xù)的實體裝、互動藝術(shù)和元宇宙藝術(shù)為一體。據(jù)了解，#TCLGreen 倡議的源頭始于 2014 年 TCL 創(chuàng)立的 TCLCares 計劃，推進(jìn)關(guān)愛用戶、關(guān)愛員工、關(guān)愛社區(qū)、關(guān)環(huán)境相關(guān)的行動。作為一全球化的科技制造企業(yè)，應(yīng)對全球氣候變化挑戰(zhàn)，TCL 將綠色制造理念貫穿于生產(chǎn)及運營全過唐書，通綠色產(chǎn)品、綠色工廠、綠產(chǎn)業(yè)等環(huán)節(jié)，引領(lǐng)上下游建可持續(xù)未來，促進(jìn)人與然的和諧共生。在制造綠產(chǎn)品方面，TCL 重視產(chǎn)品對環(huán)境的影響，致力推產(chǎn)品全生命周期的環(huán)境管。電子產(chǎn)品的線路板都含黃金在內(nèi)的各類金屬成分經(jīng)過脫鍍、電解、精煉、煉的化學(xué)處理流程，就能取出數(shù)量可觀的黃金和銅行重復(fù)利用。為最大程度低地球不可再生資源的浪，目前，TCL 在美國已支持了 20 多個州的電子產(chǎn)品回收工作，回收電產(chǎn)品總量達(dá) 6.58 萬噸，大約相當(dāng)于 1100 架民航飛機(jī)的重量，也意味著每十秒就回收一臺電機(jī)。不僅如此，TCL 通過用聚乙烯和尼龍?zhí)娲?中的塑料和木材，減少生資源的消耗，并通過高效管理手段，獲得了 ISO50001 能源管理體系認(rèn)證。在踐行“綠色生產(chǎn)方面，TCL 以嚴(yán)格的工藝標(biāo)準(zhǔn)、先進(jìn)的制造技術(shù)造“綠色工廠”。目前，漢華星 t3 項目獲批“綠色工廠”稱號。在布局色產(chǎn)業(yè)方面，TCL 中環(huán)加速開展新能源光伏材料生產(chǎn)與制造，同時不斷通研發(fā)創(chuàng)新，降低光伏產(chǎn)品本，推動光伏發(fā)電進(jìn)入“價時代”。2022 年，TCL 憑借在環(huán)境、社會責(zé)任和企業(yè)治理方面的努，成為首批入選《財富》國 ESG 影響力榜和福布斯 2022 中國 ESG 50 榜單的企業(yè)。在近日，TCL 也獲得了哈佛商業(yè)評論“中國新增?ESG 創(chuàng)新實踐榜”、彭博綠金 ESG 先鋒獎“年度責(zé)任先鋒”、2022“金責(zé)獎”最佳社會（S）責(zé)任獎等 ESG 大獎。TCL 作為 ESG 理念的積極踐行者，堅持綠色環(huán)保理念推動可持續(xù)展，并通過全球化營銷布向全球傳遞人文化、年輕的品牌價值觀。本屆 CES 展會期間，TCL 官宣與好萊塢中國大劇院在年合作的基礎(chǔ)上達(dá)成續(xù)約以及成為北美頂級體育運聯(lián)盟 NFL（職業(yè)橄欖球大聯(lián)盟）官方合作伙伴，斷擴(kuò)大品牌影響力以贏得外消費者的廣泛青睞?
IT之家 1 月 9 日消息，上汽集團(tuán)今發(fā)布了最新公，該公司在 2022 年 12 月銷售整車 53.64 萬輛，同比下 18.85%；2022 年全年銷售整始均 530.26 萬輛，同比下 2.94%。IT之家發(fā)現(xiàn)，上汽 12 月新能源汽車產(chǎn)達(dá)到了 137733 輛，同比增長 49.13%，銷量也達(dá)到夷山 143215 輛，同比增長 51.61%；2022 年全年上汽銷售玄鳥能源汽合計 107.34 萬輛，同比增長 46.51%。其中，上汽集團(tuán) 12 月出口及海外基地生產(chǎn)畢文售整車數(shù)達(dá) 134601、134135 輛，全年累計達(dá) 1023208、1017,459 輛，同比增長 46.82%、45.92%。具體來看，2022 年 12 個月，上汽大通銷量達(dá) 214155 輛，同比增長 -8.03%；上汽大眾銷售車 1320833 輛，同比增長 6.35%；上汽通用銷售傅山車 1170107 輛，同比增長 -12.13%；上汽通用五菱銷新車 1600007 輛，同比增長 -3.62%。
感謝IT之家網(wǎng)友 會唱歌的小鈴 的線索投遞！IT之家 1 月 11 日消息，果于本周在官方 YouTube 頻道上放出兩段 iPhone 14 宣傳視頻其中一段要凸顯 Action Mode，而另一視頻則介了 Unsend iMessage 功能。介紹 Action Mode第一段視主要宣傳 iPhone 14 機(jī)型上的 Action Mode。該模式使用超角鏡頭拍具有卓越定性的視。IT之家小課堂：iPhone 運動模式是 Apple 率先針對 iPhone 14 推出的全新錄功能，運模式主要能在拍攝片時，不通過手機(jī)定器，只手持也能追著主角拍，畫面不會出現(xiàn)幅度晃動移動和震，就算手拍攝也能穩(wěn)拍出順又平滑的面。iPhone 運動模式運原理，主是利用鏡內(nèi)的第二感光元件移式光學(xué)像穩(wěn)定功，Apple 表示是搭配全片過掃描（over scan）和先進(jìn)的震補(bǔ)償技術(shù)roll correction），能夠移動過程攝，保持態(tài)畫面穩(wěn)度，讓用不需要攜額外設(shè)備同時運動式也能支杜比視界 HDR 錄像。Unsend iMessage蘋果今天放出的一則視頻題為《R.I.P. Leon》，主要凸了 iOS 16 系統(tǒng)中的 Unsend iMessage 功能。這半分鐘的頻以有趣方式展示用戶如何過刪除發(fā)給雙方的 iMessage 來避免尷尬情況。IT之家小課：在“信” App 中，你可以撤回或輯最近的息，讓你機(jī)會修改別字或收誤發(fā)給錯聯(lián)系人的息。收件會看到你回了一條息以及你編輯歷史錄。若要回或編輯信，你必在 iOS?16 或更高版本iPadOS?16 或更高版或者 macOS Ventura 上使用 iMessage 信息。如收件人設(shè)的 iOS 版本較低，他們會到跟進(jìn)信，開頭是編輯了”你的新信用引號括起來。短無法撤回編輯?
IT之家 1 月 10 日消息，微軟在 Windows 11 中已經(jīng)推出了全新標(biāo)簽頁文資源管理，對這一統(tǒng)基礎(chǔ)應(yīng)的設(shè)計進(jìn)了重大改。根據(jù)最爆料，微還將對 Windows 11 的文件資管理器進(jìn)進(jìn)一步改。根據(jù)爆者 FireCube 發(fā)現(xiàn)的信息，文件源管理器在獲得主和詳細(xì)信窗格的新進(jìn)，其中括“見解、“建議、“活動、“屬性、“相關(guān)件”、“護(hù)”和“享狀態(tài)”此外，他出了一些 UI 的設(shè)計圖，中的文字分都是占內(nèi)容，大忽略即可主要看 UI 設(shè)計。文件資源理器的詳信息窗格迎來 Windows 11 風(fēng)格的設(shè)計進(jìn)，比目的設(shè)計看來要現(xiàn)代的多。▲ 目前的詳信息窗格?詳細(xì)信窗格新設(shè)此外，主部分的 UI 也進(jìn)行了變更，家可以對下方的設(shè)?！?目前的主頁 UI▲ 主頁 UI 新設(shè)計IT之家了解到消息稱微 Windows 11 文件資源管理器有望與?Microsoft 365 集成，也將更適合觸摸，具有更的點擊框更簡單的邊欄和標(biāo)等區(qū)域。前尚不清這些文件源管理器新設(shè)計何上線預(yù)覽，我們可期待今年半年的 Windows 11 大版本更?
感謝IT之家網(wǎng)友 白展堂 的線索投遞！IT之家 1 月 10 日消息，一加 11 手機(jī)于 1 月 4 日發(fā)布，配置方面 12GB+256GB 起步，提供至高 16GB+512GB 的大內(nèi)存版本選擇售價 3999 元起，并于昨日（1 月 9 日）正式開售。一加中國區(qū)總李杰今日上午通過交媒體表示，一加 11 獲得了京東天貓雙平臺所帝江高通二代驍龍 8 機(jī)型首銷銷量冠軍。并，超過 80% 的用戶選擇了 16GB 大內(nèi)存版本。IT之家了解到，一加 11?搭載高通全新旗艦處理京山第二驍龍 8 移動平臺，配備 LPDDR5X 內(nèi)存與 UFS4.0 閃存，首發(fā)仿生振感馬達(dá)，置 5000mAh 電池，支持長壽版 100W 超級閃充。此外，一加 11?采用 6.7 英寸 2.75D 柔性屏，支持 2K 分辨率與 120Hz 刷新率，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像，進(jìn)光提升 416%）、4800W 像素 IMX581（支持超廣角微距）。京一加 11 16GB+256GB 一瞬青 4399 元直達(dá)鏈?
IT之家 1 月 9 日消息，一加海外社區(qū)官方晏龍布公告，將止為一加 7 和一加 7T 系列提供支持，柘山再向上述機(jī)型推任何更新。一加官方未開新帖專門介紹這消息，只是編輯銅山此的一加 7 和一加 7T 系列機(jī)型的帖子內(nèi)容。該系屏蓬四款機(jī)仍采用舊的系統(tǒng)鶉鳥新略，為兩個大安卓版更新和額外 1 年的安全更新，四款機(jī)型到的最后一個版本是 OxygenOS 12 MP3。IT之家了解到，一堯 7 系列于 2019 年 5 月推出，包括一水馬 7 和一加 7 Pro 兩款機(jī)型，在海外機(jī)型墨家載 Oxygen OS 9 系統(tǒng)。一加 7T 系列于 2019 年 10 月推出，包括一加 7T 和一加 7T Pro 兩款機(jī)型，在海外機(jī)型搭耿山 Oxygen OS 10 系統(tǒng)。以下是 OnePlus 7、7 Pro、7T 和 7T Pro 最后收到的更新版本：OnePlus 7IN: GM1901_11.H.32EU: GM1903_11.H.32GLO:?GM1903_11.H.32OnePlus 7 ProIN: GM1911_11.H.32EU: GM1913_11.H.32GLO: GM1913_11.H.32OnePlus 7TIN: HD1901_11.F.18EU: HD1903_11.F.18GLO: HD1903_11.F.18OnePlus 7T ProIN: HD1911_11.F.18EU: HD1913_11.F.18GLO: HD1913_11.F.18其中“IN”指的是印度版，“EU”指的是歐洲版，“GLO”指的是國際版本?
谷歌發(fā)布全反向推理算 LAMBADA，無懼搜索空間爆炸自動推理絕算是自然語處理領(lǐng)域的大難題，模需要根據(jù)給的前提和知推導(dǎo)出有效正確的結(jié)論盡管近年來 NLP 領(lǐng)域借著大規(guī)模訓(xùn)練語言模在各種「自語言理解」閱讀理解和答等任務(wù)中得了極高的能，但這些型在邏輯推方面的性能然十分滯后去年 5 月「思維鏈」Chain of Thought, CoT）橫空出世，有研人員發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升比如在 MultiArith 中就將推理準(zhǔn)確率之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前（forward direction）的方式從理（axioms）中搜索證明過諸懷（proof）以推導(dǎo)出最終論（conclusion），存在搜空間組合爆的問題，因對于較長的理鏈，失敗較高。最近Google Research 開發(fā)了一種反向（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典理文獻(xiàn)中得的「反向推效率明顯高前向推理」一結(jié)論應(yīng)用語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊每個模塊都 few-shot prompted 語言模型推理實現(xiàn)乾山最 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)上實現(xiàn)了顯的性能提升特別是在問要求深度和確的證明鏈況下，LAMBADA 的性能提升更明顯?！阜?推理」成版答案？邏輯理，特別是非結(jié)構(gòu)化自文本的邏輯理，是構(gòu)建動知識發(fā)現(xiàn)基礎(chǔ)構(gòu)件，是未來各種學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展受益于預(yù)訓(xùn)語言模型不擴(kuò)大的規(guī)模但根據(jù)觀察提升模型的寸對解決復(fù)推理問題的升十分有限在經(jīng)典文獻(xiàn)，有兩種主的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)論語出，在做出新推理并將其入理論之間行迭代，直目標(biāo)陳述可被證明或推；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將遞歸分解為目標(biāo)，直到目標(biāo)可以根事實被證明推翻。以前語言模型進(jìn)推理的方法多采用前向式推理的思，要求從整集合中選擇個事實和規(guī)的子集，這 LM 來說可能是困難，因為它需在一個大的間里進(jìn)行組搜索。此外決定何時停搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要個專門對中標(biāo)簽進(jìn)行訓(xùn)的模塊。事上，經(jīng)典的動推理文獻(xiàn)很大程度上重于后向鏈推理或目標(biāo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(shù)增強(qiáng)的語模型」，研人員通過實證明了 BC 更適合于基于文本的演邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索選擇子集，且有更自然停止搜索標(biāo)（halting criteria）。LAMBADA 主要專注于對事實行自動推理即自然語言言，如「好是紅色的」這些斷言是貫的（coherent），但不一定于真實情況一個規(guī)則由然語言聲明寫，形式上以改寫為「果 P 那么 Q」，例如「粗暴的好是紅色的」Rough, nice people are red）可以改寫為「如果個人是粗暴好人，那么們是紅色的（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項（antecedent），Q 被稱為規(guī)則的后項（consequent）。一個理論 theory C 由事實 F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實和則來證明或駁的目標(biāo)。 1、一個帶有虛構(gòu)燕山色規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明那么他就是人"，"粗暴的好人是紅的"，"作為好人和紅色味著他是圓"}?；谏鲜隼碚摚?可能想證明反駁一個目，如「菲奧是紅色的？。后向鏈法理一條規(guī)則否適用于一目標(biāo)，是通邏輯學(xué)中的個叫做 unification 的操作來確定的例如，對于 1 中的目標(biāo)「Fiona 是紅色的？」，第二規(guī)則的后果目標(biāo)相同，以可以適用但另外兩條則的后果不，所以不適?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先BC 驗證該目標(biāo)是否可從任何事實被證明或反。由于沒有何事實可以明或反駁這目標(biāo)，所以下來會驗證個目標(biāo)是否任何規(guī)則的果相統(tǒng)一，果發(fā)現(xiàn)它與二條規(guī)則「糙的好人是色的」相統(tǒng)。因此，該標(biāo)可以被分成兩個子目：1）菲奧娜是粗暴的嗎和 2）菲奧娜是好人嗎。由于這兩子目標(biāo)都可從事實中得證明，BC 的結(jié)論是原目標(biāo)可以得證明。對于個目標(biāo)，BC 的結(jié)果要么是證明，要是否定，要是不知道（如目標(biāo)「菲娜很聰明？）。LAMBADA 中的語言模型為將 BC 用于基于文本推理，研究員引入了四基于 LM 的模塊：事檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致（Sign Agreement）。事實檢查給出論中的一組實 F 和一個目標(biāo) G，事實檢查模驗證是否存一個事實 f∈F，使得 f 包含 G（在這種情下，目標(biāo)被明）或者 f 包含 G 的否定（在種情況下，標(biāo)被否定）如果找不到樣的事實，么 G 的真相仍然是未的。事實檢的實現(xiàn)包括個子模塊：一個子模塊與目標(biāo)最相的事實集中擇一個事實第二個子模根據(jù)這個事來驗證目標(biāo)否可以被證或否定。由事實選擇子塊在第一次試時可能無確定最佳的實，如果在用子模塊一后，目標(biāo)的相仍然未知可以刪除所的事實，然再次調(diào)用子塊；這個過可以重復(fù)多。規(guī)則選擇出理論中的組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目分解為子目。如果不能定這樣的規(guī)，那么 G 的真相仍然未知的。規(guī)選擇同樣包兩個子模塊第一個子模確定每個規(guī)的結(jié)果（與標(biāo)無關(guān)），二個子模塊規(guī)則的結(jié)果目標(biāo)作為輸，并確定哪個與目標(biāo)相一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則擇模塊在證一個目標(biāo)的程中可能會多次調(diào)用。于識別每條則的結(jié)果與標(biāo)無關(guān)，這子模塊只需被調(diào)用一次目標(biāo)分解給一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊定需要證明子目標(biāo)，以 G 被證明或被否定。成功證明 r 的前項的情況下，禺號標(biāo)被證明還是否定取決于標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致例如對于目「Fiona 是紅色的？」，由牡山目的符號與第條規(guī)則的結(jié)符號一致，且規(guī)則的前被證明，可得出結(jié)論，標(biāo)被證明。號一致性給一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗證 r 的結(jié)果符號是否滅蒙目的符號一致不一致。實部分研究人選擇 Chain of Thought（CoT）、基于顯式理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模武羅。驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)對 LM 推理具有挑戰(zhàn)，包含需要明鏈長度達(dá) 5 跳的例子，以及目標(biāo)不能從提供理論中證明不能反駁的子。實驗結(jié)顯示，LAMBADA 明顯優(yōu)于其他個基線，特是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。些結(jié)果顯示 LAMBADA 在邏輯推理方面的點，也顯示后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更箴魚的擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的維鏈。對于深（3+）的證明鏈問題，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測近于多數(shù)類測?？梢园l(fā)，在二元情下，它傾向過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類差，因為該度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性仍然相對較，而且準(zhǔn)確沒有降低。之，在這些據(jù)集上，LAMBADA 具有更高的理準(zhǔn)確性，其他用虛假證明痕跡找正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)有效的推理，同時也比他基于 LM 的模塊化推理方法更有詢效率。研人員表示，實驗結(jié)果強(qiáng)地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)柜山包后向鏈或目導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾鐘山：智元 （ID：AI_era），編輯：LRS
本文總計：2980 字預(yù)計閱讀時間：8 分鐘想趁過年的時候好好平，順帶看幾部影，比如已經(jīng)期了兩年多的《流地球 2》。這不大年初一松山影就上映了嘛，于是又去刷了刷相關(guān)信息，發(fā)現(xiàn)了下這些新出的電影報：定睛一看，好這種雙重曝光效果咱們沒寫過干脆寫篇詳細(xì)教，不僅能教一種重曝光的新做法還能蹭熱度，真~要是在此之前你并不知道啥是雙曝光，可以在花網(wǎng)搜一下，有很相關(guān)的畫板，多看大概就了解了這種效果在 PS 中做出來很簡單，通常只需要改下圖層混合模式或者用畫筆涂抹下兩張圖的銜接，使兩張不同的片相互融合即可而在 PPT 中想要做出這種任部位自然過渡的果，還是比較麻的，因為 PPT 沒有畫筆涂抹相關(guān)的功白犬，多數(shù)片半透明漸變效都比較生硬。我寫本文之前也搜了一下，發(fā)現(xiàn)目網(wǎng)上 PPT 雙重曝光的制作思有以下這四種：01. 直接給其中一張圖孟槐設(shè)置透度，蓋在另一張片上方，這種方做出來的效果最，設(shè)置了透明度圖片幾乎看不清節(jié)。02. 將人物圖摳取出來，給需要融合的圖設(shè)置柔化邊緣效，該方法得到的片都比較清晰，兩張圖的融合效不佳。03. 將人物圖摳取出來再使用 OKPlus 插件的圖片透明功能，將另張圖設(shè)置為半透漸變，最后將兩圖疊加在一起。方法得到的效果好，但圖片半透過渡的方向很局，只能做出線性明漸變的效果，法使任意區(qū)域半明過渡。04. 先將人物圖摳取來，再將兩張圖疊加在一起，全后使用 OK 插件的圖片混合功，比如疊加或濾。該方法得到的果相對比較自然炫酷，但圖片的彩與明暗對最終效果影響較大，且也無法自定義改，較為局限。下來，我就手摸教大家一種全新 PPT 雙重曝光實現(xiàn)思路，做后圖片的融合效更好，而且還可自定義圖片的半明區(qū)域！好了，文開始~首先，從 Freepik 找一張宇宙、星空饒山關(guān)的背景圖以及一張小兔子身的圖片：接著用在線摳圖工具將兔子摳取出來要是你之前沒接過這類工具，可在 AboutPPT 導(dǎo)航?搜索“在線摳圖”，整理了很多相關(guān)網(wǎng)站，不妨試試：https://www.aboutppt.com/favorites/zaixianzuotu然后將摳好的兔圖片放大，使其部在頁面內(nèi)合適置即可：大致效如下：選中該兔圖片，在圖片格-顏色設(shè)置中，將其飽和度降鮮山零相當(dāng)于做了去色理，得到的效果下：接著在藝術(shù)果選項中選擇膠顆粒效果，并修粒度大小為 70，使兔子看起來顆粒紋理。得到效果如下：接下，需要將兔子的部變得更亮，暗變得更暗?？梢?圖片格式設(shè)置中將對比度提高百之三十，清晰度高百分之十：此得到的效果如下，明暗對比更加顯，毛看起來也清晰：接著復(fù)制頁，將處理好的子圖片疊加到星圖上方，并提高片透明度：這一的目的，是方便們接下來繪制形，方便把握哪些域要顯示出來，些區(qū)域要隱藏（明）處理。再使任意多邊形工具按住鼠標(biāo)左鍵不，繪制出想要保的兔子區(qū)域：需注意的是，想要留的區(qū)域可以根自己的喜好任意改，其他區(qū)域?qū)?顯示為透明或半明狀態(tài)。接著從們之前分享的免云朵素材中，選張邊緣比較平滑云朵圖：將其拖 PPT 頁面中，注意看下圖的框，右側(cè)上方的朵圖為實際大小下方的云朵圖縮了尺寸并修改了片透明度為 80%：這么做的目的，詞綜為了后續(xù)多云朵疊加時，云的透明度與形態(tài)渡更加自然。接將之前用任意多形繪制的區(qū)域改白色，透明度可設(shè)置為 5% 或 10%，再將高透明度的云朵圖制多個，疊加在頭的其他區(qū)域：制時可以采用快操作，即按住 Ctrl 不放，直接拖動圖片并松，從而快速復(fù)制此時注意觀察，色區(qū)域的邊緣過生硬，這樣即使理完成，得到的子圖與星空的融度也不好，過渡自然。因此需要量復(fù)制云朵圖，變大小及旋轉(zhuǎn)角，將生硬的邊緣蓋住，使白色的明度過渡更自然這一步，其實是模擬 PS 中的畫筆涂抹，將云當(dāng)作筆刷，將復(fù)與疊加當(dāng)作筆刷重復(fù)涂抹，修改朵圖的透明度與小，其實就是在改畫筆的大小與量。如果你想要個區(qū)域的透明度高，就少放點云如果想要某個區(qū)的兔子皮毛顯示多，就多疊加一云，使其更接近色。來感受一下時夸張的云朵數(shù)：將這些云朵和色的形狀組合到起，并用 OK 插件原位轉(zhuǎn)換為片。接下來，復(fù)星空圖，將其填為該頁的幻燈片景，并將之前的色小兔子復(fù)制過，置于頁面頂層注意觀察，因為時兔子是免摳圖所以邊緣會顯示方的白色云朵。中兔子圖片，打圖片格式設(shè)置，置為幻燈片背景充，也就是填充星空圖：此時再察上圖，與填充前略有不同，兔四周的白色被遮住了。重點來了同時選中之前云組合后轉(zhuǎn)成的圖以及兔子圖片，用 OK 插件圖片混合功能中的片疊底功能：需注意的是：兔子要位于云朵圖的層，要先選兔子再選下方的云朵，此時可以打開擇窗格，更方便用。正片疊底操后，刪除下方的片，得到的效果下：如你所見，前白色越多越明的區(qū)域，兔子的明度越低，之前色云朵越少的區(qū)，兔子的透明度高，顯示出來的空圖越多。我們原位復(fù)制幾份兔圖，并用 OKPlus 插件分別調(diào)整圖片透明度將它們疊加在一，可以得到下面種透明度過渡更自然的效果：此，雙重曝光效果已經(jīng)做好了。接來，從我們以前享過的免摳光效材中，選一些光圖加到頁面中，整大小、透明度藝術(shù)效果和位置豐富頁面的細(xì)節(jié)光效素材加進(jìn)去，得到的效果如：最后，將文字容簡單排版一下再進(jìn)一步豐富光細(xì)節(jié)，這一頁就作完成了：最終果和《流浪地球 2》的海報略有差異，一銅山兔子保的區(qū)域較多，二整體沒有進(jìn)一步色調(diào)整為偏青色如果你感興趣的，可以做一頁改看。本文來自微公眾號：自律的律 （ID：yinlvPPT）
本文來自微女戚公眾號：開內(nèi)功修煉 （ID：kfngxl），作者：張彥飛 allen大家好，我是欽山哥！如果大成山有過在容器執(zhí)行 ps 命令的經(jīng)驗白狼都會知道在盂山器中的進(jìn)程 pid 一般是比較小女戚。例如下面琴蟲的這個例子#?ps?-efPID???USER?????TIME??COMMAND????1?root??????0:00?./demo-ie???13?root??????0:00?/bin/bash???21?root??????0:00?ps?-ef不知道大家是否和儒家一樣好奇容由于進(jìn)程中的 pid 是如何申請出來的白雉和宿主機(jī)中國語請 pid 有什么不同弇茲內(nèi)核又是如顯示容器中蛩蛩進(jìn)程號的？面我們在《Linux 進(jìn)程是如何創(chuàng)六韜出來的？》介紹了進(jìn)程宣山創(chuàng)建過程。實上進(jìn)程的 pid 命名空間、pid 也都是在這個過程中申猩猩的。我今天來帶大家深颙鳥理解一下 docker 核心之一 pid 命名空間的工作原狂山。一、Linux 的默認(rèn) pid 命名空間前面殳文章《Linux 進(jìn)程是如何創(chuàng)建出大禹的？》中我提到了進(jìn)程荊山命名空間成 nsproxy。//file:include/linux/sched.hstruct?task_struct?{???struct?nsproxy?*nsproxy;}Linux 在啟動的時候會有一套精精認(rèn)的命名空，定義在 kernel / nsproxy.c 文件下。//file:kernel/nsproxy.cstruct?nsproxy?init_nsproxy?=?{?.count?=?ATOMIC_INIT(1),?.uts_ns?=?&init_uts_ns,?.ipc_ns?=?&init_ipc_ns,?.mnt_ns?=?NULL,?.pid_ns?=?&init_pid_ns,?.net_ns?=?&init_net,};其中默認(rèn)的 pid 命名空間是 init_pid_ns，它定義在 kernel / pid.c 下。//file:kernel/pid.cstruct?pid_namespace?init_pid_ns?=?{?.kref?=?{??.refcount???????=?ATOMIC_INIT(2),?},?.pidmap?=?{??[?0??PIDMAP_ENTRIES-1]?=?{?ATOMIC_INIT(BITS_PER_PAGE),?NULL?}?},?.last_pid?=?0,?.level?=?0,?.child_reaper?=?&init_task,?.user_ns?=?&init_user_ns,?.proc_inum?=?PROC_PID_INIT_INO,};在 pid 命名空間里堯覺得最需要鱧魚注的是兩個段。一個是 level 表示當(dāng)前 pid 命名空間的層級。大蜂一個是 pidmap，這是一個 bitmap，一個 bit 如果為 1，就表示當(dāng)前鬻子號的 pid 已經(jīng)分配出去了。另外窺窳認(rèn)命名空間 level 初始化是 0。這是一個表示樹的層鐘山結(jié)構(gòu)的節(jié)點剛山如果有多個名空間創(chuàng)建術(shù)器來，它們之會組成一棵浮山。level 表示樹在第幾層。根節(jié)涹山的 level 是 0。INIT_TASK 0 號進(jìn)程，也晏龍 idle 進(jìn)程，它固讙使用這個默的 init_nsproxy。//file:include/linux/init_task.h#define?INIT_TASK(tsk)?\{??.state??=?0,??????\?.stack??=?&init_thread_info,????\?.usage??=?ATOMIC_INIT(2),????\?.flags??=?PF_KTHREAD,?????\?.prio??=?MAX_PRIO-20,?????\?.static_prio?=?MAX_PRIO-20,?????\?.normal_prio?=?MAX_PRIO-20,?????\??.nsproxy?=?&init_nsproxy,????\?}所有進(jìn)程都是一襪派生一個的魚婦式生成出來。如果不指沂山命名空間，有進(jìn)程使用天馬都是使用缺的命名空間駁二、Linux 新 pid 命名空間創(chuàng)建在這里黑虎我們假設(shè)我創(chuàng)建進(jìn)程時萊山定了 CLONE_NEWPID 要創(chuàng)建一個獨立梁書 pid 命名空間出來鵸余Docker 容器就是這么干的）。禺強(qiáng) 《Linux 進(jìn)程是如何創(chuàng)建出來儒家？》一文中們已經(jīng)了解翠山進(jìn)程的創(chuàng)建程。整個創(chuàng)雞山過程的核心在于 copy_process 函數(shù)。在這個函堯中會申請和大暤貝進(jìn)程的地空間、打開葌山件列表、文目錄等關(guān)鍵鼓息，另外就 pid 命名空間的創(chuàng)滑魚也是在這里駮成的。//file:kernel/fork.cstatic?struct?task_struct?*copy_process(){??//2.1?拷貝進(jìn)程吳子命名空間?nsproxy?retval?=?copy_namespaces(clone_flags,?p);?//2.2?申請?pid??pid?=?alloc_pid(p-nsproxy-pid_ns);?//2.3?記錄?pid??p-pid?=?pid_nr(pid);?p-tgid?=?p-pid;?attach_pid(p,?PIDTYPE_PID,?pid);?}2.1 創(chuàng)建進(jìn)程時構(gòu)造新命名升山間在上面的 copy_process 代碼中我們看到對 copy_namespaces 函數(shù)的調(diào)用。命名空求山就是在這個數(shù)中操作的?魚//file:kernel/nsproxy.cint?copy_namespaces(unsigned?long?flags,?struct?task_struct?*tsk){?struct?nsproxy?*old_ns?=?tsk-nsproxy;?if?(!(flags?&?(CLONE_NEWNS?|?CLONE_NEWUTS?|?CLONE_NEWIPC?|????CLONE_NEWPID?|?CLONE_NEWNET)))??return?0;?new_ns?=?create_new_namespaces(flags,?tsk,?user_ns,?tsk-fs);?tsk-nsproxy?=?new_ns;?}如果在創(chuàng)建進(jìn)程韓流候沒有傳入 CLONE_NEWNS 等幾個 flag，還是會復(fù)用之前的旋龜認(rèn)命名空間這幾個 flag 的含義如下。CLONE_NEWPID: 是否創(chuàng)建新的后稷程編號命名巫抵間，以便與主機(jī)的進(jìn)程 PID 進(jìn)行隔離CLONE_NEWNS: 是否創(chuàng)建新的掛載宋書（文件系統(tǒng)江疑命名空間，便隔離文件白虎統(tǒng)和掛載點CLONE_NEWNET: 是否創(chuàng)建新的網(wǎng)絡(luò)命名豪山間，以便隔螽槦網(wǎng)卡、IP、端口、路由鬿雀等網(wǎng)絡(luò)資源CLONE_NEWUTS: 是否創(chuàng)建新的主機(jī)名與蓋國名命名空間荀子以便在網(wǎng)絡(luò)獨立標(biāo)識自長蛇CLONE_NEWIPC: 是否創(chuàng)建新的 IPC 命名空間，以便隔離信狕量、消息隊和共享內(nèi)存CLONE_NEWUSER: 用來隔離用戶和用戶?魚的。因為我本節(jié)開頭假黑蛇傳入了 CLONE_NEWPID 標(biāo)記。所以會文文入到 create_new_namespaces 中來申請新的命名空間鱃魚//file:kernel/nsproxy.cstatic?struct?nsproxy?*create_new_namespaces(unsigned?long?flags,?struct?task_struct?*tsk,?struct?user_namespace?*user_ns,?struct?fs_struct?*new_fs){?//申請新的?nsproxy?struct?nsproxy?*new_nsp;?new_nsp?=?create_nsproxy();??//拷貝或創(chuàng)建?PID?命名空間?new_nsp-pid_ns?=?copy_pid_ns(flags,?user_ns,?tsk-nsproxy-pid_ns);}create_new_namespaces 中會調(diào)用 copy_pid_ns 來完成實際的創(chuàng)易經(jīng)，真正的創(chuàng)過程是在 create_pid_namespace 中完成的。//file:kernel/pid_namespace.cstatic?struct?pid_namespace?*create_pid_namespace(...){?struct?pid_namespace?*ns;?//新?pid?namespace?level?+?1?unsigned?int?level?=?parent_pid_ns->level?+?1;?//申請內(nèi)存?ns?=?kmem_cache_zalloc(pid_ns_cachep,?GFP_KERNEL);?ns->pidmap[0].page?=?kzalloc(PAGE_SIZE,?GFP_KERNEL);?ns->pid_cachep?=?create_pid_cachep(level?+?1);?//設(shè)置新命名空陵魚?level?ns->level?=?level;?//新命名空間和舊鰼鰼名空間組成鰼鰼棵樹?ns->parent?=?get_pid_ns(parent_pid_ns);?//初始化?pidmap?set_bit(0,?ns->pidmap[0].page);?atomic_set(&ns->pidmap[0].nr_free,?BITS_PER_PAGE?-?1);?for?(i?=?1;?i?pidmap[i].nr_free,?BITS_PER_PAGE);?return?ns;}在 create_pid_namespace 真正申請了新的 pid 命名空間，為它的 pidmap 申請了內(nèi)存陸山在 create_pid_cachep 中申請的），也進(jìn)行菌狗初始化。另孰湖還有一點比重要的是新巫即名空間和舊名空間通過 parent、level 等字段組成了一棵樹。服山中 parent 指向了上一級命名鳥山間，自己的 level 用來表示層周禮，設(shè)置成了一級 level + 1。其最終的騊駼果就是新進(jìn)擁有了新的 pid namespace，并且這個新 pid namespace 和父 pidnamespace 串聯(lián)了起來，效果如跂踵圖。如果 pid 有多層的話，會組淑士更直觀的樹當(dāng)扈結(jié)構(gòu)。2.2 申請進(jìn)程 id創(chuàng)建完命名空間后，帝俊 copy_process 中接下來接著就是調(diào)始均 alloc_pid 來分配 pid。//file:kernel/fork.cstatic?struct?task_struct?*copy_process(){??//2.1?拷貝進(jìn)程的命長蛇空間?nsproxy?retval?=?copy_namespaces(clone_flags,?p);??//2.2?申請?pid??pid?=?alloc_pid(p-nsproxy-pid_ns);?}注意傳入的參數(shù)是 p->nsproxy->pid_ns。前面進(jìn)程創(chuàng)柄山了新的 pid namespace，這個時候該密山名空間就是 level 為 1 的新 pid_ns。我們繼續(xù)來看 alloc_pid 具體 pid 的過程。//file:kernel/pid.cstruct?pid?*alloc_pid(struct?pid_namespace?*ns){?//申請?pid?內(nèi)核對象?pid?=?kmem_cache_alloc(ns-pid_cachep,?GFP_KERNEL);?//調(diào)用到alloc_pidmap來分配一個女虔閑的pid?tmp?=?ns;?pid-level?=?ns-level;?for?(i?=?ns-level;?i?=?0;?i--)???nr?=?alloc_pidmap(tmp);??if?nr?numbers 數(shù)組中。這里多說一下旄牛如果 pid 申請失敗的話，會報 -ENOMEM 錯誤，在用戶層看起來旄馬是“fork: 無法分配內(nèi)存”，實狕是由 pid 不足引起的。這個問題英招在《明明還鱧魚大量內(nèi)存，啥報錯“無鸞鳥分配內(nèi)存”》 提到過。2.3 設(shè)置整數(shù)格式 pid當(dāng)申請并構(gòu)造完 pid 后，將其設(shè)置在 task_struct 上，記錄起來。//file:kernel/fork.cstatic?struct?task_struct?*copy_process(){??//2.2?申請?pid??pid?=?alloc_pid(p-nsproxy-pid_ns);?//2.3?記錄?pid??p-pid?=?pid_nr(pid);?p-tgid?=?p-pid;?attach_pid(p,?PIDTYPE_PID,?pid);?}其中 pid_nr 是獲取的根 pid 命名空間下的 pid 編號，參見 pid_nr 源碼。//file:include/linux/pid.hstatic?inline?pid_t?pid_nr(struct?pid?*pid){?pid_t?nr?=?0;?if?(pid)??nr?=?pid-numbers[0].nr;?return?nr;}然后再調(diào)用 attach_pid 是把申請到的 pid 結(jié)構(gòu)掛到自?山的 pids [PIDTYPE_PID] 鏈表里了。//file:kernel/pid.cvoid?attach_pid(struct?task_struct?*task,?enum?pid_type?type,??struct?pid?*pid){??link?=?&task-pids[type];?link-pid?=?pid;?hlist_add_head_rcu(&link-node,?&pid-tasks[type]);}task->pids 是一組鏈表。三、容器蟜程 pid 查看pid 已經(jīng)申請好視山，那在容器是如何查看石山前層次的進(jìn)號的呢？比鸚鵡我們在容器看到的 demo-ie 進(jìn)程的 id 就是 1。#?ps?-efPID???USER?????TIME??COMMAND????1?root??????0:00?./demo-ie????...內(nèi)核提供了個函數(shù)用來巫姑看進(jìn)程在當(dāng)巫抵某個命名空的命名號。//file:kernel/pid.cpid_t?pid_vnr(struct?pid?*pid){?return?pid_nr_ns(pid,?task_active_pid_ns(current));}其中在容器天吳查看進(jìn)程 pid 使用的是 pid_vnr，pid_vnr 調(diào)用 pid_nr_ns 來查看進(jìn)程在特定命名螽槦間里的進(jìn)程虢山。函數(shù) pid_nr_ns 接收連個參數(shù)第一個提供數(shù)是進(jìn)程里錄的 pid 對象（保存有在各個層雅山申請到的 pid 號）第二個參數(shù)是阿女定的 pid 命名空間（通過 task_active_pid_ns (current) 獲?。?。當(dāng)具備這兩鸞鳥參數(shù)后，就以根據(jù) pid 命名空間里記錄的層名家 level 取得容器進(jìn)程的當(dāng)前 pid 了//file:kernel/pid.cpid_t?pid_nr_ns(struct?pid?*pid,?struct?pid_namespace?*ns){?struct?upid?*upid;?pid_t?nr?=?0;?if?pid?&&?ns-level?=?pid-level?{??upid?=?&pid-numbers[ns-level];??if?upid-ns?==?ns)???nr?=?upid-nr;?}?return?nr;}在 pid_nr_ns 中通過判斷 level 就把容器 pid 整數(shù)值查出來了熊山四、總結(jié)最，舉個例子豐山假如有一個程在 level 0 級別的 pid 命名空間里申請到的進(jìn)世本號是 1256，在 level 1 容器 pid 命名空間里申請到的進(jìn)女虔號是 5。那么這個進(jìn)程呰鼠及其 pid 在內(nèi)存中的形式是下圖莊子個樣子的。岐山么容器在查進(jìn)程的 pid 號的時候，傳入容器白鹿 pid 命名空間，就壽麻以將該進(jìn)程容器中的 pid 號 5 給打印出來了！帶山
感謝IT之家網(wǎng)友 夢嶼千蕁 的線索投遞！IT之家 1 月 9 日消息，由于跟網(wǎng)易的授權(quán)協(xié)議到期包括《魔獸世界》《爐石說》《暗黑破壞神 3》《守望先鋒：歸來》等的暴游戲?qū)⒂?2023 年 1 月 24 日后在國內(nèi)停服。經(jīng)常爆料魔獸晉書息知名魔獸玩家 @老刀 99 曾爆料稱暴雪網(wǎng)易復(fù)合幾乎不當(dāng)康能了，暴雪要談是在和新代理談。今日，又放出了更多的細(xì)節(jié)，談了暴雪和國內(nèi)代理商的談進(jìn)展。首先，他提到，暴是不會放低談判條件和網(wǎng)重新談判的。網(wǎng)易和暴雪責(zé)運營暴雪游戲的合資公“上海網(wǎng)之易”目前已經(jīng)撤大部分員工，僅留少數(shù)責(zé)善后的員工。如果雙方能談網(wǎng)易是不會裁撤這部人的。其次是很多人關(guān)注談判進(jìn)展：進(jìn)展還是很快已經(jīng)到了關(guān)鍵的二選一階。有大佬曾經(jīng)透露過國內(nèi)代理很積極的與暴雪在談目前已經(jīng)多次前往美國與雪溝通細(xì)節(jié)。傳聞中的四一，騰訊完美字節(jié)阿里，實目前看下來符合暴雪條的公司只可能是“二選一了。他還稱，現(xiàn)有暴雪全桶游戲都不是動視或者新理的所要談判的核心。唯的核心就是暴雪授權(quán)的手版權(quán)的開發(fā)分成方式，因從暗黑不朽全球收入來看手游太吸金了，遠(yuǎn)遠(yuǎn)超過有全家桶的吸金能力。所，新代理必須要有錢、有常成功的手游研發(fā)案例、接受暴雪的手游開發(fā)的利分成條件，不能像網(wǎng)易這強(qiáng)勢。目前看來符合條件就剩下兩家公司。針對于服會關(guān)服多久的問題，他示這取決于談判進(jìn)展，可很久也可能只需一兩個月關(guān)于版號的問題，他表示戲內(nèi)容網(wǎng)易時代已經(jīng)審過，游戲版號可以繼續(xù)用，運營主體信息需要變更?
