Define a hybrid userlevel or kernel-level lock

Assignment Help Computer Engineering

Reference no: EM131476334

Question: Linux provides a sys futex() system call to assist in implementing hybrid user-level/kernel-level locks and condition variables. A call to long sys futex(void *addr1, FUTEX WAIT, int val1, NULL, NULL, 0 checks to see if the memory at address addr1 has the same value as val1. If so, the calling thread is suspended. If not, the calling thread returns immediately with the error return value EWOULDBLOCK. In addition, the system call will return with the value EINTR if the threadreceives a signal. A call to long sys futex(void *addr1, FUTEX WAKE, 1, NULL, NULL, 0) causes one thread waiting on addr1 to return. Consider the following (too) simple implementation of a hybrid userlevel/kernel-level lock.

There are three problems with this code.

(a.) Peformance. The goal of this code is to avoid making (expensive) system calls in the uncontested case when an Acquire() tries to acquire a free lock or a Release() call releases a lock with no other waiting threads. This code fails to meet this goal. Why?

(b.) Performance. There is a subtle corner case when multiple threads try to acquire the lock at the same time that can show up as occasional slowdowns and bursts of CPU usage. What is the problem?

(c.) Correctness. There is a corner case that can cause the mutual exclusion correctness condition to be violated, allowing two threads to both believe they hold the lock. What is the problem?

Reference no: EM131476334

Questions Cloud

What is the calculated twa : What is the calculated TWA? What would you tell plant management in terms of exposure to acetone and compliance with the PEL?

Explain the petersons algorithm : Wikipedia provides an implementation of Peterson's algorithm to provide mutual exclusion using loads and stores at http://en.wikipedia.org/ wiki/Peterson's.

Case appear to reflect individualized consideration : What specific statements in this case appear to reflect individualized consideration, a core component of transformational leadership, by Branson?

Create a presentation research-based models : Create a presentation describing cultural, research-based models and how they help clarify the organization's core values.

Define a hybrid userlevel or kernel-level lock : Linux provides a sys futex() system call to assist in implementing hybrid user-level/kernel-level locks and condition variables. A call to long sys futex.

Strategic human resource management : how one large company implemented a workforce planning and design process to move to a human capital perspective on strategic human resource management.

What yield to maturity is the bond offering : Compute Bond Price Compute the price of a 3.8 percent coupon bond with 15 years left to maturity and a market interest rate of 6.8 percent.

Provide positive guidance and direction to paraeducators : Identify and describe two strategies to provide positive guidance and direction to paraeducators,

Strategies for reading critically : Describe the challenges you have with reading certain types of written works (e.g., textbooks, academic papers, lab reports, government documents, ).

User Account

All Pages