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

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

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

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

    技术实现上确实有很大的变动，我的意思是，我们不会从中得到非常多的好处

    to: cjzf
    量子计算的程序设计是完全不同的，就我看过的量子神经网络，原来的迭代算法可以用非迭代代替

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

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第12楼
    发贴心情 
    “我的意思是我们不会从中得到太多好处”
    嗯。有可能........

    ----------------------------------------------
    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 10:18:00
     
     neoedmund 帅哥哟，离线，有人找我吗？水瓶座1980-1-25
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：159
      门派：XML.ORG.CN
      注册：2005/3/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给neoedmund发送一个短消息 把neoedmund加入好友 查看neoedmund的个人资料 搜索neoedmund在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看neoedmund的博客第13楼
    发贴心情 
    我最不懂的是为什么os只有windows,linux,... 语言只有c,c++,java,...
    束缚了思想啊，。。。当然做自己的又没有那么多精力。。。

    ----------------------------------------------
    交流有助学习

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第14楼
    发贴心情 
    谁说os就这么两种？
    随便翻翻介绍os的书/资料就知道，历史上出现过的os绝对不下50种，语言就更是数不胜数。只是在多年的应用中，多数os/语言被使用都抛弃，优胜劣汰了而已。
    束缚思想？难道windows和linux不是在不断改进、相互学习，且不断有新的idea加入吗？
    至于语言，不是还有logic programming、function programming和所谓的“extreme programming”吗？这些都是在形式上的不断翻新啊。至于实质嘛......自从有了TM（及其它与之等价的）计算模型以来，就没有什么变化了吧？

    以下是引用neoedmund在2005-3-22 10:35:12的发言：
    我最不懂的是为什么os只有windows,linux,... 语言只有c,c++,java,...
    束缚了思想啊，。。。当然做自己的又没有那么多精力。。。

    ----------------------------------------------
    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/22 14:03:00
     
     neoedmund 帅哥哟，离线，有人找我吗？水瓶座1980-1-25
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：159
      门派：XML.ORG.CN
      注册：2005/3/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给neoedmund发送一个短消息 把neoedmund加入好友 查看neoedmund的个人资料 搜索neoedmund在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看neoedmund的博客第15楼
    发贴心情 
    以下是引用Logician在2005-3-22 14:03:48的发言：
    谁说os就这么两种？
    随便翻翻介绍os的书/资料就知道，历史上出现过的os绝对不下50种，语言就更是数不胜数。只是在多年的应用中，多数os/语言被使用都抛弃，优胜劣汰了而已。
    束缚思想？难道windows和linux不是在不断改进、相互学习，且不断有新的idea加入吗？
    至于语言，不是还有logic programming、function programming和所谓的“extreme programming”吗？这些都是在形式上的不断翻新啊。至于实质嘛......自从有了TM（及其它与之等价的）计算模型以来，就没有什么变化了吧？


    谁说os就这么两种？我说了吗？
    不用翻书我就能说出来BeOS,Amigo,Syllable,*BSD,..
    谁说没有变化了?我说了吗？
    logic programming、function programming和所谓的“extreme programming”？
    这几个都不是一个层次上的概念，麻烦你不要放在一起。
    还有不要说吧什么“TM”这种理论上的东西和实际的东西放在一起说。
    不明白你到底想说什么。

    ----------------------------------------------
    交流有助学习

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第16楼
    发贴心情 
    以下是引用neoedmund在2005-3-22 16:58:33的发言：
    谁说os就这么两种？我说了吗？
    不用翻书我就能说出来BeOS,Amigo,Syllable,*BSD,..
    谁说没有变化了?我说了吗？
    logic programming、function programming和所谓的“extreme programming”？
    这几个都不是一个层次上的概念，麻烦你不要放在一起。
    还有不要说吧什么“TM”这种理论上的东西和实际的东西放在一起说。
    不明白你到底想说什么。

    那请你解释一下你说的“我最不懂的是为什么os只有windows,linux,... 语言只有c,c++,java,...”
    是什么概念，为什么说这样“束缚了思想”？怎么“束缚了思想”？哪里“束缚”了？怎样才算不“束缚”？

    ----------------------------------------------
    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/22 20:16:00
     
     neoedmund 帅哥哟，离线，有人找我吗？水瓶座1980-1-25
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：159
      门派：XML.ORG.CN
      注册：2005/3/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给neoedmund发送一个短消息 把neoedmund加入好友 查看neoedmund的个人资料 搜索neoedmund在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看neoedmund的博客第17楼
    发贴心情 
    以下是引用Logician在2005-3-22 20:16:19的发言：
    那请你解释一下你说的“我最不懂的是为什么os只有windows,linux,... 语言只有c,c++,java,...”
    是什么概念，为什么说这样“束缚了思想”？怎么“束缚了思想”？哪里“束缚”了？怎样才算不“束缚”？


    虽然高级语言领域有很多种语言，但是无论处于个人兴趣还是其他目的，想要进行操作系统的开发，目前可选的几乎只有asm,c, 为什么没有人发明一些别的"体系"的语言。至少我还没有找到这方面的project。我觉得应该有更多的选择，那样才“不束缚思想”啊。因为原来的c已经经过了很多年了，也应该有些"横向"上的演化吧，就像高级语言一样。难道只要c就可以了，至少我觉得不太方便，即使是用来开发OS,其中有很多数据结构啊什么的，如果用更好一些的语言能提高可读性，写起来也简单一些。

    ----------------------------------------------
    交流有助学习

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第18楼
    发贴心情 
    以下是引用neoedmund在2005-3-23 9:27:45的发言：
    虽然高级语言领域有很多种语言，但是无论处于个人兴趣还是其他目的，想要进行操作系统的开发，目前可选的几乎只有asm,c, 为什么没有人发明一些别的"体系"的语言。至少我还没有找到这方面的project。我觉得应该有更多的选择，那样才“不束缚思想”啊。因为原来的c已经经过了很多年了，也应该有些"横向"上的演化吧，就像高级语言一样。难道只要c就可以了，至少我觉得不太方便，即使是用来开发OS,其中有很多数据结构啊什么的，如果用更好一些的语言能提高可读性，写起来也简单一些。

    何谓：“别的"体系"的语言”啊？
    一个明显的事实是：要想让目标程序拥有较高的运行效率，使用的高级程序就不能与机器语言有太大的语义差距。
    另一个明显的事实是：目前的硬件还没有发展的可以不必太关注OS的运行效率的地步。
    第三个明显的事实是：目前的ASM就是这样，如果要改ASM，就要改体系结构。如果那一堆新的体系结构中有比较成熟的、可以进入商用的，ASM自然会改。否则，ASM不会有什么大改。
    第四个明显的事实是：如果你说的那些功能，貌似要么可以用自定义数据结构/函数/类来实现，要么就属于明显加大语义差距的那种。怎样才能为此开发新的、提高可读性的、又不会太多地降低性能的“横向”演化呢？

    ----------------------------------------------
    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/23 10:14:00
     
     neoedmund 帅哥哟，离线，有人找我吗？水瓶座1980-1-25
      
      
      等级：大一(高数修炼中)
      文章：26
      积分：159
      门派：XML.ORG.CN
      注册：2005/3/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给neoedmund发送一个短消息 把neoedmund加入好友 查看neoedmund的个人资料 搜索neoedmund在『 操作系统原理 』的所有贴子 引用回复这个贴子 回复这个贴子 查看neoedmund的博客第19楼
    发贴心情 
    以下是引用Logician在2005-3-23 10:14:59的发言：
    何谓：“别的"体系"的语言”啊？
    一个明显的事实是：要想让目标程序拥有较高的运行效率，使用的高级程序就不能与机器语言有太大的语义差距。
    另一个明显的事实是：目前的硬件还没有发展的可以不必太关注OS的运行效率的地步。
    第三个明显的事实是：目前的ASM就是这样，如果要改ASM，就要改体系结构。如果那一堆新的体系结构中有比较成熟的、可以进入商用的，ASM自然会改。否则，ASM不会有什么大改。
    第四个明显的事实是：如果你说的那些功能，貌似要么可以用自定义数据结构/函数/类来实现，要么就属于明显加大语义差距的那种。怎样才能为此开发新的、提高可读性的、又不会太多地降低性能的“横向”演化呢？



    对于你说的几点，我认为
    1。 新的OS开发语言（如果有的话）不是去代替asm，c，而是与之并列。
    2。 从某种角度，你可以认为，目前的硬件"已经"发展的可以不必太关注OS的运行效率的地步。尤其是处于个人研究、个人应用的场合。
    3。 也许你可以像写应用程序一样很快很方便的写操作系统，（如果新的语言发明的话）。目前一个最"土"的OS（多任务，有个console,。。。）,大概也要几个人年吧？
    4。 "加大语义"造成性能降低不是必然的，但是魅力是无法抗拒的。比如你写一个应用程序不会都考虑从asm开始。当然用加强的Macro ASM也是可行的，如果你习惯的话。没有人否认asm在小尺度下性能。但是在一个有数据库，上千个对象，网页的网站系统中用asm是很难想象的。比如要实现cache,pool,o/r mapping，你已经无暇顾及寄存器的优化什么了。
    5。新的语言是什么样的我也不知道，自己能力时间有限，想做但是还没做出来 ：（

    ----------------------------------------------
    交流有助学习

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

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 操作系统原理 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客第20楼
    发贴心情 
    以下是引用neoedmund在2005-3-23 12:03:42的发言：
    对于你说的几点，我认为
    1。 新的OS开发语言（如果有的话）不是去代替asm，c，而是与之并列。
    2。 从某种角度，你可以认为，目前的硬件"已经"发展的可以不必太关注OS的运行效率的地步。尤其是处于个人研究、个人应用的场合。
    3。 也许你可以像写应用程序一样很快很方便的写操作系统，（如果新的语言发明的话）。目前一个最"土"的OS（多任务，有个console,。。。）,大概也要几个人年吧？
    4。 "加大语义"造成性能降低不是必然的，但是魅力是无法抗拒的。比如你写一个应用程序不会都考虑从asm开始。当然用加强的Macro ASM也是可行的，如果你习惯的话。没有人否认asm在小尺度下性能。但是在一个有数据库，上千个对象，网页的网站系统中用asm是很难想象的。比如要实现cache,pool,o/r mapping，你已经无暇顾及寄存器的优化什么了。
    5。新的语言是什么样的我也不知道，自己能力时间有限，想做但是还没做出来 ：（

    1、我明白你的意思。但开发者需要考虑成本和收益，对吧？“个人研究、个人应用的场合”能为开发者提供足够的利润空间吗？能使得这种语言普及吗？目前而言，多数自己写OS的场合（我只是说“多数”）属于这样几类：1) 学校的OS课上，为了让大家了解OS而布置的作业。在这种情况下，似乎自己从头写（而不是找一个专门为写OS优化过的语言去写）对学习更有帮助一点。 2) OS公司/科研机构。这些地方似乎有足够人力和积累（函数库？）使得他们可以不用花几个人年来做这些琐碎的事。

    2、OS的性质似乎决定了不可能“像写应用程序一样很快很方便的写操作系统”，除非你所谓的“写”只是在configure一个现成的内核........

    ----------------------------------------------
    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/23 13:09:00
     
     GoogleAdSense天蝎座1984-10-28
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 操作系统原理 』的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/6/17 10:42:48

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

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