scheduler.cc (12996:17ec70f9841e) | scheduler.cc (13047:61a849083f15) |
---|---|
1/* 2 * Copyright 2018 Google, Inc. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions are 6 * met: redistributions of source code must retain the above copyright 7 * notice, this list of conditions and the following disclaimer; 8 * redistributions in binary form must reproduce the above copyright --- 129 unchanged lines hidden (view full) --- 138 139 scheduleReadyEvent(); 140} 141 142void 143Scheduler::requestUpdate(Channel *c) 144{ 145 updateList.pushLast(c); | 1/* 2 * Copyright 2018 Google, Inc. 3 * 4 * Redistribution and use in source and binary forms, with or without 5 * modification, are permitted provided that the following conditions are 6 * met: redistributions of source code must retain the above copyright 7 * notice, this list of conditions and the following disclaimer; 8 * redistributions in binary form must reproduce the above copyright --- 129 unchanged lines hidden (view full) --- 138 139 scheduleReadyEvent(); 140} 141 142void 143Scheduler::requestUpdate(Channel *c) 144{ 145 updateList.pushLast(c); |
146 scheduleReadyEvent(); | 146 if (eq) 147 scheduleReadyEvent(); |
147} 148 149void 150Scheduler::scheduleReadyEvent() 151{ 152 // Schedule the evaluate and update phases. 153 if (!readyEvent.scheduled()) { 154 panic_if(!eq, "Need to schedule ready, but no event manager.\n"); --- 133 unchanged lines hidden --- | 148} 149 150void 151Scheduler::scheduleReadyEvent() 152{ 153 // Schedule the evaluate and update phases. 154 if (!readyEvent.scheduled()) { 155 panic_if(!eq, "Need to schedule ready, but no event manager.\n"); --- 133 unchanged lines hidden --- |