cos化妆品在哪里买原创文学网 - 纯净的绿色文学家园 !

cos化妆品在哪里买(全文在线阅读>

cos化妆品在哪里买

微软解释为什么 Rust 是系统编程的最佳选择

????访问:微软中国官方商城 - 首页“首先,已经有很多出色的内存安全语言在微软内外广泛使用,包括 .NET 语言(像是 C# 或 F#)和其他语言(例如 Swift、Go 和 Python)。我们鼓励目前使用 C 或 C++ 的人将其中任意一种语言纳入考虑。不过现在谈论的是对安全的系统编程语言的需求,此类工作负载需要 C、C++ 和 Rust 能够提供的速度和可预测的性能。 通过垃圾回收实现内存安全的语言不是系统编程的理想选择,因为它们的运行时间会导致不可预测的性能和不必要的成本。”性能和控制Levick 指出,最好先考虑一下无法从?C 和 C++ 放弃的东西——性能和控制,就能更清楚地明白?Rust 为什么是一个好的选择。像 C 和 C++ 一样,Rust 有一个最小的可选“运行时”。Rust 的标准库同样依赖于 libc,但标准库也是可选的,因此在没有操作系统的平台上运行也是可能的。仍然像 C 和 C++ 一样,Rust 为程序员在何时分配内存以及分配内存的多少上提供了精细的控制,使程序员能够非常清楚地知道程序每次运行时的确切执行方式。在原始速度、控制和可预测性方面,这对于性能来说意味着什么?那就是,“Rust、C 和 C++ 可以用类似的术语来思考”。安全Rust 与 C 和 C++ 的区别在于其强大的安全保障,某种程度上来说 Rust 完全是内存安全(memory safe)的。正如之前那篇文章提到的,微软大约 70% 的安全问题是内存安全问题。如果这些软件用 Rust 编写,那么这?70% 的安全问题很可能就不存在。在系统编程中,有时程序员必须执行无法静态验证为安全的操作。Rust 为程序员提供了将这些操作封装在安全抽象中的工具,这意味着曾经降级为代码注释或约定的东西可以由 Rust 编译器静态强制执行。不仅仅是性能与安全Rust 最初引起 MSRC 的兴趣正是由于上述性能与安全方面的特性。但它的的魅力不止于此,已经有其他微软团队开始采用 Rust,主要出于以下原因:根据微软内部调查,采用它的最主要原因是“精密性”(correctness)——“if it compiles, then it works”。Rust 静态地强制执行程序的许多属性,已经远超内存安全性,还包括空指针安全性和数据争用安全性(即没有来自两个或多个线程的一块内存的不同步访问)。Rust 的丰富类型系统使编写富有表现力的程序成为可能。?具有相关数据的枚举和强大的 trait 系统等概念进一步强化了 Rust 的目标,即尽可能使程序无错误。Rust 现有的社区对该语言有很大益处。虽然 Rust 仍然是一种年轻语言,但它拥有一个健康的生态系统,既能够促进开源社区发展强大,又能够支持生产用户。Levick 表示有足够的理由相信 Rust 会有一个光明的未来,“虽然现在大规模采用 Rust 还为时过早,但早期采用 Rust 通常是非常积极且正面的”。他们相信 Rust 在编写安全的系统软件时会改变游戏规则。Rust 提供编写底层系统所需的性能和控制,同时使软件开发人员能够编写更健壮、安全的程序。不过,MSRC 在研究 Rust 时发现了一些问题,其中包括如何规范 Rust 的“不安全”(unsafe)超集的使用,缺乏与 C++ 的一流互操作性,以及与现有 Microsoft 工具的互操作性。这确实对微软采用 Rust 提出了挑战,但 MSRC 还是满怀期待:“我们对这些可能性感到兴奋。 虽然还有许多关于 Rust 如何适应整个 Microsoft 工程的问题需要弄清楚,但我们鼓励其他人一同加入,认真考虑这门语言,以满足他们的系统编程需求。”MSRC 博客原文:https://msrc-blog.microsoft.com/2019/07/22/why-rust-for-safe-systems-programming/

fang wen: wei ruan zhong guo guan fang shang cheng shou ye" shou xian, yi jing you hen duo chu se de nei cun an quan yu yan zai wei ruan nei wai guang fan shi yong, bao kuo . NET yu yan xiang shi C huo F he qi ta yu yan li ru Swift Go he Python. wo men gu li mu qian shi yong C huo C de ren jiang qi zhong ren yi yi zhong yu yan na ru kao lv. bu guo xian zai tan lun de shi dui an quan de xi tong bian cheng yu yan de xu qiu, ci lei gong zuo fu zai xu yao C C he Rust neng gou ti gong de su du he ke yu ce de xing neng. tong guo la ji hui shou shi xian nei cun an quan de yu yan bu shi xi tong bian cheng de li xiang xuan ze, yin wei ta men de yun xing shi jian hui dao zhi bu ke yu ce de xing neng he bu bi yao de cheng ben." xing neng he kong zhi Levick zhi chu, zui hao xian kao lv yi xia wu fa cong? C he C fang qi de dong xi xing neng he kong zhi, jiu neng geng qing chu di ming bai? Rust wei shen me shi yi ge hao de xuan ze. xiang C he C yi yang, Rust you yi ge zui xiao de ke xuan" yun xing shi". Rust de biao zhun ku tong yang yi lai yu libc, dan biao zhun ku ye shi ke xuan de, yin ci zai mei you cao zuo xi tong de ping tai shang yun xing ye shi ke neng de. reng ran xiang C he C yi yang, Rust wei cheng xu yuan zai he shi fen pei nei cun yi ji fen pei nei cun de duo shao shang ti gong le jing xi de kong zhi, shi cheng xu yuan neng gou fei chang qing chu di zhi dao cheng xu mei ci yun xing shi di que qie zhi xing fang shi. zai yuan shi su du kong zhi he ke yu ce xing fang mian, zhe dui yu xing neng lai shuo yi wei zhe shen me? na jiu shi," Rust C he C ke yi yong lei si de shu yu lai si kao". an quan Rust yu C he C de qu bie zai yu qi qiang da de an quan bao zhang, mou zhong cheng du shang lai shuo Rust wan quan shi nei cun an quan memory safe de. zheng ru zhi qian na pian wen zhang ti dao de, wei ruan da yue 70 de an quan wen ti shi nei cun an quan wen ti. ru guo zhei xie ruan jian yong Rust bian xie, na me zhe? 70 de an quan wen ti hen ke neng jiu bu cun zai. zai xi tong bian cheng zhong, you shi cheng xu yuan bi xu zhi xing wu fa jing tai yan zheng wei an quan de cao zuo. Rust wei cheng xu yuan ti gong le jiang zhei xie cao zuo feng zhuang zai an quan chou xiang zhong de gong ju, zhe yi wei zhe ceng jing jiang ji wei dai ma zhu shi huo yue ding de dong xi ke yi you Rust bian yi qi jing tai qiang zhi zhi xing. bu jin jin shi xing neng yu an quan Rust zui chu yin qi MSRC de xing qu zheng shi you yu shang shu xing neng yu an quan fang mian di te xing. dan ta de de mei li bu zhi yu ci, yi jing you qi ta wei ruan tuan dui kai shi cai yong Rust, zhu yao chu yu yi xia yuan yin: gen ju wei ruan nei bu diao cha, cai yong ta de zui zhu yao yuan yin shi" jing mi xing" correctness" if it compiles, then it works". Rust jing tai di qiang zhi zhi xing cheng xu de xu duo shu xing, yi jing yuan chao nei cun an quan xing, hai bao kuo kong zhi zhen an quan xing he shu ju zheng yong an quan xing ji mei you lai zi liang ge huo duo ge xian cheng de yi kuai nei cun de bu tong bu fang wen. Rust de feng fu lei xing xi tong shi bian xie fu you biao xian li de cheng xu cheng wei ke neng.? ju you xiang guan shu ju de mei ju he qiang da de trait xi tong deng gai nian jin yi bu qiang hua le Rust de mu biao, ji jin ke neng shi cheng xu wu cuo wu. Rust xian you de she qu dui gai yu yan you hen da yi chu. sui ran Rust reng ran shi yi zhong nian qing yu yan, dan ta yong you yi ge jian kang de sheng tai xi tong, ji neng gou cu jin kai yuan she qu fa zhan qiang da, you neng gou zhi chi sheng chan yong hu. Levick biao shi you zu gou de li you xiang xin Rust hui you yi ge guang ming de wei lai," sui ran xian zai da gui mo cai yong Rust hai wei shi guo zao, dan zao qi cai yong Rust tong chang shi fei chang ji ji qie zheng mian di". ta men xiang xin Rust zai bian xie an quan de xi tong ruan jian shi hui gai bian you xi gui ze. Rust ti gong bian xie di ceng xi tong suo xu de xing neng he kong zhi, tong shi shi ruan jian kai fa ren yuan neng gou bian xie geng jian zhuang an quan de cheng xu. bu guo, MSRC zai yan jiu Rust shi fa xian le yi xie wen ti, qi zhong bao kuo ru he gui fan Rust de" bu an quan" unsafe chao ji de shi yong, que fa yu C de yi liu hu cao zuo xing, yi ji yu xian you Microsoft gong ju de hu cao zuo xing. zhe que shi dui wei ruan cai yong Rust ti chu le tiao zhan, dan MSRC hai shi man huai qi dai:" wo men dui zhei xie ke neng xing gan dao xing fen. sui ran hai you xu duo guan yu Rust ru he shi ying zheng ge Microsoft gong cheng de wen ti xu yao nong qing chu, dan wo men gu li qi ta ren yi tong jia ru, ren zhen kao lv zhe men yu yan, yi man zu ta men de xi tong bian cheng xu qiu." MSRC bo ke yuan wen: https: msrcblog. microsoft. com 2019 07 22 whyrustforsafesystemsprogramming

当前文章:http://www.jackamplifier.com/z4mzkurs/330398-372953-72532.html

发布时间:11:12:46

366行业ag环亚娱乐ag88??

{相关文章}

无人驾驶卡车的交付会变得正常吗?UPS在图森购买未来少数股权

????UPS投资,加入目前无人驾驶物流配送行业的赌注。联合包裹声明披露,今年5月以来,图森未来和联合包裹在亚利桑那州凤凰城和图森路之间进行了无人驾驶交付测试。

????《腾讯深圳网》作者康鲁先新

????2019年8月15日,全球物流巨头UPS宣布其风险投资基金UPS Ventures于8月13日收购了自动驾驶仪初创公司Tusimple的少数股权,但未披露注资金额。今年2月,图森宣布完成D轮融资9500万美元,当时的领头羊是新浪资本。在D轮之后,据说图森未来的价值超过10亿美元。图森未来经行连锁业的起源_366行业ag环亚娱乐ag88的投资者包括Nvidia、电大运输业务的税收筹划_366行业ag环亚娱乐ag88复合资本和ZP资本。

????图森未来的创始人兼首席技术官侯晓迪(音译)今年4月对腾讯深圳网(Tencent's Shenzhen Net)表示,公司将专注于L4无人驾驶汽车,目标是以最快的速度将自动驾驶技术商业化。尽管大多数无人驾驶物流仍处于测试阶段,但图森通过与500强企业合作创造收入,吸引了业界的注意。

????国际汽车工程师协会(SAE International,International Association of Automotive E上海普利典藏展览公司_366行业ag环亚娱乐ag88ngineers)为汽车行业制定了标准,标准分为五个等级,从L1到宾馆图片标间真实照片_366行业ag环亚娱乐ag88L5。L4是一个高便宜宾馆连锁北京_366行业ag环亚娱乐ag88度自动化的驾驶阶段,不需要人工干预,但限制了道路和环境条件。L5是一种全自动化的车辆,可以实现无限制的点对点无人驾驶模式。侯晓迪曾告诉深圳网,不考虑L5的主要原因是货运现场是固定的,没有必要做无限的道路环境试验,L5目前似乎没有商业价值。

????联合包裹声明披露,今年5月以来,图森未来和联合包裹在亚利桑那州凤凰城和图森路之间进行了无人驾驶交付测试。UPS高管随后告诉外国媒体,测试的货物不是涉及居民的小包装,而是供应链解决方案中的仓库到仓库卡车。目前,美国法律规定,在无人驾驶考试中,驾驶员必须全程在车上。因此,尽管人工干预较少,但在试验过程中,卡车同时配备了驾驶员和工程师。未来,图森和UPS将监控测试段的里程、持续时间和安全数据,以了解L4级别的操作。

????图森表示,未来无人驾驶技术将使运输成本降低30%。

????UPS投资,加入目前无人驾驶物流配送行业的赌注。今年2月,亚马逊宣布已经投资了Aurora,这是一家无人驾驶公司,由谷歌前自动驾驶项目的创始成员之一创建。谷歌公司Meanmo也在测试菲尼克斯的自动驾驶卡车,并表示物流是未来收入的主要来源之一。

????随着美国商业无人驾驶交通服务的发展,图森公司也将在未来努力实现和登陆中国的无人驾驶商业运营。图森此前透露,2019年4月,它被选为上海市第一批人工智能试点应用场景,将应用于东海大桥洋山港至陆朝港货运南宁机场附近酒店查询_366行业ag环亚娱乐ag88站之间的无人驾驶交通。

顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------