• 0

[Concurrent Programming] "passing the condition"


Question

Howdy,

Anybody out there know what the term "passing the condition" means? I'm just a little confused about it all and an elaboration on the idea behind would be good. In particular, here's the pseudo code we've been studying that revolves around it. It's based on the Shortest-Job-Next Allocation problem.

monitor SJN {

 ?bool free = true; # invariant: turn ordered by time && (free -> turn is empty)
 ?condition_variable turn; # signaled when resource available

 ?# request the resource
 ?procedure request(int time) {
 ? ?if (free)
 ? ? ?free = false;
 ? ?else
 ? ? ?wait(turn, time);
 ?}

 ?# release the resource
 ?procedure release() {
 ? ?if(empty(turn)) # are there processes waiting on the CV 'turn'?
 ? ? ?free = true;
 ? ?else
 ? ? ?signal(turn);
 ?}

}

I'm confused about this because consider the case where we're done usingrelease()d decide to release() it.

If there are no proceempty()n the CV (ie.true will return true and the if block will be executed), then we set:

free = true;

Then we don't need to signal. That makes sense.

But coare case where there are processes blocked on the CV?! (ie. those processes are sleeping waiting for it and need to be woken up by the process finishing with the rsignal(turn) calling <empty()).

Well, empty() would return false and the else block would be executed. Here the code says:

signal(turn);

But we haven't reset free yet? So how could another process request the resource and successfully get it? Won't it just be put to sleewait()it'll call wait())since free is still false?

Any clarification would be great.

Edited by fault

4 answers to this question

Recommended Posts

  • 0

If process B calls request(), and free = false, then it will call wait(). Say process A was using the resource and is now done. It calls signal(). I'm assuming this call will wake up process B, and B will start executing after wait(), and completely avoid the free check.

In short, any new processes are just going to wait() until until free = true. When a process is done with a resource, it checks to see if anyone is waiting. If they are, it wakes them up; the resource would be "switched", so it would wrong to set free = true. On the other hand, if no processes are waiting, then free = true is correct.

There are a few races conditions in the code, but I don't know the context/assumptions this code is running under.

  • 0
  Andareed said:
There are a few races conditions in the code, but I don't know the context/assumptions this code is running under.

586424643[/snapback]

yes

and it something belong to OS, with more Complex condition than this.

  • 0
  Andareed said:
If process B calls request(), and free = false, then it will call wait(). Say process A was using the resource and is now done. It calls signal(). I'm assuming this call will wake up process B, and B will start executing after wait(), and completely avoid the free check.

586424643[/snapback]

Ohhh, god damn - that's so obvious, how did I miss that? :pinch: Makes perfect sense. Cheers.
  Andareed said:
In short, any new processes are just going to wait() until until free = true. When a process is done with a resource, it checks to see if anyone is waiting. If they are, it wakes them up; the resource would be "switched", so it would wrong to set free = true. On the other hand, if no processes are waiting, then free = true is correct.

586424643[/snapback]

Ah, I see - hence the term "passing the condition"... it's all clear now.
  Andareed said:
There are a few races conditions in the code, but I don't know the context/assumptions this code is running under.

586424643[/snapback]

There are? Where! :wacko:

Another question, is "passing the baton" the same as "passing the condition"? Cheers.

  • 0

Suppose process A and B both call request (while it is free). It's possible (due to pre-emptive context switching), that A will execute "if (free)" (which evaluates to true), and then is pre-empted by B. Then B runs, and also executes "if (free)", and then "free = false;". B will claim it owns the condition. Now say B is pre-empted, and A runs. A will run execute "free = false" too, and will also claim that it owns the condition.

There's a similar issue when calling empty().

If you aren't dealing pre-emptive scheduling (i.e., a thread runs until it calls a function that blocks, e.g., wait()), then there is no race condition.

This topic is now closed to further replies.
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Posts

    • Microsoft Store is getting improved recommendations, deeper Windows integration, and more by Taras Buria Microsoft announced several new features coming to the Microsoft Store on Windows 11. The company revealed that 250 million customers use the Microsoft Store each month. With the latest updates, Microsoft is improving the experience with better recommendations, search improvements, deeper Windows integration, Copilot, and more. The store's Home Page is getting personalized recommendations with suggestions based on your recent activities, what is trending in your region, and the recent deals. Microsoft says this change will bring more meaningful and relevant content. Search is getting smarter, and it now uses additional information when ranking apps. It is "intent-aware," and considers additional aspects like app updates, ratings, language-specific nuances, and more. In the United States, the Microsoft Store now has a Copilot button at the bottom of the screen. Clicking it lets you ask questions about an app or game, or compare two products. Speaking of Copilot, apps with AI-powered experiences now have a badge indicating that certain apps work better on Copilot+ PCs. Other changes to the Microsoft Store include a new Discover More section with related apps and deeper Windows integration. The latter lets you find apps in the Microsoft Store using Windows Search, and the "Open With" dialog now includes additional recommendations from the Microsoft Store. Finally, Microsoft made multiple under-the-hood improvements to boost performance (the app launches twice as fast as it did six months ago) and improve installation reliability. In addition to new features coming to the Microsoft Store, the company reminded users that some popular productivity apps are now available in the Store. They include Notion, Perplexity, Docker, and Day One. You can read more about all those changes in a post on the official Windows Blogs website. Last month, at Build 2025, Microsoft announced more improvements for the Microsoft Store, so stay tuned for those.
    • OpenAI exposes secret propaganda campaigns tied to multiple countries by David Uzondu Back in February, OpenAI shut down accounts that were busy developing Chinese surveillance tools aimed at the West. These tools were designed to snoop on social media, look for anti-China sentiment and protests, and report back to Chinese authorities. Now, OpenAI has announced it has disrupted even more shady operations, and not just those tied to China. In a report released Thursday, the company detailed how it recently dismantled ten different operations that were misusing its artificial intelligence tools. One of the China-linked groups, which OpenAI called "Sneer Review," used ChatGPT to churn out short comments for sites like TikTok, X, and Facebook. The topics varied, from U.S. politics to criticism of a Taiwanese game, where players work against the Chinese Communist Party. This operation even generated posts and then replied to its own posts to fake real discussions. What is particularly interesting is that the group also used ChatGPT to write internal performance reviews, describing how well they were running their influence campaign. Another operation with ties to China involved individuals posing as journalists and geopolitical analysts. They used ChatGPT to write social media posts and biographies for their fake accounts on X, translate messages from Chinese to English, and analyze data. OpenAI mentioned that this group even analyzed correspondence addressed to a U.S. Senator. On top of that, these actors used OpenAI's models to create marketing materials, basically advertising their services for running fake social media campaigns and recruiting intelligence sources. OpenAI also disrupted operations, probably originating in Russia and Iran. There was also a spam operation from a marketing company in the Philippines, a recruitment scam linked to Cambodia, and a deceptive job campaign that looked like something North Korea might orchestrate. Ben Nimmo, from OpenAI's intelligence team, noted the wide range of tactics and platforms these groups are using. However, he also said these operations were mostly caught early and did not manage to fool large numbers of real people. According to Nimmo, "We didn't generally see these operations getting more engagement because of their use of AI. For these operations, better tools don't necessarily mean better outcomes."
    • Long ago, I was in a networking class on a lab computer. The guy next to sarcastically told me to SHIFT+DELETE the C:\Windows folder. I said that I was sure Windows wouldn't allow such a thing (Windows 2000), and would either totally block the action or give some kind of dire warning. I was so confident that I tried it...not only was I wrong, but it didn't even give the standard "are you sure" warning, just went to town. I pressed cancel as quick as I could, but it was too late, shortly after, the system blue-screened and never booted again. I had to stay late and reinstall Windows for the teacher, but that ended up being a good thing, had great repour with him for the rest of the year, even got to help him get Active Directory setup in his lab.
    • My best decision: SHIFT+DELETE WINDOWS Then Installed Fedora Linux. Now I am a Happy Person
  • Recent Achievements

    • One Year In
      survivor303 earned a badge
      One Year In
    • Week One Done
      jbatch earned a badge
      Week One Done
    • First Post
      Yianis earned a badge
      First Post
    • Rookie
      GTRoberts went up a rank
      Rookie
    • First Post
      James courage Tabla earned a badge
      First Post
  • Popular Contributors

    1. 1
      +primortal
      419
    2. 2
      snowy owl
      182
    3. 3
      +FloatingFatMan
      182
    4. 4
      ATLien_0
      176
    5. 5
      Xenon
      136
  • Tell a friend

    Love Neowin? Tell a friend!