检索结果-内蒙古大学图书馆

计算机应用 2011年第A1期31卷 174-176页

作者：胡红钱施伟锋上海海事大学电气自动化系上海200135

首先介绍了汽车多媒体系统的硬件结构,接着重点介绍了μCOS-Ⅱ操作系统的任务调度器,根据该任务调度器的提出一种新的调度方法,并成功将其应用到汽车多媒体系统的设计中,为汽车电子的方便使用、娱乐视听、通信导航一体化提供了一种解决... 详细信息

首先介绍了汽车多媒体系统的硬件结构,接着重点介绍了μCOS-Ⅱ操作系统的任务调度器,根据该任务调度器的提出一种新的调度方法,并成功将其应用到汽车多媒体系统的设计中,为汽车电子的方便使用、娱乐视听、通信导航一体化提供了一种解决方法。

关键词： μCOS-Ⅱ 任务调度器汽车多媒体时钟节拍嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

面向分布知识处理的分布式任务调度器

引用

计算机工程与应用 1993年第5期29卷 38-42页

作者：谢树煜唐宾清华大学计算机系

本文介绍了面向分布知识处理的分布式任务调度器的设计方案,包括:分布任务的特征,分布系统的结构特征,调度目标及调度策略,基于黑板结构的分布式任务调度器。

关键词：分布式任务调度器知识处理

来源：评论

学校读者我要写书评

暂无评论

μC/OS-Ⅲ任务调度器在Coq中的验证

引用

计算机工程 2015年第3期41卷 53-58页

作者：罗尔聪郭宇中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

以μC/OS-Ⅲ内核中的任务调度器为研究对象,选取调度相关的核心代码,验证调度器代码满足优先调度最高优先级任务的性质。基于分离逻辑与SCAP验证理论,利用Coq辅助证明工具,通过定义机器模型、操作语义、逻辑断言以及推导规则构建验证框... 详细信息

以μC/OS-Ⅲ内核中的任务调度器为研究对象,选取调度相关的核心代码,验证调度器代码满足优先调度最高优先级任务的性质。基于分离逻辑与SCAP验证理论,利用Coq辅助证明工具,通过定义机器模型、操作语义、逻辑断言以及推导规则构建验证框架。在验证框架中,定义内核数据结构和内核相关性质的逻辑描述,模块化地对内核代码进行推理。验证结果表明,μC/OS-Ⅲ任务调度器满足可靠性要求,并且可以通过机器的自动检查。

关键词：任务调度器形式化验证分离逻辑 Coq证明工具最高优先级

来源：评论

学校读者我要写书评

暂无评论

基于混合实时任务调度器的并行数控系统研究

引用

组合机床与自动化加工技术 2018年第4期 145-148,156页

作者：陈传伟付铄韩振宇富宏亚哈尔滨工业大学机电工程学院哈尔滨150001

将并行数控系统实时任务划分为周期性任务和数据依赖任务,针对数据依赖任务间数据流不平衡问题,提出了一种以数据流状态为调度依据的任务调度器,通过改造嵌入式实时操作系统e Cos,实现了对周期性任务和数据依赖任务进行统一调度的混合... 详细信息

将并行数控系统实时任务划分为周期性任务和数据依赖任务,针对数据依赖任务间数据流不平衡问题,提出了一种以数据流状态为调度依据的任务调度器,通过改造嵌入式实时操作系统e Cos,实现了对周期性任务和数据依赖任务进行统一调度的混合实时任务调度器。将GRBL串行数控系统划分为多任务,并基于嵌入式对称多核处理器S698PM及混合实时任务调度器搭建了并行数控系统实验平台。对混合实时任务调度器进行了调度实验,测试了负载平衡性、加速比,并通过加工实验验证了并行数控系统的正确性。

关键词：并行数控系统任务调度器实时操作系统对称多核处理器

来源：评论

学校读者我要写书评

暂无评论

基于TBB任务调度器的N皇后多核并行算法

引用

计算机工程与设计 2010年第15期31卷 3423-3426页

作者：郑晓薇张建强辽宁师范大学计算机与信息技术学院辽宁大连116081

为了充分利用多核处理器资源,研究了Intel线程构建模块并行编程模式。基于任务调度器,建立了逻辑线程和物理线程最佳匹配和映射的面向任务编程模式。利用任务调度器,设计了N皇后问题在多核处理器的并行算法。该算法将任务自动地映射到... 详细信息

为了充分利用多核处理器资源,研究了Intel线程构建模块并行编程模式。基于任务调度器,建立了逻辑线程和物理线程最佳匹配和映射的面向任务编程模式。利用任务调度器,设计了N皇后问题在多核处理器的并行算法。该算法将任务自动地映射到多线程,减少消息传递和数据移动带来的额外开销,提高多核CPU的使用效率。并行算法的加速比接近核数,CPU使用效率超过90%,实验结果表明,该算法有效地提升了多核计算机资源的利用率。

关键词：多核并行 TBB线程构建模块任务调度器 N皇后算法

来源：评论

学校读者我要写书评

暂无评论

数据交换管理系统任务调度器的设计与实现

数据交换管理系统任务调度器的设计与实现

引用

作者：刘应明中国科学院大学

学位级别：硕士

任务调度致力于解决CPU、存储与网络带宽等计算机资源的分配问题，一直是计算机领域的研究热点。随着信息化技术的飞速发展，企业与政务部门建设的信息化系统呈爆炸式增长，但由于各方面的差异无法进行系统间业务数据的交换与共享，形... 详细信息

任务调度致力于解决CPU、存储与网络带宽等计算机资源的分配问题，一直是计算机领域的研究热点。随着信息化技术的飞速发展，企业与政务部门建设的信息化系统呈爆炸式增长，但由于各方面的差异无法进行系统间业务数据的交换与共享，形成“信息孤岛”，从而促进了数据交换技术的发展。　　研究室设计和研发的数据交换管理系统，是为了解决沈阳市安监局与其下属区县间数据交换与共享问题。应用发现，第一版系统中大量的工作线程处于阻塞状态，研究决定，设计和开发一个任务调度器来解决这一问题。　　文章对数据交换任务调度所涉及的相关理论与技术进行深入研究，包括任务调度算法、XML、WebService以及Java并发机制。任务调度器是数据交换管理系统中一个重要模块，旨在提升系统性能，提高资源利用率。基于数据交换系统的总体设计思路与体系结构，提出数据交换任务定义与任务调度问题;在分析任务调度器的功能需求与非功能需求的基础上，完成任务调度器详细设计，包括任务调度说明书、任务调度引擎以及监控与异常设计;通过Java多线程实现任务调度模型与任务调度流程算法，并提出一种结合历史执行周期的优先级修正方案。　　测试过程中，通过任务调度轨迹来证明任务调度器的正确性与有效性;使用JProfiler工具观察系统运行过程中JVM的详细参数，结果表明任务调度器明显降低了线程的阻塞率，提升了系统性能。

关键词：数据交换管理系统任务调度器 Java多线程资源利用率

来源：评论

学校读者我要写书评

暂无评论

μC/OS-Ⅲ任务调度器的验证

μC/OS-Ⅲ任务调度器的验证

引用

作者：罗尔聪中国科学技术大学

学位级别：硕士

近年来随着嵌入式设备的日益普及,嵌入式软件的安全性越发显得重要。在一些关键领域,如航天、医疗、军事、核能等,如果嵌入式软件存在程序漏洞,有可能导致程序在非正常状态运行,从而会带来灾难性的后果。为了解决这一类的可靠性问题,传... 详细信息

近年来随着嵌入式设备的日益普及,嵌入式软件的安全性越发显得重要。在一些关键领域,如航天、医疗、军事、核能等,如果嵌入式软件存在程序漏洞,有可能导致程序在非正常状态运行,从而会带来灾难性的后果。为了解决这一类的可靠性问题,传统软件开发者通常会采用软件测试的方法去发现程序错误。但是,软件测试无法保证整个系统完全不存在缺陷。程序验证探寻一条逻辑验证为基础的解决软件安全性的道路。程序验证能够克服软件测试的一些固有缺点,能够证明程序严格地符合一定的性质,从而保证软件的可靠性。操作系统中的任务调度器由于其结构复杂而难以验证：首先任务调度器的代码涉及到诸多的复杂内核数据结构,在验证它们之前需要描述这部分内核数据结构的性质和它们相互之间应该满足的复杂关系；此外在任务调度过程中,内核需要保证调度策略的正确性,即选取具有最高优先级的就绪任务,然后通过任务上下文切换来保证高优先级的任务优先得到运行。本文以μC/OS-Ⅲ内核中的任务调度器为研究对象,选取与调度有关的核心代码,验证调度器代码满足优先调度最高优先级任务的性质。本文基于分离逻辑与SCAP验证理论,利用Coq辅助证明工具,通过定义机器模型、操作语义、逻辑断言以及推导规则等来构建验证框架。在验证框架,本文定义了内核数据结构和“优先调度最高优先级”的性质的逻辑描述,模块化地对内核代码进行推理,最终的验证结果保证μC/OS-Ⅲ任务调度器的满足可靠性的要求。本文主要贡献如下： (1)验证了μC/OS-Ⅲ任务调度器中的核心代码满足以下的关键性质：A.内存安全性、B.代码的功能正确性和C.优先调度最高优先级任务； (2)在证明辅助工具Coq中实现了整个验证框架和调度器核心代码的验证过程,所有定义和证明都可以接受机器的自动检查。

关键词：任务调度器形式化验证分离逻辑 Coq证明工具最高优先级

来源：评论

学校读者我要写书评

暂无评论

任务调度器、任务处理系统及任务处理方法

任务调度器、任务处理系统及任务处理方法

引用

作者：请求不公布姓名 200120 上海市浦东新区南汇新城镇环湖西二路888号

本申请提供了一种任务调度器、任务处理系统及任务处理方法，通过任务调度器首先对其接收到的任务进行注册，在获得任务的任务标识之后，可以获得任务的分解信息及调度信息，并将调度信息发送至第二处理器，上述的任务调度器、任务处理... 详细信息

标准号: CN111026521B

本申请提供了一种任务调度器、任务处理系统及任务处理方法，通过任务调度器首先对其接收到的任务进行注册，在获得任务的任务标识之后，可以获得任务的分解信息及调度信息，并将调度信息发送至第二处理器，上述的任务调度器、任务处理系统及任务处理方法，能够减少第一处理器的运算量，提高任务的调度及处理效率，进而提升计算机系统的处理效率。

关键词：任务调度器任务处理系统处理效率任务处理调度信息发送第二处理器第一处理器调度信息任务标识运算量计算机系统调度分解申请

来源：评论

学校读者我要写书评

暂无评论

一种多计算中心场景下的任务调度器、调度方法及装置

一种多计算中心场景下的任务调度器、调度方法及装置

引用

作者：王晓江秦亦方启明余冬冬 311100 浙江省杭州市余杭区中泰街道之江实验室南湖总部

本发明公开了一种多计算中心场景下的任务调度器、调度方法及装置，通过感知计算中心当前和未来的资源使用情况，可以根据计算中心当前与未来一定时间内的资源占用情况，为提交到调度器的带截止日期的任务分配合适的计算中心，提前将用... 详细信息

标准号: CN114936086B

本发明公开了一种多计算中心场景下的任务调度器、调度方法及装置，通过感知计算中心当前和未来的资源使用情况，可以根据计算中心当前与未来一定时间内的资源占用情况，为提交到调度器的带截止日期的任务分配合适的计算中心，提前将用户计算任务下发到计算中心内；并在计算中心启动用户计算任务前，利用计算中心内专用硬件设备提前进行数据传输，将用户计算任务所依赖的数据提前下载至本计算中心内部的存储设备中，用户任务数据准备阶段无需依赖于计算中心宝贵的算力资源，从而实现计算资源和网络资源的灵活分配。本发明充分利用计算中心有限资源，实现方法简便，计算中心资源的使用率可以得到进一步的提升，且与具体计算任务无关。

关键词：用户计算计算中心资源专用硬件设备任务调度器存储设备计算资源截止日期任务分配任务数据任务下发数据传输网络资源准备阶段资源使用资源占用调度器使用率下载感知场景调度灵活分配

来源：评论

学校读者我要写书评

暂无评论

一种运行Docker容器任务的方法和任务调度器

一种运行Docker容器任务的方法和任务调度器

引用

作者：陆伟钊 100176 北京市大兴区北京经济技术开发区地盛北街1号18号楼6层604号

本申请公开了一种运行Docker容器任务的方法和任务调度器，该方法应用于包括管理节点和计算节点的系统，管理节点上运行有任务调度器，任务调度器的服务以root超级用户身份运行，所述方法包括以下步骤：任务调度器接收与Docker容器相关... 详细信息

标准号: CN116107715A

本申请公开了一种运行Docker容器任务的方法和任务调度器，该方法应用于包括管理节点和计算节点的系统，管理节点上运行有任务调度器，任务调度器的服务以root超级用户身份运行，所述方法包括以下步骤：任务调度器接收与Docker容器相关的任务递交命令；所述任务调度器对所述Docker容器内的用户进行认证；在对所述用户认证通过的情况下，所述任务调度器将所述任务递交命令对应的Docker容器任务调度到所述计算节点的任务执行管理服务中，通过所述任务执行管理服务以限权方式运行所述Docker容器任务。本申请通过任务调度器将Docker容器任务调度到计算节点的任务执行管理服务中以限权方式运行，能够在HPC环境中使用Docker容器，扩展了HPC环境的使用范围，且能够保证HPC系统的安全性。

关键词：任务调度器任务执行管理计算节点管理节点任务调度服务超级用户用户认证申请认证身份保证

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：