-
公开(公告)号：CN107544859A
公开(公告)日：2018-01-05
申请号：CN201710567592.9
申请日：2017-07-12
申请人： 上海交通大学
摘要： 本发明提供了一种在混合内存系统上用来保证数据一致性的检查点方法，包括步骤：空间划分步骤：划分预定大小的非易失性内存空间为LOG区域；存储LOG步骤：进行事务执行，将系统状态保存在LOG区域的LOG中；数据恢复步骤：对系统数据和用户数据进行恢复操作。利用DRAM和NVM的混合内存作为载体，通过Message Logging的技术保证了系统数据和用户数据的一致性，同时利用层次化的检查点，加快了检查点设置的速度，保证了系统的性能，利用LOG数据结构的START和END进行快速数据恢复。
-
公开(公告)号：CN105930356A
公开(公告)日：2016-09-07
申请号：CN201610218095.3
申请日：2016-04-08
申请人： 上海交通大学
CPC分类号： G06F3/061 , G06F3/0644 , G06F12/0292 , G06F16/1815
摘要： 本发明提供了一种日志型异构混合内存文件系统的实现方法，混合内存划分步骤：对文件系统的混合内存进行分层次划分，即划分为zone、section、segment、page这四个不同的逻辑块，并对四个逻辑块进行逻辑编号；混合内存逻辑块映射步骤：构建文件系统逻辑块到底层SCM物理地址的映射，并实现页面的动态分配和回收；多层次散列表构建步骤：构建多层次的基于散列表的目录结构，用于进行文件查找。本发明中的实现方法使文件系统能够根据异构内存介质的硬件特性合理调度分配存储空间，提高硬件的利用率，延长硬件的使用寿命，提高文件的存储效率和访问效率。
-
公开(公告)号：CN104679650A
公开(公告)日：2015-06-03
申请号：CN201510056999.6
申请日：2015-02-03
申请人： 上海交通大学
摘要： 本发明提供了一种面向软件体系结构模型的可信性评估方法，通过提出基于Breeze/ADL，对大型复杂系统进行高层抽象，采用元建模机制扩展可信属性元素，从中抽取相关可信属性规约。抽取安全性规约，建立安全性模型，制定Breeze/ADL安全性模型到故障树模型的转换规则，从而建立故障树，定性分析系统潜在的安全威胁和隐患；抽取可靠性属性规约，转换为离散马尔科夫链状态模型，进行定量的可靠性评估及重要度分析；基于安全性和可靠性分析结构，提出有效地改进策略，保障系统结构的可信性。本发明从软件生命周期出发，为软件体系结构可信属性评估定性和定量的评估方法，建立正向保障机制，提高软件后续开发阶段的效率和质量。
-
公开(公告)号：CN104065651A
公开(公告)日：2014-09-24
申请号：CN201410253459.2
申请日：2014-06-09
申请人： 上海交通大学
摘要： 本发明公开一种面向云计算的信息流可信保障机制，包括信息传输过程、云中服务对信息处理过程和信息在云端的存储过程，其中，在信息传输过程，通过在云和用户之间构建一个传输转换代理，来对发往云端信息流中机密和隐私数据的进行混淆和转换；在云中服务对信息处理过程，通过在云上构建一个信息处理验证代理来保证非可信服务间或服务内信息流的执行遵从指定的可信策略；在信息在云端的存储过程，通过在编程平台上设计一个存储控制代理，对混淆转换后的数据进行存储监控，保障数据存储的可信性。本发明机制，为云计算的广泛应用提供理论验证和技术支持。
-
公开(公告)号：CN101393528B
公开(公告)日：2011-11-16
申请号：CN200810201929.5
申请日：2008-10-30
申请人： 上海交通大学
摘要： 一种计算机应用技术领域的软件动态更新中确定实例对象转换次序的方法及系统，本发明方法中，获取对象引用信息和引用终止信息；比较并删除冗余的对象引用信息以及互相匹配的两类信息；区分对象引用属性，得到系统运行时所有活跃对象的依赖关系信息；运用类型检查规则验证更新的完整性；验证安全对象更新条件，得到合理的构件更新次序。本发明的系统包括：服务调用监听模块、引用信息更新模块、构件依赖分析模块、完整性验证模块、更新次序选择模块。本发明能够在系统运行过程中动态获取构件实例对象的动态依赖关系，并在构件动态更新时据此给出合理的实例对象转换次序。
-
公开(公告)号：CN101894031A
公开(公告)日：2010-11-24
申请号：CN201010214501.1
申请日：2010-06-30
申请人： 上海交通大学
IPC分类号： G06F9/445
摘要： 一种计算机应用技术领域的普适服务的动态更新方法及其更新系统，系统包括：新版本输入模块、兼容性检测模块、更新模块和接口模块，其中：所述的兼容性检测模块包括：依赖类型检测子模块、接口类型检测子模块和实现类型检测子模块，所述的新版本输入模块包括：下载子模块、接收子模块和存储子模块，所述的更新模块包括：中介子模块、状态转换子模块和更新管理子模块。本发明降低了普适服务更新的时间，整个更新过程所耗费的时间不超过20ms，使更新的准确率提高到了95％以上，满足了更新的实时性要求。
-
公开(公告)号：CN101174217A
公开(公告)日：2008-05-07
申请号：CN200710170767.9
申请日：2007-11-22
申请人： 上海交通大学
IPC分类号： G06F9/44
摘要： 一种计算机技术领域的Java程序可动态更新化实现方法，首先，对被动态更新程序中需要动态更新的类定义进行改造，增加更新支持方法，参数为类装载器，该方法用于实现对类对象的子对象逐个判断；对动态更新程序中更新类定义进行修改，增加更新方法，用于实现对该新类对象下的变量进行初始化，该方法的输入参数为类装载器和旧对象；再次，利用Java反射机制对被更新程序的部分方法调用、数据域存储以及对象建立进行修改，从而实现程序的运行恢复；最后，对主类增加更新支持方法并在主方法循环中增加更新检测点。本发明以避免需要采用停机、更新、重新启动的软件更新，避免由于停机中断服务造成的损失。
-
公开(公告)号：CN1710859A
公开(公告)日：2005-12-21
申请号：CN200510027578.7
申请日：2005-07-07
申请人： 上海交通大学
IPC分类号： H04L12/00
摘要： 一种网格技术领域的网格数据传输系统，当用户在显示终端执行数据传输任务时，显示终端的输出端连接到处理服务器，处理服务器的输出端连接到数据服务器和数据存储器，根据用户要求对指定的数据服务器执行数据传输，并将传输状态存储至数据存储器；执行数据传输任务时，数据服务器与处理服务器相连，在数据服务器间传输数据和文件，数据存储器与处理服务器相连，存储数据传输的状态信息，处理服务器的输出端连接到显示终端，经过数据服务器的一系列处理，最终以文字和图标的形式将数据传输的状态显示在显示终端，以供用户查看和浏览。本发明可同时支持多个服务器站点的传输，具有智能恢复、检查错误和纠错功能。
-
公开(公告)号：CN1645319A
公开(公告)日：2005-07-27
申请号：CN200510023465.X
申请日：2005-01-20
申请人： 上海交通大学
摘要： 一种用于网络服务领域的优化网络环境下部分计值服务的方法，将进行程序转换和程序例化的部分计值技术引入到Java虚拟机，通过字节码的例化，利用部分计值技术优化服务，预先计算某些常量表达式，消除一些判断条件和冗余代码以产生高效程序，减少服务间的通信，生成仅含有部分动态参数的剩余程序，将通用服务例化为更有效的实现，以Java虚拟机语言的子集为计值对象，原程序经过编译产生字节码程序，字节码程序再经过部分计值，产生例化后的字节码程序，利用部分计值优化服务的方法需要解析字节码，加载运行时环境，然后计值字节码程序。本发明能保持通用设计和高效执行间的一致性，从根本上改善Java程序运行效率，缩短字节代码长度，减少运行时间。
-
公开(公告)号：CN118689806A
公开(公告)日：2024-09-24
申请号：CN202410744096.6
申请日：2024-06-11
申请人： 上海交通大学
摘要： 本发明公开了一种持久内存设备控制器，包括，控制器核心模块、异构内存模块、事务处理模块和内存单元管理模块。控制器核心模块，用于对系统时钟同步和内存访问时序控制、持久内存系统启动顺序控制、持久内存系统控制器芯片、和/或环境传感器的控制；异构内存模块，用于实现持久内存管理系统和所连接内存介质数据和控制消息的通信；事务处理模块，用于将持久内存系统中的操作转为事务进行操作，并将持久内存系统事务翻译为CXL事务或PCIe事务；内存单元管理模块，用于管理全局内存地址空间和各内存介质地址空间的映射关系，同时为持久内存介质提供磨损均衡算法运行支持。
-
-
-
-
-
-
-
-
-
搜索结果
121 条记录 (耗时 0.07 秒)
