中文
相关论文

相关论文: Optimistic Concurrency Control for Real-world Go P…

200 篇论文

Hyperdimensional computing (HDC) is an emerging computational framework inspired by the brain that operates on vectors with thousands of dimensions to emulate cognition. Unlike conventional computational frameworks that operate on numbers,…

Transactional Memory (TM) is an approach aiming to simplify concurrent programming by automating synchronization while maintaining efficiency. TM usually employs the optimistic concurrency control approach, which relies on transactions…

分布式、并行与集群计算 · 计算机科学 2017-11-21 Paweł T. Wojciechowski , Konrad Siek

An increasingly large number of HPC systems rely on heterogeneous architectures combining traditional multi-core CPUs with power efficient accelerators. Designing efficient applications for these systems has been troublesome in the past as…

分布式、并行与集群计算 · 计算机科学 2017-03-02 E. Calore , A. Gabbana , J. Kraus , S. F. Schifano , R. Tripiccione

Decades of research on Internet congestion control (CC) has produced a plethora of algorithms that optimize for different performance objectives. Applications face the challenge of choosing the most suitable algorithm based on their needs,…

网络与互联网体系结构 · 计算机科学 2021-07-06 Yiqing Ma , Han Tian , Xudong Liao , Junxue Zhang , Weiyan Wang , Kai Chen , Xin Jin

Writing concurrent programs for shared memory multiprocessor systems is a nightmare. This hinders users to exploit the full potential of multiprocessors. STM (Software Transactional Memory) is a promising concurrent programming paradigm…

分布式、并行与集群计算 · 计算机科学 2017-07-27 Ajay Singh , Sathya Peri , G Monika , Anila Kumari

In this paper, we propose a concurrency control protocol, called the Prudent-Precedence Concurrency Control (PPCC) protocol, for high data contention database environments. PPCC is prudently more aggressive in permitting more serializable…

数据库 · 计算机科学 2016-11-18 Weidong Xiong , Feng Yu , Mohammed Hamdi , Wen-Chi Hou

Associative memory has long underpinned the design of sequential models. Beyond recall, humans reason by projecting future states and selecting goal-directed actions, a capability that modern language models increasingly require but do not…

机器学习 · 计算机科学 2026-03-11 Peihao Wang , Shan Yang , Xijun Wang , Tesi Xiao , Xin Liu , Changlong Yu , Yu Lou , Pan Li , Zhangyang Wang , Ming Lin , René Vidal

This paper brings the concept of ``optimism" to the new and promising framework of online Non-stochastic Control (NSC). Namely, we study how NSC can benefit from a prediction oracle of unknown quality responsible for forecasting future…

机器学习 · 计算机科学 2024-08-27 Naram Mhaisen , George Iosifidis

A database system optimized for in-memory storage can support much higher transaction rates than current systems. However, standard concurrency control methods used today do not scale to the high transaction rates achievable by such…

Code obfuscation is the conversion of original source code into a functionally equivalent but less readable form, aiming to prevent reverse engineering and intellectual property theft. This is a challenging task since it is crucial to…

软件工程 · 计算机科学 2025-04-22 Lorenzo De Tomasi , Claudio Di Sipio , Antinisca Di Marco , Phuong T. Nguyen

Software Transactional Memory (STM) is an extensively studied paradigm that provides an easy-to-use mechanism for thread safety and concurrency control. With the recent advent of byte-addressable persistent memory, a natural question to ask…

编程语言 · 计算机科学 2023-12-22 Azalea Raad , Ori Lahav , John Wickerson , Piotr Balcer , Brijesh Dongol

Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code…

软件工程 · 计算机科学 2025-02-04 Zimin Chen , Sen Fang , Martin Monperrus

Now days, manufacturers are focusing on increasing the concurrency in multiprocessor system-on-a-chip (MPSoC) architecture instead of increasing clock speed, for embedded systems. Traditionally lock-based synchronization is provided to…

硬件体系结构 · 计算机科学 2012-02-06 Shaily Mittal , Nitin

OLTP has stringent performance requirements defined by Service Level Agreements. Transaction response time is used to determine the maximum throughout in benchmarks. Capacity planning tools for OLTP performance are based on queueing network…

数据库 · 计算机科学 2024-04-04 Alexander Thomasian

As autonomous systems become integral to various industries, effective strategies for fault handling are essential to ensure reliability and efficiency. Transfer of Control (ToC), a traditional approach for interrupting automated processes…

机器人学 · 计算机科学 2025-05-19 Julian Wolter , Amr Gomaa

Software developers frequently hard-code credentials such as passwords, generic secrets, private keys, and generic tokens in software repositories, even though it is strictly advised against due to the severe threat to the security of the…

密码学与安全 · 计算机科学 2025-06-17 Chidera Biringa , Gokhan Kul

In this paper we deal with the impact of multi and many-core processor architectures on simulation. Despite the fact that modern CPUs have an increasingly large number of cores, most softwares are still unable to take advantage of them. In…

分布式、并行与集群计算 · 计算机科学 2014-07-30 Gabriele D'Angelo , Stefano Ferretti , Moreno Marzolla

Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small program snippets called litmus test are generated, which show…

编程语言 · 计算机科学 2018-08-30 Ruth Hoffmann , Özgür Akgün , Susmit Sarkar

Understanding the run-time behavior of concurrent programs is a challenging task. A popular approach is to establish a happens- before relation via vector clocks. Thus, we can identify bugs and per- formance bottlenecks, for example, by…

编程语言 · 计算机科学 2018-07-23 Martin Sulzmann , Kai Stadtmueller

The Software Transactional Memory (STM) model is an original approach for controlling concurrent accesses to ressources without the need for explicit lock-based synchronization mechanisms. A key feature of STM is to provide a way to group…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Lucia Acciai , Michele Boreale , Silvano Dal Zilio