Proposal and Evaluation of Mutual Exclusion Method using Lock-free Algorism for Embedded Systems using Multi-core Processor

2019 ◽  
Vol 139 (7) ◽  
pp. 802-811
Author(s):  
Kenta Fujimoto ◽  
Shingo Oidate ◽  
Yuhei Yabuta ◽  
Atsuyuki Takahashi ◽  
Takuya Yamasaki ◽  
...  
2017 ◽  
Vol 63 (2) ◽  
pp. 185-190 ◽  
Author(s):  
Dongmahn Seo ◽  
Suhyun Kim ◽  
Gyuwon Song

Author(s):  
Shang-Wei Lin ◽  
Chao-Sheng Lin ◽  
Chun-Hsien Lu ◽  
Yean-Ru Chen ◽  
Pao-Ann Hsiung

Multi-core processors are becoming prevalent rapidly in personal computing and embedded systems. Nevertheless, the programming environment for multi-core processor based systems is still quite immature and lacks efficient tools. This chapter will propose a new framework called VERTAF/Multi-Core (VMC) and show how software code can be automatically generated from high-level SysML models of multi-core embedded systems. It will also illustrate how model-driven design based on SysML can be seamlessly integrated with Intel’s Threading Building Blocks (TBB) and Quantum Platform (QP) middleware. Finally, this chapter will use a digital video recording (DVR) system to illustrate the benefits of the proposed VMC framework.


2006 ◽  
Vol 2 (3) ◽  
pp. 107-116
Author(s):  
Alex A. Aravind

Recent advancement of embedded systems and growing popularity of Java renew the interest to some classic process coordination problems, such as mutual exclusion problem and its generalization called l-exclusion problem. These are fundamental problems in parallel and distributed processing systems. The l-exclusion problem was introduced by Fischer et al.[9] for shared memory systems and subsequently studied in [6, 10, 2, 3, 4, 12, 1, 11]. In this paper, we present a simple solution to l-exclusion problem and prove its correctness. Our solution is efficient both in time and space.


Author(s):  
Tatsuo Nakajima ◽  
Yuki Kinebuchi ◽  
Alexandre Courbot ◽  
Hiromasa Shimada ◽  
Tsung-Han Lin ◽  
...  

2012 ◽  
Vol 1 (5) ◽  
pp. 115-117
Author(s):  
Jahnavi KRM Jahnavi KRM ◽  
◽  
Raghavendra Rao K ◽  
Padma Suvarna R

2013 ◽  
Vol 133 (2) ◽  
pp. 111-115 ◽  
Author(s):  
Takashi Anezaki ◽  
Suriyon Tansuriyavong ◽  
Chikatoshi Yamada
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document