reliability

CUDD C++ Interface for converting Booleans to BDDs and resulting set of minterms (to cutsets)

。_饼干妹妹 提交于 2021-01-28 05:51:03
问题 I'm working with (https://github.com/ivmai/cudd) with the goal of the following repetitive process: (1) Input : (Coherent, non-decreasing) Boolean function expression top = a_1 a_2 a_3...+ x_1 x_2 x_3... + z_1 z_2 z_3...). The Booleans I'm working with have thousands of vars (ai...zj) and hundreds of terms. (2) Processing : Convert Boolean to a BDD to simplify the calculation of the minterms, or mutually exclusive cut-sets (as we call them in the Reliability world). (3) Output : Take the set

Is iterating over the same frozenset guaranteed always to produce the items in the same order? (Python 3)

此生再无相见时 提交于 2020-05-23 10:39:20
问题 For example, when I execute frozen = frozenset(('kay', 'snow queen')) , then tuple(frozen) , I get ('kay', 'snow queen') . (When / how) is it possible, if ever, for iter(frozen) to produce the items in a different order? (When / how) will tuple(frozen) return ('snow queen', 'kay') ? I am using Python 3 almost all of the time, but I would also be curious about Python 2. 回答1: By default, the hash values of str objects are salted with an unpredictable random value. Although they remain constant

What to use ? time() function or $_SERVER['REQUEST_TIME'] ? Which is better?

孤街浪徒 提交于 2019-12-29 07:27:23
问题 Which one among these two time functions is better? I have a form on my website which is submitted by thousands of users every microsecond or less , thus , thousands of requests at the same time on my server. So I want to use the one which does not uses any sleep while execution. Also , how unique is $_SERVER['REQUEST_TIME'] and time() ? Do both change every microsecond? Will $_SERVER['REQUEST_TIME'] change every time I submit the form? Like , the time() function will change at every time

What to use ? time() function or $_SERVER['REQUEST_TIME'] ? Which is better?

二次信任 提交于 2019-12-29 07:27:08
问题 Which one among these two time functions is better? I have a form on my website which is submitted by thousands of users every microsecond or less , thus , thousands of requests at the same time on my server. So I want to use the one which does not uses any sleep while execution. Also , how unique is $_SERVER['REQUEST_TIME'] and time() ? Do both change every microsecond? Will $_SERVER['REQUEST_TIME'] change every time I submit the form? Like , the time() function will change at every time

Can the unload Event be Used to Reliably fire ajax Request?

余生颓废 提交于 2019-12-27 12:19:11
问题 I need a method to monitor user edit sessions, and one of the solutions I'm reviewing will have me using an unload event to send an ajax request to inform the server of the end of the edit session. (See: Monitoring User Sessions to Prevent Editing Conflict) My (rather limited) reading on the unload event indicate that the codes attached to this handler has to run quickly, and as such is usually used for clearing objects to prevent memory leaks. My question is, can this work reliably enough

How do I intentionally make Azure role crash?

不问归期 提交于 2019-12-24 08:08:33
问题 I want to make a Windows Azure application as fault-resistant as possible and I need to be able to make roles crash intentionally to test how the whole application recovers from such crashes. I guess I could insert code right into role that would obtain a random number and decide to crash with some rather low probability. The real problem is if( isTimeToCrash() ) { //what exactly do I do here? } how to crash a role once I decide it is time. How do I reliably crash an Azure role intentionally?

Improving UDP reliability

孤街醉人 提交于 2019-12-22 09:39:35
问题 I am building a small UDP based server. the server is based on .Net and uses the Socket class it self. I'm using completion ports through ReceiveMessageFromAsync, and the async send. My problem is I'm loosing around 5%-10% of my traffic. Now i understand this is normal, but is there any way of improving this statistic? 回答1: You might want to look at the answers to this question before rolling your own reliability layer on top of UDP... What do you use when you need reliable UDP? Alternatively

Two generals' agreement

妖精的绣舞 提交于 2019-12-21 20:50:35
问题 I am trying to figure an agreement protocol on an unreliable channel. Basically two parties (A and B) have to agree to do something, so it's the two generals' problem. Since there is no bullet-proof solution, I am trying to do this. A continuously sends a message with sequence 1 When B receives seq 1 it continuously replies with sequence 2 At this point A receives seq 2 so it starts sending seq 3 ... My question. When can the two parties conclude that they can take the action ? Obviously I