summaryrefslogtreecommitdiff
path: root/kernel/pipe.c
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2022-08-11 07:23:17 -0400
committerFrans Kaashoek <[email protected]>2022-08-11 07:23:17 -0400
commit975f3b31d3fac2c271df3107263df6ae454a98be (patch)
tree2bdd49745154445f12404aa7b2424ed5d86a5c13 /kernel/pipe.c
parent4087a6e7fc773ba4eb217dfc196dfe1eee84b25d (diff)
downloadxv6-labs-975f3b31d3fac2c271df3107263df6ae454a98be.tar.gz
xv6-labs-975f3b31d3fac2c271df3107263df6ae454a98be.tar.bz2
xv6-labs-975f3b31d3fac2c271df3107263df6ae454a98be.zip
Clean up using killed()
Diffstat (limited to 'kernel/pipe.c')
-rw-r--r--kernel/pipe.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/pipe.c b/kernel/pipe.c
index e438d7e..f6b501a 100644
--- a/kernel/pipe.c
+++ b/kernel/pipe.c
@@ -81,7 +81,7 @@ pipewrite(struct pipe *pi, uint64 addr, int n)
acquire(&pi->lock);
while(i < n){
- if(pi->readopen == 0 || __sync_add_and_fetch(&pr->killed,0)){
+ if(pi->readopen == 0 || killed(pr)){
release(&pi->lock);
return -1;
}
@@ -111,7 +111,7 @@ piperead(struct pipe *pi, uint64 addr, int n)
acquire(&pi->lock);
while(pi->nread == pi->nwrite && pi->writeopen){ //DOC: pipe-empty
- if(__sync_add_and_fetch(&pr->killed,0)){
+ if(killed(pr)){
release(&pi->lock);
return -1;
}