新书推介：《语义网技术体系》
作者：瞿裕忠，胡伟，程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
    		•   Add to Google

    >> 操作系统研究。UEFI
    [返回] 中文XML论坛 - 专业的XML技术讨论区 → 计算机理论与工程 → 『 操作系统原理 』 → [讨论]未来的OS应该是什么结构的？ ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 72365 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： [讨论]未来的OS应该是什么结构的？ 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     eyounx 帅哥哟，离线，有人找我吗？金牛座1982-5-3
      
      
      威望：9
      等级：大四(GRE考了1400分!)(版主)
      文章：272
      积分：1260
      门派：GOOGLEBBS.NET
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给eyounx发送一个短消息 把eyounx加入好友 查看eyounx的个人资料 搜索eyounx在『 操作系统原理 』的所有贴子 访问eyounx的主页 引用回复这个贴子 回复这个贴子 查看eyounx的博客楼主
    发贴心情 [讨论]未来的OS应该是什么结构的？

    as far as i know，现OS的结构有Monokernel（例如linux）,Microkernel（例如Win nt, minix, MacOS... )，Extkernel等，未来的kernel是什么？

    计算机硬件的发展导致OS结构会发生变化，例如“未来不需要交换文件”，还有什么变化呢？


       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    member of LAMDA, CS, NJU
    http://lamda.nju.edu.cn/
    http://lamda.nju.edu.cn/yuy

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 11:43:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第2楼
    发贴心情 
    赞一下这个主题！^_^

    1）据说新的Linux已经不是纯mono的了，很多方面已经在走micro的道路了.......
    2）未来不用交换文件？Why啊？

    偶觉得：
        如果量子计算真的能够进入实用阶段的话，一切都会发生fundamental revolution。后果根本无法预料。
        所以这里只讨论量子计算失败（或者在讨论成功之前的阶段，嘿嘿）的情况。在这种情况下，硬件发展导致“一切为了节约开发成本”的理念逐渐成为金科玉律。Microkernel和C/S结构将成为绝对主流。mono根本就是rubbish.........
        但也不排除这种可能：在eyounx这样的AI大牛的不懈努力下，Automated Programming逐步实现，programmers就像被机器取代的工人一样，大量失业。不再有人关心什么OS Kernel了，只有一些AI researchers不断地开发着新版本的Automated OS developers............

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 11:58:00
     
     eyounx 帅哥哟，离线，有人找我吗？金牛座1982-5-3
      
      
      威望：9
      等级：大四(GRE考了1400分!)(版主)
      文章：272
      积分：1260
      门派：GOOGLEBBS.NET
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给eyounx发送一个短消息 把eyounx加入好友 查看eyounx的个人资料 搜索eyounx在『 操作系统原理 』的所有贴子 访问eyounx的主页 引用回复这个贴子 回复这个贴子 查看eyounx的博客第3楼
    发贴心情 
    [color=#00FF99]以下是引用Logician在2005-3-15 11:58:31的发言：
    赞一下这个主题！^_^

    1）据说新的Linux已经不是纯mono的了，很多方面已经在走micro的道路了.......
    2）未来不用交换文件？Why啊？[/color]
       这个是System的超级大牛A.S. Tanenbaum说的，因为内存越来越便宜。程序在内存上的限制现在是32位寻址的限制，我的一个试验在32位机器上就跑不起来，要到64位机上才行。


    偶觉得：
         如果量子计算真的能够进入实用阶段的话，一切都会发生fundamental revolution。后果根本无法预料。
        我倒是觉得量子计算就算成功了，也就是带来了一些加速，不会带来多少变化。我觉得会像现在一些CPU提供的加速指令一样，提供一些量子指令，而只有这些量子指令能体现量子的好处。我还觉得使用量子计算的难度不亚于研究量子计算计。


         所以这里只讨论量子计算失败（或者在讨论成功之前的阶段，嘿嘿）的情况。在这种情况下，硬件发展导致“一切为了节约开发成本”的理念逐渐成为金科玉律。Microkernel和C/S结构将成为绝对主流。mono根本就是rubbish.........
         但也不排除这种可能：在eyounx这样的AI大牛的不懈努力下，Automated Programming逐步实现，programmers就像被机器取代的工人一样，大量失业。不再有人关心什么OS Kernel了，只有一些AI researchers不断地开发着新版本的Automated OS developers............

    ----------------------------------------------
    member of LAMDA, CS, NJU
    http://lamda.nju.edu.cn/
    http://lamda.nju.edu.cn/yuy

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 13:10:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第4楼
    发贴心情 
        这个是System的超级大牛A.S. Tanenbaum说的，因为内存越来越便宜。程序在内存上的限制现在是32位寻址的限制，我的一个试验在32位机器上就跑不起来，要到64位机上才行。
    [/QUOTE]

    IC了。
    赫赫。^_^

    [QUOTE]
          我倒是觉得量子计算就算成功了，也就是带来了一些加速，不会带来多少变化。我觉得会像现在一些CPU提供的加速指令一样，提供一些量子指令，而只有这些量子指令能体现量子的好处。我还觉得使用量子计算的难度不亚于研究量子计算计。
    [/QUOTE]
    怕不一定吧？
    比如在并行性和随机性上改进，应该会对计算机整个的结构有很大很大的影响。量子和电子，两种性质相差这么远的东东。很难想像用它们做出来的机器会有一样的体系结构。

    [QUOTE]      所以这里只讨论量子计算失败（或者在讨论成功之前的阶段，嘿嘿）的情况。在这种情况下，硬件发展导致“一切为了节约开发成本”的理念逐渐成为金科玉律。Microkernel和C/S结构将成为绝对主流。mono根本就是rubbish.........
          但也不排除这种可能：在eyounx这样的AI大牛的不懈努力下，Automated Programming逐步实现，programmers就像被机器取代的工人一样，大量失业。不再有人关心什么OS Kernel了，只有一些AI researchers不断地开发着新版本的Automated OS developers............



    还可以进一步想像：
    随着AI的发展，大量的技术文档（如系列机的指令系统说明）将主要是为程序看的。为此，文档将会越来越形式化。以后人们读书就像读代码，读代码就是读书.......
    小学生的第一门课将不再是语文或数学，而是“形式语言”。就像几个世纪之前，大家上学首先是学拉丁文................

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 13:24:00
     
     eyounx 帅哥哟，离线，有人找我吗？金牛座1982-5-3
      
      
      威望：9
      等级：大四(GRE考了1400分!)(版主)
      文章：272
      积分：1260
      门派：GOOGLEBBS.NET
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给eyounx发送一个短消息 把eyounx加入好友 查看eyounx的个人资料 搜索eyounx在『 操作系统原理 』的所有贴子 访问eyounx的主页 引用回复这个贴子 回复这个贴子 查看eyounx的博客第5楼
    发贴心情 
    这个quote是个bug啊

    关于Quantum计算模型我是这么想的，一般的研究中都是假设人的能力是无限的，但是这显然是个不正确的假设。
    并行研究了有一段时间了，并行程序设计仍然无法很好的应用。并行对应的应该是非确定TM吧。如果再来个超越TM的模型，人们有没有这个能力运用它？

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 13:36:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第6楼
    发贴心情 
    以下是引用eyounx在2005-3-15 13:36:49的发言：
    这个quote是个bug啊

    关于Quantum计算模型我是这么想的，一般的研究中都是假设人的能力是无限的，但是这显然是个不正确的假设。
    并行研究了有一段时间了，并行程序设计仍然无法很好的应用。并行对应的应该是非确定TM吧。如果再来个超越TM的模型，人们有没有这个能力运用它？


    “这个quote是个bug啊”
    RE~~~
    烦透了...............

    “一般的研究中都是假设人的能力是无限的”
    这个怎么讲啊？

    “并行研究了有一段时间了，并行程序设计仍然无法很好的应用。并行对应的应该是非确定TM吧。”
        量子计算机对计算理论有多大影响先不去说，我们这里谈的是量子计算机对系统结构和操作系统的影响。比起计算理论来说，系统结构和操作系统对新技术要敏感得多。
        一个简单的例子：目前普通的并行/分布式计算机，对计算理论几乎没有任何影响。但你总不会认为，在单机上的OS可以直接用到分布式计算机上去吧？
        如果一个简单的分布式都会使OS产生比较大的变化的话，没有理由相信，在量子计算机上能直接运行Windows XP..........:P
        事实上，这样假设：设定量子计算机能用某种方式触发它的有限并行性（比如最大并行度为1M线程），那么，它在计算理论上就不可能是NTM，因为NTM要求无限制的并行。很难想像任何现实中物质能有这种特征........
         但是，那时的OS和体系结构却将产生很大的变化。回想一下现在的结构为了充分发挥各部件（如流水线、存储体系等）的效用做了多少几近BT的优化，就可以想像，将来会为了利用量子的并行性将做出多少调整了..............

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 13:50:00
     
     eyounx 帅哥哟，离线，有人找我吗？金牛座1982-5-3
      
      
      威望：9
      等级：大四(GRE考了1400分!)(版主)
      文章：272
      积分：1260
      门派：GOOGLEBBS.NET
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给eyounx发送一个短消息 把eyounx加入好友 查看eyounx的个人资料 搜索eyounx在『 操作系统原理 』的所有贴子 访问eyounx的主页 引用回复这个贴子 回复这个贴子 查看eyounx的博客第7楼
    发贴心情 
    清楚了，我们讲的不是一回事

    ----------------------------------------------
    member of LAMDA, CS, NJU
    http://lamda.nju.edu.cn/
    http://lamda.nju.edu.cn/yuy

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 19:41:00
     
     pennyliang 帅哥哟，离线，有人找我吗？白羊座1979-4-7
      
      
      威望：8
      等级：大二期末(C++考了100分!)
      文章：266
      积分：1911
      门派：Lilybbs.net
      注册：2005/3/11

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给pennyliang发送一个短消息 把pennyliang加入好友 查看pennyliang的个人资料 搜索pennyliang在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看pennyliang的博客第8楼
    发贴心情 
    微内核的生命力，比较强大，有生命力，易于分布式的部署。在一个通讯效率不是问题的情况下，单体内核不具有竞争力。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/15 19:41:00
     
     Logician 帅哥哟，离线，有人找我吗？天蝎座1984-10-28
      
      
      威望：9
      头衔：逻辑爱好者
      等级：研三(收到IBM CRL的Offer了)(版主)
      文章：1219
      积分：10357
      门派：IEEE.ORG.CN
      注册：2005/3/12

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第9楼
    发贴心情 
    以下是引用eyounx在2005-3-15 19:41:31的发言：
    清楚了，我们讲的不是一回事

    FT.
    那你讲的是啥？

    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/16 5:05:00
     
     cjzf 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：0
      积分：54
      门派：XML.ORG.CN
      注册：2005/3/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给cjzf发送一个短消息 把cjzf加入好友 查看cjzf的个人资料 搜索cjzf在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看cjzf的博客第10楼
    发贴心情 
    量子计算可能能使一些计算方法加快，例如中国邮路问题，还有通信中的保密问题。
    但是量子计算在循环，叠代方面不不占有优势，而且成本太高。
    所以即使量子计算机开发成功了，也就是一个计算机的高速特殊运算设备，在短期内不会撼动传统计算机的地位的。
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/3/16 8:30:00
     
     GoogleAdSense
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 操作系统原理 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/1 23:32:45

    本主题贴数32，分页： [1] [2] [3] [4]

    管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    		 109.375ms