南京美食介绍ppt南京美食攻略国外美食插画

　　我以为本人还算是个酷爱进修的人，在谁人时分读了许多与研讨标的目的无关的教科书、论文和公然课，也听了许多学术陈述。我记得李沐在 PhD 回想录里提到了「Parallel and Distributed Computer: Numerical Algorithms」这本书给他很大启示，我也读过，写得十分好，那些典范的视角在明天都不外期。和时分开端读杂志 Communications of the ACM (CACM)，到明天该当看完 10 年份了 (入坑以后往前补了很多，但厥后也对峙不下去了)。固然许多文章其实不克不及完整读懂，但大部门时分都是在「开眼界」，看看其他范畴的人在用甚么办法处理甚么成绩，算是构建计较机科学的天下观。

　　从其他答复点进了一些课程材料相干的链接。真的能够觉得到打仗风趣常识的镇静，能够觉得到这些常识的宝贵。看到一个链接里jyy和etone也在对相似我这类门生为何不被赐顾帮衬的“注释”。我想我该当是不太多确当年骂骂咧咧而现在却能十分了解的范例。实在只需持续在手艺道路行进，总会有很多相似昔时课程太难学不会的成绩呈现，当这些成绩出如今事情中，常常需求背负更大的压力 。

　　这时候候，是个懒人的益处就表现出来了：我会用东西啊！之前写论文的时分总以为 LaTeX 不管用甚么东西编纂，多多极少城市滋扰写作的顺畅。我总结很大的缘故原由是笔墨和代码混排在一同，好比用等宽字体吧，笔墨读起来怪；用 Serif 吧，代码没法看。以是之前的几篇论文，我就开辟了本人的 LyX 模板。时期我改正了许多分歧意已有学位结业论文模板的处所，全文 2632 个公式、40 个插图、12 个附表、144 篇参考文献，两周就搞定了，固然提交当前到辩论前花了近一个月的工夫玩命 polish……

　　大四开端遍历外洋高校计较机课程，觉察jyy尝试难度属于外洋cs课程均匀程度，在AUTOGRADE方面以至另有点粗陋。最大劣势是外乡化（心情包选的好），更切近国人进修计较机思想，许多时分都在测度门生设法。

　　观察并发法式施行长短常根底且主要的成绩，来自各个范畴的研讨者都获得了丰盛的功效，但惟独「完善」如今还做不到。现有观察并发法式施行的事情可分为两类：要末存在一个 NP-难的最坏状况，要末不成制止会在某些状况下用锁 (相似图 2 的方法) 包管一次观察不被其他线程打断。

　　课程与时俱进，好比在往年的版本中，没有效到gpt，之前推许检察man，可是第二年，又感同深受的保举了tldr

　　难与易之间的冲突是观察并发法式施行的开消。固然锁能够完成有用的观察，但却低落了体系的并行度、拖慢了法式的施行。并发性存在于计较机体系栈的各个条理上，因而来自系统构造、计较机体系、法式设想言语和软件工程范畴的研讨者，全都对完成高效的并发法式静态阐发有爱好。在三十多年的研讨过程中，我们看到了许多十分出色的锁机制的完成：借助硬件的缓存分歧性和谈 [2]，利用假造机、分支计数和用分页机制完成的 CREW 和谈 [3, 4]，和在线程部分会见下「悲观」的锁机制 [5]。另外一方面，我们能够经由过程记载直接信息 (如每一个线程施行的途径)，利用束缚求解的方法去规复同享内存会见的日记 [6]。我的博士论文在运转时获得同享内存会见数据依靠这一成绩上做了一些细小的奉献，次要集合在操纵部分性削减锁的开消。比方，我们发如今空间 (地点) 上持续的多个变量，比方数组的一部门，在同享内存会见的意义上凡是能够算作是一个大的「假造变量」。假如以假造变量为单元停止记载，则能够有用削减锁的数目，并大幅削减日记的数目 [7]。

　　同时，jyy十分热中于讲“当代”的工具，这部门你能够简朴理解，然后挑一个标的目的，找几份论文/手册/开源项目本人玩玩，坦荡视野。

　　「哲学家吃中餐成绩」的 NP-完整性必然水平上反应了现有研讨事情面对的窘境——假如只许可法式停止大批的线程当地记载，则规复满意次第分歧性的全局调理是艰难的。另外一方面，我们也曾经晓得同享内存上的互斥和可序列化并发工具必需借助读-写原子操纵才气完成 [10]。这启示我们提出了一个料想：观察并发法式的施行没有免费的午饭 (no-free-lunch)。详细的陈说是，在一个限制的计较模子下，即使许可对并发法式停止必然水平的修正 (在同享内存会见前后插入必然数目的同享内存读/写操纵，此中写操纵只限于为观察并发法式施行而分外分派的内存)，只需这些插入的读/写序列是等候无关 (wait-free) 的，就存在某种线程调理，按照线程当地的观察成果规复满意次第分歧性的法式施行是 NP-完整的。

　　另外一个常常碰到的成绩是怎样浏览论文。网上也有许多倡议、办法，我本人的了解是看论文有些相似神经收集的锻炼 (许畅：必然要大白人的进修才能远超越机械，其经由过程少少例子贯通到本相的泛化才能是极强的——想一想悟道)：在看到研讨成绩当前，先试图给出本人的阐发和计划，然后再看做者的做法，假如有本人没能想到的奇思妙想，再经由过程「反向传布」纠副本人思绪的盲区，重点是把作者的办法用本人简单注释的逻辑注释出来 (这一步十分十分主要！)。老板有一句话说得十分在理：必需浏览 100 篇以至更多的论文，才气对一个研讨范畴有一些根底的觉得。

　　其他方面也是能够操练的，好比写作和写代码 (由于我比力喜好写代码，所当前者没有花去太多的工夫也不疾苦，以为 hacking 很好玩)。第一篇论文的写作被搞惨了 (有图为证，此处 @ 许畅 )。即使改到这个水平，由于根柢太差仍是被审稿人骂了，说这论文做的不错，写的也委曲能看懂，但行文真的是一坨屎，连题目都有语病。

　　「哲学家吃中餐成绩」为何主要？想一想我们身旁的并发法式——操纵体系内核、云计较/散布式体系、效劳器使用，各人都有的体验是它们很难写、更难写对。由于不愿定性的存在，即便我们曾经晓得法式里出缺陷 (bug)，要想复现缺点触发的历程都很艰难，更不消说测试了。哲学家吃中餐成绩恰好就是要处理从日记中规复出法式施行历程的困难，这对并发法式调试手艺的主要性是不问可知的。不只是调试，我们还能够针对观察到的一次施行猜测法式中的缺点，比方数据合作或 use-after-free；以至在运转时就对法式的举动停止干涉，制止并发缺点被触发。这一大类基于法式施行轨迹完成的手艺同一称为并发法式的静态阐发手艺。

　　我以为这门课的实际部门就让我有很大启示，以至改动了我的编程风俗和思想方法。许多内容是ics pa的深化和拓展。

　　老秦 (forgive me! 尝试室里的兄弟们都是这么称号的哈哈！) 给了我许多指点，还教诲我们两件事：「Get out of your comfort zone」，和「Don』t give up easy」。第二条我要出格提一下，我本人的许多设法在做的过程当中许多次都以为能够做不下去了，但以后老是找到法子又捞返来了。我记得很分明，在美帝时论文曾经根本成型，但缺一个 NP-Completeness 的证实 (课后习题难度)，不外当时分能够脑筋有点短路，好久都卡着。偶然候想着不证实就不证实吧，归正不影响论文的成果，但突然某一天我坐 Shuttle 回公寓的时分就想到了枢纽步调，当时分正值俄亥俄州的冬季，但突然就以为一点也不冰冷了。

　　假如这个料想建立，就对这 30 年的研讨功效给了一个「二分性」的总结——想要观察并发法式的施行，要末增加处置器之间的同步，要末支出 NP-完整的价格。这意味着观察并发法式施行是既艰难又简单的。今朝我们信赖这个料想是建立的。在试图证实它的过程当中，我们对「哲学家吃中餐成绩」给出了的一个新的（简化的）证实，并据此得出了一些有效的结论，比方在对法式的修正能写成只读前缀 + 只写后缀的情况下的 NP-完整性。受限于把握的数学东西，我们还没能完整证实或否认这个料想。假如料想被颠覆，我们就更诧异了——阐明 30 年来各人的勤奋都有素质上的不敷，抑或 P = NP，或许我们就需求从头了解全部计较机科学了。

　　本文作者是CCF专业会员、2018CCF优良博士学位论文奖得到者。蒋博士结业于南京大学，现任南京大学计较机科学与手艺系助理研讨员，次要研讨标的目的为软件阐发、测试与分解。

　　别的，xv6尝试设置地比力简朴，你的使命不是完成xv6，而是给xv6增加新特征。假如你不自愿本人自学源码的话，你能够会堕入“这个内核是我写的，我都懂”的错觉。

　　按他的话说，这门课的此中一个目标是教会你一种才能，即在软件层面他人能做出来的，你查了查手册大概甚么spec后也能做出来，还特地摆设了一个lab请求看完37页的 fat32 spec来完成对fat32格局的fs停止图片规复。别的就是让你了解运转在硬件上的体系内核和运转在内核上的软件究竟是甚么。

　　再好比典范的mit6.824，看log打印输出是老迈难成绩南京美食攻略，有个经历贴就提到必然要用一个体人写好的彩色和格局化的输出库。

　　这类“折腾”是贬义的，指的是情愿把书/手册/源码中躺着的笔墨大概是可施行文件内里躺着的二进制序列，酿成更当代、更可视化的展现。不论是讲并发python建模一个多使命的操纵体系，仍是讲假造化“定制gdb”，亦或是静态链接写一个dlbox，这些都是在干一件工作：把人脑不益处理的信息，酿成人脑益处理的信息。

　　从某种意义上来讲，博士时期我是研讨哲 ♂ 学的。「哲学家用饭成绩」是大学时期进修并发编程时的典范困难。如今哲学家们遭到美意的约请来到舌尖上的中国，面临一桌丰富的菜肴，他们不再受限于必需同时拿起手边的两根筷子才气用餐，因而能够更纵情地享用美食。另外一方面，吃中餐的哲学家们也带来了一个新的成绩——会餐是一个很庞大的历程，我们可否把用饭时发作的工作像讲故事一样，完好地复述出来？

　　在研讨方面，我们做了一个很风趣的小东西：用 ptrace 阻拦体系挪用，用假造装备搜集块装备的日记，然后用一些算法上的小本领来主动检测使用法式中的瓦解分歧性缺点。由于之前玩过许多工具，以是做起来能够说是相称随手，半年的会见时期就完成了选题、代码、尝试，找到了包罗 Coreutils、Gzip 等软件里的缺点，论文也顺遂揭晓。近来我收到了 Perl 社区的感激，在最新的不变版里修复了我们陈述的 bug。回忆本人修业的阅历，手艺方面的积聚都是互联网和开源软件培育的，本人不断在讨取，现在能做一些细小的报答，欣喜以至赛过博士结业。

　　在观察并发法式施行的根底上就可以够完成各式百般的静态阐发手艺了。这里举一个我们测试并发法式的例子 [8] (拜见知乎专栏中的科普文)：

　　但我看他的视频的感触感染就是一个大开眼界，当你理解了一些工具以后再回过来看，你会发明居然有教师能在本科阶段就将操纵体系道理讲的云云深化，走在讲授一线但完整没有脱轨，连续跟进当代社会手艺和消费力，是一个真的看过linux源码真的用linux的操纵体系讲师，这太罕见了。对你来讲天马行空的工具对认知更广的高年级门生大概重学的人来讲是一种举一反三，坦荡眼界的觉得。既能讲分明道理，又能将笼统的实际用几个demo展现出来，还能将互联网深处的一些好文章老故事发掘出来是何等贵重的才能。

　　我以为知乎上碰到本人不喜好研讨成绩的博士生必定相称多。这时候候，脸皮厚的感化就阐扬出来了：我有腿，不喜好这个成绩能够跑路啊！

　　本文作者是南京大学博士蒋炎岩，报告了他读博过程当中的阅历，并在文末引见了他的研讨功效，机械之心禁受权转载自知乎。正式版《读博士的难与易》揭晓在《中国计较机学会通信》(CCCF) 2019 年第 8 期 (CCF 优博专题)上。

　　读广博要就是这么简朴，工夫到了该有的就有了，以为疾苦的能够需求归去补根本功，大概是看看本人在大标的目的上有无出错误。

　　大概当前的某一天你由于一个并行的bug搅扰，由于一个锁的成绩熬煎了两三天四处查材料终究弄了个博古通今，你忽然发明竟然有一个教师能够云云明晰精确的用几非常钟将工作的前因后果讲分明，凡是听过的门生对这门课的能够说是怨声载道，这不是没有原理的。

　　由于他是在现出名大门生法式设想比赛acmicpc还不火，2007年一个赛区只要不到100支步队的时分，参与且拿到acmicpc亚洲地区赛银奖的晚期神犇，谁人年月能打acm且有成就的人，每个人都十分能打，有的产业界创业，有的财产自在，而男神色愿挑选在海内大学做教师，且对峙做教诲，同时也做学术，而且专注课程研发，真的做到逾越外洋课程(我晓得北航上交许多课程程度也不低)，且情愿放到b站如许的公家平台，是一切门生的荣幸。

　　在圡博里我算是比力胜利的了 (CCF 优博和 ACM China 优博提名，两项都是 Top 5)，写这篇文章一方面避免我遗忘读博期间许多风趣的阅历，另外一方面或许能给还在泥潭中挣扎的同志中人一些启示。

　　对任何范畴来讲，经历都十分主要。不外数学的 training 有点从小就落下了；加受骗时对体系软件还挺感爱好，读博的时分南大根本没有人做 System 和 PL，以是选了一个最靠近的软件标的目的，固然我也不晓得软件标的目的是做甚么的，就这么上车了 (为此还让出了一个保送硕士的名额，嘿！) 这个道路和广阔保研大众几乎类似得不克不及再类似了。

　　以后的一天，哲学家们从头聚在一同，试图处理「哲学家吃中餐成绩」：他们各自收拾整顿了对那一天用饭历程的影象，并试图一同复原出用饭的完好历程。更切当地说，我们期望在法式施行完毕后，把线程当地的读/写操纵日记兼并玉成局的变量读/写序列，相称于给一切读/写变乱分派发作的前后序次，使得每一个读变乱读出的数值都即是近来一次对该变量写入变乱写入的数值（即按照线程当地日记获得全局满意次第分歧性的变乱排序），如图 1 所示。Gibbons 和 Korach 在 1997 年关于「哲学家吃中餐成绩」给出了一个很是灰心的谜底 [1]：假如 P ≠ NP，再智慧的哲学家也没法在多项式工夫里规复出满意次第分歧性的变乱排序。以至，即使哲学家吃的是暖锅 (只要一道菜，即一个变量的情况)，NP-完整性也是建立的。

　　再以后我发明 Mike Bond 在 OOPSLA 13 上揭晓了一篇和「有前程设法」险些如出一辙的论文，但完成得十分好，能够说远超越了我其时的眼界。过后总结，我以为是老板们的口胃能够曾经被大项目大概全部范畴带歪了，以为手艺曾经是可有可无的工具了，归正总有人能做出来的，做出来也就几句话就讲分明了，不带劲。「打破天涯」的工具才是他们真正想要的。在这件事上我感遭到了「办法学」的伤害，偶然候以至以为办法学就是躲避的托言——他人发了个甚么论文，也就是把这么几个设法拼起来，提拔了这么一点，不外云云嘛。但假如让大谈办法的人去实践做一个，很能够会由于短少对此中各类坑的熟悉做不出来。

　　实在关于守住发际线，上面说的都是哄人的。真实的缘故原由是我遗传了我爸优良的基因。但关于做研讨的故事，都是真的，有对峙就会有报答。

　　上面都是谎话。这个料想很早就想到了，但不断找不到适宜的数学东西证实，加上研讨标的目的的改变，料想就只证实到这个水平 (也是个课后习题难度)，实际上是博士论文烂尾了……

　　我前后鸽了两个研讨标的目的，科研停顿为零 (但本民气态比力好，没有掉头发)。然后在选第三个研讨标的目的的时分 (研一完毕时，进组两年后)，十分十分十分感激许畅：他十分慎重地在 ICSE 12 的时分戳了 HKUST 的张成志传授，说我们这有个门生，给他点难整的成绩整整。张教师就说，嘿嘿嘿欠好做的成绩那是大大的有，能够尝尝并发，给了两篇相干的 paper。因而我就如许上车了——我们组没有人是这个范畴的专家，以至做法式 (静态或静态) 阐发的人都没有。

　　以是你还想读博士吗？仿佛也没甚么难的——找一个 (充足) 艰难的标的目的，把相干的论文都读了，然后死命想还能做甚么就完事了。固然要工作真那末好，读博士也就不至于知乎上说得那末惨了——没碰到对的人、假如脸皮不敷厚……一步走错就可以够中途短命。如今中国的学术界在一个惊人的迁移转变点上，跟着下一代人从小遭到的锻炼愈来愈好，我那点三脚猫的根本功早晚是保不住的。做研讨能够并非靠被动地「进修」就可以搞定的，长江后浪推前浪，前浪立马就死在沙岸上。如今我以为本人大要在活下去的「合格线」上——从小我本人就不是个 hardworking 的人，但 fully focused 的时分仍是能够做出一些差强者意的工具。假如我读博士时分再勤奋一些，杂七杂八的工作别管那末多：

　　在试图处理这个料想的过程当中，实在给了我们许多启示——料想必需在许多限制前提下才气建立。因而只需假定的前提被颠覆，观察并发法式施行就变得不艰难了。比方，我们的庞大性结论是在「最坏状况」下得出的，即存在一个 NP-完整的「极度」线程调理南京美食攻略。但最坏状况或许像光滑阐发 [11] 中指出的那样，在实践中很难存在。理想中的并发法式施行有它的特性 (比方各类部分性)，也被我们用来低落观察并发法式施行的开消。就在难与易之间，实际和理论获得互相的印证。但是在实际与理论中，我们都仍有许多未处理的困难，博士读了许多年，反而以为研讨才方才开端，而不像是告一段落了。

　　我觉得这门课对我最大的协助是作为一门编程课，有大批例子报告我怎样处理bug，和该怎样高效的考证本人学到的常识另有进修新常识的姿式。

　　但打破天涯的工具哪那末简单能做出来呢？不外也没事，这件事一方面让人有些不爽，另外一方面仍是让人挺爽的：究竟结果本人的脑壳仍是好使的，此次在 state-of-the-art 的边沿，或许下次就超越了呢。归正 99% 的 idea 都是他人曾经想到大概没有效的，但小几率变乱大批反复一定发作，只需天天对峙拍脑壳，脑壳必然会秃的，哦不，是必然会有靠谱的 idea 的。只需由于拍脑壳丧失头发的速率不及头发发展的速率，发际线就可以保住了。我已经传闻过 Yuanyuan Zhou 组里的轶事，每周组会的时分强行请求每一个人出一个新的 idea，还会给好的 idea 颁奖。这个机制压力超大，但确实效果很好。

　　jyy的os课程走的是“加法”道路，课程会只管串连cs的其他专业课，新兴范畴，和jyy本人的一些事情，同时简朴引见一些工程思惟、经历。这对初学者十分不友爱，究竟结果os原来就很难，还要统筹其他的常识。但假如你根底比力好的话，这课听起来十分爽。jyy课上常常会造一些“最小xx，你能够经由过程研讨这些工具很好地去笼统观点，大要就是一开端你以为“教师这个最小体系有吹法螺的怀疑啊，没甚么大不了的”，然后认真考虑，发明“有原理，这个牛逼哄哄的观点也就这么回事”。

　　开打趣。我以为他给我建立了一个很好的楷模，大要是「晓得凶猛的人有多凶猛」。既然玩不来这个游戏，就必然要找一个要积聚充足的经历才气玩起来的范畴：

　　我是此外黉舍的在读硕士。本科至今进修过nju的计组lab，进修过ics pa的课程和lab。进修过thu c言语和rust言语的os课程和lab。也有一些此外课程lab。

　　在最初一次厚脸皮当前，就是知乎上的常见套路了，读论文写代码发 paper……固然没人手把手带我飞，但这个范畴研讨的人多，好论文也多，十分合适新人进修。给我启示最多的论文都来自 PL、体系和硬件，不可思议在此过程当中弥补了几根底常识。因而南京美食攻略，我如今尽能够给新人保举这类曾经许多人研讨过的范畴，虽然说在这类范畴发论文能够相对更难一些，但能学到十分多的工具。相反 (也是另外一种很常见的状况)，你假如进入一个出格小众的范畴外洋美食插画，只要几小我私家在玩，入门视野就窄了、格式就小了，就算能灌许多论文，我小我私家以为不是很利于此后的职业生活生计。

　　试想我们把线程中的读/写变乱顺次第串在一根绳索上 (图 3)，处置器根据牢固的速率顺次第施行绳索上的变乱。改动绳索的长度 (比方拉绳索相称于把线程施行的速率变慢) 就获得了差别的线程调理——那些触发并发缺点的调理，很能够躲藏在某些绳索长度的设置中。我们设想了智慧的战略天生具有多样性的线程调理，在先前研讨者曾经重复测试过的并发法式上找到了前所未知的并发缺点。关于庞大性日渐增加的并发法式来讲，静态阐发是一项十分有远景的手艺，对详细内容感爱好的读者能够参考我们的中文综述 [9]。

　　pa难度大的点不在于它有许多当代OS的工具，而是在于它更能培育你的自立入手编码才能，在甚么处所用甚么，这内里会触及硬件体系，操纵体系和编译体系的常识，能让你将常识点更好的总结联络起来，不会的处所就去查材料，去学

　　这一小段会见阅历还很大水平地影响了我的代价观，我以后就爱上了「把软件放在地上磨擦」。我如今的气势派头是「For fun and profits」，起首为了法式员的那种自我满意，其次是缔造一些对社会有效的实践代价。我想出了一个评价本人研讨事情的 metric：我假如做了个工具，我要想一下那些在 Google/FB 事情的码农同窗们以为怎样，假如他们以为无趣，那仍是赶早抛却来得比力好。我以为在美国的半年对我生活生计发生了很大改动：从一开端只是为了「做点甚么纷歧样的工具」，到如今想真正做点「有效的工具」。

　　我写第一篇论文的时分，就只是想做点甚么好玩的工具，但以后就不满意于此了，老是想做更好的、有真正研讨奉献的工具。从发第一篇顶会开端，连结本人研讨事情的质量上升就曾经是相称艰难的了。以是就算从注水开端，也不要有太大的承担，明天将来方长嘛。

　　读博士嘛，各人必定最体贴的是结业成绩，如果结业的时分能守住日渐退行的发际线就更好了。鉴于我读博士根本是「自学青年的成功」，并且另有稠密的头发，本人的经历该当能帮到各人。总结起来就是：脸皮要厚、药不克不及停、决心操练，然后在揭晓论文的边沿猖獗探索就行了。

　　先交代一下为何要读博。实在就是以为想再浪几年做点甚么故意义的工作 (实在缘故原由是本人很懒没有考 G/T)，并且 Top 2 也不在南京，没法子就在南大读吧。做这个决议的时分完整不晓得在海内读博意味着甚么，就随意找了个听说很牛逼的组把本人给卖了。

　　进修阅历培育一小我私家的研讨品尝 (taste)，以是没必要想着长远立刻获得的益处。详细来讲，「进修」就是协助博士生锻炼一个分类器，能断定「甚么工具是好工具」，有真实的 contributions。好工具看多了，你看到那些烂的工具就很天然的排挤了 (假如导师是这方面专家，能够事半功倍，但不管怎样靠本人都是第一名的)。近来几年过了我心中 bar 的论文投稿，被拒的状况相称少 (以是我的整体任命率弘远于集会的任命率，固然好些觉得没过 bar 的也中了)。总结来讲，自学青年想要成功外洋美食插画，我以为读很多长短常主要的。

　　我花了四个月把他的课看完了，除完成历程谁人lab我是真没做（懒了）之外还把其他的lab都做了。我小我私家以为对本人气力提拔十分大，固然我写的旌旗灯号量仍是会死锁。大概下回我开二周目时分会把这些再写一遍，bug就全消逝了。

　　甚么并发，假造化，耐久化。。这些真的都是你在关于操纵体系有了许多理解当前的初级课题。。根本上你需求起首辈修一边传统的操纵体系课本。也就是先大白甚么叫历程办理，内存办理，中止和体系挪用，装备办理，历程间通讯当前，才气进修的课题。。

　　这门课最好搭配尝试课一同停止，不然光看着视频课在你根底常识不敷的状况下你能够只是“开开眼界”，而学不到甚么有效的工具，并且这门课讲的常识都是比力细的，以是能够看视频课也很难将他们串连起来

　　好比我做cmu15445的时分，cpp完成b+树并发会见。加锁，解锁的流程是比力庞大的。并且b+树节点是保留在一个4k页面内里，需求用bufffer pool申请和开释，我该怎样晓得我能否有一个处所遗忘解锁，大概少开释一个页面。(框架代码和oj不撑持我用RAII)。次要我之前没有写过庞大均衡树，也没有参考伪代码之类的。也没有效递归，满是迭代写法，写了1000行的单文件。假如少一个开释大概解锁。必定过不去在线测试了。我真的领会到，把施行过程当中形态机的一些信息天生到文件中，再用一个python剖析考证的办法。帮我节流了很多debug工夫，也削减了我自大心的冲击。

　　收到审稿定见当前吓坏了，赶快去进修了一些公然课、教程 (有些老板给研讨生的倡议写得真的很棒，好比 Manuel Blum 给研讨生的倡议)，另有全能的 stackexchange。比及 camera ready 的时分曾经有了十分明显的进步了；再厥后本人也能在十分短的工夫里写出读得已往的论文了。

　　另外一个胜利的例子是 Tim Roughgarden 在算法课上一句话提到了一份 USENIX Security』03 的事情，然后就这一句话启示我们做了正则表达式庞大性进犯的事情 (固然做研讨没有那末顺遂，中心的曲折就疏忽了)，而且很不测地得到了 ACM SIGSOFT Distinguished Paper (真是不测，实际上是 Conditional Accept，差点挂了)。这个论文的点睛之笔长短通例天时用了 Pumping Lemma，曾经不记得是甚么时分在甚么处所学过这个定理，但确实那一霎时就想到了。

　　图 1：「哲学家吃中餐成绩」示企图。R/W 别离代表读/写变乱，白色暗示满意次第分歧性的线程调理

　　3. 尝试室的年老们 (按辈份算实际上是师弟) 对我非常赐顾帮衬，其乐陶陶各人庭，让美帝的科研事情也非常高兴。

　　固然，我也了解你问的这个成绩“压根听不懂，太天马行空了，不晓得在干啥”的觉得，能够你对操纵体系不感爱好，能够你由于前置常识不敷招致没法子跟上教师的节拍，亦大概你忙着卷保研卷科研加分得空顾及这门课等等。

　　根本上是天下级的操纵体系课程了，能够与CMU，MIT等名校的课程媲美了，以至更胜一筹，次要是由于ppt做的十分幽默诙谐，好比在讲假造内存的时分，说是os给历程带上了vr眼镜，配受骗时出名的成电vr哥的图片 ，再好比在讲到 金丝雀 的时分，会在ppt上写道 本课程中，没有一只植物收到损伤

　　他课上也保举前置书是csapp，教科书是ostep，每一个lecture最初还城市列出来看哪一个相干ostep章节。看完比力简单跟长进度，何况这课在他们黉舍面向的也是好班，和一般班教的纷歧样。

　　因而在这里必需劝退一波想要「经由过程读个博士过上安闲日子」的人，这条路愈来愈行欠亨了。假如你还没有被劝退，祝贺你！读博的阅历是无独有偶的，假如当了一个社畜 (我已经有过无数当社畜的时机)，就不会有那末多出色的发明了。

　　课程会说起最新的产业级os特征，好比会讲到microkernel架构的sel4，linux中lock ordering的使用

　　mit6.s081走的是“减法”道路，课程会过滤掉大部门门生不太简单打仗到，理论到的内容。前2/3课时的目标与其说是教os，不如说是弥补常识，便利门生能看懂xv6。这么教的益处是，他们教的一切内容你都能够在xv6里找到、理论到，主打一个“实在感”，学起来很轻松。但价格是外洋美食插画，实际常识传授过少，学完以后你会发明许多网上的成绩、陈腔滥调你都答不上来，以至能够说不晓得人家问的是啥。

　　我入坑的第一个研讨成绩几乎就是四九年入国军，到明天这个标的目的的好论文曾经十分……稠密了。归纳综合地说就是在根底的机制曾经很难改良的条件下，设想战略去「overfit」使用处景，刷出更好的尝试结果来。那段工夫险些天天要都拷问本人：做这工具有个卵用？试一试吧，尝试装备又相称落伍，只需方位角度差一点点，测出来的数据就飞到十万八千里以外了。但究竟结果老板是「软件办法学」身世的 (固然我也是做「软件办法学」的，但我约莫确实不晓得我究竟是做甚么的)，他们自带伶牙俐齿的光环，每次都能在办法学的制高点忽悠得你理屈词穷，新手门生真是合家莫辩，项目也就不断如许莫明其妙地停止下去了。

　　这类极限操纵的才能，能够来自于从前参与 ACM-ICPC，三人一台机不太够用，以是操练在纸上写完好的代码。到厥后能够做到几页纸的代码，proof read 一遍，敲出来编译过就可以交，过了就是过了，不外略微测点数据再读一遍代码也能搞定。整体来讲，我在读博时期以至到明天仍然常常极限操纵南京美食攻略，但险些没有错过任何本人预设好的 deadline，以是仿佛给老板 (和其他同事者/协作者) 一个我很靠谱的假象 (实践上是由于总另有更不靠谱的人)。

　　怎样高效的写出准确的法式，他的设法是在我们出错的时分实时提示我，和让人类觉得轻松的方法报告我。究竟结果人老是出错，人是不牢靠的。

　　操纵体系属于计较机手艺聪慧的精髓，但深化出来又太庞大了，从启动到内存办理文件体系历程调理驱动模块每个都太庞大了，光讲观点都要很多多少工夫，就算观点了解了真的落实到linux的代码完成又是一番新的六合。他的视频我根本上是二倍速看完的，全程没有空话还会扩大一些当代操纵体系中为何的常识点，好比这期视频就提到了为何WSL1抛却了做linux的体系挪用兼容，linux2.6.0这一个严重变化的工夫点发作了甚么事，能够说是深化浅出了。

　　平生一芯和nju参与第二届龙芯杯的历程也表现这个思绪(用verilog的输出和指令级模仿器的输出进交运转时比对，从而在本人完成的硬件第一次形成形态机不契合指令集划定的时分就主动检测出来。)

　　但操纵体系这门课因为其性子的缘故原由，和开在大二的CSAPP，大三的编译道理相似，第一次学受限于眼界和工夫压力学业压力，感应艰难和费劲是很一般的，并且jyy教师一节课的内容含量很满的确有点吃不用，关于初学者来讲我信赖是颇具压力的，我倡议你先囫囵吞枣咽下去，等你再过一段工夫触及到操纵体系的魅力的时分，大概你还会把一切的视频翻出来从头看一遍，是真的讲的很好。

　　活该的体系尝试课，哦没甚么，也就是让本科生本人写个 CPU，上面跑个本人的操纵体系和使用法式。这也没啥手艺含量 (没少人做过)，就是花工夫；带江苏省队的锻炼和省级比赛的构造等，保护评测机、比赛现场的各类剧本和暂时背锅，当了很多多少年的救火队长；带着 ACM-ICPC 集训队锻炼，再早些时分还打打 TC，在红名的边沿猖獗探索……然后游戏再少打一点，不要谈爱情成婚 (已屏障妻子)，publication list 也不会就这么孤伶伶的几篇了。我常常和门生们说，假如你们连导师都不克不及正面刚，仍是慎重思索一下读博这件事吧。

　　PS:也熟悉有同事的小同伴上交acm班，厥后读博留校做青椒了，信赖会有愈来愈多的优良中青年在教诲行业的！

　　厥后我学会了一个经历，如今和老板们交换时，思维里先准备好一个 SMT Solver。老板每说一句话，我就先把这句话在逻辑上取反，然后扔到 SMT Solver 里求解一下，看看他究竟是怎样把这件事忽悠已往的。我惊奇地发明，求解的普通成果，要末是正义系统有些差别，要末是在一些十分根本的成绩上没能告竣分歧。一个典范的例子是，老板们偶然候会以为「再小的 contribution 也是 contribution」，但假如你有一个预设的 significance 的 lower bound，这句话就不建立了。这一招屡试不爽，每次都说不外老板的同窗们能够多多测验考试 (许畅 ：有的时分说的话还看情况，对有差别抗冲击才能的人要推敲说差别的话，能够细细领会老板是鼓舞你仍是慰藉你——不要把老板慰藉你的好意硬戳破了)。

　　在美国短短半年的会见让我感应十分温馨：一切的杂事都甩锅了，能够十分埋头肠体验一下纷歧样的糊口。常常顺着 Olentangy River 步行到黉舍，从严冬到秋冬，一起上的光景变革都还记忆犹新。

　　你的动力不敷，由于这不是你份内之事，你能够抱有如许的设法：“传闻这门课又风趣，教的又好，我来碰运气”，可是试过以后，觉得不克不及以“兼职”的方法去完成它，而且你又能够不去完成它，归正期末考os的时分，做做往年题就行了

　　1. 我很惊奇地发明我读过那位奥秘导师 (秦锋) 的研讨组在 OSDI 14 上揭晓的一篇有关瓦解分歧性的论文，十分喜好，这就是缘分 (实际上是论文读得够多)。

　　不外我以为，关于正在挣扎的后代们来讲，轻飘飘一句你勤奋就行了，约莫没有太大协助。人和人的生长情况纷歧样，才能、运势都纷歧样，实在底子不克不及够真正相互了解。以是我以为，学不会大概不是你的成绩，正如我明天以为昔时的我学不会也无可厚非。固然，我也不以为教师和黉舍有任何成绩，课程难度不克不及够合适一切人。人生中这类事只会愈来愈多，你成为既得长处者，大概成为时期的灰尘。

　　「哲学家吃中餐成绩」的 NP-完整性 (固有的艰难) 其实不料味着我们没法在实践中处理它。为了完成并发法式的静态阐发，必需在运转时观察并发法式的施行，而观察却其实不范围于「线程当地的记载」。我们期望有一台「摄像机」拍摄下哲 ♂ 学 (家用饭) 的全历程，而修正法式的代码或运转时情况，刚好能完成如许的摄像机：为一切同享内存的读/写操纵上锁，并在锁的庇护下记载它们发作的次第，就获得了同享内存会见的日记，如图 2 所示。今后意义上，观察并发法式施行又是简单的。

　　3、操纵体系如许的“体系”课程，能够讲的十分简朴，也能够讲的十分难，完整是看课程的定位。（我记得jyy的这门课不是给一般班开的？）

　　在对相干事情有曾经有必然理解的根底上，我有了 (多少) 个设法。此中一个我以为「很有前程」的设法，颠末跟老板会商被否认了，以为这工具不就是个 XXXXXX 嘛，没啥卵用。另外一个我以为「没前程」的设法，老板们不断在鼓动持续搞 (许多是出于鼓舞的心态，但我至今都不以为这个 paper 能发得出来)。再厥后一个我以为「挺普通」的设法成了我的第一篇论文。

　　谁人时分野生智能曾经很热了，为何没选呢？是由于从小被数学好的人吓怕了……这里要提一下我小时分一同长大的两位密友，一个是 Richard Peng，另外一个是 Zeyuan Allen-Zhu。特别是 rpeng 那种过目成诵的神人，从幼儿园开端就相爱相杀 (哈哈哈)，厥后就搞不外他了。再厥后人家去了加拿大，眼看着他各类 STOC/FOCS/SODA，又厥后当了美国队长，不跟咱玩了。

　　走上计较机科学的门路多多极少算是件「掷中必定」的事，大提要从幼儿园起相爱相杀的基友彭泱 (Richard Peng) 开端吧。他是个十分奇异的人物：影象力超强、解题速率超快、遭到的锻炼超好。这个根本上是我能见到的「天花板」，固然如他所说，做数学的人更恐怖，不外仿佛那些人其实不在我糊口的天下里。然后一起都碰到许多风趣的人 (没法逐个称谢)，包罗大学时期一同参与 ACM-ICPC 的队友李昂和李珅，渡过了十分高兴美妙的本科光阴，在美国相逢的时分还一同旅游了一场 Regional (说好的 AK 酿成了各类 WA 到死)。到读博时期，我的导师们 (吕校长、马所长、许畅和秦锋教师) 都十分撑持我，给了我超棒的研讨情况，以至偶然候都不美意义驱使我当马仔，我本人是以为不太美意义的 (我有一个做马仔的醒悟，但仿佛或许由于本人有同窗多做了一些马仔活)。

　　“折腾”这个词实际上是有次答疑的时分教师给我的一句评价，说我还挺爱折腾的。今朝来看，本人程度仍是不敷，这门课一定考得很高的分，以是我想把这句话当做本人的最大鼓舞，它更代表了一种“多做一点无关绩点的工具来调换欢愉、哈哈他妈的学cs好难学了半天又碰到失业隆冬了可是我仍是有点喜好它的”的立场。究竟结果子曰：学而时习之，不亦说乎？

　　头几天学到了一个观点。叫常识的咒骂。。说的是一小我私家一旦把握了某个常识就没法像没有这个常识一样对待这个天下了。我以为教师该当是真会。可是由于他的操纵体系常识太广博了。以致于他没有法子领会一个初学者的疾苦。。

　　至于model checker，能够不算os中心内容，但关于我这类没有lab和期末绩点压力的来讲是有启示的。之前我关于系统构造的指令级并行，多核cache通讯和谈是有必然根底的。我以为jyy这方面讲的有点简单，emm，这方面有点太黑盒关于没有根底的同窗。

　　2. 我挑选了埋伏在留门生群里 (而不是拖家带口的会见学者)，因而找到了两位超棒的室友。一名是挖石油的，一名是搞钱的，让美帝的糊口非常高兴。

　　谁没有迟延症呢？我拖了两把超大的。第一次是由于论文得以揭晓，能够找时机出国转转，留学基金委掏钱，有个申请的流程。成果我把联络导师的工作迟延到了停止日期的前一天。对，你没看错，我们花一天工夫联络了一名老板唯一一面之缘之人，在 24 小时内搞定了保举信和质料。在质料交进来的那一霎时，我只晓得这小我私家做的工具仿佛和我有那末一丢丢干系。

　　我拖的第二把超大的是花两周工夫写完了结业论文。记得 2017 年 9 月初，我问老板是否是能够结业了，老板说好啊，通常为 11 月交论文，嗯我们来看看……一看不得了，间隔论文初稿提交另有两周多一丢丢，而谁人时分我写完的部门大要只要 5 页。

　　大部门人在关于操纵体系有了许多理解当前，能够从并发，假造化，耐久化的角度了解操纵体系，可是大部门人不克不及作为一个初学者从并发，假造化，耐久化的角度进修操纵体系。。

　　你和课程的联络未几，由于你是经由过程视频看课程，而且lab没有测试，而南大的门生们有助教，有教师答疑

　　2、固然jyy暗示在测验考试低落门坎，但我以为没学过南大的ics就别强行学他们的操纵体系了。（南大ics的操纵体系部门能够都够一般黉舍开一门操纵体系课了南京美食攻略。）

　　4、假如你以为很难外洋美食插画，难到视频看几遍也看不懂，那阐明这课完整分歧适你，倡议换一个简朴一点的，没须要死磕。

　　假如把哲学家看做是线程，每道菜看做是变量，那末每一个哲学家在用饭的过程当中都能够屡次施行以下两个操纵：(1) 察看某一道菜，在霎时记下这道菜的容貌 (相称于读出变量的值)；(2) 吃某一道菜，在霎时改动它的容貌 (相称于为某个变量写入一个值)。哲学家们都是了不得的天赋，在用饭的过程当中都已冷静地记下本人所知的统统，即每一个线程记载下本身发作的读/写操纵的变量和它们的数值。

　　我以为它的意义在于怎样更好的操纵机械去处理我们的成绩，怎样用一小段编程来处理它，怎样按照已有的常识来起个头？

　　他上课用的工具归纳综合起来，根本就是linux下的c言语开辟东西链：gdb make vscode vim git shell 另有个qemu来模仿硬件情况甚么的。这些工具我能够说，除qemu，端庄的底层软件开辟大概linux c开辟根本都是要用到的。他只不外是让你用今朝实践事情中最能够用到的东西来教你的。

　　model checker 另有可视化打印gdb，最小加载器的例子，怎样本人写个小的运转时检测的例子。都是一个思绪。怎样把形态机的宏大历程简化到简单被人类考证的模子，大概间接被另外一个形态机考证。

　　jyy教师自己根本没有被 常识咒骂南京美食攻略，好比在讲elf的时分，他可以感同深受的说，这些法式头外洋美食插画，我的头，你们一开端看必定会以为很庞大。。。

　　1、我本人是学完南大ics和mit6.s081后看的jyy的课程，觉得讲得的确好，供给的示例代码很故意思。

　　我在南大上操纵体系课仍是14年，当时分蒋炎岩教师仍是jyy助教，不外大抵阅读其他答复，仿佛课程和尝试气势派头与我认知仍是比力分歧的。

　　我有前置课ics pa编写的经历，以是以为防备性编程和一些轻量级检测bug的运转时检测对我很大启示。好比其时pa的时分，有个蓝框使命(选做)说模仿器能够检测死轮回，使命有一点难，能够考虑一下。其时没有任何设法，大概有一些设法也以为完成起来十分艰难。没有想过能否能够低落一些难度来完成这个使命。

　　至于每节课常识面都很杂，我觉得这才是前沿课程教师该讲的，给每个os中的常识点拓展标的目的，说出相干的以至今朝正在研讨的标的目的，假如你对相干范畴感爱好还能一步到位检察他列出来的相干文章。好比我记得他列出来的一篇相干论文，就是用初级编程言语去重写kernel有甚么益处，项目是go写的，经由过程带的gc制止内存保守的破绽，可是机能比纯c差一点。