伴隨著物聯(lián)網(wǎng)設(shè)備的指數(shù)級增長,在需要高算力的場景,例如軟件定義汽車駕駛艙、工業(yè)領(lǐng)域的工作負(fù)載整合,開源虛擬化技術(shù)在嵌入式系統(tǒng)上受到了越來越多的關(guān)注和應(yīng)用。本書首先介紹虛擬化技術(shù)的基本原理,包括CPU虛擬化、內(nèi)存虛擬化、中斷虛擬化和設(shè)備虛擬化,對比KVM在云服務(wù)器上參考實(shí)現(xiàn),重點(diǎn)介紹了開源嵌入式虛擬機(jī)ACRN的架構(gòu)設(shè)計(jì)、
本書著重介紹Armv8-M架構(gòu)以及Cortex-M23和Cortex-M33處理器的可用功能。該書涵蓋了一系列主題內(nèi)容,包括指令集、程序員模型、中斷處理、操作系統(tǒng)支持和調(diào)試功能。本書通過一系列實(shí)例演示了如何為Cortex-M23和Cortex-M33處理器創(chuàng)建軟件,使嵌入式軟件開發(fā)人員對Armv8-M架構(gòu)有所了解。本書
根據(jù)全國高等學(xué)校人才的培養(yǎng)目標(biāo)、特點(diǎn)和要求,本書由淺入深、全面系統(tǒng)地講解了虛擬化與存儲技術(shù)應(yīng)用的基礎(chǔ)知識和相關(guān)的服務(wù)配置。全書共6章,內(nèi)容包括虛擬化技術(shù)基礎(chǔ)知識、VMware虛擬機(jī)配置與管理、桌面虛擬化技術(shù)、HyperV虛擬化技術(shù)、Linux配置與管理、Kubernetes集群配置與管理。為了讓讀者能夠更好地鞏固所學(xué)
本書采用STM32CubeMX的開發(fā)方式,選用20個(gè)基于STM32嵌入式技術(shù)開發(fā)的實(shí)例,按照“理論夠用,突出應(yīng)用”的原則,采取項(xiàng)目化教學(xué)的方式,以作品制作為載體,在作品制作過程中講解STM32嵌入式技術(shù)的基礎(chǔ)知識、基本技能和方法,培養(yǎng)學(xué)生的愛崗敬業(yè)、耐心仔細(xì)、抗壓抗挫等優(yōu)良品質(zhì)和精神,由淺入深地講解STM32嵌入式技術(shù)
《嵌入式系統(tǒng)集成開發(fā)》基于STM32F4系列微控制器、嵌入式實(shí)時(shí)操作系統(tǒng)?C/OSⅡ、嵌入式圖形設(shè)計(jì)庫emWin以及輕量級網(wǎng)絡(luò)通信協(xié)議LwIP,詳細(xì)介紹了嵌入式系統(tǒng)的硬件設(shè)計(jì)與軟件開發(fā)及綜合應(yīng)用!肚度胧较到y(tǒng)集成開發(fā)》共3篇。第1篇為系統(tǒng)基礎(chǔ)篇,包括3章,主要介紹嵌入式系統(tǒng)的基本概念與開發(fā)方法,包括嵌入式系統(tǒng)的軟/硬件
本書是虛擬化與容器方向的基礎(chǔ)用書,虛擬化是“云計(jì)算”中繞不開的話題,也是“云計(jì)算”堅(jiān)實(shí)的基礎(chǔ),更是眾多中小企業(yè)正在使用的解決方案。KVM虛擬化技術(shù)的應(yīng)用,是未來的大方向,從眾多虛擬化產(chǎn)品中,脫穎而出,成為眾多云計(jì)算廠商虛擬化解決方案的首選。也是云計(jì)算的底層技術(shù)。從業(yè)務(wù)角度出發(fā),除了虛擬化解決方案以外,“容器”技術(shù)的快速
本書總共分為3篇:第1篇為基礎(chǔ)篇,主要介紹STM32F103的基礎(chǔ)入門知識,包括STM32F103介紹、軟件安裝、新建工程、時(shí)鐘系統(tǒng)介紹、SYSTEM文件夾介紹等;第2篇為入門篇,主要介紹STM32F103常用外設(shè)的使用,包括GPIO、定時(shí)器、AD/DA、DMA、觸摸液晶屏等;第3篇為提高篇,主要介紹STM32F103
本書輔以大量的例程,全面講解了FreeRTOS的原理以及源碼,主要內(nèi)容包括任務(wù)管理和任務(wù)調(diào)度、系統(tǒng)裁減和配置、時(shí)間管理、隊(duì)列、信號量、軟件定時(shí)器、事件標(biāo)志組、任務(wù)通知、低功耗Tickless模式、空閑任務(wù)以及內(nèi)存管理等。同時(shí),本書配有大量的圖例,對于想要深入學(xué)習(xí)RTOS類系統(tǒng)原理的人來說是一個(gè)不錯(cuò)的選擇。本書是再版書,
本書作者針對并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)及其驗(yàn)證方法進(jìn)行了深入的研究。本書分析了并發(fā)數(shù)據(jù)結(jié)構(gòu)可線性化標(biāo)準(zhǔn)的局限性,在此基礎(chǔ)上提出了強(qiáng)可線性化標(biāo)準(zhǔn)。驗(yàn)證并發(fā)數(shù)據(jù)結(jié)構(gòu)強(qiáng)可線性化最困難的部分是驗(yàn)證可線性化。