女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

保持任務關鍵的確定性DBMS準時

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:Andrei Gorine ? 2022-07-04 09:49 ? 次閱讀

開源和商業數據庫管理系統 (DBMS) 已在嵌入式系統中使用了 20 多年。在大多數情況下,開發人員甚至不會爭論是否為嵌入式系統購買或構建自己的 DBMS。該組件幾乎總是被購買。

然而,嵌入式系統空間的一個子集仍然禁止商業供應商使用,包括某些醫療系統、輻射監測、飛機導航、航空電子設備、飛行員輔助,以及最近的自動駕駛。總而言之,它們可以被稱為具有硬實時約束的任務關鍵型或安全關鍵型系統,其中系統故障可能會造成傷害。

許多任務關鍵型軟件團隊正在尋找商業現貨 (COTS) 軟件以加快開發速度。嵌入式 DBMS 可以提供幫助,但前提是它具有確定性、可預測性和可控性。用于關鍵任務系統的確定性 DBMS 架構應提供具有時間有效性的 ACID(原子性、一致性、隔離性、持久性)合規性。

不是每個 DBMS 都強制執行 ACID 屬性嗎?符合 ACID 的數據庫很常見,但其架構是針對事務吞吐量而非確定性的。一致性是最重要的屬性;事務應該只將數據庫從一種有效狀態更改為另一種有效狀態。在實時系統中,事務中的一組原子語句應該成功提交,或者應該全部中止,但不應在截止日期之后進行。“遲到”會帶來不一致的狀態,帶來暫時無效的數據和可能的可怕后果。

一致性的關鍵時間斷言

確保所有條件下的內部數據庫一致性對于時間有效性至關重要。嵌入式數據庫在執行效率方面提供了一些改進,但確定性 DBMS 需要更多的架構步驟才能保持準時。

首先,應該使用悲觀并發控制。它在授予一項任務訪問權限之前鎖定全部或部分數據庫,從而減少了樂觀模型中復制的不確定開銷。只讀 (RO) 事務可以并行發生,而讀寫 (RW) 事務具有獨占訪問權限,從而減少了用于鎖仲裁和死鎖預防的資源。

接下來,一個關鍵的時間斷言說明了工作量和在截止日期前回滾:

無論事務復雜性如何,將任何修改撤銷到事務中的任何點的時間都不能超過應用這些修改的時間。

pYYBAGLCR0OAVQSEAAB0Uf8qCsM873.png

RO事務有索引查找和游標移動操作;回滾以相等的間隔撤消內部計數器的任何遞增或遞減。

更簡單的 RW 事務很容易回滾。創建對象會根據對象大小從空閑內存池中分配頁面;反轉只是將這些頁面返回到池中。其他交易根本不需要沖銷。刪除一個對象會將其標記為在原子操作中將其刪除,因此如果事務中止,則不會發生提交時的刪除。在索引中添加或刪除對象具有樹重新平衡或哈希重新分配,它們僅在提交時生效并且不需要反轉。

更新對象看起來更復雜,但結果證明是一種有效的操作。事務第一次更新對象時,分配一個臨時對象,然后將原始對象復制到臨時對象。使用已經創建的副本,后續更新會更快。回滾以相反的順序從副本中重新創建原始對象,然后釋放分配的內存頁,對象的回滾時間與對該對象的更新次數無關。

根據實時截止日期驗證交易

確保每個事務都安全地提交或中止后,接下來要安排事務流。回憶悲觀并發;RW 事務必須按順序執行,而 RO 事務可以并行執行。例如,McObject 的 eXtremeDB/rt 中的動態、時間感知的最早期限優先 (EDF) 調度根據絕對期限為事務分配優先級。

事務管理器代碼中的驗證點指示事務語句的進展程度。如果事務在提交之前到達控制點(不再保證數據庫回滾的時間),那么“事務中斷”錯誤狀態將返回給應用程序。事務管理器將數據庫恢復到事務開始之前存在的一致狀態。

在 eXtremeDB/rt 中,應用程序可以使用兩種驗證方法:傳遞給數據庫運行時的應用程序回調,或異步事件處理程序。以下示例將控制點設置為截止時間間隔的一半,可以調整。

回調方法偽代碼

如果系統定時器或硬件看門狗定時器等異步原語不可用,則可以使用回調方法。操作系統在獲取系統時間方面存在細微差別,但代碼流程如以下偽代碼。首先注冊一個回調函數:

poYBAGLCR0yAHCLMAABWZczgpxA596.png

接下來,創建回調,輪詢返回“OK”或“interrupted”狀態。

pYYBAGLCR1OAEiS6AAD8eTjjdvM875.png

然后,啟動實時事務,數據庫運行時在原子操作中定期驗證“中斷”標志。

poYBAGLCR1qAFUqIAABwFMaHePg652.png

C 中的計時器方法代碼片段

大多數關鍵任務系統都有硬件計時器;使用它們可以提供更高的精度。C 語言中的三個常用代碼片段設置了計時器變量、實時事務和初始化例程。一、定時器變量:

poYBAGLCR3eAApYuAADFXWzOFrk533.png

接下來是實時交易:

pYYBAGLCR32AOlT0AAGJy4mmrJg379.png

還有一個簡單的初始化程序:

pYYBAGLCR4aAZuQ1AAAwQpfH7yY311.png

硬件計時器設施因操作系統而異。例如,在 VxWorks 中,任何任務都可以創建一個看門狗定時器,并在指定的延遲后使用它在系統時鐘 ISR 的上下文中運行指定的例程。

poYBAGLCR4yAIayXAADUJL3hFZI590.png

展望更多可控性

替代傳統的并發控制和調度方法有助于 eXtremeDB/rt 實現關鍵任務系統所需的確定性、可預測的行為。未來的研究旨在提高 EDF 調度程序的可控性。例如,事務上的顯式優先級參數將有助于排序和搶占。單個事務也可以帶有回滾時間參數,而不是默認的deadline/2。

實現從嵌入式數據庫到確定性 DBMS 的飛躍,確保數據在時間上有效,從而擴展了潛在的用例。掌握這種新的 COTS 確定性 DBMS 技術的任務關鍵型軟件團隊可以在開發計劃、風險降低和應用程序靈活性方面獲得優勢。

審核編輯:郭婷

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 嵌入式
    +關注

    關注

    5141

    文章

    19542

    瀏覽量

    315162
  • 定時器
    +關注

    關注

    23

    文章

    3288

    瀏覽量

    117259
  • 計時器
    +關注

    關注

    1

    文章

    428

    瀏覽量

    33491
收藏 人收藏

    評論

    相關推薦
    熱點推薦

    應用分享 | 精準生成和時序控制!AWG在確定性三量子比特糾纏光子源中的應用

    丹麥哥本哈根大學最新研究利用任意波形發生器(AWG),成功構建保真度56%的確定性三量子比特GHZ態!AWG憑借精準的信號生成和時序控制能力,充分展現了其在量子態操控中的強大能力。
    的頭像 發表于 06-06 14:06 ?160次閱讀
    應用分享 | 精準生成和時序控制!AWG在<b class='flag-5'>確定性</b>三量子比特糾纏光子源中的應用

    什么樣的才叫實時工業操作系統

    實時工業操作系統的核心是在嚴格時間約束下保證任務執行的確定性、可靠性和安全性,通常需通過專用架構、實時調度算法和工業級認證來滿足嚴苛的工業環境需求。選擇時需根據具體場景的實時性等級(硬/軟)、硬件兼容性及安全標準進行匹配。
    的頭像 發表于 04-17 10:09 ?216次閱讀
    什么樣的才叫實時工業操作系統

    優刻得:與DeepSeek模型適配,業績貢獻存不確定性

    全系列模型的適配工作。然而,目前相關業務的效果以及對公司未來業績的具體貢獻仍存在重大不確定性。 同時,經公司核實,截至公告披露日,優刻得并未直接或間接持有杭州深度求索人工智能基礎技術研究有限公司的股權。這意味著,盡管雙方已展開合作
    的頭像 發表于 02-07 10:37 ?637次閱讀

    AFE5808A串并變換之后數據錯位,輸出結果具有不確定性,為什么?

    AFE5808A串并變換之后數據錯位,輸出結果具有不確定性,求問可能的原因有哪些?
    發表于 01-01 07:23

    鴻道Intewell工業操作系統,三大關鍵技術,領跑行業前沿

    鴻道工業操作系統,是軟件定義控制的工業實時操作系統,具備三大關鍵技術:1、確定性計算與高實時響應(微秒級、關鍵指標)提供確定性的計算與高實時的系統環境,保障工業生產運作的靈活高效。2、
    的頭像 發表于 12-25 14:46 ?474次閱讀

    全球首張!賽思時鐘系統賦能山東省確定性網絡,夯實數字未來新基座

    全球首張確定性網絡的高精度時間同步,由賽思打造!
    的頭像 發表于 11-29 11:13 ?576次閱讀
    全球首張!賽思時鐘系統賦能山東省<b class='flag-5'>確定性</b>網絡,夯實數字未來新基座

    科技云報到:數字化轉型,從不確定性確定性關鍵路徑

    科技云報到:數字化轉型,從不確定性確定性關鍵路徑
    的頭像 發表于 11-16 16:52 ?670次閱讀
    科技云報到:數字化轉型,從不<b class='flag-5'>確定性</b>到<b class='flag-5'>確定性</b>的<b class='flag-5'>關鍵</b>路徑

    請問DAC38J84內部NCO和基帶信號確定性相位關系如何配置?

    信號來臨時混頻,但是輸出波形完全錯誤,請問這種方式能不能實現?要保持確定的相位關系我應該如何實現?謝謝
    發表于 11-13 06:09

    確定LDO的任務配置文件兼容性

    電子發燒友網站提供《確定LDO的任務配置文件兼容性.pdf》資料免費下載
    發表于 09-24 10:44 ?0次下載
    <b class='flag-5'>確定</b>LDO的<b class='flag-5'>任務</b>配置文件兼容性

    計及多重不確定性的規模化電動汽車接入配電網調度方法及解決方案

    摘要:規模日益增長的電動汽車和可再生能源帶來的不確定性給配電網的安全運營帶來了嚴峻挑戰。為綜合考慮多重不確定性、平衡運營成本與系統可靠性,首先,提出一種基于分布魯棒聯合機會約束的電動汽車-配電網
    的頭像 發表于 09-14 15:26 ?798次閱讀
    計及多重不<b class='flag-5'>確定性</b>的規模化電動汽車接入配電網調度方法及解決方案

    調節系統中調節器正反作用的確定

    在調節系統中,調節器正反作用的確定是一個關鍵步驟,它直接影響到系統的穩定性和控制效果。以下是對調節器正反作用確定的介紹: 一、調節器正反作用的基本概念 正作用 :當系統偏差(即測量值與
    的頭像 發表于 08-30 10:23 ?3932次閱讀

    電源空載電壓的確定應遵循的原則是什么

    的確定對于電源的性能和穩定性至關重要。本文將詳細介紹電源空載電壓的確定原則。 2. 電源的基本概念 在討論電源空載電壓的確定原則之前,我們首先需要了解電源的基本概念。 2.1 電源的定
    的頭像 發表于 08-08 14:28 ?2062次閱讀

    SPD后備保護器微斷電流的確定方法

    后備保護器(Backup Protector) 作為一種重要的保護措施被引入,用于在SPD失效時提供進一步的保護。本文將詳細討論SPD后備保護微斷電流的確定、應用原理、接線方法以及后備保護器的選型原則。 一、SPD后備保護微斷電流的確定 定義和作用 微斷電流是指在SPD失
    的頭像 發表于 07-23 10:40 ?625次閱讀
    SPD后備保護器微斷電流<b class='flag-5'>的確定</b>方法

    DP83826確定性、低延遲、低功耗、10/100Mbps工業以太網PHY數據表

    電子發燒友網站提供《DP83826確定性、低延遲、低功耗、10/100Mbps工業以太網PHY數據表.pdf》資料免費下載
    發表于 07-01 15:05 ?1次下載
    DP83826<b class='flag-5'>確定性</b>、低延遲、低功耗、10/100Mbps工業以太網PHY數據表

     相對于人工的不確定性,機器人碼垛有何優勢

    ?在現代工業生產中,碼垛是一項至關重要的任務,它涉及到將不同形狀、大小和重量的物品進行有序地堆疊,以便于后續的運輸和儲存。然而,傳統的人工碼垛方式存在著諸多不確定性,這些不確定性可能源自工人的疲勞
    的頭像 發表于 06-19 14:45 ?461次閱讀